Indefinite Equation

Find the largest prime number p p such that:

p p ( p 1 ) p 1 = n 2 p^p-(p-1)^{p-1}=n^2 and n n is integer,

If p p is inexistent,write 0 0 in the box.


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.

1 solution

Bolin Chen
Mar 6, 2016

We guess there is no such p p

Use apagoge.

Assume exist prime p p and integer n n ,s.t. p p ( p 1 ) p 1 = n 2 p^p-(p-1)^{p-1}=n^2

It is easy to know that p 1 ( m o d 4 ) p≡1(mod 4)

Let p = x 2 + y 2 p=x^2+y^2 , Might as well assume 0 < x < y 0<x<y

p 1 p-1 is not divisible by p p ,by the Gauss Decomposition Theorem,we have

( x + y i ) p = w [ ( p 1 ) p 1 2 ± n i ] (x+yi)^p=w[(p-1)^{\frac{p-1}{2}}±ni] , w = ± 1 , ± i w=±1,±i

x + y i w ( 1 ± n i ) ( m o d p ) x+yi≡w(1±ni)(mod p)

Therefore, x = 1 , w = ± 1 x=1,w=±1 or y = p 1 , w = ± i y=p-1,w=±i

y 2 < p y^2<p

∴ only , x = 1 , w = ± 1 x=1,w=±1 is satisfied.

When w = ± 1 w=±1 ,

( x + y i ) p = w [ ( p 1 ) p 1 2 ± n i ] 1 ± n i ( m o d y ) (x+yi)^p=w[(p-1)^{\frac{p-1}{2}}±ni]≡1≡±ni(mod y)

y = 1 y=1 ,paradoxical!

So,there are not prime p p s.t. p p ( p 1 ) p 1 = n 2 p^p-(p-1)^{p-1}=n^2 and n n is integer.

Q.E.D.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...