Olympiad Maths Prep

Track / Stage 6 / 120 of 400 #1120 of 2000

Problem 1120

National olympiad, first round
Algebra Difficulty 6.2 Prove it

13.12. (New York, 77-79). Prove that if a,ba, b, and cc are the lengths of the sides of a triangle, PP is its perimeter, and SS is its area, then the following inequalities hold:

1) 1a+1b+1c9P\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \geqslant \frac{9}{P}.
2) a2+b2+c2P23a^{2}+b^{2}+c^{2} \geqslant \frac{P^{2}}{3}.
3) P2123SP^{2} \geqslant 12 \sqrt{3} S.
4) a2+b2+c243Sa^{2}+b^{2}+c^{2} \geqslant 4 \sqrt{3} S.
5) a3+b3+c3P39a^{3}+b^{3}+c^{3} \geqslant \frac{P^{3}}{9}.
6) a3+b3+c3433SPa^{3}+b^{3}+c^{3} \geqslant \frac{4 \sqrt{3}}{3} S P.
7) a4+b4+c416S2a^{4}+b^{4}+c^{4} \geqslant 16 S^{2}.

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

13.12. 1) By the mean value theorem, we have

(ab+bc+ca)(a+b+c)=a2b+b2a+c2a+a2c+b2c+c2b+3abc(a b+b c+c a)(a+b+c)=a^{2} b+b^{2} a+c^{2} a+a^{2} c+b^{2} c+c^{2} b+3 a b c \geqslant

6abc+3abc=9abc\geqslant 6 a b c+3 a b c=9 a b c,

from which the inequality follows

1a+1b+1c9P \frac{1}{a}+\frac{1}{b}+\frac{1}{c} \geqslant \frac{9}{P}

2) The inequality

a2+b2+c2P2/3 a^{2}+b^{2}+c^{2} \geqslant P^{2} / 3

follows from the chain of relations

P2=(a+b+c)2=a2+b2+c2+2ab+2ac+2bc<a2+b2+c2+(a2+b2)+(a2+c2)+(b2+c2)=3(a2+b2+c2). \begin{aligned} & P^{2}=(a+b+c)^{2}=a^{2}+b^{2}+c^{2}+2 a b+2 a c+2 b c \leqslant \\ & <a^{2}+b^{2}+c^{2}+\left(a^{2}+b^{2}\right)+\left(a^{2}+c^{2}\right)+\left(b^{2}+c^{2}\right)=3\left(a^{2}+b^{2}+c^{2}\right) . \end{aligned}

3) By Heron's formula and the mean value theorem, we get

27S2=27(P/2)(P/2a)(P/2b)(P/2c)27(P/2)((P/2a)+(P/2b)+(P/2c)3)3=P4/16 \begin{aligned} 27 S^{2}=27(P / 2) & (P / 2-a)(P / 2-b)(P / 2-c) \leqslant \\ & \quad \leqslant 27(P / 2)\left(\frac{(P / 2-a)+(P / 2-b)+(P / 2-c)}{3}\right)^{3}=P^{4} / 16 \end{aligned}

i.e., P2123SP^{2} \geqslant 12 \sqrt{3} S.

4) According to inequalities 2) and 3), we have

a2+b2+c2P2/343S a^{2}+b^{2}+c^{2} \geqslant P^{2} / 3 \geqslant 4 \sqrt{3} S

5) The inequality

a3+b3+c3P3/9 a^{3}+b^{3}+c^{3} \geqslant P^{3} / 9

follows from the chain of relations

P3=(a+b+c)3=a3+b3+c3+6abc+3ab(a+b)+3bc(b+c)+P^{3}=(a+b+c)^{3}=a^{3}+b^{3}+c^{3}+6 a b c+3 a b(a+b)+3 b c(b+c)+ +3ca(c+a)a3+b3+c3+2(a3+b3+c3)+3(a2ab+b2)(a+b)++3 c a(c+a) \leqslant a^{3}+b^{3}+c^{3}+2\left(a^{3}+b^{3}+c^{3}\right)+3\left(a^{2}-a b+b^{2}\right)(a+b)+ +3(a2ac+c2)(a+c)+3(b2bc+c2)(b+c)=9(a3+b3+c3)+3\left(a^{2}-a c+c^{2}\right)(a+c)+3\left(b^{2}-b c+c^{2}\right)(b+c)=9\left(a^{3}+b^{3}+c^{3}\right).

6) According to inequalities 3) and 5), we have

a3+b3+c3P3/9123SP/9=(43/3)SP a^{3}+b^{3}+c^{3} \geqslant P^{3} / 9 \geqslant 12 \sqrt{3} S P / 9=(4 \sqrt{3} / 3) S P

7) From inequality 4), we get

16S2(a2+b2+c2)23==a4+b4+c4+2a2b2+2a2c2+2b2c23a4+b4+c4 \begin{aligned} & 16 S^{2} \leqslant \frac{\left(a^{2}+b^{2}+c^{2}\right)^{2}}{3}= \\ & =\frac{a^{4}+b^{4}+c^{4}+2 a^{2} b^{2}+2 a^{2} c^{2}+2 b^{2} c^{2}}{3} \leqslant a^{4}+b^{4}+c^{4} \end{aligned}

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