MathDB
Fond all functions in M with a) f(1)=5/2, b) f(1)=√3

Source: IMO LongList 1982 - P34

March 18, 2011
functionalgebra proposedalgebra

Problem Statement

Let MM be the set of all functions ff with the following properties:
(i) ff is defined for all real numbers and takes only real values.
(ii) For all x,yRx, y \in \mathbb R the following equality holds: f(x)f(y)=f(x+y)+f(xy).f(x)f(y) = f(x + y) + f(x - y).
(iii) f(0)0.f(0) \neq 0.
Determine all functions fMf \in M such that
(a) f(1)=52f(1)=\frac 52,
(b) f(1)=3f(1)= \sqrt 3.