Tighten it up

If x x + 1 = y 2 x^{x} +1=y^2 , then how many integer solution for ( x , y ( x ,y ) is possible?

Note: 0 0 0 ^ 0 is indeterminate.


The answer is 1.

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

Akshat Sharda
Jul 2, 2015

x x + 1 = y 2 x^{x}+1=y^{2}

Now , x = 1 x=-1 is the O N L Y ONLY possible case.

1 1 + 1 = y 2 -1^{-1}+1=y^{2}

1 1 + 1 = y 2 \frac{1}{-1} +1=y^{2}

1 + 1 = y 2 -1+1=y^{2}

0 = y 2 0=y^{2}

Therefore ,

y = 0 y=0

Now , Only one pair is possible .

( 1 , 0 ) \boxed{(-1,0)}

You haven't justified x = 1 x=-1 is the only possible case. However, this problem really is trivial using Catalan's conjecture (i.e. Mihăilescu's theorem).

mathh mathh - 5 years, 11 months ago
Chris Galanis
Aug 31, 2015
  • For x < 1 x < -1 the value of y y gets out of the range of the integers.
  • For x = 1 x = -1 we get the pair ( x , y ) = ( 1 , 0 ) (x, y) = (-1, 0) .
  • For x = 0 x = 0 we get no answer since 0 0 0^0 is indeterminate.
  • For x x being an even number, let x = 2 l x = 2l , for l l an integer: x 2 l + 1 = y 2 ( x l ) 2 + 1 2 = y 2 ( k 2 m n ) 2 + ( k ( m 2 n 2 ) ) 2 = ( k ( m 2 + n 2 ) ) 2 x^{2l} + 1 = y^2 \\ \Rightarrow (x^l)^2 + 1^2 = y^2 \leftarrow\big(k\cdot2mn\big)^2+\big(k(m^2-n^2)\big)^2=\big(k(m^2+n^2)\big)^2

There isn't any non-primary or primary pythagorean triplet constituted of 1 1 since: k 2 m n 1 k\cdot 2mn \neq 1 and k ( m 2 n 2 ) 1 k\cdot(m^2 - n^2) \neq 1 for k , m , n k, m, n integers.

  • For x x being an odd number, let x = 2 a + 1 x = 2a + 1 for a a an integer. Hence x x x^x is odd too and we can get this by the binomial theorem: x x = ( 2 a + 1 ) 2 a + 1 = ( ( 2 a + 1 0 ) ( 2 a ) 2 a + 1 1 0 ) + + ( ( 2 a + 1 2 a + 1 ) ( 2 a ) 0 1 2 a + 1 ) = ( ( 2 a + 1 0 ) ( 2 a ) 2 a + 1 1 0 ) + + ( ( 2 a + 1 2 a ) ( 2 a ) 1 1 2 a ) + 1 \\ x^x= (2a+1)^{2a+1} \\ =\bigg(\binom{2a+1}{0}\cdot (2a)^{2a+1}\cdot 1^0\bigg)+\ldots+\bigg(\binom{2a+1}{2a+1}\cdot (2a)^{0}\cdot 1^{2a+1}\bigg) \\ =\bigg(\binom{2a+1}{0}\cdot (2a)^{2a+1}\cdot 1^0\bigg)+\ldots+\bigg(\binom{2a+1}{2a}\cdot (2a)^{1}\cdot1^{2a}\bigg)+1

Hence: x x + 1 = y 2 x x = y 2 1 x x = ( y 1 ) ( y + 1 ) x^x + 1 = y^2 \\ \Rightarrow x^x = y^2 - 1 \\ \Rightarrow x^x = (y - 1)\cdot (y + 1)

Since x x x^x is odd, then both ( y 1 ) (y - 1) and ( y + 1 ) (y + 1) must be consecutive odds and coprime. And we conclude this as follows:

Let p p be the gcd of ( y 1 ) (y - 1) and ( y + 1 ) (y + 1) , then p ( y + 1 ) ( y 1 ) p 2 p { 1 , 2 } p | (y + 1) - (y - 1) \Rightarrow p | 2 \Rightarrow p \in \big\{1 ,2\big\} . But ( y 1 ) (y - 1) and ( y + 1 ) (y + 1) are odds, so p = 1 gcd ( ( y 1 ) , ( y + 1 ) ) = 1 p = 1 \Rightarrow \gcd\Big((y - 1),(y + 1)\Big) = 1 .

Let x = q 1 q 2 q 3 q n x = q_1\cdot q_2\cdot q_3\ldots q_n , where q i ( 1 i n ) q_i (1\leq i \leq n) represents every single prime factor of x x at its greatest exponent. Since ( y + 1 ) (y + 1) and ( y 1 ) (y - 1) are relatively prime, then they must both be an integer raised to the power of x x , such that ( y 1 ) = a x (y - 1) = a^x and ( y + 1 ) = b x (y + 1) = b^x , where a a and b b are integers (and a b = x a\cdot b = x ). However for x 3 x \geq 3 , a x a^x and b x b^x cannot differ by 2 2 and for x = 1 x = 1 or x = 2 x = 2 we get no integral solution for y 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 9 to 3 3 3^3 you get a perfect square, but it is false that 9 = 3 3 ( 3 1 ) 9=3^3(3-1) .

pierantonio legovini - 5 years, 11 months ago

Log in to reply

It is correct...but briefly stated...

If x x is odd then to make x x x^x a perfect square(since x x x^x is odd too...) you have to add a number so that the whole expression should be equal to x x + 1 x^{x + 1} (since x x is odd then ( x + 1 ) (x + 1) is even then x x + 1 x^{x + 1} is a perfect square). Let that number be z z . Hence...

x x + z = x x + 1 x^x + z = x^{x+1} //which is true for z = x x ( x 1 ) z = x^{x}\cdot (x - 1)

x x + x x ( x 1 ) = x x + 1 \Rightarrow x^x + x^{x}\cdot (x - 1) = x^{x + 1} // But since x x + 1 x^{x + 1} is a perfect square, can be expressed as y 2 y^2

x x + x x ( x 1 ) = y 2 ( 1 ) \Rightarrow \boxed{x^x + x^{x}\cdot (x - 1) = y^2} (1)

x x + z = y 2 x^x + z = y^2 //In the equation z = 1 z = 1

x x + 1 = y 2 ( 2 ) \Rightarrow \boxed{x^x + 1 = y^2} (2)

( 1 ) ( 2 ) x x ( x 1 ) 1 = 0 x x ( x 1 ) = 1 (1) - (2) \Rightarrow x^{x}\cdot (x-1) - 1 = 0\Rightarrow x^{x}\cdot (x - 1) = 1 // Which is not true for x Z x \in \mathbb{Z}

Chris Galanis - 5 years, 11 months ago

Log in to reply

Sorry, this isn't a rigorous proof yet. Equation ( 1 ) (1) il true for z = x x ( x 1 ) z=x^{x(x-1)} , but it is not clear why z z needs to be equal to x x ( x 1 ) x^{x(x-1)} .

After your proof editing: x x + 1 x^{x+1} isn't the only choise for a square equating x x + 1 x^x+1 , see my example in the previous comment. I would suggest leaving out z z extra variable. Why not restating the problem as x x = ( y + 1 ) ( y 1 ) x^x=(y+1)(y-1) and using prime factorization theorems?

pierantonio legovini - 5 years, 11 months ago

Log in to reply

@Pierantonio Legovini Oh sorry i did a terrible mistake above in my answer and I edited it

Chris Galanis - 5 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...