Maths Olympiad Prep

Library / China Mathematical Competition (Extra Test) /7 of 12

China Mathematical Competition (Extra Test)

Algebra Difficulty 6.3 National Olympiad Prove it China

Solve the following system of equations.
{x−y+z−w=2,x2−y2+z2−w2=6,x3−y3+z3−w3=20,x4−y4+z4−w4=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+4p2q−2q2. \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+4s2t−2t2. 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+4p2q−2q2=y4+w4+4s2t−2t2+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+2s−1,2◯ q = t + 2s - 1, \qquad \textcircled{2}
pq=st+2s2+4s−4,3◯ pq = st + 2s^2 + 4s - 4, \qquad \textcircled{3}
2p2q−q2=2s2t−t2+4s3+12s2+16s−25.4◯ 2p^2q - q^2 = 2s^2t - t^2 + 4s^3 + 12s^2 + 16s - 25. \qquad \textcircled{4}
Substituting ① and ② into ③, we get
t=s2−1.5◯ t = \frac{s}{2} - 1. \qquad \textcircled{5}
Substituting ⑤ into ②,
q=52s−2.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 X2−4X+3=0X^2 - 4X + 3 = 0 and Y2−2Y=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,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.