Maths Olympiad Prep

Library / /486 of 520

Algebra Difficulty 7.6 National olympiad, round 2 Prove it

Example 9 Let a1,a2,,ama_{1}, a_{2}, \cdots, a_{m} be positive real numbers, and i=1m1ai=1\sum_{i=1}^{m} \frac{1}{a_{i}}=1. Then for every nNn \in \mathbf{N}^{\cdot}, we have (i=1mai)ni=1mainm2nmκ+1\left(\sum_{i=1}^{m} a_{i}\right)^{n}-\sum_{i=1}^{m} a_{i}^{n} \geqslant m^{2 n}-m^{\kappa+1}.

Solution

Prove that because i=1m1ai=1m1a1a2amm\sum_{i=1}^{m} \frac{1}{a_{i}}=1 \geqslant m \sqrt[m]{\frac{1}{a_{1} a_{2} \cdots a_{m}}}, so
a1a2ammma_{1} a_{2} \cdots a_{m} \geqslant m^{m}

According to the polynomial expansion theorem, we have
(i=1mai)n=n!n1!n2!nm!a1n1a2n2amnm\left(\sum_{i=1}^{m} a_{i}\right)^{n}=\sum \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} a_{1}^{n_{1}} a_{2}^{n_{2}} \cdots a_{m}^{n_{m}}

where n1,n2,,nmn_{1}, n_{2}, \cdots, n_{m} are non-negative integers, and n1+n2++nm=nn_{1}+n_{2}+\cdots+n_{m}=n. Thus,
(i=1mai)ni=1main=n!n1!n2!nm!a1n1a2n2amnm\left(\sum_{i=1}^{m} a_{i}\right)^{n}-\sum_{i=1}^{m} a_{i}^{n}=\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} a_{1}^{n_{1}} a_{2}^{n_{2}} \cdots a_{m}^{n_{m}}

where n1,n2,,nmn_{1}, n_{2}, \cdots, n_{m} are non-negative integers, and less than n,n1+n2++nm=nn, n_{1}+n_{2}+\cdots+n_{m}=n (the following \sum^{\prime} all satisfy this condition).

In (1), replace the letters aia_{i} with 1, we get
n!n1!n2!nm!=mnm\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!}=m^{n}-m

By symmetry, we have
(i=1mai)ni=1main=n!n1!n2!nm!a2n1a3n2a1n==n!n1!n2!nm!amn1a1n2am2nm11am1nm\begin{aligned} & \left(\sum_{i=1}^{m} a_{i}\right)^{n}-\sum_{i=1}^{m} a_{i}^{n}=\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} a_{2}^{n_{1}} a_{3}^{n_{2}} \cdots a_{1}^{n} \\ = & \cdots=\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} a_{m}^{n_{1}} a_{1}^{n_{2}} \cdots a_{m-2}^{n_{m-1}-1} a_{m-1}^{n_{m}} \end{aligned}

Multiply (1) with the above n1n-1 equalities, and apply the generalized Cauchy inequality, we get
[(i=1mai)ni=1main]m=n!n1!n2!nm!a1n1a2n2amnn!n1!n2!nm!a2n1a3n2a1nn!n1!n2!nm!amnma1n2am2nam1n[n!n1!n2!nm!(a1a2am1am)n1m(a2a3ama1)v2m(ama1a2am1)nmm]m=[n!n1!n2!nm!(a1a2am1am)n1+n2++nmm]m=[n!n1!n2!nm!(a1a2am1am)nm]m=(a1a2am1am)n(n!n1!n2!nm!)mmm(mnm)m=(m2nmn+1)m,\begin{aligned} & {\left[\left(\sum_{i=1}^{m} a_{i}\right)^{n}-\sum_{i=1}^{m} a_{i}^{n}\right]^{m} } \\ = & \sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} a_{1}^{n_{1}} a_{2}^{n_{2}} \cdots a_{m}^{n} \sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} \cdot \\ & a_{2}^{n_{1}} a_{3}^{n_{2}} \cdots a_{1}^{n} \cdots \sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!} a_{m}^{n_{m}} a_{1}^{n_{2}} \cdots a_{m-2}^{n} a_{m-1}^{n} \\ \geqslant & {\left[\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!}\left(a_{1} a_{2} \cdots a_{m-1} a_{m}\right)^{\frac{n_{1}}{m}}\left(a_{2} a_{3} \cdots a_{m} a_{1}\right)^{\frac{v_{2}}{m} \cdots}\right.} \\ & \left.\left(a_{m} a_{1} a_{2} \cdots a_{m-1}\right)^{\frac{n_{m}}{m}}\right]^{m} \\ = & {\left[\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!}\left(a_{1} a_{2} \cdots a_{m-1} a_{m}\right)^{\frac{n_{1}+n_{2}+\cdots+n_{m}}{m}}\right]^{m} } \\ = & {\left[\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!}\left(a_{1} a_{2} \cdots a_{m-1} a_{m}\right)^{\frac{n}{m}}\right]^{m} } \\ = & \left(a_{1} a_{2} \cdots a_{m-1} a_{m}\right)^{n}\left(\sum^{\prime} \frac{n!}{n_{1}!n_{2}!\cdots n_{m}!}\right)^{m} \\ \geqslant & m^{m}\left(m^{n}-m\right)^{m}=\left(m^{2 n}-m^{n+1}\right)^{m}, \end{aligned}

Taking the mm-th root on both sides, we get
(i=1mai)ni=1mainm2nmn+1\left(\sum_{i=1}^{m} a_{i}\right)^{n}-\sum_{i=1}^{m} a_{i}^{n} \geqslant m^{2 n}-m^{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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.