.
.
Math Central - mathcentral.uregina.ca
Problem of the Month
Current
problem
  Recent problems
with solutions
Older problems from
2000 a 2005   2005/2006 06/07 07/08 08/09 09/10 10/11 11/12

Solution for December 2011

The Problem:
.

Find all primes $p$ such that $\large \frac{2^{p-1} -1}{p}$ is a perfect square.

The solution:

We received correct solutions from

Lamis Alsheikh (Syria)

Diana Andrei (Sweden)

Lou Cairoli (USA)

Bojan Bašić (Serbia)

Mei-Hui Fang (Austria)

Ruben Victor Cohen (Argentina)

Gruian Cornel (Romania)

Bernard Collignon (France)

Allen Druze(USA)

Philippe Fondanaiche (France)

Kipp Johnson (USA)

Hans-Christian Jung (Germany)

Wolfgang Kais (Germany)

Patrick J LoPresti (USA)

Albert Stadler (Switzerland)

Hakan Summakoğlu (Turkey)



The solution: $p = 3$ and $p = 7$.

We found this problem in the 2006 Thai Mathematical Olympiad. Jean Drabbe kindly informed us that it is also covered on page 423 of Lucas' book "Thιorie des Nombres" (1891). Those who read french can download it from http://www.archive.org/details/thoriedesnombre00lucagoog. Our solvers responses were similar to Lucas' argument.

We first rule out $p=2$, since $\large \frac{2^{p-1} -1}{p} = \frac{1}{2}$. Therefore $p$ must be an odd prime. Suppose that $\large \frac{2^{p-1} -1}{p} = a^2$. Then $2^{p-1} -1 = pa^2$. Since $p$ is odd, $\frac{p-1}{2}$ is an integer, and the left side factors as

$$2^{p-1} -1 = (2^{\frac{p-1}{2}} + 1)(2^{\frac{p-1}{2}} – 1).$$

$\large 2^{\frac{p-1}{2}} + 1$ and $\large 2^{\frac{p-1}{2}} – 1$ are odd integers with a difference of two, they do not have a common factor other than 1. Hence $2^{p-1} -1 = pa^2$ implies that there exist integers $x$, $y$ such that $\large 2^{\frac{p-1}{2}} – 1 = x^2$ and $\large 2^{\frac{p-1}{2}} + 1 = py^2$ or $\large 2^{\frac{p-1}{2}} – 1 = py^2$ and $\large 2^{\frac{p-1}{2}} + 1 = x^2$.

Case 1: $\large 2^{\frac{p-1}{2}} – 1 = x^2$, where $x$ is an odd integer. The square of an odd integer is always congruent to 1 mod 4, while $\large 2^{\frac{p-1}{2}} – 1$ is congruent to 1 mod 4 when $p = 3$ and and to 3 mod 4 when $p > 3$. Hence the only solution is $p = 3$.

Case 2: $\large 2^{\frac{p-1}{2}} + 1 = x^2$, implies $\large 2^{\frac{p-1}{2}} = x^2 – 1 = (x + 1)(x – 1)$. Hence $x – 1$ and $x+1$ are consecutive even numbers whose product is a power of 2, namely 2 and 4. This implies that $x = 3$, $\large 2^{\frac{p-1}{2}} = 8$ and $p = 7$. The only solution is $p = 7$.

 

 

 

 


Math Central is supported by the University of Regina and The Pacific Institute for the Mathematical Sciences.

CMS
.

 

Home Resource Room Home Resource Room Quandaries and Queries Mathematics with a Human Face About Math Central Problem of the Month Math Beyond School Outreach Activities Teacher's Bulletin Board Canadian Mathematical Society University of Regina PIMS