Maths Olympiad Prep

Library / HMMT /51 of 79

HMMT, 2014

Algebra Difficulty 5.5 AIME, harder Prove it United States

Problem:
Given that aa, bb, and cc are complex numbers satisfying
a2+ab+b2=1+ib2+bc+c2=−2c2+ca+a2=1, \begin{aligned} a^{2}+a b+b^{2} & =1+i \\ b^{2}+b c+c^{2} & =-2 \\ c^{2}+c a+a^{2} & =1, \end{aligned}
compute (ab+bc+ca)2(a b+b c+c a)^{2}. (Here, i=−1i=\sqrt{-1}.)

Solution

Solution:
Answer: −11−4i3\quad \frac{-11-4 i}{3} OR −11+4i3-\frac{11+4 i}{3}

More generally, suppose a2+ab+b2=za^{2}+a b+b^{2}=z, b2+bc+c2=xb^{2}+b c+c^{2}=x, c2+ca+a2=yc^{2}+c a+a^{2}=y for some complex numbers a,b,c,x,y,za, b, c, x, y, z.
We show that
f(a,b,c,x,y,z)=(12(ab+bc+ca)sin⁡120∘)2−(14)2[(x+y+z)2−2(x2+y2+z2)] f(a, b, c, x, y, z)=\left(\frac{1}{2}(a b+b c+c a) \sin 120^{\circ}\right)^{2}-\left(\frac{1}{4}\right)^{2}\left[(x+y+z)^{2}-2\left(x^{2}+y^{2}+z^{2}\right)\right]
holds in general. Plugging in x=−2,y=1,z=1+ix=-2, y=1, z=1+i will then yield the desired answer,
(ab+bc+ca)2=163116[(x+y+z)2−2(x2+y2+z2)]=i2−2(4+1+(1+i)2)3=−1−2(5+2i)3=−11−4i3 \begin{aligned} (a b+b c+c a)^{2} & =\frac{16}{3} \frac{1}{16}\left[(x+y+z)^{2}-2\left(x^{2}+y^{2}+z^{2}\right)\right] \\ & =\frac{i^{2}-2\left(4+1+(1+i)^{2}\right)}{3}=\frac{-1-2(5+2 i)}{3}=\frac{-11-4 i}{3} \end{aligned}

Solution 1: Plug in x=b2+bc+c2x=b^{2}+b c+c^{2}, etc. to get a polynomial gg in a,b,ca, b, c (that agrees with ff for every valid choice of a,b,c,x,y,za, b, c, x, y, z). It suffices to show that g(a,b,c)=0g(a, b, c)=0 for all positive reals a,b,ca, b, c, as then the polynomial gg will be identically 00.
But this is easy: by the law of cosines, we get a geometrical configuration with a point PP inside a triangle ABCA B C with PA=a,PB=b,PC=c,∠PAB=∠PBC=∠PCA=120∘,x=BC2P A=a, P B=b, P C=c, \angle P A B=\angle P B C=\angle P C A=120^{\circ}, x=B C^{2},
y=CA2,z=AB2y=C A^{2}, z=A B^{2}. By Heron's formula, we have
(12(ab+bc+ca)sin⁡120∘)2=[ABC]2=(x+y+z)∏cyc(x+y−z)24=116[(x+y)2−z][(x−y)2−z]=116[(x−y)2+z2−2z(x+y)]=(14)2[(x+y+z)2−2(x2+y2+z2)] \begin{aligned} \left(\frac{1}{2}(a b+b c+c a) \sin 120^{\circ}\right)^{2} & =[A B C]^{2} \\ & =\frac{(\sqrt{x}+\sqrt{y}+\sqrt{z}) \prod_{\mathrm{cyc}}(\sqrt{x}+\sqrt{y}-\sqrt{z})}{2^{4}} \\ & =\frac{1}{16}\left[(\sqrt{x}+\sqrt{y})^{2}-z\right]\left[(\sqrt{x}-\sqrt{y})^{2}-z\right] \\ & =\frac{1}{16}\left[(x-y)^{2}+z^{2}-2 z(x+y)\right] \\ & =\left(\frac{1}{4}\right)^{2}\left[(x+y+z)^{2}-2\left(x^{2}+y^{2}+z^{2}\right)\right] \end{aligned}
as desired.

Solution 2: Let s=a+b+cs=a+b+c. We have x−y=b2+bc−ca−a2=(b−a)sx-y=b^{2}+b c-c a-a^{2}=(b-a) s and cyclic, so x+as=y+bs=z+csx+a s=y+b s=z+c s (they all equal ∑a2+∑bc\sum a^{2}+\sum b c ). Now add all equations to get
x+y+z=2∑a2+∑bc=s2+12∑(b−c)2 x+y+z=2 \sum a^{2}+\sum b c=s^{2}+\frac{1}{2} \sum(b-c)^{2}
multiplying both sides by 4s24 s^{2} yields 4s2(x+y+z)=4s4+2∑(z−y)24 s^{2}(x+y+z)=4 s^{4}+2 \sum(z-y)^{2}, so [2s2−(x+y+z)]2=\left[2 s^{2}-(x+y+z)\right]^{2}= (x+y+z)2−2∑(z−y)2=6∑yz−3∑x2(x+y+z)^{2}-2 \sum(z-y)^{2}=6 \sum y z-3 \sum x^{2}. But 2s2−(x+y+z)=s2−12∑(b−c)2=(a+b+c)2−12∑(b−c)2=3(ab+bc+ca)2 s^{2}-(x+y+z)=s^{2}-\frac{1}{2} \sum(b-c)^{2}=(a+b+c)^{2}-\frac{1}{2} \sum(b-c)^{2}=3(a b+b c+c a), so
9(ab+bc+ca)2=6∑yz−3∑x2=3[(x+y+z)2−2(x2+y2+z2)] 9(a b+b c+c a)^{2}=6 \sum y z-3 \sum x^{2}=3\left[(x+y+z)^{2}-2\left(x^{2}+y^{2}+z^{2}\right)\right]
which easily rearranges to the desired.

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.