AlgebraDifficulty 6.3National OlympiadProve itUnited States
Problem: Let a, b, and c be pairwise distinct complex numbers such that a2=b+6,b2=c+6,andc2=a+6. Compute the two possible values of a+b+c.
Solution
Solution:
Solution 1: Notice that any of a, b, or c being 3 or −2 implies a=b=c, which is invalid. Thus, (a2−9)(b2−9)(c2−9)=(b−3)(c−3)(a−3)⟹(a+3)(b+3)(c+3)=1, (a2−4)(b2−4)(c2−4)=(b+2)(c+2)(a+2)⟹(a−2)(b−2)(c−2)=1. Therefore, 2 and −3 are roots of the polynomial (x−a)(x−b)(x−c)+1, and so there exists some t such that (x−t)(x−2)(x+3)=(x−a)(x−b)(x−c)+1. Comparing coefficients gives a+b+c=t−1 and ab+bc+ca=−(t+6). We can then solve for t by noting a2+b2+c2=(b+6)+(c+6)+(a+6)=a+b+c+18, so ab+bc+ca=21((a+b+c)2−(a2+b2+c2))=21((a+b+c)2−(a+b+c+18)). Hence, −(t+6)=21((t−1)2−(t+17))⟹t2−t−4=0⟹t=21±17. Therefore a+b+c=2−1±17 are the two possible values of a+b+c.
Solution 2: Let s=a+b+c. Subtracting two adjacent equations gives a2−b2=b−c, or (a−b)(a+b)=(b−c). Multiplying this and its cyclic variants gives (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) ⇒s3=a3+b3+c3+3. To simplify a3+b3+c3, we add a times the first equation, b times the second, and c times the third to obtain a3+b3+c3=a(b+6)+b(c+6)+c(a+6) =(ab+bc+ca)+6s =21((a+b+c)2−(a2+b2+c2))+6s =21s2−21((b+6)+(c+6)+(a+6))+6s =21s2+211s−9. Therefore, s3=21s2+211s−6⇒(s−23)(s2+s−4)=0. At this point, the only reasonable guess is that s=23 is an extra solution, and the remaining two roots s=2−1±17 are the possible answers. We now justify this guess. Assume for sake of contradiction that s=23. Then, a2+b2+c2=(b+6)+(c+6)+(a+6)=239 ab+bc+ca=21(49−239)=−869. Then, observe abc=(a+b+c)(ab+bc+ca)−(a+b)(b+c)(c+a) =−16207−1=−16223. On the other hand, (a+6)(b+6)(c+6)=216+36(a+b+c)+6(ab+bc+ca)+abc =216+36⋅23−6⋅869−16223, which is a rational number of denominator 16. But (a+6)(b+6)(c+6)=b2c2a2=(−16223)2 has denominator 162=256, a contradiction. Thus s=23 is impossible. (It arises from a=b=c=21 which satisfies (a+b)(b+c)(c+a)=1 but not the given conditions.)
Solution 3: Subtracting any two adjacent equations gives a2−b2=b−c, which is equivalent to both (a−b)(a+b)=(b−c) and (a−b)(a+b+1)=(a−c). Multiplying each of these with its respective cyclic variants and canceling the (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. 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 1+(b+6+c+6+a+6)+3(ab+bc+ca)+2(a+b+c)+1=−1 3(a+b+c)+3(ab+bc+ca)=−21 a+b+c+ab+bc+ca=−7. Let s=a+b+c. We can then solve for s by considering the following: s2=(a2+b2+c2)+2(ab+bc+ca) =(b+6+c+6+a+6)+2(−7−a−b−c) =−s+4, so s=2−1±17.
Solution 4: Let s=a+b+c and consider the polynomial x+(x2−6)+((x2−6)2−6)−s=x4−11x2+x+24−s. This polynomial has roots a, b, and c. By Vieta's, the sum of all four roots is 0, so its fourth root must be −s. Using Vieta's again, we have ab+bc+ca−sa−sb−sc=−11. We can now solve for s. ab+bc+ca−(a+b+c)2=−11 a2+b2+c2+ab+bc+ca=11 21((a+b+c)2+(a2+b2+c2))=11 (a+b+c)2+(b+6+c+6+a+6)=22 s2+s−4=0⟹s=2−1±17. Remark. Another way to finish using this approach is to substitute −s directly into x4−11x2+x+24−s=0 to get (s−3)(s+2)(x2+x−4)=0, then discard the solutions s=3 and s=−2, which arise from the invalid values a=b=c=3 and a=b=c=−2. (In the invalid cases, s=a+b+c because a=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.