MathDB
bijection over N

Source: French MO 1995 P5

April 22, 2021
functionalgebra

Problem Statement

Let ff be a bijection from N\mathbb N to itself. Prove that one can always find three natural number a,b,ca,b,c such that a<b<ca<b<c and f(a)+f(c)=2f(b)f(a)+f(c)=2f(b).