Maths Olympiad Prep

Library / /79 of 100

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 z0z \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=xy.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+xyy=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:
(y1)(y3y1)=0. (y - 1)(y^3 - y - 1) = 0.
It is easy to see that y3y1y^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 z0z \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,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.