Maths Olympiad Prep

Library / /459 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Problem 60. Suppose that nn is an integer greater than 2. Let a1,a2,,ana_{1}, a_{2}, \ldots, a_{n} be positive real numbers such that a1a2an=1a_{1} a_{2} \ldots a_{n}=1. Prove the following inequality
a1+3(a1+1)2+a2+3(a2+1)2++an+3(an+1)23\frac{a_{1}+3}{\left(a_{1}+1\right)^{2}}+\frac{a_{2}+3}{\left(a_{2}+1\right)^{2}}+\ldots+\frac{a_{n}+3}{\left(a_{n}+1\right)^{2}} \geq 3

Solution

Solution. Notice first that it is sufficient to prove the inequality in the case n=3n=3. For a bigger value of n(n4)n(n \geq 4), we only need to choose from the set {a1,a2,,an}\left\{a_{1}, a_{2}, \ldots, a_{n}\right\} the three smallest numbers, say a1,a2,a3a_{1}, a_{2}, a_{3}. Since a1a2a31a_{1} a_{2} a_{3} \leq 1, there exists a positive number kk such that aa1=ba2=ca3=k1\frac{a}{a_{1}}=\frac{b}{a_{2}}=\frac{c}{a_{3}}=k \geq 1, then
i=1nai+3(ai+1)2a1+3(a1+1)2+a2+3(a2+1)2+a3+3(a3+1)2cyca+3(a+1)23\sum_{i=1}^{n} \frac{a_{i}+3}{\left(a_{i}+1\right)^{2}} \geq \frac{a_{1}+3}{\left(a_{1}+1\right)^{2}}+\frac{a_{2}+3}{\left(a_{2}+1\right)^{2}}+\frac{a_{3}+3}{\left(a_{3}+1\right)^{2}} \geq \sum_{c y c} \frac{a+3}{(a+1)^{2}} \geq 3

We will now prove that if a,b,ca, b, c are positive real numbers and abc=1a b c=1 then
a+3(a+1)2+b+3(b+1)2+c+3(c+1)23\frac{a+3}{(a+1)^{2}}+\frac{b+3}{(b+1)^{2}}+\frac{c+3}{(c+1)^{2}} \geq 3

Let a1=21+a,b1=21+b,c1=21+ca_{1}=\frac{2}{1+a}, b_{1}=\frac{2}{1+b}, c_{1}=\frac{2}{1+c}. The inequality becomes
a1+b1+c1+a12+b12+c126a_{1}+b_{1}+c_{1}+a_{1}^{2}+b_{1}^{2}+c_{1}^{2} \geq 6

Since abc=1a b c=1, we have
cyc(1a112)=abc8=18cyc(2a1)=a1b1c1\prod_{c y c}\left(\frac{1}{a_{1}}-\frac{1}{2}\right)=\frac{a b c}{8}=\frac{1}{8} \Rightarrow \prod_{c y c}\left(2-a_{1}\right)=a_{1} b_{1} c_{1}

Let x=a11,y=b11,z=c11x=a_{1}-1, y=b_{1}-1, z=c_{1}-1, then x,y,z[1,1]x, y, z \in[-1,1] and we infer that
(x+1)(y+1)(z+1)=(1x)(1y)(1z)x+y+z+xyz=0(x+1)(y+1)(z+1)=(1-x)(1-y)(1-z) \Rightarrow x+y+z+x y z=0

By AM-GM inequality, we deduce that x2+y2+z23(xyz)2/33xyzx^{2}+y^{2}+z^{2} \geq 3(x y z)^{2 / 3} \geq 3 x y z, thus
a1+b1+c1+a12+b12+c126=cyc(a11)(a1+2)=cycx(x+3)0a_{1}+b_{1}+c_{1}+a_{1}^{2}+b_{1}^{2}+c_{1}^{2}-6=\sum_{c y c}\left(a_{1}-1\right)\left(a_{1}+2\right)=\sum_{c y c} x(x+3) \geq 0

This ends the proof. Equality holds for a=b=c=1a=b=c=1.

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.