Maths Olympiad Prep

Library / /138 of 462

Algebra Difficulty 5.4 AIME, harder Prove it Ireland

Find all functions f:ZZf : \mathbb{Z} \to \mathbb{Z} such that f(a+b)=ab+f(a)+f(b)f(a+b) = ab + f(a) + f(b) for a,bZa, b \in \mathbb{Z}.

Solution

The general solution is f(a)=a(a+k)2f(a) = \frac{a(a+k)}{2} for odd integers kk. It is easy to show by substitution that the stated formula is a solution. We now show it is the only solution.

Putting a=b=0a = b = 0 gives f(0)=0f(0) = 0. Putting b=1b = 1 gives
f(a+1)=f(a)+f(1)+a. f(a + 1) = f(a) + f(1) + a.
By induction on aa it now follows that for all integers a0a \ge 0 we have
f(a)=af(1)+(a1)a2=a(a+2f(1)1)2. f(a) = af(1) + \frac{(a-1)a}{2} = \frac{a(a + 2f(1) - 1)}{2}.
This is of the claimed form with k=2f(1)1k = 2f(1) - 1 which is of course odd.

Finally, using b=ab = -a in the original functional equation, we get
0=f(0)=a2+f(a)+f(a), 0 = f(0) = -a^2 + f(a) + f(-a),
hence for a>0a > 0
f(a)=a2f(a)=a2a(a+k)2=(a)(a+k)2 f(-a) = a^2 - f(a) = a^2 - \frac{a(a + k)}{2} = \frac{(-a)(-a + k)}{2}
and so the claimed form holds for all integers aa.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.