Maths Olympiad Prep

Library / /460 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

Example 7.7a,b,c,d07.7 a, b, c, d \geqslant 0, no two are zero at the same time, and a+b+c+d=1a+b+c+d=1, prove that E(a,b,c,d)=aa+b+bb+c+cc+d+dd+a32E(a, b, c, d)=\frac{a}{\sqrt{a+b}}+\frac{b}{\sqrt{b+c}}+\frac{c}{\sqrt{c+d}}+\frac{d}{\sqrt{d+a}} \leqslant \frac{3}{2}

Solution

Suppose (a,b,c,d)(a, b, c, d) is an extremum point of EE.
If a,b,c,da, b, c, d are not all zero, then by Fermat's theorem, f(t)=E(a,b+t,ct,d)f(t)=E(a, b+t, c-t, d) must have f(0)=0f^{\prime}(0)=0. Note that
f(0)=c2d2(c+d)32+1b+ca2(a+b)32f^{\prime}(0)=\frac{-c-2 d}{2(c+d)^{\frac{3}{2}}}+\frac{1}{\sqrt{b+c}}-\frac{a}{2(a+b)^{\frac{3}{2}}}

Thus,
c2d2(c+d)32+1b+ca2(a+b)32=0\frac{-c-2 d}{2(c+d)^{\frac{3}{2}}}+\frac{1}{\sqrt{b+c}}-\frac{a}{2(a+b)^{\frac{3}{2}}}=0

Similarly, for g(t)=E(a+t,b,c,dt)g(t)=E(a+t, b, c, d-t), we have g(0)=0g^{\prime}(0)=0, i.e.,
a2b2(a+b)32+1a+dc2(c+d)32=0\frac{-a-2 b}{2(a+b)^{\frac{3}{2}}}+\frac{1}{\sqrt{a+d}}-\frac{c}{2(c+d)^{\frac{3}{2}}}=0

Therefore, we have
1a+b+1c+d=1b+c+1a+d\frac{1}{\sqrt{a+b}}+\frac{1}{\sqrt{c+d}}=\frac{1}{\sqrt{b+c}}+\frac{1}{\sqrt{a+d}}

By the monotonicity of 1x+11x\frac{1}{\sqrt{x}}+\frac{1}{1-\sqrt{x}}, we have a+b=b+ca+b=b+c or a+b=a+da+b=a+d, i.e., a=ca=c or b=db=d. By symmetry, assume a=ca=c, the condition becomes a+2b+c=1a+2 b+c=1, at this point
E(a,b,a,d)=aa+b+ba+b+aa+d+dd+a=a+b+a+d2(a+b+a+d)=2<32\begin{aligned} E(a, b, a, d)= & \frac{a}{\sqrt{a+b}}+\frac{b}{\sqrt{a+b}}+\frac{a}{\sqrt{a+d}}+\frac{d}{\sqrt{d+a}}= \\ & \sqrt{a+b}+\sqrt{a+d} \leqslant \\ & \sqrt{2(a+b+a+d)}=\sqrt{2}<\frac{3}{2} \end{aligned}

If a,b,c,da, b, c, d include 0, we assume d=0d=0. Then
E(a,b,c)=aa+b+bb+c+caa+b+(b+c)(bb+c+1)=aa+b+1a+b(a+(1a+b))(aa+b+1)(1+b)(2b)(1+b)+(2b)2=32\begin{aligned} E(a, b, c)= & \frac{a}{\sqrt{a+b}}+\frac{b}{\sqrt{b+c}}+\sqrt{c} \leqslant \\ & \frac{a}{\sqrt{a+b}}+\sqrt{(b+c)\left(\frac{b}{b+c}+1\right)}= \\ & \frac{a}{\sqrt{a+b}}+\sqrt{1-a+b} \leqslant \\ & \sqrt{(a+(1-a+b))\left(\frac{a}{a+b}+1\right)} \leqslant \\ & \sqrt{(1+b)(2-b)} \leqslant \\ & \frac{(1+b)+(2-b)}{2}=\frac{3}{2} \end{aligned}

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