How many ordered pairs of positive integers ( x , y , z ) satisfy the following:
x 2 + y 2 + z 2 = 8 x y z
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.
Wow. Nice .
i love infinite descent so much.
"the instructions make exception.." Actually, not anymore, so for those who are confused don't fret. The exception was unnecessary since the poster said that x , y , z are positive integers.
Log in to reply
You must know that when I solved the problem (yestarday) the instructions didn´t say x , y , z to be positive, so I think Rohit Kumar edit the instructions.
We don't need positivity assumptions on x , y , z . The equation does not have any integral solution (positive or negative), excepting from all-zero.
I believe a better explanation for why the terms on the left hand side have to be even is by considering it in mod 8. What happens is numbers in that modulus squared become 1, 4, 1, 0 for 1, 2, 3, 4 and so on respectively, That means for the left hand side to be divisible by 8, they have to add to 0 which can only be done if x, y and z are all multiples of 4 or if 2 of them are multiples of 2 and the third a multiple of 4. The rest of the proof after that is great too as 2^n is a multiple of 8 for n > 2.
Subtracting 2 y z from both sides, we have x 2 + ( y − z ) 2 = 2 y z ( 4 x − 1 ) . Since ( y − z ) 2 ≥ 0 , we have x 2 − ( 8 y z ) x + 2 y z ≤ 0 . Since x is real, the discriminant of this quadratic in x must be non-positive. This gives y z ( y z − 8 1 ) ≤ 0 , i.e. 0 ≤ y z ≤ 8 1 , which is impossible to hold for integral non-zero y , z . Also if one of them is zero, the only real solution of the given equation is the all-zero solution. Thus no solution excepting from all-zero.
Problem Loading...
Note Loading...
Set Loading...
x 2 + y 2 + z 2 = 8 x y z
On the left side of the first equation, exactly one term is even or all three terms are even. If exactly one term is even, then the right side is divisible by 4 , the left only by 2 . A contradiction. Hence all three terms are even, so let say x = 2 x 1 , y = 2 y 1 , z = 2 z 1 . Applying this in the first equation we get:
x 1 2 + y 1 2 + z 1 2 = 1 6 x 1 y 1 z 1 .
From this, with the same reasoning we get x 1 = 2 x 2 , y 1 = 2 y 2 , z 1 = 2 z 2 , and
x 2 2 + y 2 2 + z 2 2 = 3 2 x 2 y 2 z 2 .
Again, it follows that x 2 , y 2 , z 2 are even, and so on, that is
x = 2 x 1 = 4 x 2 = 8 x 3 = . . . = 2 n x n
y = 2 y 1 = 4 y 2 = 8 y 3 = . . . = 2 n y n
z = 2 z 1 = 4 z 2 = 8 z 3 = . . . = 2 n z n
so, as we see x , y , z are divisible by 2 n for any n . This is only possible for x = y = z = 0 , but the instructions make exception of this answer, so the answer is 0 .
Also, it is well known that the equation x 2 + y 2 + z 2 = k x y z has only solution for k = 1 and k = 3 infinitely many solutions.