Maths Olympiad Prep

Library / /64 of 97

Algebra Difficulty 8.2 Shortlist Find the answer

Given positive integers n,kn, k such that n4kn\ge 4k, find the minimal value λ=λ(n,k)\lambda=\lambda(n,k) such that for any positive reals a1,a2,,ana_1,a_2,\ldots,a_n, we have
i=1naiai2+ai+12++ai+k2λ \sum\limits_{i=1}^{n} {\frac{{a}_{i}}{\sqrt{{a}_{i}^{2}+{a}_{{i}+{1}}^{2}+{\cdots}{{+}}{a}_{{i}{+}{k}}^{2}}}} \le \lambda
Where an+i=ai,i=1,2,,ka_{n+i}=a_i,i=1,2,\ldots,k

A number or a short expression. Spacing and $ signs are ignored.

Solution

Given positive integers n n and k k such that n4k n \geq 4k , we aim to find the minimal value λ=λ(n,k) \lambda = \lambda(n, k) such that for any positive reals a1,a2,,an a_1, a_2, \ldots, a_n , the following inequality holds:
i=1naiai2+ai+12++ai+k2λ, \sum_{i=1}^{n} \frac{a_i}{\sqrt{a_i^2 + a_{i+1}^2 + \cdots + a_{i+k}^2}} \leq \lambda,
where an+i=ai a_{n+i} = a_i for i=1,2,,k i = 1, 2, \ldots, k .

To determine the minimal value of λ \lambda , consider the construction where ai=qi a_i = q^i for 0<q<1 0 < q < 1 and let q0 q \to 0 . Then, for 1ink 1 \leq i \leq n-k ,
aiai2+ai+12++ai+k2=11+q++qk1. \frac{a_i}{\sqrt{a_i^2 + a_{i+1}^2 + \cdots + a_{i+k}^2}} = \frac{1}{\sqrt{1 + q + \cdots + q^k}} \to 1.
For nk<in n-k < i \leq n ,
aiai2+ai+12++ai+k2=qi1q2(i1)++q2(n1)+1+q2++q2(i+kn1)0. \frac{a_i}{\sqrt{a_i^2 + a_{i+1}^2 + \cdots + a_{i+k}^2}} = \frac{q^{i-1}}{\sqrt{q^{2(i-1)} + \cdots + q^{2(n-1)} + 1 + q^2 + \cdots + q^{2(i+k-n-1)}}} \to 0.
Thus,
i=1naiai2+ai+12++ai+k2nk, \sum_{i=1}^n \frac{a_i}{\sqrt{a_i^2 + a_{i+1}^2 + \cdots + a_{i+k}^2}} \to n-k,
implying that λnk \lambda \geq n-k .

To prove that λ=nk \lambda = n-k is indeed the minimal value, we consider the case when n=4 n = 4 and k=1 k = 1 . Squaring both sides, we need to show:
a12a12+a22+a22a22+a32+a32a32+a42+a42a42+a12+2a1a2(a12+a22)(a22+a32)+2a2a3(a22+a32)(a32+a42)+2a3a4(a32+a42)(a42+a12)+2a4a1(a42+a12)(a12+a22)+2a1a3(a12+a32)(a32+a42)+2a2a4(a22+a32)(a42+a12)9. \frac{a_1^2}{a_1^2 + a_2^2} + \frac{a_2^2}{a_2^2 + a_3^2} + \frac{a_3^2}{a_3^2 + a_4^2} + \frac{a_4^2}{a_4^2 + a_1^2} + \frac{2a_1a_2}{\sqrt{(a_1^2 + a_2^2)(a_2^2 + a_3^2)}} + \frac{2a_2a_3}{\sqrt{(a_2^2 + a_3^2)(a_3^2 + a_4^2)}} + \frac{2a_3a_4}{\sqrt{(a_3^2 + a_4^2)(a_4^2 + a_1^2)}} + \frac{2a_4a_1}{\sqrt{(a_4^2 + a_1^2)(a_1^2 + a_2^2)}} + \frac{2a_1a_3}{\sqrt{(a_1^2 + a_3^2)(a_3^2 + a_4^2)}} + \frac{2a_2a_4}{\sqrt{(a_2^2 + a_3^2)(a_4^2 + a_1^2)}} \leq 9.

Using the Cauchy-Schwarz inequality and other properties of binomial coefficients, we can generalize this result for n=4k n = 4k and prove by induction for n>4k n > 4k .

Therefore, the minimal value λ \lambda is:
λ=nk. \lambda = n - k.
The answer is: \boxed{n - k}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.