AlgebraDifficulty 7.5National olympiad, round 2Prove it
Example 1.17.9. Let a1,a2,…,an be positive real numbers with product 1. Prove that a1+a2+…+an+n(n−2)≥(n−1)(n−1a11+n−1a21+…+n−1an1)
Solution
SOLUTION. The inequality can be rewritten in the form i=1∑nai+n(n−1)ni=1∏nai≥(n−1)i=1∑nn−1j=i∏aj
First we will prove the following result (that helps us prove the previous inequality immediately): if x1,x2,…,xn are real numbers then (α∗)≫(β∗) with (α)=(x1,x2,…,xn,x,x,…,x)(β)=(y1,y1,…,y1,y2,y2,…,y2,…,yn,yn,…,yn) where x=n1(x1+x2+…+xn),(α) includes n(n−2) numbers x,(β) includes n−1 numbers yk(∀k∈{1,2,…,n}), and each number bk is determined from bk=n−1nx−xi Indeed, by the symmetric majorization criterion, we only need to prove that ∣x1∣+∣x2∣+…+∣xn∣+(n−2)∣S∣≥∣S−x1∣+∣S−x2∣+…+∣S−xn∣ (*) where S=x1+x2+…+xn=nx. In the case n=3, this becomes a well-known result ∣x∣+∣y∣+∣z∣+∣x+y+z∣≥∣x+y∣+∣y+z∣+∣z+x∣
In the general case, assume that x1≥x2≥…≥xn. If xi≥S∀i∈{1,2,…,n} then RHS =i=1∑n(xi−S)=−(n−1)S≤(n−1)∣S∣≤i=1∑n∣xi∣+(n−2)∣S∣= LHS and the conclusion follows. The case xi≤S∀i∈{1,2,…,n} is proved similarly. We consider the final case. There exists an integer k(1≤k≤n−1) such that xk≥S≥xk+1. In this case, we can prove (⋆) simply as follows RHS=i=1∑k(xi−S)+i=k+1∑n(S−xi)=i=1∑kxi−i=k+1∑nxk+1+(n−2k)S,≤i=1∑n∣xi∣+(n−2k)∣S∣≤i=1∑n∣xi∣+(n−2)∣S∣= LHS which is also the desired result. The problem is completely solved.
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.