Maths Olympiad Prep

Library / /495 of 520

Algebra Difficulty 7.6 National olympiad, round 2 Prove it

Example 16 Let a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} be a permutation of 1,2,,n1,2, \cdots, n. Prove that:
12+23++n1na1a2+a2a3++an1an\frac{1}{2}+\frac{2}{3}+\cdots+\frac{n-1}{n} \leqslant \frac{a_{1}}{a_{2}}+\frac{a_{2}}{a_{3}}+\cdots+\frac{a_{n-1}}{a_{n}}

Solution

Prove that since a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} is a permutation of 1,2,,n1,2, \cdots, n, we have
(1+a1)(1+a2)(1+an1)(1+1)(1+2)[1+(n1)]=a1a2an.\begin{aligned} & \left(1+a_{1}\right)\left(1+a_{2}\right) \cdots\left(1+a_{n-1}\right) \\ \geqslant & (1+1)(1+2) \cdots[1+(n-1)] \\ = & a_{1} a_{2} \cdots a_{n} . \end{aligned}

Thus,
a1a2+a2a3++an1an+11+12++1n=a1a2+a2a3++an1an+1a1+1a2++1an=1a1+1+a1a2+1+a2a3++1+an1ann(1+a1)(1+a2)(1+an1)a1a2annn\begin{aligned} & \frac{a_{1}}{a_{2}}+\frac{a_{2}}{a_{3}}+\cdots+\frac{a_{n-1}}{a_{n}}+\frac{1}{1}+\frac{1}{2}+\cdots+\frac{1}{n} \\ = & \frac{a_{1}}{a_{2}}+\frac{a_{2}}{a_{3}}+\cdots+\frac{a_{n-1}}{a_{n}}+\frac{1}{a_{1}}+\frac{1}{a_{2}}+\cdots+\frac{1}{a_{n}} \\ = & \frac{1}{a_{1}}+\frac{1+a_{1}}{a_{2}}+\frac{1+a_{2}}{a_{3}}+\cdots+\frac{1+a_{n-1}}{a_{n}} \\ \geqslant & n \sqrt[n]{\frac{\left(1+a_{1}\right)\left(1+a_{2}\right) \cdots\left(1+a_{n-1}\right)}{a_{1} a_{2} \cdots a_{n}}} \geqslant n \end{aligned}

Since n=(1+12+13++1n)+(12+23++n1n)n=\left(1+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{n}\right)+\left(\frac{1}{2}+\frac{2}{3}+\cdots+\frac{n-1}{n}\right), we have
a1a2+a2a3++an1an12+23++n1n\frac{a_{1}}{a_{2}}+\frac{a_{2}}{a_{3}}+\cdots+\frac{a_{n-1}}{a_{n}} \geqslant \frac{1}{2}+\frac{2}{3}+\cdots+\frac{n-1}{n}

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.