Maths WorkshopMaths problems with full solutions
Exercise 1512Calculus › Single-variable calculus › Continuity › Intermediate Value TheoremL2Added 2 Nov 2026

The horizontal chord of length one half

#intermediate value theorem#chords#clever auxiliary function

Statement

Let f:[0,1]→Rf:[0,1]\to\mathbb{R} be continuous with f(0)=f(1)f(0)=f(1). Prove that there exists x∈[0,12]x\in\left[0,\frac12\right] such that f ⁣(x+12)=f(x)f\!\left(x+\frac12\right)=f(x).

Hint

Consider g(x)=f ⁣(x+12)−f(x)g(x)=f\!\left(x+\frac12\right)-f(x) on [0,12]\left[0,\frac12\right] and compare g(0)g(0) with g ⁣(12)g\!\left(\frac12\right).

Show solutionHide solution

Solution

Idea. The statement says that the graph has a horizontal chord of length 12\frac12. It is not obvious at all, because we do not know where this chord sits. The trick is to introduce the function that measures the height difference of a chord.

Auxiliary function. For x∈[0,12]x\in\left[0,\frac12\right], let g(x)=f ⁣(x+12)−f(x)g(x)=f\!\left(x+\frac12\right)-f(x). It is continuous. We compute
g(0)=f ⁣(12)−f(0),g ⁣(12)=f(1)−f ⁣(12)=f(0)−f ⁣(12)=−g(0).g(0)=f\!\left(\tfrac12\right)-f(0),\qquad g\!\left(\tfrac12\right)=f(1)-f\!\left(\tfrac12\right)=f(0)-f\!\left(\tfrac12\right)=-g(0).

Conclusion. The numbers g(0)g(0) and g ⁣(12)g\!\left(\frac12\right) are opposite, so they are either both zero or of opposite signs. By the intermediate value theorem gg vanishes somewhere in [0,12]\left[0,\frac12\right], which is the claim.

Real-life version. If the temperature at midnight is the same on two consecutive days, then at some moment the temperature equals the temperature twelve hours later.

Remark. The same proof gives chords of length 1n\frac1n for every integer nn, but not of every length: for length 25\frac25 the statement is false in general.