Maths Olympiad Prep

Library / /47 of 94

Algebra Difficulty 6.0 National Olympiad Prove it Hong Kong

For n2n \ge 2, let a1,a2,,an,an+1a_1, a_2, \dots, a_n, a_{n+1} be positive and a2a1=a3a2==an+1an0a_2 - a_1 = a_3 - a_2 = \dots = a_{n+1} - a_n \ge 0. Prove that
1a22+1a32++1an2n12a1an+a2an+1a1a2anan+1 \frac{1}{a_2^2} + \frac{1}{a_3^2} + \dots + \frac{1}{a_n^2} \le \frac{n-1}{2} \cdot \frac{a_1 a_n + a_2 a_{n+1}}{a_1 a_2 a_n a_{n+1}}
Determine when equality holds.

Solution

Let d=ajaj10d = a_j - a_{j-1} \ge 0. If d>0d > 0, then
1ak2<1ak2d2=1ak1ak+1=ak+1ak12dak1ak+1=12d(1ak11ak+1) \frac{1}{a_k^2} < \frac{1}{a_k^2 - d^2} = \frac{1}{a_{k-1}a_{k+1}} = \frac{a_{k+1} - a_{k-1}}{2d a_{k-1} a_{k+1}} = \frac{1}{2d} \left( \frac{1}{a_{k-1}} - \frac{1}{a_{k+1}} \right)
for any k>1k > 1. Therefore, we have
k=2n1ak2<12dk=2n(1ak11ak+1)=12d(1a11an+1a21an+1)=12d((n1)da1an+(n1)da2an+1)=n12a1an+a2an+1a1a2anan+1. \begin{aligned} \sum_{k=2}^n \frac{1}{a_k^2} &< \frac{1}{2d} \sum_{k=2}^n \left( \frac{1}{a_{k-1}} - \frac{1}{a_{k+1}} \right) \\ &= \frac{1}{2d} \left( \frac{1}{a_1} - \frac{1}{a_n} + \frac{1}{a_2} - \frac{1}{a_{n+1}} \right) \\ &= \frac{1}{2d} \left( \frac{(n-1)d}{a_1 a_n} + \frac{(n-1)d}{a_2 a_{n+1}} \right) \\ &= \frac{n-1}{2} \cdot \frac{a_1 a_n + a_2 a_{n+1}}{a_1 a_2 a_n a_{n+1}}. \end{aligned}
When d=0d = 0, let aj=ca_j = c for all jj. Then
k=2n1ak2=n1c2 \sum_{k=2}^n \frac{1}{a_k^2} = \frac{n-1}{c^2}
and
n12a1an+a2an+1a1a2anan+1=n122c2c4=n1c2=k=2n1ak2. \frac{n-1}{2} \cdot \frac{a_1 a_n + a_2 a_{n+1}}{a_1 a_2 a_n a_{n+1}} = \frac{n-1}{2} \cdot \frac{2c^2}{c^4} = \frac{n-1}{c^2} = \sum_{k=2}^n \frac{1}{a_k^2}.
Therefore, the inequality is proven, and equality holds when a1=a2==an+1a_1 = a_2 = \dots = a_{n+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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.