Maths Olympiad Prep

Library / China Mathematical Competition /105 of 136

China Mathematical Competition

Algebra Difficulty 5.6 AIME, harder Prove it China

The number of rational solutions to the system of equations
{x+y+z=0,xyz+z=0,xy+yz+xz+y=0, is (). \begin{cases} x + y + z = 0, \\ xyz + z = 0, \\ xy + yz + xz + y = 0 \end{cases}, \text{ is } (\quad).

Solution

If z=0z = 0, then
{x+y=0,xy+y=0. \begin{cases} x + y = 0, \\ xy + y = 0 \end{cases}.
It follows that
{x=0,y=0 or {x=−1,y=1. \begin{cases} x = 0, \\ y = 0 \end{cases} \text{ or } \begin{cases} x = -1, \\ y = 1. \end{cases}
If z≠0z \neq 0, from xyz+z=0xyz + z = 0 we get
xy=−1.1◯ xy = -1. \qquad \textcircled{1}
From x+y+z=0x + y + z = 0 we have
z=−x−y.2◯ z = -x - y. \qquad \textcircled{2}
Substituting 2◯\textcircled{2} into xy+yz+xz+y=0xy + yz + xz + y = 0, we obtain
x2+y2+xy−y=0.3◯ x^2 + y^2 + xy - y = 0. \qquad \textcircled{3}
From 1◯\textcircled{1} we have x=−1yx = -\frac{1}{y}. We substitute it into 3◯\textcircled{3}, and then make a simplification:
(y−1)(y3−y−1)=0. (y - 1)(y^3 - y - 1) = 0.
It is easy to see that y3−y−1y^3 - y - 1 has no rational solution, and so y=1y = 1. Then from 1◯\textcircled{1} and 2◯\textcircled{2} we get x=−1x = -1 and z=0z = 0, contradicting z≠0z \neq 0.

In summary, the system has exactly two solutions:
{x=0,y=0,z=0,{x=−1,y=1,z=0 \begin{cases} x = 0, \\ y = 0, \\ z = 0 \end{cases}, \begin{cases} x = -1, \\ y = 1, \\ z = 0 \end{cases}

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.