Maths Olympiad Prep

Library / /76 of 105

Algebra Difficulty 5.3 AIME, harder Prove it United States

Problem:
If a,b,c,d,e,fa, b, c, d, e, f are real numbers such that a+b+c+d+e+f=0a+b+c+d+e+f=0 and a3+b3+c3+d3+e3+f3=0a^{3}+b^{3}+c^{3}+d^{3}+e^{3}+f^{3}=0, prove that (a+c)(a+d)(a+e)(a+f)=(b+c)(b+d)(b+e)(b+f)(a+c)(a+d)(a+e)(a+f)=(b+c)(b+d)(b+e)(b+f).

Solution

Solution:
First, let SS be the sum of all possible products of three distinct variables from the set {a,b,c,d,e,f}\{a, b, c, d, e, f\}, i.e. S=abc+abd+abe++defS=abc+abd+abe+\cdots+def. Now, we assert that
(a+b+c+d+e+f)3+2(a3+b3+c3+d3+e3+f3)3(a+b+c+d+e+f)(a2+b2+c2+d2+e2+f2)=6S \begin{aligned} & (a+b+c+d+e+f)^3 + 2\left(a^3+b^3+c^3+d^3+e^3+f^3\right) \\ & \quad - 3(a+b+c+d+e+f)\left(a^2+b^2+c^2+d^2+e^2+f^2\right) = 6S \end{aligned}
To see this, note that, when the left-hand side is expanded, the terms obtained come in three forms: a3a^3 (i.e. cubes of one variable), a2ba^2b (squares of one variable times another), and abcabc (products of three different variables). Each term of the form a3a^3 has coefficient 11 in (a++f)3(a+\cdots+f)^3, 22 in 2(a3++f3)2(a^3+\cdots+f^3), and 3-3 in 3(a++f)(a2++f2)-3(a+\cdots+f)(a^2+\cdots+f^2), for a total coefficient of 00; the terms of the form a2ba^2b have respective coefficients 3,0,33, 0, -3, for a total of 00; those of the form abcabc have coefficients 6,0,06, 0, 0, for a total of 66. Since the right side of (1) consists of the abcabc-type terms with coefficient 66, the assertion is proven.

However, the given tells us that the left-hand side of (1) is zero, so S=0S=0. Now, let p=ab(cd+ce+cf+de+df+ef)p=ab-(cd+ce+cf+de+df+ef). We claim that the following holds for all numbers xx:
(x+c)(x+d)(x+e)(x+f)=(xa)(xb)(x2p)+abp+cdef. (x+c)(x+d)(x+e)(x+f) = (x-a)(x-b)(x^2-p) + abp + cdef.
We can verify this by comparing coefficients for corresponding powers of xx.

The coefficient of x4x^4 on both sides is 11; the coefficient of x3x^3 is c+d+e+fc+d+e+f on the left and (a+b)-(a+b) on the right, but the given implies that these are equal. The coefficient of x2x^2 is cd+ce+cf+de+df+efcd+ce+cf+de+df+ef on the left and abpab-p on the right; these are equal by the definition of pp. The coefficient of xx is cde+cdf+cef+defcde+cdf+cef+def on the left and ap+bpap+bp on the right. To see that these are equal, observe that
cde+cdf+cef+def(a+b)p=cde+cdf+cef+def(a+b)ab+(a+b)(cd+ce+cf+de+df+ef)=(S[abc+abd+abe+abf])(a+b)ab=ab(c+d+e+f+a+b)=0 \begin{gathered} cde+cdf+cef+def-(a+b)p = cde+cdf+cef+def-(a+b)ab+(a+b)(cd+ce+cf+de+df+ef) \\ = (S - [abc+abd+abe+abf]) - (a+b)ab = -ab(c+d+e+f+a+b) = 0 \end{gathered}
where we have used the definition of SS for the second equality and the fact that S=0S=0 for the third. Finally, the constant term equals cdefcdef on both sides. Thus, equation (2) holds. Plugging in x=ax=a and x=bx=b, we find
(a+c)(a+d)(a+e)(a+f)=(aa)(ab)(a2p)+abp+cdef=abp+cdef(b+c)(b+d)(b+e)(b+f)=(ba)(bb)(b2p)+abp+cdef=abp+cdef \begin{aligned} & (a+c)(a+d)(a+e)(a+f) = (a-a)(a-b)(a^2-p) + abp + cdef = abp + cdef \\ & (b+c)(b+d)(b+e)(b+f) = (b-a)(b-b)(b^2-p) + abp + cdef = abp + cdef \end{aligned}
Since the right-hand sides match, we are done.

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.