AlgebraDifficulty 7.9National olympiad, round 2Prove it
Example 10 (Original problem, 1991.08.08) △ABC is a non-obtuse triangle, with side lengths a,b,c, circumradius R, and inradius r, then 1−R2r⩾abc3∣(a−b)(b−c)(a−c)∣
Equality in (11) holds if and only if △ABC is an equilateral triangle.
Solution
Given a⩾b⩾c, and a=c+α+β,b=c+α,c⩾2αβ+2β2+β,α,β∈R−, then Equation (11) ⇔c(c+α)(c+α+β)(α2+αβ+β2)c+(2αβ2+β3)(α2+αβ+β2)c+(2αβ2+β3)⩾c(c+α)(c+α+β)3αβ(α+β)⇔⩾3αβ(α+β)
Substituting c⩾2αβ+2β2+β and simplifying, we get (α2+αβ+β2)c+(2αβ2+β3)−3αβ(α+β)⩾(α2+αβ+β2)(2αβ+2β2+β)+2αβ2+β3−3αβ(α+β)=(α2+αβ+β2)2αβ+2β2−2β(α2−β2)=2αβ+2β2[(α2+αβ+β2)−2(α−β)β(α+β)]
Thus, to prove Equation (11), it suffices to prove α2+αβ+β2⩾2(α−β)β(α+β)
When α<β, the above inequality is clearly true; When α⩾β, it suffices to prove the inequality after squaring both sides. In this case, (α2+αβ+β2)2−2(α−β)2(αβ+β2)=α4+5α2β2+4αβ3−β4⩾0
Note that there is a stronger inequality: 1−R2r⩾abc(22+1)∣(a−b)(b−c)(a−c)∣
Equality holds in Equation (12) if and only if a=b=c. From the above proof, we know that in this case, (α2+αβ+β2)c+2αβ2+β3−(22+1)αβ(α+β)⩾(α2+αβ+β2)(2αβ+2β2+β)+2αβ2+β3−(22+1)αβ(α+β)=(α2+αβ+β2)2αβ+2β2+β(α+β)2+β(αβ+β2)−(22+1)αβ(α+β)=(αβ+β2)[(αβ+β22α2+2⋅α+β+β2)+α+2β−(22+1)α]⩾(αβ+β2)[22α+α+2β−(22+1)α]=2(αβ+β2)β⩾0
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.