A complex system

Algebra Level 5

Suppose that x , x, y , y, and z z are distinct complex numbers, such that

{ x + y + z = 1 x 2 + y = y 2 + z = z 2 + x . \begin{cases} x+y+z=1 \\ x^2+y=y^2+z=z^2+x.\\ \end{cases}

What is the value of ( x y ) ( y z ) ( z x ) ? (x-y)(y-z)(z-x)?


The answer is 7.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Jon Haussmann
Sep 2, 2013

From the equation x 2 + y = y 2 + z x^2 + y = y^2 + z , we get

x 2 y 2 = z y , x^2 - y^2 = z - y,

which factors as ( x + y ) ( x y ) = z y (x + y)(x - y) = z - y . Since x + y + z = 1 x + y + z = 1 , we can write this equation as ( 1 z ) ( x y ) = z y (1 - z)(x - y) = z - y . Similarly, ( 1 x ) ( y z ) = x z , ( 1 y ) ( z x ) = y x . \begin{aligned} (1 - x)(y - z) &= x - z, \\ (1 - y)(z - x) &= y - x. \end{aligned}

Taking the product of all three equations, we get

( 1 z ) ( 1 x ) ( 1 y ) ( x y ) ( y z ) ( z x ) = ( z y ) ( x z ) ( y x ) . (1 - z)(1 - x)(1 - y)(x - y)(y - z)(z - x) = (z - y)(x - z)(y - x).

We are told that x x , y y , and z z are distinct, so we can cancel the factors of x y x - y , y z y - z , and z x z - x , to get

( 1 x ) ( 1 y ) ( 1 z ) = 1. ( ) (1 - x)(1 - y)(1 - z) = -1. \quad (*)

Also, the equation ( 1 z ) ( x y ) = z y (1 - z)(x - y) = z - y simplifies to x z = x z y z x - z = xz - yz , which factors as

x z = z ( x y ) . x - z = z(x - y).

Similarly,

y x = x ( y z ) , z y = y ( z x ) . \begin{aligned} y - x &= x(y - z), \\ z - y &= y(z - x). \end{aligned}

Taking the product of all three of these equations, we get

( x z ) ( y x ) ( z y ) = x y z ( x y ) ( y z ) ( z x ) . (x - z)(y - x)(z - y) = xyz(x - y)(y - z)(z - x).

Again, we can cancel the factors of x y x - y , y z y - z , and z x z - x , to get x y z = 1 xyz = -1 .

Expanding equation ( ) (*) , we get

1 ( x + y + z ) + ( x y + x z + y z ) x y z = 1 , 1 - (x + y + z) + (xy + xz + yz) - xyz = - 1,

so x y + x z + y z = 2 xy + xz + yz = -2 .

Now, let k = x 2 + y = y 2 + z = z 2 + x k = x^2 + y = y^2 + z = z^2 + x . Then

3 k = ( x 2 + y 2 + z 2 ) + ( x + y + z ) . 3k = (x^2 + y^2 + z^2) + (x + y + z).

Squaring the equation x + y + z = 1 x + y + z = 1 , we get

x 2 + y 2 + z 2 + 2 x y + 2 x z + 2 y z = 1 , x^2 + y^2 + z^2 + 2xy + 2xz + 2yz = 1,

so x 2 + y 2 + z 2 = 1 2 ( x y + x z + y z ) = 5 x^2 + y^2 + z^2 = 1 - 2(xy + xz + yz) = 5 . Hence, 3 k = 5 + 1 = 6 3k = 5 + 1 = 6 , which means k = 2 k = 2 . Then x 2 + y = 2 x^2 + y = 2 , so x y = x ( 2 x 2 ) = x 2 + x 2 = ( x 1 ) ( x + 2 ) x - y = x - (2 - x^2) = x^2 + x - 2 = (x - 1)(x + 2) . Similarly, y z = ( y 1 ) ( y + 2 ) , z x = ( z 1 ) ( z + 2 ) . \begin{aligned} y - z &= (y - 1)(y + 2), \\ z - x &= (z - 1)(z + 2). \end{aligned}

Therefore,

( x y ) ( y z ) ( z x ) = ( x 1 ) ( x + 2 ) ( y 1 ) ( y + 2 ) ( z 1 ) ( z + 2 ) = ( x 1 ) ( y 1 ) ( z 1 ) ( x + 2 ) ( y + 2 ) ( z + 2 ) = [ x y z ( x y + x z + y z ) + ( x + y + z ) 1 ] [ x y z + 2 ( x y + x z + y z ) + 4 ( x + y + z ) + 8 ] = 7. \begin{aligned} &(x - y)(y - z)(z - x) \\ &= (x - 1)(x + 2)(y - 1)(y + 2)(z - 1)(z + 2) \\ &= (x - 1)(y - 1)(z - 1) \cdot (x + 2)(y + 2)(z + 2) \\ &= [xyz - (xy + xz + yz) + (x + y + z) - 1] \\ &\quad \cdot [xyz + 2(xy + xz + yz) + 4(x + y + z) + 8] \\ &= 7. \end{aligned}

Note : ( x , y , z ) (x,y,z) must be a cyclic permutation of the numbers

( 2 cos 2 π 7 , 2 cos 4 π 7 , 2 cos 6 π 7 ) . \left(-2 \cos \dfrac{2 \pi}{7}, -2 \cos \dfrac{4 \pi}{7}, -2 \cos \dfrac{6 \pi}{7}\right).

Moderator note:

Nicely done! A well presented logical solution to a difficult problem. Great observation of the trigonometry connection!

Something I noticed which might help in finding a nicer solution, let x , y , z x, y, z be the roots of a cubic polynomial. Then the following polynomial works:

p 3 p 2 2 p + 1 p^3 - p^2 - 2p + 1

Now, since the discriminant is the product of squares of the difference of the roots taken two at a time, the answer we want is the square root of the discriminant (which is 49 49 ), making our answer 7 7 .

The problem is nicely showing that this polynomial works. We can assume its monic (otherwise divide through by the leading coefficient). I was able to easily get up to p 3 p 2 + c p + d p^3 - p^2 + cp + d for some c , d c, d , but the only way I can proceed further is essentially by the method used here. I'll update if I find a nicer way.

George Williams - 7 years, 9 months ago

Log in to reply

I looked at this method too and also concluded that you'd have to work out the coefficients anyway, and once you've worked out what xyz is you may as well go straight to the solution.

Matt McNabb - 7 years, 9 months ago

This is good, but quite complicated. The note at the end (great observation, btw) hints at the existence of an easier solution. Can anyone come up with it?

Alexander Borisov - 7 years, 9 months ago

Great solution.

I had worked out the following: x y + y z + y z = x y z 1 xy + yz + yz = xyz-1 , A = 4 3 x y z A = 4 - 3xyz (where A is the answer), x 2 + y 2 + z 2 + 1 = 3 k = 4 2 x y z x^2 + y^2 + z^2 + 1 = 3k = 4 - 2xyz , and 2 k = 1 3 x y z 2k = 1-3xyz .

I didn't spot your trick of getting x y z xyz directly. However x y z xyz can be obtained by cancelling k k from my last two equations. When I did this I kept on getting x y z = 3 5 xyz = {-3 \over 5} which didn't work. Disappointing to come so close and fail at the final hurdle.. oh well, will try harder next week :)

