Prove by introducing parameter λ, construct the inequality
1+(n−1)a11⩾a1λ+a2λ+⋯+anλa1λ
Below, we will study the feasibility of inequality (2).
Given a1>0,n⩾3, after rearrangement, inequality (2) is equivalent to
a2λ+a3λ+⋯+anλ⩾(n−1)a1λ+1
By the AM-GM inequality, we get a2λ+a3λ+⋯+anλ⩾(n−1)(a2a3⋯an)n−1λ, and since a1a2a3⋯an=1, we have (n−1)⋅(a2a3⋯an)n−1λ=(n−1)a1−n−1λ, thus we obtain
a2λ+a3λ+⋯+anλ⩾(n−1)a1−n−1λ
Comparing (3) and (4), let −n−1λ=λ+1, solving for λ gives λ=−nn−1, hence, there exists a parameter λ=−nn−1, such that inequality (2) holds.
Similarly, when i=1,2,3,⋯,n, the inequality