Maths Olympiad Prep

Track / Stage 7 / 247 of 300 #2287 of 2604

Problem 2287

National Olympiad second round; IMO P1/P4
Algebra Difficulty 7.8 Find the answer China Team Selection Test

Determine the greatest real number C C , such that for every positive integer n≥2 n\ge 2 , there exists x1,x2,...,xn∈[−1,1] x_1, x_2,..., x_n \in [-1,1], so that
∏1≤i<j≤n(xi−xj)≥Cn(n−1)2\prod_{1\le i<j\le n}(x_i-x_j) \ge C^{\frac{n(n-1)}{2}}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Next problem →

Official solution

To determine the greatest real number C C such that for every positive integer n≥2 n \geq 2 , there exist x1,x2,…,xn∈[−1,1] x_1, x_2, \ldots, x_n \in [-1, 1] satisfying
∏1≤i<j≤n(xi−xj)≥Cn(n−1)2, \prod_{1 \le i < j \le n} (x_i - x_j) \geq C^{\frac{n(n-1)}{2}},
we consider the example where xi=cos⁡(iπn) x_i = \cos\left(\frac{i\pi}{n}\right) for i=1,2,…,n i = 1, 2, \ldots, n .

For this choice, the product ∏1≤i<j≤n(xi−xj) \prod_{1 \le i < j \le n} (x_i - x_j) can be analyzed using properties of Chebyshev polynomials. Specifically, the roots of the Chebyshev polynomial of degree n n are given by cos⁡((2k−1)π2n) \cos\left(\frac{(2k-1)\pi}{2n}\right) for k=1,2,…,n k = 1, 2, \ldots, n . The difference between any two such roots can be expressed in terms of sine functions:
xj−xi=2sin⁡((i−j)π2n)sin⁡((i+j)π2n). x_j - x_i = 2 \sin\left(\frac{(i-j)\pi}{2n}\right) \sin\left(\frac{(i+j)\pi}{2n}\right).

The logarithm of the product of these differences can be approximated by considering the average value of ln⁡∣sin⁡(x)∣ \ln \left| \sin(x) \right| over the interval [0,2π] [0, 2\pi] , which is ln⁡(12) \ln \left(\frac{1}{2}\right) .

Thus, the product ∏1≤i<j≤n(xi−xj) \prod_{1 \le i < j \le n} (x_i - x_j) is approximately (12)n(n−1)2 \left(\frac{1}{2}\right)^{\frac{n(n-1)}{2}} .

Therefore, the greatest real number C C satisfying the given inequality for all n≥2 n \geq 2 is 12 \frac{1}{2} .

The answer is: 12.\boxed{\frac{1}{2}}.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.