Matt McNabb - 7 years, 9 months ago

Another interesting thing is that we can make the substitutions X = 1 x X = 1 - x etc. and it comes out quite similar to the original problem. X Y Z = 1 XYZ=1 , X + Y + Z = 2 X+Y+Z = 2 , X Y + Y Z + Z X = 1 XY + YZ + ZX = -1 , X 2 + Y 2 + Z 2 = 6 X^2 + Y^2 + Z^2 = 6 .

Matt McNabb - 7 years, 9 months ago

We have: x 2 + y = y 2 + z x^2+y=y^2+z ,so z y = ( x y ) ( x + y ) = ( x y ) ( 1 z ) = x y x z + y z z-y=(x-y)(x+y)=(x-y)(1-z)=x-y-xz+yz , so z x = z ( y x ) z-x=z(y-x) .

Similarly, we obtain x y = x ( z y ) x-y=x(z-y) and y z = y ( x z ) y-z=y(x-z) .

Therefore ( x y ) ( y z ) ( z x ) = x y z ( x y ) ( y z ) ( z x ) (x-y)(y-z)(z-x)=-xyz(x-y)(y-z)(z-x) or x y z = 1 xyz=-1 .

We have: x 2 + y = y 2 + z x^2+y=y^2+z ,so z y = ( x y ) ( x + y ) z-y=(x-y)(x+y) .

