Maths Olympiad Prep

Library / /34 of 96

, 2021

Algebra Difficulty 8.1 Shortlist Prove it Baltic Way

Find all triples (a,b,c)(a, b, c) of real numbers such that
cos(ax)+cos(bx)=2cos(cx) \cos(ax) + \cos(bx) = 2 \cos(cx)
holds for all xRx \in \mathbb{R}.

Solutions — 2

Solution 1

The triples we are looking for have the forms (t,t,t)(t, t, t), (t,t,t)(-t, t, t), (t,t,t)(t, -t, t), (t,t,t)(t, t, -t) where tRt \in \mathbb{R}.
If c=0c = 0 then cos(ax)+cos(bx)=2\cos(ax) + \cos(bx) = 2 for all xRx \in \mathbb{R}. Since cos(ax)1\cos(ax) \le 1 and cos(bx)1\cos(bx) \le 1, we must have cos(ax)=1\cos(ax) = 1 and cos(bx)=1\cos(bx) = 1 for any xx. Thus a=b=0a = b = 0, which clearly works.

Now, suppose that c0c \neq 0. Plugging in x=2πcx = \frac{2\pi}{c} we find cos(2πac)+cos(2πbc)=2\cos(2\pi \cdot \frac{a}{c}) + \cos(2\pi \cdot \frac{b}{c}) = 2. Therefore cos(2πac)=1\cos(2\pi \cdot \frac{a}{c}) = 1 and cos(2πbc)=1\cos(2\pi \cdot \frac{b}{c}) = 1. This means that 2πac=2kπ2\pi \frac{a}{c} = 2k\pi and 2πbc=2lπ2\pi \frac{b}{c} = 2l\pi for some integers kk and ll, i.e. a=cka = ck and b=clb = cl.

Note that k0k \neq 0. Indeed, otherwise LHS0LHS \ge 0 for all xx, but RHSRHS has negative values. For similar reason l0l \neq 0. We shall prove that k=l=1|k| = |l| = 1. Suppose otherwise. Assume without loss of generality that kl|k| \ge |l|. Plug in x=πax = \frac{\pi}{a}. We obtain 1+cos(lkπ)=2cos(1kπ)-1 + \cos(\frac{l}{k}\pi) = 2\cos(\frac{1}{k}\pi). Note that LHS<1+1=0LHS < -1 + 1 = 0. Moreover, if k2|k| \ge 2 then RHSRHS is nonnegative, yielding a contradiction. Therefore we have k=1|k| = 1. This leads to l=1|l| = 1. This means: a=b=c|a| = |b| = |c|. Clearly, such triples work. \square

Solution 2

Applying the operator ddx\frac{d}{dx} two times and four times we obtain a2cos(ax)b2cos(bx)=2c2cos(cx)-a^2 \cos(ax) - b^2 \cos(bx) = -2c^2 \cos(cx) and a4cos(ax)+b4cos(bx)=2c4cos(cx)a^4 \cos(ax) + b^4 \cos(bx) = 2c^4 \cos(cx), respectively. Plugging in x=0x = 0 we obtain a2+b2=2c2a^2 + b^2 = 2c^2 and a4+b4=2c4a^4 + b^4 = 2c^4. Therefore
2(a4+b4)=4c4=(2c2)2=(a2+b2)2=a4+2a2b2+b4, 2(a^4 + b^4) = 4c^4 = (2c^2)^2 = (a^2 + b^2)^2 = a^4 + 2a^2b^2 + b^4,
which yields 0=LHSRHS=a4+b42a2b2=(a2b2)20 = \text{LHS} - \text{RHS} = a^4 + b^4 - 2a^2b^2 = (a^2 - b^2)^2. Therefore a2=b2a^2 = b^2. From 2c2=a2+b2=2a22c^2 = a^2 + b^2 = 2a^2 we obtain c2=a2c^2 = a^2. Therefore a=b=c|a| = |b| = |c| and we check directly that all such triples work. \square

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.