Maths Olympiad Prep

Library / Irish Mathematical Olympiad /62 of 236

Irish Mathematical Olympiad

Algebra Difficulty 5.2 AIME, harder Prove it Ireland

Let f(t)=2+cos⁡t+cos⁡2tf(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 2−1−1=02 - 1 - 1 = 0.

Suppose f(t)=0f(t) = 0 for some real number tt, so that
0=(1+cos⁡t)+(1+cos⁡2t). 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+cos⁡t=1+cos⁡2t=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, t≠0t \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, 2−cos⁡p−cos⁡2p=(1−cos⁡p)+(1−cos⁡2p)=02 - \cos p - \cos \sqrt{2} p = (1 - \cos p) + (1 - \cos \sqrt{2} p) = 0 which means that cos⁡p=1=cos⁡2p\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 p≠0p \neq 0. Hence mn≠0mn \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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