Given a system of equations on R ⎩⎨⎧x−ay=yzy−az=zxz−ax=xy a) Solve that system when a=0. b) Prove that the system has 5 different roots when a>1.
Solution
a. For a=0, we have ⎩⎨⎧x=yz,y=zx,z=xy. If one of three numbers is equal to 0 then the other numbers are equal to 0 too. We consider the case xyz=0 and multiply the equations, side by side, we get xyz=1 then x2=y2=z2=1. From these identities, we conclude that the solutions of the system are (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=0 satisfies the system. For a>1, first of all it is easy to see that if any number equals 0, the other numbers also equal 0. Now, we try to transform this system to an equation for z. ⎩⎨⎧x=ay+yz,y−az=z(ay+yz),z−a(ay+yz)=y(ay+yz),⇔⎩⎨⎧x=ay+yz,y=1−az−z2az,z−a(ay+yz)=y(ay+yz). Hence, z−(a2+az)1−az−z2az=(a+z)(1−az−z2az)2 or z4+(a2+2a)z3+2(a3−1)z2+(a4−a3−a2−2a)z+(1−a3)=0. Note that the original system has two roots x=y=z=0 and x=y=z=1−a so the above equation must have a root z=1−a. Hence, we have z3+(a2+a+1)z2+(a3−1)z−a2−a−1=0. Consider the polynomial f(z)=z3+(a2+a+1)z2+(a3−1)z−a2−a−1. By Rolle's theorem, we have f(−∞)<0,f(−2a)>0,f(0)<0,f(+∞)>0 which means f has three distinct real roots. Note that from the simplified system, it is clear that when we get z; x, y are identified uniquely. Therefore, the system has exactly 5 different solutions when a>1. □
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.