Maths Olympiad Prep

Library / /111 of 133

Algebra Difficulty 6.6 National olympiad Prove it Saudi Arabia

Let a1a2an>0a_{1} \geq a_{2} \geq \cdots \geq a_{n}>0 be real numbers. Prove that
a1a2(a1a2)+a2a3(a2a3)++an1an(an1an)a1an(a1an). a_{1} a_{2}\left(a_{1}-a_{2}\right)+a_{2} a_{3}\left(a_{2}-a_{3}\right)+\cdots+a_{n-1} a_{n}\left(a_{n-1}-a_{n}\right) \geq a_{1} a_{n}\left(a_{1}-a_{n}\right) .

Solution

First solution. Assume that there exists 1i0<n1 \leq i_{0}<n such that ai0=ai0+1a_{i_{0}}= a_{i_{0}+1}. The sum of the two terms in the left hand side ai01ai0(ai01ai0)+ai0ai0+1(ai0ai0+1)a_{i_{0}-1} a_{i_{0}}\left(a_{i_{0}-1}-a_{i_{0}}\right)+ a_{i_{0}} a_{i_{0}+1}\left(a_{i_{0}}-a_{i_{0}+1}\right) is equal to ai01ai0+1(ai01ai01)a_{i_{0}-1} a_{i_{0}+1}\left(a_{i_{0}-1}-a_{i_{0}-1}\right). This means that we can skip i0i_{0} in the left hand side. This means that it is enough to prove this inequality when a1>a2>>an>0a_{1}>a_{2}>\cdots>a_{n}>0. In this case we have
a1a2(a1a2)+a2a3(a2a3)++an1an(an1an)=(a1a2)21a11a2+(a2a3)21a21a3++(an1an)21an11an((a1a2)+(a2a3)++(an1an))2(1a11a2)+(1a21a3)++(1an11an)=a1an(a1an), \begin{aligned} & a_{1} a_{2}\left(a_{1}-a_{2}\right)+a_{2} a_{3}\left(a_{2}-a_{3}\right)+\cdots+a_{n-1} a_{n}\left(a_{n-1}-a_{n}\right) \\ & \quad=\frac{\left(a_{1}-a_{2}\right)^{2}}{\frac{1}{a_{1}}-\frac{1}{a_{2}}}+\frac{\left(a_{2}-a_{3}\right)^{2}}{\frac{1}{a_{2}}-\frac{1}{a_{3}}}+\cdots+\frac{\left(a_{n-1}-a_{n}\right)^{2}}{\frac{1}{a_{n-1}}-\frac{1}{a_{n}}} \\ & \quad \geq \frac{\left(\left(a_{1}-a_{2}\right)+\left(a_{2}-a_{3}\right)+\cdots+\left(a_{n-1}-a_{n}\right)\right)^{2}}{\left(\frac{1}{a_{1}}-\frac{1}{a_{2}}\right)+\left(\frac{1}{a_{2}}-\frac{1}{a_{3}}\right)+\cdots+\left(\frac{1}{a_{n-1}}-\frac{1}{a_{n}}\right)}=a_{1} a_{n}\left(a_{1}-a_{n}\right), \end{aligned}
by Cauchy-Schwarz inequality.
The equality holds here when
a1a21a11a2=a2a31a21a3==an1an1an11an, \frac{a_{1}-a_{2}}{\frac{1}{a_{1}}-\frac{1}{a_{2}}}=\frac{a_{2}-a_{3}}{\frac{1}{a_{2}}-\frac{1}{a_{3}}}=\cdots=\frac{a_{n-1}-a_{n}}{\frac{1}{a_{n-1}}-\frac{1}{a_{n}}},
which is equivalent to
a1a2=a2a3==an1an. a_{1} a_{2}=a_{2} a_{3}=\cdots=a_{n-1} a_{n} .
This implies that n=2n=2, otherwise a1=a3a_{1}=a_{3} which is rejected. Therefore, in the general case, the equality holds when at least n2n-2 of the n1n-1 inequalities a1a2ana_{1} \geq a_{2} \geq \cdots \geq a_{n} are in fact equalities.

Second solution. We prove this inequality by induction on n2n \geq 2. For n=2n=2, clearly both sides are the same. Assume this inequality true for nn. Let a1a2anan+1>0a_{1} \geq a_{2} \geq \ldots \geq a_{n} \geq a_{n+1}>0. We have
a1a2(a1a2)++an1an(an1an)+anan+1(anan+1)a1an(a1an)+anan+1(anan+1)a1an+1(a1an+1), \begin{aligned} & a_{1} a_{2}\left(a_{1}-a_{2}\right)+\cdots+a_{n-1} a_{n}\left(a_{n-1}-a_{n}\right)+a_{n} a_{n+1}\left(a_{n}-a_{n+1}\right) \\ & \quad \geq a_{1} a_{n}\left(a_{1}-a_{n}\right)+a_{n} a_{n+1}\left(a_{n}-a_{n+1}\right) \geq a_{1} a_{n+1}\left(a_{1}-a_{n+1}\right), \end{aligned}
since
a1an(a1an)+anan+1(anan+1)a1an+1(a1an+1)=(a1an)(anan+1)(a1an+1)0 \begin{aligned} a_{1} a_{n}\left(a_{1}-a_{n}\right) & +a_{n} a_{n+1}\left(a_{n}-a_{n+1}\right)-a_{1} a_{n+1}\left(a_{1}-a_{n+1}\right) \\ = & \left(a_{1}-a_{n}\right)\left(a_{n}-a_{n+1}\right)\left(a_{1}-a_{n+1}\right) \geq 0 \end{aligned}
The equality holds here when a1=ana_{1}=a_{n} or when an=an+1a_{n}=a_{n+1} and there is equality in the hypothesis of induction. Therefore, in the general case, the equality holds when at least n2n-2 of the n1n-1 inequalities a1a2ana_{1} \geq a_{2} \geq \cdots \geq a_{n} are in fact equalities.

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.