1969 IMO Problems/Problem 2

Problem

Let $a_1, a_2,\cdots, a_n$ be real constants, $x$ a real variable, and $f(x)=\cos(a_1+x)+\frac{1}{2}\cos(a_2+x)+\frac{1}{4}\cos(a_3+x)+\cdots+\frac{1}{2^{n-1}}\cos(a_n+x).$ Given that $f(x_1)=f(x_2)=0,$ prove that $x_2-x_1=m\pi$ for some integer $m.$

Solution

Because the period of $\cos(x)$ is $2\pi$ , the period of $f(x)$ is also $2\pi$ . $f(x_1)=f(x_2)=f(x_1+x_2-x_1)$ We can get $x_2-x_1 = 2k\pi$ for $k\in N^*$ . Thus, $x_2-x_1=m\pi$ for some integer $m.$

1969 IMO (Problems) • Resources
Preceded by Problem 1	1 • 2 • 3 • 4 • 5 • 6	Followed by Problem 3
All IMO Problems and Solutions

Page

Toolbox

Search

1969 IMO Problems/Problem 2

Problem

Solution

See Also