Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad /52 of 95

Junior Balkan Mathematical Olympiad

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
0≤a,b,c,d≤1,x,y,z,t≥1 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+t2≤28 a^{2}+b^{2}+c^{2}+d^{2}+x^{2}+y^{2}+z^{2}+t^{2} \leq 28

Solution

Solution:
We observe that if u≤vu \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+ε)2−u2−v2=2ε(v−u)+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 a≤b≤c≤da \leq b \leq c \leq d and x≤y≤z≤tx \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+t−1)≤E(0,0,0,0,1,1,c+z,a+b+d+x+y+t−2)≤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 0≤a,b,c,d≤10 \leq a, b, c, d \leq 1 we have that a2≤a,b2≤b,c2≤ca^{2} \leq a, b^{2} \leq b, c^{2} \leq c and d2≤dd^{2} \leq d. It follows that
a2+b2+c2+d2≤a+b+c+d a^{2}+b^{2}+c^{2}+d^{2} \leq a+b+c+d
Moreover, using the fact that y+z+t≥3y+z+t \geq 3, we get that x≤5x \leq 5. This means that
(x−1)(x−5)≤0⟺x2≤6x−5 (x-1)(x-5) \leq 0 \Longleftrightarrow x^{2} \leq 6 x-5
Similarly we prove that y2≤6y−5,z2≤6z−5y^{2} \leq 6 y-5, z^{2} \leq 6 z-5 and t2≤6t−5t^{2} \leq 6 t-5. Adding them we get
x2+y2+z2+t2≤6(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+t2≤a+b+c+d+6(x+y+z+t)−20≤6(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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.