If x x + 1 = y 2 , then how many integer solution for ( x , y ) is possible?
Note: 0 0 is indeterminate.
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.
You haven't justified x = − 1 is the only possible case. However, this problem really is trivial using Catalan's conjecture (i.e. Mihăilescu's theorem).
There isn't any non-primary or primary pythagorean triplet constituted of 1 since: k ⋅ 2 m n = 1 and k ⋅ ( m 2 − n 2 ) = 1 for k , m , n integers.
Hence: x x + 1 = y 2 ⇒ x x = y 2 − 1 ⇒ x x = ( y − 1 ) ⋅ ( y + 1 )
Since x x is odd, then both ( y − 1 ) and ( y + 1 ) must be consecutive odds and coprime. And we conclude this as follows:
Let p be the gcd of ( y − 1 ) and ( y + 1 ) , then p ∣ ( y + 1 ) − ( y − 1 ) ⇒ p ∣ 2 ⇒ p ∈ { 1 , 2 } . But ( y − 1 ) and ( y + 1 ) are odds, so p = 1 ⇒ g cd ( ( y − 1 ) , ( y + 1 ) ) = 1 .
Let x = q 1 ⋅ q 2 ⋅ q 3 … q n , where q i ( 1 ≤ i ≤ n ) represents every single prime factor of x at its greatest exponent. Since ( y + 1 ) and ( y − 1 ) are relatively prime, then they must both be an integer raised to the power of x , such that ( y − 1 ) = a x and ( y + 1 ) = b x , where a and b are integers (and a ⋅ b = x ). However for x ≥ 3 , a x and b x cannot differ by 2 and for x = 1 or x = 2 we get no integral solution for y .
x^x + 1=y^2..
For solving this problem, we need a little imagination.
lets deal with positive integer value of x first-
CASE 1- IF X IS EVEN- when x is even, x^x will itself be a perfect square. So on adding 1 to it, we'll not get a perfect square.so an integeral value of y cant be obtained. So x cant be a positive even no. EX.- 4^4 is a perfect square but 4^4+1 is not.
CASE 2-IF X IS ODD- when x is odd, x^x(x-1) is the only factor which can be added to x^x to make it a perfect square. So on adding 1 to x^x will not make it a perfect square.
x^x + x^x(x-1) = x^x(x) = x^(x+1)...since x+1 is even, this term is a perfect square.
EX.- 7^7 + 7^7(7-1) = 7^8 which is a perfect square. while 7^7 + 1 is not.
So above two logics illustrate that x cant be a positive no. and not even 0 as 0^0 is not defined.
IF X IS A NEGATIVE INTEGER OTHER THAN -1 - if x is < -1, then the term x^x will become a fraction...so y cant be obtained as integer...
The only possible value for which y is integer is -1. so y becomes 0.
I think you have to enhance the odd case (it isn't too hard). Note that summing 9 to 3 3 you get a perfect square, but it is false that 9 = 3 3 ( 3 − 1 ) .
Log in to reply
It is correct...but briefly stated...
If x is odd then to make x x a perfect square(since x x is odd too...) you have to add a number so that the whole expression should be equal to x x + 1 (since x is odd then ( x + 1 ) is even then x x + 1 is a perfect square). Let that number be z . Hence...
x x + z = x x + 1 //which is true for z = x x ⋅ ( x − 1 )
⇒ x x + x x ⋅ ( x − 1 ) = x x + 1 // But since x x + 1 is a perfect square, can be expressed as y 2
⇒ x x + x x ⋅ ( x − 1 ) = y 2 ( 1 )
x x + z = y 2 //In the equation z = 1
⇒ x x + 1 = y 2 ( 2 )
( 1 ) − ( 2 ) ⇒ x x ⋅ ( x − 1 ) − 1 = 0 ⇒ x x ⋅ ( x − 1 ) = 1 // Which is not true for x ∈ Z
Log in to reply
Sorry, this isn't a rigorous proof yet. Equation ( 1 ) il true for z = x x ( x − 1 ) , but it is not clear why z needs to be equal to x x ( x − 1 ) .
After your proof editing: x x + 1 isn't the only choise for a square equating x x + 1 , see my example in the previous comment. I would suggest leaving out z extra variable. Why not restating the problem as x x = ( y + 1 ) ( y − 1 ) and using prime factorization theorems?
Log in to reply
@Pierantonio Legovini – Oh sorry i did a terrible mistake above in my answer and I edited it
Problem Loading...
Note Loading...
Set Loading...
x x + 1 = y 2
Now , x = − 1 is the O N L Y possible case.
− 1 − 1 + 1 = y 2
− 1 1 + 1 = y 2
− 1 + 1 = y 2
0 = y 2
Therefore ,
y = 0
Now , Only one pair is possible .
( − 1 , 0 )