Maths Olympiad Prep

Library / /218 of 520

Algebra Difficulty 6.5 National olympiad Prove it

Example 4.1.3 Let a,b,c>0a, b, c>0, prove: aa2+8bc+bb2+8ac+cc2+8ab1\frac{a}{\sqrt{a^{2}+8 b c}}+\frac{b}{\sqrt{b^{2}+8 a c}}+\frac{c}{\sqrt{c^{2}+8 a b}} \geq 1

Solution

Proof: Although this problem has been solved using Hölder's inequality, the proof given by Jensen's inequality is still very elegant. Without loss of generality, we assume a+b+c=1a+b+c=1. Since f(x)=1xf(x)=\frac{1}{\sqrt{x}} is a convex function, by Jensen's inequality we get:
af(a2+8bc)+bf(b2+8ca)+cf(c2+8ab)f(M)a f\left(a^{2}+8 b c\right)+b f\left(b^{2}+8 c a\right)+c f\left(c^{2}+8 a b\right) \geq f(M)

Here M=cyca(a2+8bc)=24abc+cyca3M=\sum_{c y c} a\left(a^{2}+8 b c\right)=24 a b c+\sum_{c y c} a^{3}. Therefore, we only need to prove f(M)1f(M) \geq 1 or M1M \leq 1 or
24abc+cyca3(cyca)3cycc(ab)2024 a b c+\sum_{c y c} a^{3} \leq\left(\sum_{c y c} a\right)^{3} \Leftrightarrow \sum_{c y c} c(a-b)^{2} \geq 0

The last inequality is obvious. Equality holds when a=b=ca=b=c.

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.