Maths Olympiad Prep

Library / /109 of 462

Algebra Difficulty 5.2 AIME, harder Prove it Ireland

Let f(t)=2+cost+cos2tf(t) = 2 + \cos t + \cos \sqrt{2} t, for all real numbers tt. Prove that ff is strictly positive on (,)(-\infty, \infty), and is not periodic.

Solution

At any rate, ff is non-negative since the cosine takes no value smaller than 1-1, which means that ff takes no value smaller than 211=02 - 1 - 1 = 0.

Suppose f(t)=0f(t) = 0 for some real number tt, so that
0=(1+cost)+(1+cos2t). 0 = (1 + \cos t) + (1 + \cos \sqrt{2} t).
But the expression on the right is a sum of two non-negative numbers, hence each of them is zero. So, 1+cost=1+cos2t=01 + \cos t = 1 + \cos \sqrt{2} t = 0. But this means that there are odd integers m,nm, n such that t=mπt = m\pi and 2t=nπ\sqrt{2} t = n\pi. Clearly, t0t \neq 0, which means that 2\sqrt{2} is rational, an absurdity. Thus, ff is positive.

To prove that ff is not periodic, assume the contrary. Then, for some p>0p > 0, it is true that f(t+p)=f(t)f(t + p) = f(t) for all tt. In particular, f(p)=f(0)=4f(p) = f(0) = 4, equivalently, 2cospcos2p=(1cosp)+(1cos2p)=02 - \cos p - \cos \sqrt{2} p = (1 - \cos p) + (1 - \cos \sqrt{2} p) = 0 which means that cosp=1=cos2p\cos p = 1 = \cos \sqrt{2} p. Thus there are even integers m,nm, n such that p=mπp = m\pi and 2p=nπ\sqrt{2} p = n\pi. But p0p \neq 0. Hence mn0mn \neq 0 and yet m2=nm\sqrt{2} = n, an absurdity.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.