Maths Olympiad Prep

Library / China Southeastern Mathematical Olympiad /25 of 39

China Southeastern Mathematical Olympiad

Algebra Difficulty 6.3 National Olympiad Prove it China

Let real numbers a,b,ca, b, c and dd satisfy
f(x)=acos⁡x+bcos⁡2x+ccos⁡3x+dcos⁡4x≤1 f(x) = a \cos x + b \cos 2x + c \cos 3x + d \cos 4x \le 1
for any real number xx. Find the values of a,b,ca, b, c and dd such that a+b−c+da + b - c + d takes the maximum number. (posed by Li Shenghong)

Solution

Since
f(0)=a+b+c+d,f(π)=−a+b−c+d,f(π3)=a2−b2−c−d2, \begin{aligned} f(0) &= a + b + c + d, \\ f(\pi) &= -a + b - c + d, \\ f\left(\frac{\pi}{3}\right) &= \frac{a}{2} - \frac{b}{2} - c - \frac{d}{2}, \end{aligned}
then
a+b−c+d=f(0)+23f(π)+43f(π3)≤3 a + b - c + d = f(0) + \frac{2}{3}f(\pi) + \frac{4}{3}f\left(\frac{\pi}{3}\right) \le 3
if and only if f(0)=f(π)=f(π3)=1f(0) = f(\pi) = f(\frac{\pi}{3}) = 1, that is, if a=1a = 1, b+d=1b + d = 1 and c=−1c = -1, then the equality holds. Let t=cos⁡xt = \cos x, −1≤t≤1-1 \le t \le 1. Then
f(x)−1=cos⁡x+bcos⁡2x−cos⁡3x+dcos⁡4x−1=t+(1−d)(2t2−1)−(4t3−3t)+d(8t4−8t2+1)−1=2(1−t2)[−4dt2+2t+(d−1)]≤0,∀t∈[−1,1], \begin{aligned} f(x) - 1 &= \cos x + b \cos 2x - \cos 3x + d \cos 4x - 1 \\ &= t + (1-d)(2t^2 - 1) - (4t^3 - 3t) + d(8t^4 - 8t^2 + 1) - 1 \\ &= 2(1 - t^2)[-4dt^2 + 2t + (d-1)] \le 0, \forall t \in [-1, 1], \end{aligned}
that is
4dt2−2t+(1−d)≥0,∀t∈(−1,1). 4dt^2 - 2t + (1-d) \ge 0, \forall t \in (-1, 1).
Taking t=1/2+ϵt = 1/2 + \epsilon, ∣ϵ∣<1/2|\epsilon| < 1/2, then ϵ[(2d−1)+4dϵ]≥0\epsilon[(2d - 1) + 4d\epsilon] \ge 0, ∣ϵ∣<1/2|\epsilon| < 1/2. So we see that d=12d = \frac{1}{2}. If d=12d = \frac{1}{2}, then
4dt2−2t+(1−d)=2t2−2t+1/2=2(t−1/2)2≥0. 4dt^2 - 2t + (1-d) = 2t^2 - 2t + 1/2 = 2(t - 1/2)^2 \ge 0.
So, the maximal number of a+b−c+da+b-c+d is 33, and (a,b,c,d)=(1,12,−1,12)(a, b, c, d) = (1, \frac{1}{2}, -1, \frac{1}{2}). □\square

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.