Maths Olympiad Prep

Library / /478 of 520

Algebra Difficulty 7.5 National olympiad, round 2 Prove it

34. Let a,b,ca, b, c be positive real numbers, and satisfy a+b+c=1a+b+c=1. Prove:
a1b1+b1c1+c1a1334(1a)(1b)(1c)\frac{a}{\sqrt{\frac{1}{b}-1}}+\frac{b}{\sqrt{\frac{1}{c}-1}}+\frac{c}{\sqrt{\frac{1}{a}-1}} \leq \frac{3 \sqrt{3}}{4} \cdot \sqrt{(1-a)(1-b)(1-c)}
(Do Hoang Giang)

Solution

Prove that the inequality is equivalent to
P=cyca(a+c)(a+b)ab(b+c)(c+a)334P=\sum_{c y c} \sqrt{\frac{a}{(a+c)(a+b)} \cdot \frac{a b}{(b+c)(c+a)}} \leq \frac{3 \sqrt{3}}{4}

Without loss of generality, assume a=min(a,b,c)a=\min (a, b, c), and consider the following cases:
( i ) If abca \leq b \leq c, then we have
ab(b+c)(c+a)ca(a+b)(b+c)bc(c+a)(a+b)a(a+c)(a+b)b(a+b)(b+c)c(b+c)(c+a)\begin{array}{l} \frac{a b}{(b+c)(c+a)} \leq \frac{c a}{(a+b)(b+c)} \leq \frac{b c}{(c+a)(a+b)} \\ \frac{a}{(a+c)(a+b)} \leq \frac{b}{(a+b)(b+c)} \leq \frac{c}{(b+c)(c+a)} \end{array}

Therefore, by the rearrangement inequality, we have
Pa2b(a+b)(a+c)2(b+c)+abc(a+b)2(b+c)2+bc2(c+a)2(a+b)(b+c)=abc(a+b)2(b+c)2+b(a+b)(b+c)(aa+c+cc+a)\begin{array}{l} P \leq \sqrt{\frac{a^{2} b}{(a+b)(a+c)^{2}(b+c)}}+\sqrt{\frac{a b c}{(a+b)^{2}(b+c)^{2}}}+\sqrt{\frac{b c^{2}}{(c+a)^{2}(a+b)(b+c)}} \\ =\sqrt{\frac{a b c}{(a+b)^{2}(b+c)^{2}}}+\frac{b}{(a+b)(b+c)}\left(\frac{a}{a+c}+\frac{c}{c+a}\right) \end{array}
3[abc(a+b)2(b+c)2+214b(a+b)(b+c)] (since x+abc(a+b)2(b+c)2+12b(a+b)(b+c)916(3acb)20 i) If acb, we have \begin{array}{l} \leq \sqrt{3\left[\frac{a b c}{(a+b)^{2}(b+c)^{2}}+2 \cdot \frac{1}{4} \cdot \frac{b}{(a+b)(b+c)}\right]} \text { (since } \sqrt{x}+ \\ \frac{a b c}{(a+b)^{2}(b+c)^{2}}+\frac{1}{2} \cdot \frac{b}{(a+b)(b+c)} \geq \frac{9}{16} \Leftrightarrow(3 a c-b)^{2} \geq 0 \\ \text { i) If } a \leq c \leq b \text {, we have } \end{array}

Thus, it suffices to prove
ca(a+b)(b+c)ab(b+c)(c+a)bc(c+a)(a+b)a(a+c)(a+b)c(b+c)(c+a)b(a+b)(b+c)\begin{array}{l} \frac{c a}{(a+b)(b+c)} \leq \frac{a b}{(b+c)(c+a)} \leq \frac{b c}{(c+a)(a+b)} \\ \frac{a}{(a+c)(a+b)} \leq \frac{c}{(b+c)(c+a)} \leq \frac{b}{(a+b)(b+c)} \end{array}

Therefore, by the rearrangement inequality, we have
Pa2c(a+c)(a+b)2(b+c)+abc(a+c)2(b+c)2+b2c(a+c)(a+b)2(b+c)3[abc(a+c)2(b+c)2+214c(b+c)(c+a)]\begin{array}{l} P \leq \sqrt{\frac{a^{2} c}{(a+c)(a+b)^{2}(b+c)}}+\sqrt{\frac{a b c}{(a+c)^{2}(b+c)^{2}}}+\sqrt{\frac{b^{2} c}{(a+c)(a+b)^{2}(b+c)}} \\ \leq \sqrt{3\left[\frac{a b c}{(a+c)^{2}(b+c)^{2}}+2 \cdot \frac{1}{4} \cdot \frac{c}{(b+c)(c+a)}\right]} \end{array}

Thus, it suffices to prove
abc(a+c)2(b+c)2+12c(b+c)(c+a)916(3abc)20\frac{a b c}{(a+c)^{2}(b+c)^{2}}+\frac{1}{2} \cdot \frac{c}{(b+c)(c+a)} \leq \frac{9}{16} \Leftrightarrow(3 a b-c)^{2} \geq 0

Equality holds when a=b=c=13a=b=c=\frac{1}{3}

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.