Olympiad Maths Prep

Track / Stage 6 / 175 of 400 #1175 of 2000

Problem 1175

National olympiad, first round
Algebra Difficulty 6.3 Find the answer

Example 5 (2002 China National Team Training Selection Test for IMO) Let a1=14,an=14(1+an1)2,n2a_{1}=\frac{1}{4}, a_{n}=\frac{1}{4}\left(1+a_{n-1}\right)^{2}, n \geqslant 2. Find the smallest real number λ\lambda, such that for any non-negative real numbers x1,x2,,x2002x_{1}, x_{2}, \cdots, x_{2002}, we have
k=12002Akλa2002. \sum_{k=1}^{2002} A_{k} \leqslant \lambda a_{2002} .

where Ak=xkk(xk++x2002+k(k1)2+1)2,k1A_{k}=\frac{x_{k}-k}{\left(x_{k}+\cdots+x_{2002}+\frac{k(k-1)}{2}+1\right)^{2}}, k \geqslant 1.

Official solution

Proof According to the problem, the original problem is transformed into a chain of problems.
At this point, let δ(k)=12k(k1)\delta(k)=\frac{1}{2} k(k-1), and consider a series of lemmas:
Lemma 1 For any real numbers a0,c>0,b>0a \geqslant 0, c>0, b>0, the function f(x)=ax+b+xc(x+b)2f(x)=\frac{a}{x+b}+\frac{x-c}{(x+b)^{2}}. When x=(1a)b+2c1+ax=\frac{(1-a) b+2 c}{1+a}, it reaches the maximum value 14(1+a)2b+c\frac{1}{4} \cdot \frac{(1+a)^{2}}{b+c}.
In fact, let y=1x+by=\frac{1}{x+b}, then
f(x)=(b+c)y2+(1+a)y=(b+c)(y121+ab+c)2+14(1+a)2b+c f(x)=-(b+c) y^{2}+(1+a) y=-(b+c)\left(y-\frac{1}{2} \cdot \frac{1+a}{b+c}\right)^{2}+\frac{1}{4} \cdot \frac{(1+a)^{2}}{b+c} \text {. }

Thus, when y=121+ab+cy=\frac{1}{2} \cdot \frac{1+a}{b+c}, then x=(1a)b+2c1+ax=\frac{(1-a) b+2 c}{1+a},
f(x)min=14(1+a)2b+c f(x)_{\min }=\frac{1}{4} \cdot \frac{(1+a)^{2}}{b+c} \text {. }

Lemma 2 Let a1=14,an=14(1+an1)2,n2a_{1}=\frac{1}{4}, a_{n}=\frac{1}{4}\left(1+a_{n-1}\right)^{2}, n \geqslant 2. Then ana_{n} satisfies 0<an<10<a_{n}<1.
Lemma 3 For any n1,k=1nAk1δ(n+1)+1ann \geqslant 1, \sum_{k=1}^{n} A_{k} \leqslant \frac{1}{\delta(n+1)+1} a_{n}, and equality can be achieved.
In fact, by Lemma 1, we have
x11(x1++xn+1)2141x2++xn+2=a1x2++xn+2, \frac{x_{1}-1}{\left(x_{1}+\cdots+x_{n}+1\right)^{2}} \leqslant \frac{1}{4} \cdot \frac{1}{x_{2}+\cdots+x_{n}+2}=\frac{a_{1}}{x_{2}+\cdots+x_{n}+2},

and when x1=x2++xn+3x_{1}=x_{2}+\cdots+x_{n}+3, it reaches the maximum value
a1x2++xn+2a1x2++xn+2+x22(x2++xn+2)214(1+a1)2x3++xn+4=a2x3++xn+4, \begin{aligned} & \frac{a_{1}}{x_{2}+\cdots+x_{n}+2} \cdot \frac{a_{1}}{x_{2}+\cdots+x_{n}+2}+\frac{x_{2}-2}{\left(x_{2}+\cdots+x_{n}+2\right)^{2}} \\ \leqslant & \frac{1}{4} \cdot \frac{\left(1+a_{1}\right)^{2}}{x_{3}+\cdots+x_{n}+4}=\frac{a_{2}}{x_{3}+\cdots+x_{n}+4}, \end{aligned}

