AlgebraDifficulty 7.4National olympiad, round 2Prove it
Let n be a positive integer such that n≥3. Let a1, a2, ..., an and b1, b2, ..., bn be 2n positive real numbers satisfying the equations a1\plusa2\plus...\plusan\equal1,andb12\plusb22\plus...\plusbn2\equal1. Prove the inequality a1(b1\plusa2)\plusa2(b2\plusa3)\plus...\plusan\minus1(bn\minus1\plusan)\plusan(bn\plusa1)<1.
Solution
To prove the inequality a1(b1+a2)+a2(b2+a3)+⋯+an−1(bn−1+an)+an(bn+a1)<1, we will use the given conditions: a1+a2+⋯+an=1andb12+b22+⋯+bn2=1.
1. Express the sum in terms of two separate sums: i=1∑nai(bi+ai+1)=i=1∑naibi+i=1∑naiai+1, where an+1=a1.
2. **Apply the Cauchy-Schwarz inequality to ∑i=1naibi:** (i=1∑naibi)2≤(i=1∑nai2)(i=1∑nbi2). Given ∑i=1nbi2=1, we have: (i=1∑naibi)2≤i=1∑nai2. Therefore, i=1∑naibi≤i=1∑nai2.
3. **Use the fact that ∑i=1nai=1 to bound ∑i=1nai2:** By the QM-AM inequality (Quadratic Mean - Arithmetic Mean inequality), n∑i=1nai2≥n∑i=1nai=n1. Thus, i=1∑nai2≥n1.
4. **Consider the sum ∑i=1naiai+1:** By the AM-GM inequality (Arithmetic Mean - Geometric Mean inequality), aiai+1≤2ai2+ai+12. Summing over all i, i=1∑naiai+1≤21i=1∑n(ai2+ai+12)=i=1∑nai2.
5. Combine the results: i=1∑naibi+i=1∑naiai+1≤i=1∑nai2+i=1∑nai2. Since ∑i=1nai2≤1 and ∑i=1nai2≤1, i=1∑nai2+i=1∑nai2<1.
Therefore, we have shown that: a1(b1+a2)+a2(b2+a3)+⋯+an−1(bn−1+an)+an(bn+a1)<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.