Maths Olympiad Prep

Library / South-Afrika /53 of 64

South-Afrika, 2011

Algebra Difficulty 6.4 National Olympiad Prove it South Africa

The real-valued function ff satisfies
f(tan⁡2x)=tan⁡4x+cot⁡4x f(\tan 2x) = \tan^4 x + \cot^4 x
for all real xx. Prove that, for all real xx,
f(sin⁡x)+f(cos⁡x)≥196. f(\sin x) + f(\cos x) \ge 196.

Solution

Note that since tan⁡2θ\tan 2\theta attains all real numbers in the interval (−π4,π4)\left(-\frac{\pi}{4}, \frac{\pi}{4}\right), we may restrict our attention to this domain. Also,
f(−tan⁡2θ)=f(tan⁡2(−θ)) f(-\tan 2\theta) = f(\tan 2(-\theta))
=tan⁡4(−θ)+cot⁡4(−θ)=tan⁡4θ+cot⁡4θ=f(tan⁡2θ), = \tan^4(-\theta) + \cot^4(-\theta) \\ = \tan^4 \theta + \cot^4 \theta \\ = f(\tan 2\theta),
so ff is an even function, and we may restrict θ\theta to the interval (0,π4)(0, \frac{\pi}{4}).

Next, let 0<x<y0 < x < y, and let x=tan⁡2αx = \tan 2\alpha, y=tan⁡2βy = \tan 2\beta, where 0<α<β<π40 < \alpha < \beta < \frac{\pi}{4}. Then
f(x)−f(y)=f(tan⁡2α)−f(tan⁡2β)=tan⁡4α+cot⁡4α−tan⁡4β−cot⁡4β=(tan⁡4α−tan⁡4β)−(1tan⁡4β−1tan⁡4α)=(tan⁡4α−tan⁡4β)(1−1tan⁡4αtan⁡4β). \begin{aligned} f(x) - f(y) &= f(\tan 2\alpha) - f(\tan 2\beta) \\ &= \tan^4 \alpha + \cot^4 \alpha - \tan^4 \beta - \cot^4 \beta \\ &= (\tan^4 \alpha - \tan^4 \beta) - \left( \frac{1}{\tan^4 \beta} - \frac{1}{\tan^4 \alpha} \right) \\ &= (\tan^4 \alpha - \tan^4 \beta) \left( 1 - \frac{1}{\tan^4 \alpha \tan^4 \beta} \right). \end{aligned}
Now, tan⁡θ\tan \theta is increasing on the interval (0,π4)(0, \frac{\pi}{4}), and for θ∈(0,π4)\theta \in (0, \frac{\pi}{4}), 0<tan⁡θ<10 < \tan \theta < 1, hence tan⁡4α−tan⁡4β<0\tan^4 \alpha - \tan^4 \beta < 0 and tan⁡4αtan⁡4β<1⇒1−1tan⁡4αtan⁡4β<0\tan^4 \alpha \tan^4 \beta < 1 \Rightarrow 1 - \frac{1}{\tan^4 \alpha \tan^4 \beta} < 0, hence f(x)−f(y)>0f(x) - f(y) > 0, showing that ff is decreasing.

Next, note that both cot⁡θ\cot \theta and tan⁡θ\tan \theta are concave up on the interval (0,π4)(0, \frac{\pi}{4}), so we have that tan⁡2α+tan⁡2β2≥tan⁡(α+β)\frac{\tan 2\alpha + \tan 2\beta}{2} \ge \tan(\alpha + \beta), by Jensen's Inequality. Hence, setting x=tan⁡2αx = \tan 2\alpha and y=tan⁡2βy = \tan 2\beta, and recalling that ff is decreasing, we have
f(x+y2)=f(tan⁡2α+tan⁡2β2)≤f(tan⁡2(α+β2))=tan⁡4(α+β2)+cot⁡4(α+β2)≤tan⁡4α+tan⁡4β2+cot⁡4α+cot⁡4β2(Jensen’s Inequality)=f(tan⁡2α)+f(tan⁡2β)2=f(x)+f(y)2. \begin{aligned} f\left(\frac{x+y}{2}\right) &= f\left(\frac{\tan 2\alpha + \tan 2\beta}{2}\right) \\ &\le f\left(\tan 2\left(\frac{\alpha+\beta}{2}\right)\right) \\ &= \tan^4\left(\frac{\alpha+\beta}{2}\right) + \cot^4\left(\frac{\alpha+\beta}{2}\right) \\ &\le \frac{\tan^4\alpha + \tan^4\beta}{2} + \frac{\cot^4\alpha + \cot^4\beta}{2} \quad \text{(Jensen's Inequality)} \\ &= \frac{f(\tan 2\alpha) + f(\tan 2\beta)}{2} \\ &= \frac{f(x) + f(y)}{2}. \end{aligned}
This shows that ff is concave up.

Now let x=sin⁡αx = \sin \alpha and y=cos⁡αy = \cos \alpha. Since ff is even, we may assume that both xx and yy are positive, and hence x+y2≤x2+y22\frac{x+y}{2} \le \sqrt{\frac{x^2+y^2}{2}}. Using Jensen's Inequality and recalling that ff is decreasing, we have that
f(x)+f(y)≥2f(x+y2)≥2f(x2+y22)=2f(12). f(x) + f(y) \ge 2f\left(\frac{x+y}{2}\right) \ge 2f\left(\sqrt{\frac{x^2+y^2}{2}}\right) = 2f\left(\frac{1}{\sqrt{2}}\right).
Now, let tan⁡2θ=12\tan 2\theta = \frac{1}{\sqrt{2}}. Then tan⁡θ=3−2\tan \theta = \sqrt{3} - \sqrt{2} and cot⁡θ=3+2\cot \theta = \sqrt{3} + \sqrt{2}, and so
f(12)=f(tan⁡2θ)=tan⁡4θ+cot⁡4θ=(3−2)4+(3+2)4=2(34+6(23)2+24)=98. \begin{aligned} f\left(\frac{1}{\sqrt{2}}\right) &= f(\tan 2\theta) \\ &= \tan^4 \theta + \cot^4 \theta \\ &= (\sqrt{3} - \sqrt{2})^4 + (\sqrt{3} + \sqrt{2})^4 \\ &= 2(\sqrt{3}^4 + 6(\sqrt{2}\sqrt{3})^2 + \sqrt{2}^4) \\ &= 98. \end{aligned}
Hence f(cos⁡θ)+f(sin⁡θ)≥2(98)=196f(\cos \theta) + f(\sin \theta) \ge 2(98) = 196.

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.