Maths Olympiad Prep

Library / /31 of 36

Algebra Difficulty 7.4 National Olympiad, round 2 Prove it Italy

Problem:

Let a,b,ca, b, c be real numbers (positive, negative, or zero) such that a2+b2+c2=6a^{2}+b^{2}+c^{2}=6.

a) Determine the maximum possible value for the expression
(ab)2+(bc)2+(ca)2. (a-b)^{2}+(b-c)^{2}+(c-a)^{2} .

b) Determine the maximum possible value for the expression
(ab)2(bc)2(ca)2. (a-b)^{2} \cdot(b-c)^{2} \cdot(c-a)^{2} .

In both cases, describe all the triples for which the maximum is achieved.

Solution

Solution:

The maximum possible value is 1818, and it is achieved by all and only the triples that, in addition to the condition a2+b2+c2=6a^{2}+b^{2}+c^{2}=6, also satisfy a+b+c=0a+b+c=0 (for example the triple with a=b=1a=b=1 and c=2c=-2).
To prove this it suffices to observe that
(ab)2+(bc)2+(ca)2=2(a2+b2+c2)2(ab+bc+ca)=3(a2+b2+c2)(a+b+c)2=18(a+b+c)218 \begin{aligned} (a-b)^{2}+(b-c)^{2}+(c-a)^{2} & =2\left(a^{2}+b^{2}+c^{2}\right)-2(a b+b c+c a) \\ & =3\left(a^{2}+b^{2}+c^{2}\right)-(a+b+c)^{2} \\ & =18-(a+b+c)^{2} \\ & \leq 18 \end{aligned}
and that in the last step equality holds if and only if a+b+c=0a+b+c=0.

b.

The maximum possible value is 108108, and it is achieved by all and only the triples in which the three variables are, in some order, 00 and ±3\pm \sqrt{3}.
We start by observing that, up to permutations, we can always assume that the three numbers satisfy the relation abca \leq b \leq c. Recall also that
xy=(x+y)2(xy)24(x+y)24 xy=\frac{(x+y)^{2}-(x-y)^{2}}{4} \leq \frac{(x+y)^{2}}{4}
for every pair of real numbers xx and yy (this is essentially the classical inequality between the geometric mean and the arithmetic mean), with equality if and only if x=yx=y. Applying this inequality with x=bax=b-a and y=cby=c-b we then get that
(ba)(cb)(ca)24 (b-a) \cdot(c-b) \leq \frac{(c-a)^{2}}{4}
from which, squaring both sides (which does not change the direction of the inequalities since bab-a and cbc-b are greater than or equal to 00), we deduce that
(ab)2(bc)2(ca)2(ca)616. (a-b)^{2} \cdot(b-c)^{2} \cdot(c-a)^{2} \leq \frac{(c-a)^{6}}{16} .
Finally we observe that
(ca)2=c2+a22ac=2(a2+c2)(a+c)22(a2+b2+c2)=12, (c-a)^{2}=c^{2}+a^{2}-2 a c=2\left(a^{2}+c^{2}\right)-(a+c)^{2} \leq 2\left(a^{2}+b^{2}+c^{2}\right)=12,
from which we conclude that
(ab)2(bc)2(ca)212316=108 (a-b)^{2} \cdot(b-c)^{2} \cdot(c-a)^{2} \leq \frac{12^{3}}{16}=108
To have equality, equality must hold in (2), which happens if and only if b=0b=0 and c=ac=-a, a condition that also guarantees that x=yx=y and hence equality in (1).

Alternative solution to question (b)

Let us set
x=ab,y=bc,z=ca. x=a-b, \quad y=b-c, \quad z=c-a \text{.}
Up to permutations, we can arrange for x0x \geq 0 and y0y \geq 0 (it suffices that cbac \leq b \leq a). From question (a) we know that x,y,zx, y, z satisfy the inequality
x2+y2+z218, x^{2}+y^{2}+z^{2} \leq 18 \text{,}
as well as of course the equality x+y+z=0x+y+z=0, that is, z=(x+y)z=-(x+y). What we need to do is maximize the product x2y2z2x^{2} y^{2} z^{2}. Setting s=x+ys=x+y and p=xyp=x y, we observe that s0s \geq 0 and p0p \geq 0, and moreover
x2+y2+z2=x2+y2+(x+y)2=(x+y)22xy+(x+y)2=2s22p, x^{2}+y^{2}+z^{2}=x^{2}+y^{2}+(x+y)^{2}=(x+y)^{2}-2 x y+(x+y)^{2}=2 s^{2}-2 p,
which allows us to rewrite condition (4) as 2s22p182 s^{2}-2 p \leq 18, that is, s29+ps^{2} \leq 9+p. Finally, by the inequality between the arithmetic and geometric means, already mentioned in the first solution, we know that
p=xys24. p=x y \leq \frac{s^{2}}{4} .
Putting these facts together we deduce that
s29+p9+s24 s^{2} \leq 9+p \leq 9+\frac{s^{2}}{4}
that is, 4s236+s24 s^{2} \leq 36+s^{2}, from which we conclude that s212s^{2} \leq 12, and hence
x2y2z2=p2s2(s24)2s2=s61612316=108. x^{2} y^{2} z^{2}=p^{2} s^{2} \leq\left(\frac{s^{2}}{4}\right)^{2} s^{2}=\frac{s^{6}}{16} \leq \frac{12^{3}}{16}=108 .
To have equality we need in particular that s2=12s^{2}=12 and x=yx=y (a necessary and sufficient condition for equality between the arithmetic and geometric means), from which x2=y2=3x^{2}=y^{2}=3, that is (recalling that xx and yy are non-negative) x=y=3x=y=\sqrt{3}. Returning then to equalities (3) we obtain that
a=b+3,andc=b3, a=b+\sqrt{3}, \quad \text{and} \quad c=b-\sqrt{3},
and in particular
6=a2+b2+c2=(b+3)2+b2+(b3)2=3b2+6, 6=a^{2}+b^{2}+c^{2}=(b+\sqrt{3})^{2}+b^{2}+(b-\sqrt{3})^{2}=3 b^{2}+6,
from which we conclude that b=0b=0 and consequently a=3a=\sqrt{3} and c=3c=-\sqrt{3}.

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 translated into English from it; metadata (topic, difficulty) added by this project.