Maths WorkshopMaths problems with full solutions
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 a>0a>0 and let f:R→Rf:\mathbb{R}\to\mathbb{R} satisfy
f(x+a)=12+f(x)−f(x)2for all x.f(x+a)=\frac12+\sqrt{f(x)-f(x)^2}\quad\text{for all }x.
Prove that ff is periodic with period 2a2a. Give a non-constant example.

Hint

Note that f(x)≥12f(x)\ge\frac12 for all xx. Square the relation in the form (f(x+a)−12)2=…\left(f(x+a)-\frac12\right)^2=\ldots and complete the square on the right.

Show solutionHide solution

Solution

Lower bound. The square root is defined, so f(x)−f(x)2≥0f(x)-f(x)^2\ge0 and the equation shows f(x+a)≥12f(x+a)\ge\frac12 for every xx. Hence f(t)≥12f(t)\ge\frac12 for all real tt (put x=t−ax=t-a).

Squaring. From the equation, (f(x+a)−12)2=f(x)−f(x)2=14−(f(x)−12)2\left(f(x+a)-\frac12\right)^2=f(x)-f(x)^2=\frac14-\left(f(x)-\frac12\right)^2. Thus
(f(x+a)−12)2+(f(x)−12)2=14for all x.\left(f(x+a)-\tfrac12\right)^2+\left(f(x)-\tfrac12\right)^2=\tfrac14\qquad\text{for all }x.

Shifting by aa. Replace xx by x+ax+a:
(f(x+2a)−12)2+(f(x+a)−12)2=14.\left(f(x+2a)-\tfrac12\right)^2+\left(f(x+a)-\tfrac12\right)^2=\tfrac14.
Subtracting the two displayed relations,
(f(x+2a)−12)2=(f(x)−12)2.\left(f(x+2a)-\tfrac12\right)^2=\left(f(x)-\tfrac12\right)^2.
Since f(x+2a)−12≥0f(x+2a)-\frac12\ge0 and f(x)−12≥0f(x)-\frac12\ge0, we get f(x+2a)=f(x)f(x+2a)=f(x).

Example. f(x)=12+12∣sin⁡πx2a∣f(x)=\dfrac12+\dfrac12\left|\sin\dfrac{\pi x}{2a}\right|. Put θ=πx2a\theta=\frac{\pi x}{2a}. Then f(x+a)=12+12∣cos⁡θ∣f(x+a)=\frac12+\frac12|\cos\theta|, and f(x)−f(x)2=14−14sin⁡2θ=14cos⁡2θf(x)-f(x)^2=\frac14-\frac14\sin^2\theta=\frac14\cos^2\theta, whose square root is 12∣cos⁡θ∣\frac12|\cos\theta| ✓.

Lesson. When a relation contains a square root, isolate it and square: the resulting symmetric identity in f(x)f(x) and f(x+a)f(x+a) often yields periodicity by shifting once.