Maths Olympiad Prep

Library / /127 of 520

Algebra Difficulty 5.9 AIME, harder Prove it

Let a,b,ca, b, c be positive numbers such that a2b2+b2c2+c2a2=3a^{2} b^{2}+b^{2} c^{2}+c^{2} a^{2}=3. Prove that

a+b+cabc+2 a+b+c \geq a b c+2

Solution

We can consider the case abca \geq b \geq c which implies c1c \leq 1. The given inequality writes

a+b2(ab1)c(ab1)c2=(ab1)3a2b2a2+b2 a+b-2 \geq (ab-1)c \geq (ab-1)c^2 = (ab-1) \frac{3-a^2b^2}{a^2+b^2}

Put x=abx = \sqrt{ab}. From the inequality 3a2b2a2b2+b2c2+c2a2=33a^2b^2 \geq a^2b^2 + b^2c^2 + c^2a^2 = 3 we infer x1x \geq 1 and from a2b2<a2b2+b2c2+c2a2=3a^2b^2 < a^2b^2 + b^2c^2 + c^2a^2 = 3 we find x34x \leq \sqrt[4]{3}. As a+b2ab=2xa+b \geq 2\sqrt{ab} = 2x and a2+b22ab=2x2a^2 + b^2 \geq 2ab = 2x^2, to prove the inequality (1) it will suffice to show that

2(x1)(x21)3x42x2 2(x-1) \geq (x^2-1) \frac{3-x^4}{2x^2}

As x10x-1 \geq 0, the last inequality is equivalent to

4x2(x+1)(3x4) 4x^2 \geq (x+1)(3-x^4)

which can be easily obtained by multiplying the obvious ones 2x2x+12x^2 \geq x+1 and 23x42 \geq 3-x^4.

Equality holds only in the case when a=b=c=1a=b=c=1.

Comment: As it is, the solution is incorrect, it only proves the weaker inequality a+b2(ab1)c2a+b-2 \geq (ab-1)c^2, that is: a+b+c2abc2+2a+b+c^2 \geq abc^2 + 2. The problem committee could not find a reasonable solution. Instead the problem could be slightly modified so that the method of the proposed solution applies. The modified problem is:

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.