Maths Olympiad Prep

Track / Stage 6 / 354 of 400 #1354 of 1964

Problem 1354

National olympiad, first round
Algebra Difficulty 6.8 Prove it

Let a,b,ca, b, c be positive real numbers such that abc=1a b c=1. Prove that

(a+1b)2+(b+1c)2+(c+1a)23(a+b+c+1) \left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} \geq 3(a+b+c+1)

When does equality hold?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solutions — 2

Solution 1

Solution 2. From QM-AM we obtain

(a+1b)2+(b+1c)2+(c+1a)23a+1b+b+1c+c+1a3(a+1b)2+(b+1c)2+(c+1a)2(a+1b+b+1c+c+1a)23(1) \begin{gathered} \sqrt{\frac{\left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2}}{3}} \geq \frac{a+\frac{1}{b}+b+\frac{1}{c}+c+\frac{1}{a}}{3} \Leftrightarrow \\ \left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} \geq \frac{\left(a+\frac{1}{b}+b+\frac{1}{c}+c+\frac{1}{a}\right)^{2}}{3} \quad (1) \end{gathered}

From AM-GM we have 1a+1b+1c31abc3=3\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \geq 3 \sqrt[3]{\frac{1}{a b c}}=3, and substituting in (1) we get

(a+1b)2+(b+1c)2+(c+1a)2(a+1b+b+1c+c+1a)23(a+b+c+3)23==(a+b+c)(a+b+c)+6(a+b+c)+93(a+b+c)3abc3+6(a+b+c)+93==9(a+b+c)+93=3(a+b+c+1). \begin{aligned} & \left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} \geq \frac{\left(a+\frac{1}{b}+b+\frac{1}{c}+c+\frac{1}{a}\right)^{2}}{3} \geq \frac{(a+b+c+3)^{2}}{3}= \\ & =\frac{(a+b+c)(a+b+c)+6(a+b+c)+9}{3} \geq \frac{(a+b+c) 3 \sqrt[3]{a b c}+6(a+b+c)+9}{3}= \\ & =\frac{9(a+b+c)+9}{3}=3(a+b+c+1) . \end{aligned}

The equality holds if and only if a=b=c=1a=b=c=1.

Solution 2

By using AM-GM (x2+y2+z2xy+yz+zx)\left(x^{2}+y^{2}+z^{2} \geq x y+y z+z x\right) we have

(a+1b)2+(b+1c)2+(c+1a)2(a+1b)(b+1c)+(b+1c)(c+1a)+(c+1a)(a+1b)=(ab+1+ac+a)+(bc+1+ba+b)+(ca+1+cb+c)=ab+bc+ca+ac+cb+ba+3+a+b+c \begin{aligned} \left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} & \geq\left(a+\frac{1}{b}\right)\left(b+\frac{1}{c}\right)+\left(b+\frac{1}{c}\right)\left(c+\frac{1}{a}\right)+\left(c+\frac{1}{a}\right)\left(a+\frac{1}{b}\right) \\ & =\left(a b+1+\frac{a}{c}+a\right)+\left(b c+1+\frac{b}{a}+b\right)+\left(c a+1+\frac{c}{b}+c\right) \\ & =a b+b c+c a+\frac{a}{c}+\frac{c}{b}+\frac{b}{a}+3+a+b+c \end{aligned}

Notice that by AM-GM we have ab+ba2b,bc+cb2ca b+\frac{b}{a} \geq 2 b, b c+\frac{c}{b} \geq 2 c, and ca+ac2ac a+\frac{a}{c} \geq 2 a.

Thus,

(a+1b)2+(b+1c)2+(c+1a)2(ab+ba)+(bc+cb)+(ca+ac)+3+a+b+c3(a+b+c+1) \left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} \geq\left(a b+\frac{b}{a}\right)+\left(b c+\frac{c}{b}\right)+\left(c a+\frac{a}{c}\right)+3+a+b+c \geq 3(a+b+c+1)

The equality holds if and only if a=b=c=1a=b=c=1.

Solution2. From QM-AM we obtain

(a+1b)2+(b+1c)2+(c+1a)23a+1b+b+1c+c+1a3(a+1b)2+(b+1c)2+(c+1a)2(a+1b+b+1c+c+1a)23 \begin{aligned} & \sqrt{\frac{\left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2}}{3}} \geq \frac{a+\frac{1}{b}+b+\frac{1}{c}+c+\frac{1}{a}}{3} \Leftrightarrow \\ & \left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} \geq \frac{\left(a+\frac{1}{b}+b+\frac{1}{c}+c+\frac{1}{a}\right)^{2}}{3} \end{aligned}

From AM-GM we have 1a+1b+1c31abc3=3\frac{1}{a}+\frac{1}{b}+\frac{1}{c} \geq 3 \sqrt[3]{\frac{1}{a b c}}=3, and substituting in (1) we get

(a+1b)2+(b+1c)2+(c+1a)2(a+1b+b+1c+c+1a)23(a+b+c+3)23==(a+b+c)(a+b+c)+6(a+b+c)+93(a+b+c)3abc3+6(a+b+c)+93==9(a+b+c)+93=3(a+b+c+1) \begin{aligned} &\left(a+\frac{1}{b}\right)^{2}+\left(b+\frac{1}{c}\right)^{2}+\left(c+\frac{1}{a}\right)^{2} \geq \frac{\left(a+\frac{1}{b}+b+\frac{1}{c}+c+\frac{1}{a}\right)^{2}}{3} \geq \frac{(a+b+c+3)^{2}}{3}= \\ &=\frac{(a+b+c)(a+b+c)+6(a+b+c)+9}{3} \geq \frac{(a+b+c) 3 \sqrt[3]{a b c}+6(a+b+c)+9}{3}= \\ &=\frac{9(a+b+c)+9}{3}=3(a+b+c+1) \end{aligned}

The equality holds if and only if a=b=c=1a=b=c=1.

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