Maths Olympiad Prep

Library / /8 of 13

Algebra Difficulty 6.3 National olympiad Prove it China

Solve the following system of equations.
{xy+zw=2,x2y2+z2w2=6,x3y3+z3w3=20,x4y4+z4w4=66. \begin{cases} x - y + z - w = 2, \\ x^2 - y^2 + z^2 - w^2 = 6, \\ x^3 - y^3 + z^3 - w^3 = 20, \\ x^4 - y^4 + z^4 - w^4 = 66. \end{cases}

Solution

Let p=x+zp = x + z, q=xzq = xz. The second to fourth equations of the system become
p2=x2+z2+2q,p3=x3+z3+3pq,p4=x4+z4+4p2q2q2. \begin{aligned} p^2 &= x^2 + z^2 + 2q, \\ p^3 &= x^3 + z^3 + 3pq, \\ p^4 &= x^4 + z^4 + 4p^2q - 2q^2.\end{aligned}
Similarly, let s=y+ws = y + w, t=ywt = yw. The second to fourth equations of the system become
s2=y2+w2+2t, s^2 = y^2 + w^2 + 2t,
s3=y3+w3+3st, s^3 = y^3 + w^3 + 3st,
s4=y4+w4+4s2t2t2. s^4 = y^4 + w^4 + 4s^2t - 2t^2.
Also, the first equation in the system can now be expressed as
p=s+2.1 p = s + 2. \qquad \textcircled{1}
Therefore
p2=s2+4s+4, p^2 = s^2 + 4s + 4,
p3=s3+6s2+12s+8, p^3 = s^3 + 6s^2 + 12s + 8,
p4=s4+8s3+24s+32s+16. p^4 = s^4 + 8s^3 + 24s + 32s + 16.
Substituting the expressions of p2p^2, p3p^3, p4p^4 and s2s^2, s3s^3, s4s^4 obtained previously into the original system, we get
x2+z2+2q=y2+w2+2t+4s+4, x^2 + z^2 + 2q = y^2 + w^2 + 2t + 4s + 4,
x3+z3+3pq=y3+w3+3st+6s2+12s+8, x^3 + z^3 + 3pq = y^3 + w^3 + 3st + 6s^2 + 12s + 8,
x4+z4+4p2q2q2=y4+w4+4s2t2t2+8s3+24s+32s+16. x^4 + z^4 + 4p^2q - 2q^2 = y^4 + w^4 + 4s^2t - 2t^2 + 8s^3 + 24s + 32s + 16.
Using the second to the fourth equations in the system to simplify the above, we get
q=t+2s1,2 q = t + 2s - 1, \qquad \textcircled{2}
pq=st+2s2+4s4,3 pq = st + 2s^2 + 4s - 4, \qquad \textcircled{3}
2p2qq2=2s2tt2+4s3+12s2+16s25.4 2p^2q - q^2 = 2s^2t - t^2 + 4s^3 + 12s^2 + 16s - 25. \qquad \textcircled{4}
Substituting ① and ② into ③, we get
t=s21.5 t = \frac{s}{2} - 1. \qquad \textcircled{5}
Substituting ⑤ into ②,
q=52s2.6 q = \frac{5}{2}s - 2. \qquad \textcircled{6}
Substituting ①, ⑤, ⑥ into ④, we get s=2s = 2. Therefore t=0t = 0, p=4p = 4, q=3q = 3.
Consequently, x,zx, z and y,wy, w are the roots of equations X24X+3=0X^2 - 4X + 3 = 0 and Y22Y=0Y^2 - 2Y = 0 respectively. That means
{x=3,z=1 or {x=1,z=3 \begin{cases} x = 3, \\ z = 1 \end{cases} \text{ or } \begin{cases} x = 1, \\ z = 3 \end{cases}
and
{y=2,w=0 or {y=0,w=2. \begin{cases} y = 2, \\ w = 0 \end{cases} \text{ or } \begin{cases} y = 0, \\ w = 2. \end{cases}
Specifically, the system of equations has 4 solutions:
x=3,y=2,z=1,w=0; x = 3, y = 2, z = 1, w = 0;
x=3,y=0,z=1,w=2; x = 3, y = 0, z = 1, w = 2;
x=1,y=2,z=3,w=0; x = 1, y = 2, z = 3, w = 0;
x=1,y=0,z=3,w=2. x = 1, y = 0, z = 3, w = 2.

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 and solution reproduced as published; topic and difficulty added by this site.