39. Let a,b,c be positive numbers, prove the inequality: 2ab+bc+ca⩽33(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=1, then let a=tanα,b=tanβ,c=tanγ, where α+β+γ=90∘. α,β,γ are all acute angles. Then the problem is reduced to proving (b+c)(c+a)(a+b)⩾983
Since α+β+γ=90∘, we have sin(α+β)=cosγsin(β+γ)=cosαsin(γ+α)=cosβ(b+c)(c+a)(a+b)⩾983⇔(tanα+tanβ)(tanβ+tanγ)(tanγ+tanα)⩾983⇔cos2αcos2βcos2γsin(α+β)sin(β+γ)sin(γ+α)⩾983⇔cosαcosβcosγ⩽833
Below are two methods to prove (2). Proof 1 Since cosαcosβ=21[cos(α−β)+cos(α+β)]⩽21(1+cos(α+β))=21(1+sinγ), we have, cosαcosβcosγ⩽21(1+sinγ)cosγ=21(1+sinγ)2(1−sin2γ)= 2131(43(1+sinγ)+(3−3sinγ))4=833
Equality holds if and only if α=β=γ=30∘. Proof 2 Considering that equality in inequality (2) holds if and only if α=β=γ=30∘, we aim in this direction for adjustment. By symmetry, we may assume α⩽β⩽γ, hence γ⩾30∘,α⩽30∘, we first prove cosαcosy⩽cos30∘cos(α+γ−30∘)
That is cos(α−γ)+cos(α+γ)⩽cos(60∘−(α+γ))+cos(α+γ)⇔cos(α−γ)⩽cos(60∘−(α+γ))⇔∣60∘−(α+γ)∣⩽1α−γ+(α⩽30∘ and γ⩾30∘)⇔60∘−(α+γ)∣⩽γ−α
If 60∘−(α+γ)⩾0(3)660∘−(α+γ)⩽γ−α⇔γ⩾30∘
If 60∘−(α+γ)⩽0(3)⇔(α+γ)−60∘⩽γ−α⇔α⩽30∘
So inequality (3) holds. cosαcosβcosγ⩽cos30∘cos(α+γ−30∘)cosβ=cos30∘cos(90∘−β−30∘)cosβ=cos30∘cos(60∘−β)cosβ=21cos30∘[cos(60∘−2β)+cos60∘]⩽
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.