Exercise 1982Calculus › Single-variable calculus › Continuity › Functional equationsOlympiadAdded 5 Nov 2026
IMO 1968: f(x + a) = ½ + √(f(x) − f(x)²)
#IMO 1968#periodicity#squaring#completing squares
Statement
Let and let satisfy
Prove that is periodic with period . Give a non-constant example.
Hint
Note that for all . Square the relation in the form and complete the square on the right.
Show solutionHide solution
Solution
Lower bound. The square root is defined, so and the equation shows for every . Hence for all real (put ).
Squaring. From the equation, . Thus
Shifting by . Replace by :
Subtracting the two displayed relations,
Since and , we get .
Example. . Put . Then , and , whose square root is ✓.
Lesson. When a relation contains a square root, isolate it and square: the resulting symmetric identity in and often yields periodicity by shifting once.