Maths Olympiad Prep

Library / /280 of 520

Algebra Difficulty 7.0 National olympiad Find the answer

Find the largest positive real number pp (if it exists) such that the inequality
x12+x22++xn2p(x1x2+x2x3++xn1xn)x^2_1+ x_2^2+ \cdots + x^2_n\ge p(x_1x_2 + x_2x_3 + \cdots + x_{n-1}x_n)
is satisfied for all real numbers xix_i, and (a)n=2;(b)n=5.(a) n = 2; (b) n = 5.
Find the largest positive real number pp (if it exists) such that the inequality holds for all real numbers xix_i and all natural numbers n,n2.n, n \ge 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 p such that the inequality
x12+x22++xn2p(x1x2+x2x3++xn1xn) x_1^2 + x_2^2 + \cdots + x_n^2 \ge p(x_1x_2 + x_2x_3 + \cdots + x_{n-1}x_n)
is satisfied for all real numbers xi x_i , we will consider the cases n=2 n = 2 , n=5 n = 5 , and general n2 n \ge 2 .

### Case (a): n=2 n = 2

1. The inequality becomes:
x12+x22px1x2. x_1^2 + x_2^2 \ge p x_1 x_2.

2. Using the AM-GM inequality:
x12+x222x1x2. x_1^2 + x_2^2 \ge 2x_1x_2.

3. Comparing this with the given inequality, we see that:
2x1x2px1x2. 2x_1x_2 \ge p x_1 x_2.

4. For the inequality to hold for all x1 x_1 and x2 x_2 , we must have:
2p. 2 \ge p.

Thus, the largest value of p p for n=2 n = 2 is p=2 p = 2 .

### Case (b): n=5 n = 5

1. The inequality becomes:
x12+x22+x32+x42+x52p(x1x2+x2x3+x3x4+x4x5). x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 \ge p(x_1x_2 + x_2x_3 + x_3x_4 + x_4x_5).

2. Using the AM-GM inequality in a more detailed manner:
(x12+x223)+(2x223+x322)+(x322+2x423)+(x423+x52)23(x1x2+x2x3+x3x4+x4x5). \left( x_1^2 + \frac{x_2^2}{3} \right) + \left( \frac{2x_2^2}{3} + \frac{x_3^2}{2} \right) + \left( \frac{x_3^2}{2} + \frac{2x_4^2}{3} \right) + \left( \frac{x_4^2}{3} + x_5^2 \right) \ge \frac{2}{\sqrt{3}}(x_1x_2 + x_2x_3 + x_3x_4 + x_4x_5).

3. Simplifying the left-hand side:
x12+x223+2x223+x322+x322+2x423+x423+x52=x12+x22+x32+x42+x52. x_1^2 + \frac{x_2^2}{3} + \frac{2x_2^2}{3} + \frac{x_3^2}{2} + \frac{x_3^2}{2} + \frac{2x_4^2}{3} + \frac{x_4^2}{3} + x_5^2 = x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2.

4. Therefore, we have:
x12+x22+x32+x42+x5223(x1x2+x2x3+x3x4+x4x5). x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 \ge \frac{2}{\sqrt{3}}(x_1x_2 + x_2x_3 + x_3x_4 + x_4x_5).

5. Comparing this with the given inequality, we see that:
p23. p \le \frac{2}{\sqrt{3}}.

Thus, the largest value of p p for n=5 n = 5 is p=23 p = \frac{2}{\sqrt{3}} .

### General Case: n2 n \ge 2

1. We need to find the largest p p such that:
x12+x22++xn2p(x1x2+x2x3++xn1xn). x_1^2 + x_2^2 + \cdots + x_n^2 \ge p(x_1x_2 + x_2x_3 + \cdots + x_{n-1}x_n).

2. Using the Cauchy-Schwarz inequality:
(x12+x22++xn2)(12+12++12)(x1+x2++xn)2. (x_1^2 + x_2^2 + \cdots + x_n^2)(1^2 + 1^2 + \cdots + 1^2) \ge (x_1 + x_2 + \cdots + x_n)^2.

3. Simplifying, we get:
n(x12+x22++xn2)(x1+x2++xn)2. n(x_1^2 + x_2^2 + \cdots + x_n^2) \ge (x_1 + x_2 + \cdots + x_n)^2.

4. For the inequality to hold for all xi x_i , we need:
x12+x22++xn2(x1+x2++xn)2n. x_1^2 + x_2^2 + \cdots + x_n^2 \ge \frac{(x_1 + x_2 + \cdots + x_n)^2}{n}.

5. Using the AM-GM inequality, we have:
x12+x22++xn2(x1+x2++xn)2n. x_1^2 + x_2^2 + \cdots + x_n^2 \ge \frac{(x_1 + x_2 + \cdots + x_n)^2}{n}.

6. Therefore, the largest p p for general n n is:
p=2. p = 2.

The final answer is p=2 \boxed{ p = 2 } for n=2 n = 2 , p=23 p = \frac{2}{\sqrt{3}} for n=5 n = 5 , and p=2 p = 2 for general n2 n \ge 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.