Similarly, we obtain y x = ( z x ) ( z + x ) y-x=(z-x)(z+x) and x z = ( y z ) ( y + z ) x-z=(y-z)(y+z) .

Therefore, ( x y ) ( y z ) ( z x ) (x-y)(y-z)(z-x)

= ( x + y ) ( y + z ) ( z + x ) ( x y ) ( y z ) ( z x ) =-(x+y)(y+z)(z+x)(x-y)(y-z)(z-x) or ( x + y ) ( y + z ) ( z + x ) = 1 (x+y)(y+z)(z+x)=-1 .

Therefore ( 1 x ) ( 1 y ) ( 1 z ) = 1 (1-x)(1-y)(1-z)=-1 or 1 x y z x y z + x y + y z + z x = 1 1-xyz-x-y-z+xy+yz+zx=-1 or x y + y z + z x = 2 xy+yz+zx=-2 .

We have: x 2 + y 2 + z 2 = ( x + y + z ) 2 2 ( x y + y z + z x ) = 5 x^2+y^2+z^2=(x+y+z)^2-2(xy+yz+zx)=5 .

Therefore, ( x y ) ( y z ) ( z x ) (x-y)(y-z)(z-x)

= z ( x 2 y 2 ) + y ( z 2 x 2 ) + x ( y 2 z 2 ) =z(x^2-y^2) + y(z^2-x^2) + x(y^2-z^2)

= z ( z y ) + y ( y x ) + x ( x z ) =z(z-y)+y(y-x)+x(x-z)

= x 2 + y 2 + z 2 ( x y + y z + z x ) = 7 =x^2+y^2+z^2-(xy+yz+zx)=7

Moderator note:

Nicely done! A very elegant and logical solution, well presented. Note that the solution is essentially the same as Jon H.'s

Ronak Agarwal
Oct 11, 2014

x + y + z = 1 x+y+z=1 (i)

x 2 + y = y 2 + z {x}^{2}+y={y}^{2}+z (ii)

y 2 + z = z 2 + x {y}^{2}+z={z}^{2}+x (iii)

From (i) z = 1 x y z=1-x-y , using this in (ii) we get :

x 2 y 2 + x + 2 y = 1 {x}^{2}-{y}^{2}+x+2y=1 (iv)

Using z = 1 x y z=1-x-y in (iii) we get :

x 2 + 2 x y = y {x}^{2}+2xy=y (v)

Eliminating y from (iv) and (v) we get :

3 x 4 4 x 3 5 x 2 + 5 x 1 = 0 3{x}^{4}-4{x}^{3}-5{x}^{2}+5x-1=0 (vi)

Inspecting (i),(ii),(iii) we get one solution as x = y = z = 1 3 x=y=z=\frac{1}{3}

Hence in that polynomial factoring it out we get :

( 3 x 1 ) ( x 3 x 2 2 x + 1 ) = 0 (3x-1)({x}^{3}-{x}^{2}-2x+1)=0

Ommiting out x = 1 3 x=\frac{1}{3} we get :

x 3 x 2 2 x + 1 = 0 {x}^{3}-{x}^{2}-2x+1=0

Exploiting the symmetry between the equations we establish that :

x , y , z x,y,z are the roots of the polynomial of :

p 3 p 2 2 p + 1 = 0 {p}^{3}-{p}^{2}-2p+1=0

So we say that :

( x y ) ( y z ) ( z x ) = D (x-y)(y-z)(z-x)=\sqrt{D} where D is the discriminant of the cubic.

Working it out we get :

D = 49 D=49 hence :

( x y ) ( y x ) ( x z ) = 7 (x-y)(y-x)(x-z)=7

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...