Counting integral solutions

Find the number of ordered triplets ( x , y , z ) (x,y,z) such that x 2 y 2 = 2 x y z x^2-y^2=2xyz where x x , y y and z z are positive integers.

Submit your answer as 777 if there are infinite number of solutions.


The answer is 0.

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.

2 solutions

Gian Sanjaya
Aug 27, 2015

Because x, y, z are positive integers, we can divide both sides by y^2 and, defining a as a= x/y, move all terms to the left to get:

a 2 2 a z 1 = 0 a^2-2az-1=0

a 2 2 a z + z 2 = z 2 + 1 a^2-2az+z^2=z^2+1

( a z ) 2 = z 2 + 1 (a-z)^2=z^2+1

which is impossible because a is rational and z is a positive integer, leading to z^2+1 not being the square of any rational number. Thus, there are 0 \boxed{0} such triplets.

Nice solution!

Note that avoiding a = x / y a = x/y would simplify your solution (while retaining it's essence) as follows:

We have x 2 2 x y z y 2 = 0 ( x y z ) 2 = y 2 ( z 2 + 1 ) x^2 - 2xyz - y^2 = 0 \Rightarrow ( x - yz)^2 = y^2(z^2 + 1 ) . Hence, z 2 + 1 z^2 + 1 must be a perfect square, which is not possible.

Calvin Lin Staff - 5 years, 9 months ago

Log in to reply

Thanks for the feedback and I didn't notice that simpler equation...

Gian Sanjaya - 5 years, 9 months ago
Ravi Dwivedi
Aug 26, 2015

Assume that the positive integers x , y , z x,y,z satisfy the given equation and let d = x y d=xy . If d = 1 d=1 then x = y = 1 x=y=1 and z = 0 z=0 which cannot happen.

Hence d > 1 d>1 . Let p p be a prime divisor of d d

Now ( x + y ) ( x y ) = x 2 y 2 = 2 x y z 0 ( m o d p ) (x+y)(x-y)=x^2-y^2=2xyz \equiv 0 \pmod{p}

Either x y ( m o d p ) x \equiv y \pmod{p} or x y ( m o d p ) x \equiv -y \pmod{p}

But p p divides one of x x and y y , so p p must divide the other too

Hence x 1 = x p x_1=\frac{x}{p} and y 1 = y p y_1=\frac{y}{p} are positive integers and x 1 , y 1 , z x_1,y_1,z satisfy the given equation as well.

We can construct an infinte sequence of solutions ( x n , y n , z ) , n 1 (x_n,y_n,z),n \geq 1 to the original equation with x 1 > x 2 > x 3 > . . . x_1>x_2>x_3 >...

By Fermat's method of infinite descent this is impossible

Hence the given equation has no integral solutions in x , y , z x,y,z

Moderator note:

Simple standard approach using Infinite descent.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...