MathDB
Sort of additive function

Source: 2015 USAJMO problem 4

April 29, 2015
USAJMOAMCUSA(J)MOfunctionarithmetic sequence2015 USAJMO

Problem Statement

Find all functions f:Q→Qf:\mathbb{Q}\rightarrow\mathbb{Q} such thatf(x)+f(t)=f(y)+f(z)f(x)+f(t)=f(y)+f(z)for all rational numbers x<y<z<tx<y<z<t that form an arithmetic progression. (Q\mathbb{Q} is the set of all rational numbers.)