Maths Olympiad Prep

Library / /509 of 520

Algebra Difficulty 7.9 National olympiad, round 2 Prove it

Example 10 (Original problem, 1991.08.08) ABC\triangle A B C is a non-obtuse triangle, with side lengths a,b,ca, b, c, circumradius RR, and inradius rr, then
12rR3(ab)(bc)(ac)abc1-\frac{2 r}{R} \geqslant \frac{3|(a-b)(b-c)(a-c)|}{a b c}

Equality in (11) holds if and only if ABC\triangle A B C is an equilateral triangle.

Solution

Given abca \geqslant b \geqslant c, and a=c+α+β,b=c+α,c2αβ+2β2+β,α,βRa=c+\alpha+\beta, b=c+\alpha, c \geqslant \sqrt{2 \alpha \beta+2 \beta^{2}}+\beta, \alpha, \beta \in \overline{\mathbf{R}^{-}}, then
 Equation (11) (α2+αβ+β2)c+(2αβ2+β3)c(c+α)(c+α+β)3αβ(α+β)c(c+α)(c+α+β)(α2+αβ+β2)c+(2αβ2+β3)3αβ(α+β)\begin{aligned} \text { Equation (11) } \Leftrightarrow \frac{\left(\alpha^{2}+\alpha \beta+\beta^{2}\right) c+\left(2 \alpha \beta^{2}+\beta^{3}\right)}{c(c+\alpha)(c+\alpha+\beta)} & \geqslant \frac{3 \alpha \beta(\alpha+\beta)}{c(c+\alpha)(c+\alpha+\beta)} \Leftrightarrow \\ \left(\alpha^{2}+\alpha \beta+\beta^{2}\right) c+\left(2 \alpha \beta^{2}+\beta^{3}\right) & \geqslant 3 \alpha \beta(\alpha+\beta) \end{aligned}

Substituting c2αβ+2β2+βc \geqslant \sqrt{2 \alpha \beta+2 \beta^{2}}+\beta and simplifying, we get
(α2+αβ+β2)c+(2αβ2+β3)3αβ(α+β)(α2+αβ+β2)(2αβ+2β2+β)+2αβ2+β33αβ(α+β)=(α2+αβ+β2)2αβ+2β22β(α2β2)=2αβ+2β2[(α2+αβ+β2)2(αβ)β(α+β)]\begin{array}{l} \left(\alpha^{2}+\alpha \beta+\beta^{2}\right) c+\left(2 \alpha \beta^{2}+\beta^{3}\right)-3 \alpha \beta(\alpha+\beta) \geqslant \\ \left(\alpha^{2}+\alpha \beta+\beta^{2}\right)\left(\sqrt{2 \alpha \beta+2 \beta^{2}}+\beta\right)+2 \alpha \beta^{2}+\beta^{3}-3 \alpha \beta(\alpha+\beta)= \\ \left(\alpha^{2}+\alpha \beta+\beta^{2}\right) \sqrt{2 \alpha \beta+2 \beta^{2}}-2 \beta\left(\alpha^{2}-\beta^{2}\right)= \\ \sqrt{2 \alpha \beta+2 \beta^{2}}\left[\left(\alpha^{2}+\alpha \beta+\beta^{2}\right)-\sqrt{2}(\alpha-\beta) \sqrt{\beta(\alpha+\beta)}\right] \end{array}

Thus, to prove Equation (11), it suffices to prove
α2+αβ+β22(αβ)β(α+β)\alpha^{2}+\alpha \beta+\beta^{2} \geqslant \sqrt{2}(\alpha-\beta) \sqrt{\beta(\alpha+\beta)}

When α<β\alpha<\beta, the above inequality is clearly true;
When αβ\alpha \geqslant \beta, it suffices to prove the inequality after squaring both sides. In this case,
(α2+αβ+β2)22(αβ)2(αβ+β2)=α4+5α2β2+4αβ3β40\left(\alpha^{2}+\alpha \beta+\beta^{2}\right)^{2}-2(\alpha-\beta)^{2}\left(\alpha \beta+\beta^{2}\right)=\alpha^{4}+5 \alpha^{2} \beta^{2}+4 \alpha \beta^{3}-\beta^{4} \geqslant 0

Note that there is a stronger inequality:
12rR(22+1)(ab)(bc)(ac)abc1-\frac{2 r}{R} \geqslant \frac{(2 \sqrt{2}+1)|(a-b)(b-c)(a-c)|}{a b c}

Equality holds in Equation (12) if and only if a=b=ca=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)[(2α2αβ+β2+2α+β+β2)+α+2β(22+1)α](αβ+β2)[22α+α+2β(22+1)α]=2(αβ+β2)β0\begin{array}{l} \left(\alpha^{2}+\alpha \beta+\beta^{2}\right) c+2 \alpha \beta^{2}+\beta^{3}-(2 \sqrt{2}+1) \alpha \beta(\alpha+\beta) \geqslant \\ \left(\alpha^{2}+\alpha \beta+\beta^{2}\right)\left(\sqrt{2 \alpha \beta+2 \beta^{2}}+\beta\right)+2 \alpha \beta^{2}+\beta^{3}-(2 \sqrt{2}+1) \alpha \beta(\alpha+\beta)= \\ \left(\alpha^{2}+\alpha \beta+\beta^{2}\right) \sqrt{2 \alpha \beta+2 \beta^{2}}+\beta(\alpha+\beta)^{2}+\beta\left(\alpha \beta+\beta^{2}\right)-(2 \sqrt{2}+1) \alpha \beta(\alpha+\beta)= \\ \left(\alpha \beta+\beta^{2}\right)\left[\left(\frac{\sqrt{2} \alpha^{2}}{\sqrt{\alpha \beta+\beta^{2}}}+\sqrt{2} \cdot \sqrt{\alpha+\beta+\beta^{2}}\right)+\alpha+2 \beta-(2 \sqrt{2}+1) \alpha\right] \geqslant \\ \left(\alpha \beta+\beta^{2}\right)[2 \sqrt{2} \alpha+\alpha+2 \beta-(2 \sqrt{2}+1) \alpha]= \\ 2\left(\alpha \beta+\beta^{2}\right) \beta \geqslant 0 \end{array}

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.