Maths Olympiad Prep

Library / /28 of 97

Algebra Difficulty 7.7 National olympiad, round 2 Find the answer

Given integer n2n\geq 2. Find the minimum value of λ\lambda {}, satisfy that for any real numbers a1a_1, a2a_2, \cdots, an{a_n} and b{b},
λi=1naib+ni=1naii=1nai.\lambda\sum\limits_{i=1}^n\sqrt{|a_i-b|}+\sqrt{n\left|\sum\limits_{i=1}^na_i\right|}\geqslant\sum\limits_{i=1}^n\sqrt{|a_i|}.

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

Solution

Given an integer n2 n \geq 2 , we aim to find the minimum value of λ \lambda such that for any real numbers a1,a2,,an a_1, a_2, \ldots, a_n and b b , the following inequality holds:
λi=1naib+ni=1naii=1nai. \lambda \sum_{i=1}^n \sqrt{|a_i - b|} + \sqrt{n \left| \sum_{i=1}^n a_i \right|} \geq \sum_{i=1}^n \sqrt{|a_i|}.

To determine the minimum value of λ \lambda , we use the triangle inequality in the context of square roots. Specifically, we note that for any real numbers a a and b b ,
a+ba±b. \sqrt{|a|} + \sqrt{|b|} \geq \sqrt{|a \pm b|}.

Applying this inequality repeatedly, we obtain:
i=1ijnaib+n1ajb+i=1naii=1ijnai(n1)b+(n1)b(n1)aj+i=1nai. \sum_{\substack{i=1 \\ i \neq j}}^n \sqrt{|a_i - b|} + \sqrt{n-1} \sqrt{|a_j - b|} + \sqrt{\left| \sum_{i=1}^n a_i \right|} \geq \sqrt{\left| \sum_{\substack{i=1 \\ i \neq j}}^n a_i - (n-1)b \right|} + \sqrt{|(n-1)b - (n-1)a_j|} + \sqrt{\left| \sum_{i=1}^n a_i \right|}.

Simplifying further, we get:
i=1ijnai(n1)aj+i=1nainaj. \sqrt{\left| \sum_{\substack{i=1 \\ i \neq j}}^n a_i - (n-1)a_j \right|} + \sqrt{\left| \sum_{i=1}^n a_i \right|} \geq \sqrt{n} \sqrt{|a_j|}.

Summing over all j{1,2,,n} j \in \{1, 2, \ldots, n\} , we derive the desired inequality. Equality holds for b=a1==an1=an/(n1)0 b = a_1 = \cdots = a_{n-1} = -a_n / (n-1) \neq 0 (and permutations), proving that the optimal constant is:
λ=n1+n1n. \lambda = \frac{n-1 + \sqrt{n-1}}{\sqrt{n}}.

The answer is: n1+n1n.\boxed{\frac{n-1 + \sqrt{n-1}}{\sqrt{n}}}.

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.