Maths Olympiad Prep

Library / /2 of 4

Algebra Difficulty 3.9 AMC 10/12 Prove it North Macedonia

Let aa, bb and cc be positive real numbers for which the equality a+b+c+2=abca+b+c+2=abc holds. Prove that the inequality ab+1+bc+1+ca+12\frac{a}{b+1} + \frac{b}{c+1} + \frac{c}{a+1} \ge 2 holds. When does equality hold?

Solutions — 2

Solution 1

At first we notice that the equality
(a+1)(b+1)+(a+1)(c+1)+(b+1)(c+1)=a+b+c+(a+b+c+2)+ab+ac+bc+1=a+b+c+abc+ab+ac+bc+1=(a+1)(b+1)(c+1) \begin{aligned} (a+1)(b+1) + (a+1)(c+1) + (b+1)(c+1) &= a+b+c+(a+b+c+2)+ab+ac+bc+1 \\ &= a+b+c+abc+ab+ac+bc+1 = (a+1)(b+1)(c+1) \end{aligned}
holds. Now from the inequality between the arithmetic and geometric mean we get:
ab+1+bc+1+ca+1=a+1b+1+b+1c+1+c+1a+1(1a+1+1b+1+1c+1)33(a+1)(b+1)(c+1)(b+1)(c+1)(a+1)(1a+1+1b+1+1c+1)=3=3(a+1)(b+1)(c+1)(a+1)(b+1)(c+1)=31=2 \begin{aligned} \frac{a}{b+1} + \frac{b}{c+1} + \frac{c}{a+1} &= \frac{a+1}{b+1} + \frac{b+1}{c+1} + \frac{c+1}{a+1} - \left(\frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1}\right) \\ &\ge 3 \\ &\ge 3\sqrt{\frac{(a+1)(b+1)(c+1)}{(b+1)(c+1)(a+1)}} - \left(\frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1}\right) = 3 \\ &= 3 - \frac{(a+1)(b+1)(c+1)}{(a+1)(b+1)(c+1)} = 3-1=2 \end{aligned}
Equality holds if and only if a=b=c=2a=b=c=2.

Solution 2

If we multiply the inequality by (a+1)(b+1)(c+1)(a+1)(b+1)(c+1) we get the equivalent inequality:
a(a+1)(c+1)+b(b+1)(a+1)+c(c+1)(b+1)2(a+1)(b+1)(c+1) a(a+1)(c+1)+b(b+1)(a+1)+c(c+1)(b+1) \geq 2(a+1)(b+1)(c+1)
which can be written in the form
a2c+b2a+c2b+a2+b2+c22abc+ab+bc+ca+a+b+c+2. a^2c+b^2a+c^2b+a^2+b^2+c^2 \geq 2abc+ab+bc+ca+a+b+c+2.
But, from the inequalities
a2c+b2a+c2b3a3b3c33=3abc a^2c+b^2a+c^2b \geq 3\sqrt[3]{a^3b^3c^3} = 3abc
a2+b2+c2ab+bc+ca a^2+b^2+c^2 \geq ab+bc+ca
we get
a2c+b2a+c2b+a2+b2+c23abc+ab+bc+ca. a^2c+b^2a+c^2b+a^2+b^2+c^2 \geq 3abc+ab+bc+ca.
Now, if we use the condition of the exercise, we get
a2c+b2a+c2b+a2+b2+c22abc+ab+bc+ca+a+b+c+2. a^2c+b^2a+c^2b+a^2+b^2+c^2 \geq 2abc+ab+bc+ca+a+b+c+2.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.