Track / Stage 6 / 160 of 400 #1160 of 1964
Problem 1160 National olympiad, first round Algebra Difficulty 6.2 Prove it
## T-1 A
Prove that for all positive real numbers a , b , c a, b, c a , b , c such that a b c = 1 a b c=1 ab c = 1 the following inequality holds:
a 2 b + c 2 + b 2 c + a 2 + c 2 a + b 2 ⩽ a 2 + b 2 + c 2 3
\frac{a}{2 b+c^{2}}+\frac{b}{2 c+a^{2}}+\frac{c}{2 a+b^{2}} \leqslant \frac{a^{2}+b^{2}+c^{2}}{3}
2 b + c 2 a + 2 c + a 2 b + 2 a + b 2 c ⩽ 3 a 2 + b 2 + c 2
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.
I solved it I didn't Skip
Official solution Solution 1. Using the given condition a b c = 1 a b c=1 ab c = 1 we get the following:
∑ cyc a 2 b + c 2 = ∑ cyc a b + b + c 2 ⩽ AM-GM ∑ cyc a 3 b 2 c 2 3 = ∑ cyc ( a 3 ⋅ a 2 3 ) ⩽ GM-AM ∑ cyc ( a 3 ⋅ a + a + 1 3 ) = ∑ cyc a ( 2 a + 1 ) 9 = 2 9 ∑ cyc a 2 + 1 9 ∑ cyc a .
\begin{aligned}
\sum_{\text {cyc }} \frac{a}{2 b+c^{2}} & =\sum_{\text {cyc }} \frac{a}{b+b+c^{2}} \\
& \stackrel{\text { AM-GM }}{\leqslant} \sum_{\text {cyc }} \frac{a}{3 \sqrt[3]{b^{2} c^{2}}}=\sum_{\text {cyc }}\left(\frac{a}{3} \cdot \sqrt[3]{a^{2}}\right) \\
& \stackrel{\text { GM-AM }}{\leqslant} \sum_{\text {cyc }}\left(\frac{a}{3} \cdot \frac{a+a+1}{3}\right)=\sum_{\text {cyc }} \frac{a(2 a+1)}{9}=\frac{2}{9} \sum_{\text {cyc }} a^{2}+\frac{1}{9} \sum_{\text {cyc }} a .
\end{aligned}
cyc ∑ 2 b + c 2 a = cyc ∑ b + b + c 2 a ⩽ AM-GM cyc ∑ 3 3 b 2 c 2 a = cyc ∑ ( 3 a ⋅ 3 a 2 ) ⩽ GM-AM cyc ∑ ( 3 a ⋅ 3 a + a + 1 ) = cyc ∑ 9 a ( 2 a + 1 ) = 9 2 cyc ∑ a 2 + 9 1 cyc ∑ a .
Now it suffices to prove that 2 9 ∑ cyc a 2 + 1 9 ∑ cyc a ⩽ 1 3 ∑ cyc a 2 \frac{2}{9} \sum_{\text {cyc }} a^{2}+\frac{1}{9} \sum_{\text {cyc }} a \leqslant \frac{1}{3} \sum_{\text {cyc }} a^{2} 9 2 ∑ cyc a 2 + 9 1 ∑ cyc a ⩽ 3 1 ∑ cyc a 2 , which is equivalent with ∑ cyc a 2 ⩾ \sum_{\text {cyc }} a^{2} \geqslant ∑ cyc a 2 ⩾ ∑ cyc a \sum_{\text {cyc }} a ∑ cyc a and that can be easily proven in the following way:
∑ c y c a 2 ⩾ Q M − A M 3 ⋅ ( ∑ c y c a 3 ) 2 = ∑ c y c a 3 ⋅ ∑ c y c a ⩾ A − G ∑ c y c a 3 ⋅ 3 a b c 3 = ∑ c y c a
\sum_{\mathrm{cyc}} a^{2} \stackrel{\mathrm{QM}-\mathrm{AM}}{\geqslant} 3 \cdot\left(\frac{\sum_{\mathrm{cyc}} a}{3}\right)^{2}=\frac{\sum_{\mathrm{cyc}} a}{3} \cdot \sum_{\mathrm{cyc}} a \stackrel{\mathrm{A}-\mathrm{G}}{\geqslant} \frac{\sum_{\mathrm{cyc}} a}{3} \cdot 3 \sqrt[3]{a b c}=\sum_{\mathrm{cyc}} a
cyc ∑ a 2 ⩾ QM − AM 3 ⋅ ( 3 ∑ cyc a ) 2 = 3 ∑ cyc a ⋅ cyc ∑ a ⩾ A − G 3 ∑ cyc a ⋅ 3 3 ab c = cyc ∑ a
← Previous All problems Next →
Source: NuminaMath-1.5 ,
licensed Apache-2.0 .
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.