Maths Olympiad Prep

Library / /1368 of 1394

Algebra Difficulty 6.3 National Olympiad Prove it United States

Problem:
Let aa, bb, and cc be pairwise distinct complex numbers such that
a2=b+6,b2=c+6,andc2=a+6.a^{2} = b + 6,\quad b^{2} = c + 6,\quad \mathrm{and}\quad c^{2} = a + 6.
Compute the two possible values of a+b+ca + b + c.

Solution

Solution:

Solution 1: Notice that any of aa, bb, or cc being 33 or 2-2 implies a=b=ca = b = c, which is invalid. Thus,
(a29)(b29)(c29)=(b3)(c3)(a3)    (a+3)(b+3)(c+3)=1,(a^{2} - 9)(b^{2} - 9)(c^{2} - 9) = (b - 3)(c - 3)(a - 3)\implies (a + 3)(b + 3)(c + 3) = 1,
(a24)(b24)(c24)=(b+2)(c+2)(a+2)    (a2)(b2)(c2)=1.(a^{2} - 4)(b^{2} - 4)(c^{2} - 4) = (b + 2)(c + 2)(a + 2)\implies (a - 2)(b - 2)(c - 2) = 1.
Therefore, 22 and 3-3 are roots of the polynomial (xa)(xb)(xc)+1(x - a)(x - b)(x - c) + 1, and so there exists some tt such that
(xt)(x2)(x+3)=(xa)(xb)(xc)+1.(x - t)(x - 2)(x + 3) = (x - a)(x - b)(x - c) + 1.
Comparing coefficients gives a+b+c=t1a + b + c = t - 1 and ab+bc+ca=(t+6)ab + bc + ca = - (t + 6). We can then solve for tt by noting a2+b2+c2=(b+6)+(c+6)+(a+6)=a+b+c+18a^{2} + b^{2} + c^{2} = (b + 6) + (c + 6) + (a + 6) = a + b + c + 18, so
ab+bc+ca=12((a+b+c)2(a2+b2+c2))=12((a+b+c)2(a+b+c+18)).ab + bc + ca = \frac{1}{2} ((a + b + c)^{2} - (a^{2} + b^{2} + c^{2})) = \frac{1}{2} ((a + b + c)^{2} - (a + b + c + 18)).
Hence,
(t+6)=12((t1)2(t+17))t2t4=0t=1±172.- (t + 6) = \frac{1}{2} ((t - 1)^{2} - (t + 17))\Longrightarrow t^{2} - t - 4 = 0\Longrightarrow t = \frac{1\pm\sqrt{17}}{2}.
Therefore a+b+c=1±172a + b + c = \boxed{\frac{- 1\pm\sqrt{17}}{2}} are the two possible values of a+b+ca + b + c.

Solution 2: Let s=a+b+cs = a + b + c. Subtracting two adjacent equations gives a2b2=bca^{2} - b^{2} = b - c, or (ab)(a+b)=(bc)(a - b)(a + b) = (b - c). Multiplying this and its cyclic variants gives
(a+b)(b+c)(c+a)=1.(a + b)(b + c)(c + a) = 1.
Now, we recall the identity
(a+b+c)3=a3+b3+c3+3(a+b)(b+c)(c+a)(a + b + c)^{3} = a^{3} + b^{3} + c^{3} + 3(a + b)(b + c)(c + a)
s3=a3+b3+c3+3.\qquad \Rightarrow \qquad s^{3} = a^{3} + b^{3} + c^{3} + 3.
To simplify a3+b3+c3a^{3} + b^{3} + c^{3}, we add aa times the first equation, bb times the second, and cc times the third to obtain
a3+b3+c3=a(b+6)+b(c+6)+c(a+6)a^{3} + b^{3} + c^{3} = a(b + 6) + b(c + 6) + c(a + 6)
=(ab+bc+ca)+6s\qquad = (ab + bc + ca) + 6s
=12((a+b+c)2(a2+b2+c2))+6s\qquad = \frac{1}{2}\Big((a + b + c)^{2} - (a^{2} + b^{2} + c^{2})\Big) + 6s
=12s212((b+6)+(c+6)+(a+6))+6s\qquad = \frac{1}{2} s^{2} - \frac{1}{2}\Big((b + 6) + (c + 6) + (a + 6)\Big) + 6s
=12s2+112s9.\qquad = \frac{1}{2} s^{2} + \frac{11}{2} s - 9.
Therefore,
s3=12s2+112s6(s32)(s2+s4)=0.s^{3} = \frac{1}{2} s^{2} + \frac{11}{2} s - 6 \Rightarrow \left(s - \frac{3}{2}\right)\left(s^{2} + s - 4\right) = 0.
At this point, the only reasonable guess is that s=32s = \frac{3}{2} is an extra solution, and the remaining two roots s=1±172s = \frac{- 1\pm\sqrt{17}}{2} are the possible answers. We now justify this guess. Assume for sake of contradiction that s=32s = \frac{3}{2}. Then,
a2+b2+c2=(b+6)+(c+6)+(a+6)=392a^{2} + b^{2} + c^{2} = (b + 6) + (c + 6) + (a + 6) = \frac{39}{2}
ab+bc+ca=12(94392)=698.ab + bc + ca = \frac{1}{2}\left(\frac{9}{4} -\frac{39}{2}\right) = -\frac{69}{8}.
Then, observe
abc=(a+b+c)(ab+bc+ca)(a+b)(b+c)(c+a)abc = (a + b + c)(ab + bc + ca) - (a + b)(b + c)(c + a)
=207161=22316.= -\frac{207}{16} -1 = -\frac{223}{16}.
On the other hand,
(a+6)(b+6)(c+6)=216+36(a+b+c)+6(ab+bc+ca)+abc(a + 6)(b + 6)(c + 6) = 216 + 36(a + b + c) + 6(ab + bc + ca) + abc
=216+3632669822316,\qquad = 216 + 36\cdot \frac{3}{2} -6\cdot \frac{69}{8} -\frac{223}{16},
which is a rational number of denominator 1616. But (a+6)(b+6)(c+6)=b2c2a2=(22316)2(a + 6)(b + 6)(c + 6) = b^{2}c^{2}a^{2} = \left(-\frac{223}{16}\right)^{2} has denominator 162=25616^{2} = 256, a contradiction. Thus s=32s = \frac{3}{2} is impossible. (It arises from a=b=c=12a = b = c = \frac{1}{2} which satisfies (a+b)(b+c)(c+a)=1(a + b)(b + c)(c + a) = 1 but not the given conditions.)

