Maths Olympiad Prep

Library / /18 of 53

Algebra Difficulty 6.2 National olympiad Prove it Vietnam

Given a system of equations on R\mathbb{R}
{xay=yzyaz=zxzax=xy \begin{cases} x - ay = yz \\ y - az = zx \\ z - ax = xy \end{cases}
a) Solve that system when a=0a = 0.
b) Prove that the system has 5 different roots when a>1a > 1.

Solution

a. For a=0a = 0, we have
{x=yz,y=zx,z=xy. \begin{cases} x = yz, \\ y = zx, \\ z = xy. \end{cases}
If one of three numbers is equal to 00 then the other numbers are equal to 00 too. We consider the case xyz0xyz \neq 0 and multiply the equations, side by side, we get xyz=1xyz = 1 then
x2=y2=z2=1. x^2 = y^2 = z^2 = 1.
From these identities, we conclude that the solutions of the system are
(0,0,0),(1,1,1),(1,1,1) (0, 0, 0), (1, 1, 1), (-1, -1, 1)
and permutations. We can easily check that there are 5 different solutions for this system.

b. Clearly, x=y=z=0x = y = z = 0 satisfies the system. For a>1a > 1, first of all it is easy to see that if any number equals 00, the other numbers also equal 00. Now, we try to transform this system to an equation for zz.
{x=ay+yz,yaz=z(ay+yz),za(ay+yz)=y(ay+yz),{x=ay+yz,y=az1azz2,za(ay+yz)=y(ay+yz). \begin{cases} x = ay + yz, \\ y - az = z(ay + yz), \\ z - a(ay + yz) = y(ay + yz), \end{cases} \Leftrightarrow \begin{cases} x = ay + yz, \\ y = \frac{az}{1 - az - z^2}, \\ z - a(ay + yz) = y(ay + yz). \end{cases}
Hence,
z(a2+az)az1azz2=(a+z)(az1azz2)2 z - (a^2 + az) \frac{az}{1 - az - z^2} = (a + z) \left( \frac{az}{1 - az - z^2} \right)^2
or
z4+(a2+2a)z3+2(a31)z2+(a4a3a22a)z+(1a3)=0. z^4 + (a^2 + 2a)z^3 + 2(a^3 - 1)z^2 + (a^4 - a^3 - a^2 - 2a)z + (1 - a^3) = 0.
Note that the original system has two roots x=y=z=0x = y = z = 0 and x=y=z=1ax = y = z = 1 - a so the above equation must have a root z=1az = 1 - a. Hence, we have
z3+(a2+a+1)z2+(a31)za2a1=0. z^3 + (a^2 + a + 1) z^2 + (a^3 - 1) z - a^2 - a - 1 = 0.
Consider the polynomial f(z)=z3+(a2+a+1)z2+(a31)za2a1f(z) = z^3 + (a^2 + a + 1) z^2 + (a^3 - 1) z - a^2 - a - 1. By Rolle's theorem, we have
f()<0, f(2a)>0, f(0)<0, f(+)>0 f(-\infty) < 0,\ f(-2a) > 0,\ f(0) < 0,\ f(+\infty) > 0
which means ff has three distinct real roots. Note that from the simplified system, it is clear that when we get zz; xx, yy are identified uniquely. Therefore, the system has exactly 5 different solutions when a>1a > 1.
\Box

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.