Olympiad Maths Prep

Track / Stage 8 / 78 of 180 #1778 of 2000

Problem 1778

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.3 Prove it

39. Let a,b,ca, b, c be positive numbers, prove the inequality: 2ab+bc+ca3(b+c)(c+a)(a+b)32 \sqrt{a b+b c+c a} \leqslant \sqrt{3} \sqrt[3]{(b+c)(c+a)(a+b)} (1992 Poland-Austria Mathematical Olympiad)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

39. Since the degrees at both ends are equal, we might as well set ab+bc+ca=1a b+b c+c a=1, then let a=tanα,b=tanβ,c=tanγa=\tan \alpha, b=\tan \beta, c=\tan \gamma, where α+β+γ=90\alpha+\beta+\gamma=90^{\circ}. α,β,γ\alpha, \beta, \gamma are all acute angles. Then the problem is reduced to proving
(b+c)(c+a)(a+b)839(b+c)(c+a)(a+b) \geqslant \frac{8 \sqrt{3}}{9}

Since α+β+γ=90\alpha+\beta+\gamma=90^{\circ}, we have
sin(α+β)=cosγsin(β+γ)=cosαsin(γ+α)=cosβ(b+c)(c+a)(a+b)839(tanα+tanβ)(tanβ+tanγ)(tanγ+tanα)839sin(α+β)sin(β+γ)sin(γ+α)cos2αcos2βcos2γ839cosαcosβcosγ338\begin{array}{l} \sin (\alpha+\beta)=\cos \gamma \\ \sin (\beta+\gamma)=\cos \alpha \\ \sin (\gamma+\alpha)=\cos \beta \\ (b+c)(c+a)(a+b) \geqslant \frac{8 \sqrt{3}}{9} \Leftrightarrow \\ (\tan \alpha+\tan \beta)(\tan \beta+\tan \gamma)(\tan \gamma+\tan \alpha) \geqslant \frac{8 \sqrt{3}}{9} \Leftrightarrow \\ \frac{\sin (\alpha+\beta) \sin (\beta+\gamma) \sin (\gamma+\alpha)}{\cos ^{2} \alpha \cos ^{2} \beta \cos ^{2} \gamma} \geqslant \frac{8 \sqrt{3}}{9} \Leftrightarrow \\ \cos \alpha \cos \beta \cos \gamma \leqslant \frac{3 \sqrt{3}}{8} \end{array}

Below are two methods to prove (2).
Proof 1 Since cosαcosβ=12[cos(αβ)+cos(α+β)]12(1+cos(α+β))=12(1+sinγ)\cos \alpha \cos \beta=\frac{1}{2}[\cos (\alpha-\beta)+\cos (\alpha+\beta)] \leqslant \frac{1}{2}(1+\cos (\alpha+\beta))=\frac{1}{2}(1+\sin \gamma), we have,
cosαcosβcosγ12(1+sinγ)cosγ=12(1+sinγ)2(1sin2γ)=\begin{array}{l} \cos \alpha \cos \beta \cos \gamma \leqslant \frac{1}{2}(1+\sin \gamma) \cos \gamma=\frac{1}{2} \sqrt{(1+\sin \gamma)^{2}\left(1-\sin ^{2} \gamma\right)}= \end{array}
1213(3(1+sinγ)+(33sinγ)4)4=338\begin{array}{l} \frac{1}{2} \sqrt{\frac{1}{3}\left(\frac{3(1+\sin \gamma)+(3-3 \sin \gamma)}{4}\right)^{4}}=\frac{3 \sqrt{3}}{8} \end{array}

Equality holds if and only if α=β=γ=30\boldsymbol{\alpha}=\boldsymbol{\beta}=\gamma=30^{\circ}.
Proof 2 Considering that equality in inequality (2) holds if and only if α=β=γ=30\alpha=\beta=\gamma=30^{\circ}, we aim in this direction for adjustment.
By symmetry, we may assume αβγ\alpha \leqslant \beta \leqslant \gamma, hence γ30,α30\gamma \geqslant 30^{\circ}, \alpha \leqslant 30^{\circ}, we first prove
cosαcosycos30cos(α+γ30)\cos \alpha \cos y \leqslant \cos 30^{\circ} \cos \left(\alpha+\gamma-30^{\circ}\right)

That is
cos(αγ)+cos(α+γ)cos(60(α+γ))+cos(α+γ)cos(αγ)cos(60(α+γ))60(α+γ)1αγ+(α30 and γ30)60(α+γ)γα\begin{array}{l} \cos (\alpha-\gamma)+\cos (\alpha+\gamma) \leqslant \cos \left(60^{\circ}-(\alpha+\gamma)\right)+\cos (\alpha+\gamma) \Leftrightarrow \\ \cos (\alpha-\gamma) \leqslant \cos \left(60^{\circ}-(\alpha+\gamma)\right) \Leftrightarrow \\ \left|60^{\circ}-(\alpha+\gamma)\right| \leqslant 1 \alpha-\gamma+\left(\alpha \leqslant 30^{\circ} \text { and } \gamma \geqslant 30^{\circ}\right) \Leftrightarrow \\ 60^{\circ}-(\alpha+\gamma) \mid \leqslant \gamma-\alpha \end{array}

If
60(α+γ)0(3)660(α+γ)γαγ30\begin{array}{c} 60^{\circ}-(\alpha+\gamma) \geqslant 0 \\ (3) 660^{\circ}-(\alpha+\gamma) \leqslant \gamma-\alpha \Leftrightarrow \gamma \geqslant 30^{\circ} \end{array}

If
60(α+γ)0(3)(α+γ)60γαα30\begin{array}{c} 60^{\circ}-(\alpha+\gamma) \leqslant 0 \\ (3) \Leftrightarrow(\alpha+\gamma)-60^{\circ} \leqslant \gamma-\alpha \Leftrightarrow \alpha \leqslant 30^{\circ} \end{array}

So inequality (3) holds.
cosαcosβcosγcos30cos(α+γ30)cosβ=cos30cos(90β30)cosβ=cos30cos(60β)cosβ=12cos30[cos(602β)+cos60]\begin{array}{l} \cos \alpha \cos \beta \cos \gamma \leqslant \cos 30^{\circ} \cos \left(\alpha+\gamma-30^{\circ}\right) \cos \beta= \\ \cos 30^{\circ} \cos \left(90^{\circ}-\beta-30^{\circ}\right) \cos \beta= \\ \cos 30^{\circ} \cos \left(60^{\circ}-\beta\right) \cos \beta= \\ \frac{1}{2} \cos 30^{\circ}\left[\cos \left(60^{\circ}-2 \beta\right)+\cos 60^{\circ}\right] \leqslant \end{array}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.