AlgebraDifficulty 7.0National olympiadFind the answer
Find the largest positive real number p (if it exists) such that the inequality x12+x22+⋯+xn2≥p(x1x2+x2x3+⋯+xn−1xn) is satisfied for all real numbers xi, and (a)n=2;(b)n=5. Find the largest positive real number p (if it exists) such that the inequality holds for all real numbers xi and all natural numbers n,n≥2.
A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
To find the largest positive real number p such that the inequality x12+x22+⋯+xn2≥p(x1x2+x2x3+⋯+xn−1xn) is satisfied for all real numbers xi, we will consider the cases n=2, n=5, and general n≥2.
### Case (a): n=2
1. The inequality becomes: x12+x22≥px1x2.
2. Using the AM-GM inequality: x12+x22≥2x1x2.
3. Comparing this with the given inequality, we see that: 2x1x2≥px1x2.
4. For the inequality to hold for all x1 and x2, we must have: 2≥p.
Thus, the largest value of p for n=2 is p=2.
### Case (b): n=5
1. The inequality becomes: x12+x22+x32+x42+x52≥p(x1x2+x2x3+x3x4+x4x5).
2. Using the AM-GM inequality in a more detailed manner: (x12+3x22)+(32x22+2x32)+(2x32+32x42)+(3x42+x52)≥32(x1x2+x2x3+x3x4+x4x5).
3. Simplifying the left-hand side: x12+3x22+32x22+2x32+2x32+32x42+3x42+x52=x12+x22+x32+x42+x52.
4. Therefore, we have: x12+x22+x32+x42+x52≥32(x1x2+x2x3+x3x4+x4x5).
5. Comparing this with the given inequality, we see that: p≤32.
Thus, the largest value of p for n=5 is p=32.
### General Case: n≥2
1. We need to find the largest p such that: x12+x22+⋯+xn2≥p(x1x2+x2x3+⋯+xn−1xn).
2. Using the Cauchy-Schwarz inequality: (x12+x22+⋯+xn2)(12+12+⋯+12)≥(x1+x2+⋯+xn)2.
3. Simplifying, we get: n(x12+x22+⋯+xn2)≥(x1+x2+⋯+xn)2.
4. For the inequality to hold for all xi, we need: x12+x22+⋯+xn2≥n(x1+x2+⋯+xn)2.
5. Using the AM-GM inequality, we have: x12+x22+⋯+xn2≥n(x1+x2+⋯+xn)2.
6. Therefore, the largest p for general n is: p=2.
The final answer is p=2 for n=2, p=32 for n=5, and p=2 for general n≥2.
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.