Maths Olympiad Prep

Library / /190 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Example 6.531>abc>06.53 \quad 1>a \geqslant b \geqslant c>0, prove that
ab+bc+ca32a^{b}+b^{c}+c^{a} \geqslant \frac{3}{2}

Solution

We first prove a lemma.
Lemma If 1>a,b>01>a, b>0, then abaa+ba^{b} \geqslant \frac{a}{a+b}, which is obvious when a1a \geqslant 1.
If 1>a,b>01>a, b>0, by Bernoulli's inequality we have
ab=aa1ba1(1b)(1a)=aa+babaa+ba^{b}=\frac{a}{a^{1-b}} \geqslant \frac{a}{1-(1-b)(1-a)}=\frac{a}{a+b-a b} \geqslant \frac{a}{a+b}

Thus the lemma is proved.
Returning to the original problem, by the lemma we have
ab+bc+caaa+b+bb+c+cc+aa^{b}+b^{c}+c^{a} \geqslant \frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a}

Next, we prove
aa+b+bb+c+cc+a32\frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a} \geqslant \frac{3}{2}

In fact,
(aa+b+bb+c+cc+a)(ba+b+cb+c+ac+a)=(ab)(b+c)(c+a)+(bc)(a+b)(c+a)+(ca)(a+b)(b+c)(a+b)(b+c)(c+a)=(c+a)(ab+acb2bc+ab+b2cacb)+(ca)(a+b)(b+c)(a+b)(b+c)(c+a)=(ac)(2bc+2ababacb2bc)(a+b)(b+c)(c+a)=(ac)(ab)(bc)(a+b)(b+c)(c+a)0(aa+b+bb+c+cc+a)+(ba+b+cb+c+ac+a)=3\begin{array}{l} \left(\frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a}\right)-\left(\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a}\right)= \\ \frac{(a-b)(b+c)(c+a)+(b-c)(a+b)(c+a)+(c-a)(a+b)(b+c)}{(a+b)(b+c)(c+a)}= \\ \frac{(c+a)\left(a b+a c-b^{2}-b c+a b+b^{2}-c a-c b\right)+(c-a)(a+b)(b+c)}{(a+b)(b+c)(c+a)}= \\ \frac{(a-c)\left(2 b c+2 a b-a b-a c-b^{2}-b c\right)}{(a+b)(b+c)(c+a)}= \\ \frac{(a-c)(a-b)(b-c)}{(a+b)(b+c)(c+a)} \geqslant 0 \\ \quad\left(\frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a}\right)+\left(\frac{b}{a+b}+\frac{c}{b+c}+\frac{a}{c+a}\right)=3 \end{array}

Therefore,
aa+b+bb+c+cc+a32\frac{a}{a+b}+\frac{b}{b+c}+\frac{c}{c+a} \geqslant \frac{3}{2}

The equality in the inequality will not hold, and we have completed the proof.

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.