Maths Olympiad Prep

Library / /60 of 105

Algebra Difficulty 6.0 National Olympiad Prove it JBMO

Problem:
Let a,b,c,da, b, c, d and x,y,z,tx, y, z, t be real numbers such that
0a,b,c,d1,x,y,z,t1 and a+b+c+d+x+y+z+t=8 0 \leq a, b, c, d \leq 1, \quad x, y, z, t \geq 1 \text{ and } a+b+c+d+x+y+z+t=8
Prove that
a2+b2+c2+d2+x2+y2+z2+t228 a^{2}+b^{2}+c^{2}+d^{2}+x^{2}+y^{2}+z^{2}+t^{2} \leq 28

Solution

Solution:
We observe that if uvu \leq v then by replacing (u,v)(u, v) with (uε,v+ε)(u-\varepsilon, v+\varepsilon), where ε>0\varepsilon>0, the sum of squares increases. Indeed,
(uε)2+(v+ε)2u2v2=2ε(vu)+2ε2>0 (u-\varepsilon)^{2}+(v+\varepsilon)^{2}-u^{2}-v^{2}=2 \varepsilon(v-u)+2 \varepsilon^{2}>0
Then, denoting
E(a,b,c,d,x,y,z,t)=a2+b2+c2+d2+x2+y2+z2+t2 E(a, b, c, d, x, y, z, t)=a^{2}+b^{2}+c^{2}+d^{2}+x^{2}+y^{2}+z^{2}+t^{2}
and assuming without loss of generality that abcda \leq b \leq c \leq d and xyztx \leq y \leq z \leq t, we have
E(a,b,c,d,x,y,z,t)E(0,0,0,0,a+x,b+y,c+z,d+t)E(0,0,0,0,1,b+y,c+z,a+d+x+t1)E(0,0,0,0,1,1,c+z,a+b+d+x+y+t2)E(0,0,0,0,1,1,1,5)=28 \begin{aligned} E(a, b, c, d, x, y, z, t) & \leq E(0,0,0,0, a+x, b+y, c+z, d+t) \\ & \leq E(0,0,0,0,1, b+y, c+z, a+d+x+t-1) \\ & \leq E(0,0,0,0,1,1, c+z, a+b+d+x+y+t-2) \\ & \leq E(0,0,0,0,1,1,1,5)=28 \end{aligned}
Note that if (a,b,c,d,x,y,z,t)(0,0,0,0,1,1,1,5)(a, b, c, d, x, y, z, t) \neq(0,0,0,0,1,1,1,5), at least one of the above inequalities, obtained by the ϵ\epsilon replacement mentioned above, should be a strict inequality. Thus, the maximum value of EE is 28, and it is obtained only for (a,b,c,d,x,y,z,t)=(0,0,0,0,1,1,1,5)(a, b, c, d, x, y, z, t)=(0,0,0,0,1,1,1,5) and permutations of a,b,c,da, b, c, d and of x,y,z,tx, y, z, t.

Alternative solution by PSC.
Since 0a,b,c,d10 \leq a, b, c, d \leq 1 we have that a2a,b2b,c2ca^{2} \leq a, b^{2} \leq b, c^{2} \leq c and d2dd^{2} \leq d. It follows that
a2+b2+c2+d2a+b+c+d a^{2}+b^{2}+c^{2}+d^{2} \leq a+b+c+d
Moreover, using the fact that y+z+t3y+z+t \geq 3, we get that x5x \leq 5. This means that
(x1)(x5)0x26x5 (x-1)(x-5) \leq 0 \Longleftrightarrow x^{2} \leq 6 x-5
Similarly we prove that y26y5,z26z5y^{2} \leq 6 y-5, z^{2} \leq 6 z-5 and t26t5t^{2} \leq 6 t-5. Adding them we get
x2+y2+z2+t26(x+y+z+t)20 x^{2}+y^{2}+z^{2}+t^{2} \leq 6(x+y+z+t)-20
Adding (1) and (2) we have that
a2+b2+c2+d2+x2+y2+z2+t2a+b+c+d+6(x+y+z+t)206(a+b+c+d+x+y+z+t)20=28 \begin{aligned} a^{2}+b^{2}+c^{2}+d^{2}+x^{2}+y^{2}+z^{2}+t^{2} & \leq a+b+c+d+6(x+y+z+t)-20 \\ & \leq 6(a+b+c+d+x+y+z+t)-20=28 \end{aligned}
We can readily check that the equality holds if and only if (a,b,c,d,x,y,z,t)=(0,0,0,0,1,1,1,5)(a, b, c, d, x, y, z, t)=(0,0,0,0,1,1,1,5) and permutations of a,b,c,da, b, c, d and of x,y,z,tx, y, z, t.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.