Maths Olympiad Prep

Library / China Team Selection Test /69 of 92

China Team Selection Test

Algebra Difficulty 8.4 Shortlist Find the answer

Find all positive real numbers λ\lambda such that for all integers n≥2n\geq 2 and all positive real numbers a1,a2,⋯ ,ana_1,a_2,\cdots,a_n with a1+a2+⋯+an=na_1+a_2+\cdots+a_n=n, the following inequality holds:
∑i=1n1ai−λ∏i=1n1ai≤n−λ\sum_{i=1}^n\frac{1}{a_i}-\lambda\prod_{i=1}^{n}\frac{1}{a_i}\leq n-\lambda.

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

Solution

Find all positive real numbers λ\lambda such that for all integers n≥2n \geq 2 and all positive real numbers a1,a2,…,ana_1, a_2, \ldots, a_n with a1+a2+⋯+an=na_1 + a_2 + \cdots + a_n = n, the following inequality holds:
∑i=1n1ai−λ∏i=1n1ai≤n−λ. \sum_{i=1}^n \frac{1}{a_i} - \lambda \prod_{i=1}^{n} \frac{1}{a_i} \leq n - \lambda.

To find the values of λ\lambda, we first show that λ<e\lambda < e fails. Rewrite the inequality by multiplying both sides by a1a2⋯ana_1 a_2 \cdots a_n:
∑i=1na1a2⋯ai−1ai+1⋯an−λ≤(n−λ)⋅a1a2⋯an. \sum_{i=1}^n a_1 a_2 \cdots a_{i-1} a_{i+1} \cdots a_n - \lambda \leq (n - \lambda) \cdot a_1 a_2 \cdots a_n.

Set an=0a_n = 0 and a1=a2=⋯=an−1=nn−1a_1 = a_2 = \cdots = a_{n-1} = \frac{n}{n-1}. The inequality reduces to:
(nn−1)n−1−λ≤0  ⟹  λ≥(nn−1)n−1. \left(\frac{n}{n-1}\right)^{n-1} - \lambda \leq 0 \implies \lambda \geq \left(\frac{n}{n-1}\right)^{n-1}.

Taking the limit as n→∞n \rightarrow \infty, we get λ≥e\lambda \geq e.

Next, we show that λ≥e\lambda \geq e satisfies the inequality. Using Lagrange multipliers, the left-hand side of the original inequality is maximized when:
−1ai2+λai⋅1a1a2⋯an=μ  ⟹  λa1a2⋯an=μai+1ai for i=1,2,…,n. -\frac{1}{a_i^2} + \frac{\lambda}{a_i} \cdot \frac{1}{a_1 a_2 \cdots a_n} = \mu \implies \frac{\lambda}{a_1 a_2 \cdots a_n} = \mu a_i + \frac{1}{a_i} \text{ for } i = 1, 2, \ldots, n.

Assume ai≠aja_i \neq a_j for some i,ji, j. Then:
μai+1ai=μaj+1aj  ⟹  μ=1aiaj. \mu a_i + \frac{1}{a_i} = \mu a_j + \frac{1}{a_j} \implies \mu = \frac{1}{a_i a_j}.

Plugging this in for μ\mu and using AM-GM, we get:
λa1a2⋯an=1aj+1ai  ⟹  λ=ai+ajaiaj⋅a1a2⋯an≤(a1+a2+⋯+ann−1)n−1=(nn−1)n−1<e, \frac{\lambda}{a_1 a_2 \cdots a_n} = \frac{1}{a_j} + \frac{1}{a_i} \implies \lambda = \frac{a_i + a_j}{a_i a_j} \cdot a_1 a_2 \cdots a_n \leq \left(\frac{a_1 + a_2 + \cdots + a_n}{n-1}\right)^{n-1} = \left(\frac{n}{n-1}\right)^{n-1} < e,
which is a contradiction. Hence, ai=aja_i = a_j for all i,ji, j.

The inequality is easy to verify when all aia_i are equal. For boundary cases, set an=0a_n = 0 and consider the rewritten form of the inequality. It suffices to show that a1a2⋯an−1≤λa_1 a_2 \cdots a_{n-1} \leq \lambda. By AM-GM:
a1a2⋯an−1≤(nn−1)n−1≤e≤λ. a_1 a_2 \cdots a_{n-1} \leq \left(\frac{n}{n-1}\right)^{n-1} \leq e \leq \lambda.

Thus, the values of λ\lambda that satisfy the inequality are:
λ≥e. \lambda \geq e.

The answer is: λ≥e\boxed{\lambda \geq e}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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