and when x2=(1a1)(x3++xn+4)+41+a1x_{2}=\frac{\left(1-a_{1}\right)\left(x_{3}+\cdots+x_{n}+4\right)+4}{1+a_{1}}, it reaches the maximum value a2x3++xn+4\frac{a_{2}}{x_{3}+\cdots+x_{n}+4}.
...
an2xn1+xn+δ(n1)+1+xn1(n1)(xn1+xn+δ(n1)+1)214(1+an2)2xn+δ(n)+1=an1xn+δ(n)+1, \begin{aligned} & \frac{a_{n-2}}{x_{n-1}+x_{n}+\delta(n-1)+1}+\frac{x_{n-1}-(n-1)}{\left(x_{n-1}+x_{n}+\delta(n-1)+1\right)^{2}} \\ \leqslant & \frac{1}{4} \cdot \frac{\left(1+a_{n-2}\right)^{2}}{x_{n}+\delta(n)+1}=\frac{a_{n-1}}{x_{n}+\delta(n)+1}, \end{aligned}

and when xn1=[(1an2)(xn+δ(n1)+1)+2(n1)]1+an2x_{n-1}=\frac{\left[\left(1-a_{n-2}\right)\left(x_{n}+\delta(n-1)+1\right)+2(n-1)\right]}{1+a_{n-2}}
it reaches the maximum value an1xn+δ(n)+1\frac{a_{n-1}}{x_{n}+\delta(n)+1}.
an1xn+δ(n)+1+xnn(xn+δ(n)+1)214(1+an1)2δ(n+1)+1=anδ(n+1)+1, \begin{aligned} & \frac{a_{n-1}}{x_{n}+\delta(n)+1}+\frac{x_{n}-n}{\left(x_{n}+\delta(n)+1\right)^{2}} \\ \leqslant & \frac{1}{4} \cdot \frac{\left(1+a_{n-1}\right)^{2}}{\delta(n+1)+1}=\frac{a_{n}}{\delta(n+1)+1}, \end{aligned}

and when xn=(1an1)(δ(n)+1)+2n1+an1x_{n}=\frac{\left(1-a_{n-1}\right)(\delta(n)+1)+2 n}{1+a_{n-1}}, it reaches the maximum value anδ(n+1)+1\frac{a_{n}}{\delta(n+1)+1}.
By (1), (2), ..., adding them up, we get
k=1nAk1δ(n+1)+1an, \sum_{k=1}^{n} A_{k} \leqslant \frac{1}{\delta(n+1)+1} a_{n},

and when xn=(1an1)(δ(n)+1)+2n1+an1x_{n}=\frac{\left(1-a_{n-1}\right)(\delta(n)+1)+2 n}{1+a_{n-1}},
xn1=(1an2)(xn+δ(n1)+1)+2(n1)1+an2,x2=(1a1)(x3++xn+4)+41+a1,x1=x2++xn+3 \begin{array}{l} x_{n-1}=\frac{\left(1-a_{n-2}\right)\left(x_{n}+\delta(n-1)+1\right)+2(n-1)}{1+a_{n-2}}, \\ \cdots \\ x_{2}=\frac{\left(1-a_{1}\right)\left(x_{3}+\cdots+x_{n}+4\right)+4}{1+a_{1}}, \\ x_{1}=x_{2}+\cdots+x_{n}+3 \end{array}

equality holds.
By Lemma 3, we get
λ=1δ(2003)+1=12003×1001+1. \lambda=\frac{1}{\delta(2003)+1}=\frac{1}{2003 \times 1001+1} .

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.