Solution 3: Subtracting any two adjacent equations gives a2b2=bca^{2} - b^{2} = b - c, which is equivalent to both (ab)(a+b)=(bc)(a - b)(a + b) = (b - c) and (ab)(a+b+1)=(ac)(a - b)(a + b + 1) = (a - c). Multiplying each of these with its respective cyclic variants and canceling the (ab)(bc)(ca)(a - b)(b - c)(c - a) factor (which is given to be nonzero), we get
(a+b)(b+c)(c+a)=1and(a+b+1)(b+c+1)(c+a+1)=1.(a + b)(b + c)(c + a) = 1\quad \mathrm{and}\quad (a + b + 1)(b + c + 1)(c + a + 1) = -1.
Expanding the latter equation and using the given equations gives the following result.
(a+b)(b+c)(c+a)+(a2+b2+c2)+3(ab+bc+ca)+2(a+b+c)+1=1(a + b)(b + c)(c + a) + (a^{2} + b^{2} + c^{2}) + 3(ab + bc + ca) + 2(a + b + c) + 1 = -1
1+(b+6+c+6+a+6)+3(ab+bc+ca)+2(a+b+c)+1=11 + (b + 6 + c + 6 + a + 6) + 3(ab + bc + ca) + 2(a + b + c) + 1 = -1
3(a+b+c)+3(ab+bc+ca)=213(a + b + c) + 3(ab + bc + ca) = -21
a+b+c+ab+bc+ca=7.a + b + c + ab + bc + ca = -7.
Let s=a+b+cs = a + b + c. We can then solve for ss by considering the following:
s2=(a2+b2+c2)+2(ab+bc+ca)s^{2} = (a^{2} + b^{2} + c^{2}) + 2(ab + bc + ca)
=(b+6+c+6+a+6)+2(7abc)\quad = (b + 6 + c + 6 + a + 6) + 2(-7 - a - b - c)
=s+4,\quad = -s + 4,
so s=1±172s = \frac{- 1\pm\sqrt{17}}{2}.

Solution 4: Let s=a+b+cs = a + b + c and consider the polynomial
x+(x26)+((x26)26)s=x411x2+x+24s.x + (x^{2} - 6) + ((x^{2} - 6)^{2} - 6) - s = x^{4} - 11x^{2} + x + 24 - s.
This polynomial has roots aa, bb, and cc. By Vieta's, the sum of all four roots is 00, so its fourth root must be s-s. Using Vieta's again, we have ab+bc+casasbsc=11ab + bc + ca - sa - sb - sc = -11. We can now solve for ss.
ab+bc+ca(a+b+c)2=11ab + bc + ca - (a + b + c)^{2} = -11
a2+b2+c2+ab+bc+ca=11a^{2} + b^{2} + c^{2} + ab + bc + ca = 11
12((a+b+c)2+(a2+b2+c2))=11\frac{1}{2} ((a + b + c)^{2} + (a^{2} + b^{2} + c^{2})) = 11
(a+b+c)2+(b+6+c+6+a+6)=22(a + b + c)^{2} + (b + 6 + c + 6 + a + 6) = 22
s2+s4=0s=1±172.s^{2} + s - 4 = 0\Longrightarrow s = \frac{-1\pm\sqrt{17}}{2}.
Remark. Another way to finish using this approach is to substitute s-s directly into x411x2+x+24s=0x^{4} - 11x^{2} + x + 24 - s = 0 to get (s3)(s+2)(x2+x4)=0(s - 3)(s + 2)(x^{2} + x - 4) = 0, then discard the solutions s=3s = 3 and s=2s = -2, which arise from the invalid values a=b=c=3a = b = c = 3 and a=b=c=2a = b = c = -2. (In the invalid cases, sa+b+cs \neq a + b + c because a=b=ca = b = c is only a single root to the polynomial.)

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.