4
$\begingroup$

More precisely, does there exist a natural number $p$ such that $(2^p-1)/(p+2)$ is also a natural number? It seems to me that this is a really simple problem (with the answer "no"), but I couldn't find anything on the web. There are some facts known about division by $p+1$, but nothing useful for $p+2$.

3 Answers 3

3

Another proof is as follows. First for $p=2$, it follows because $2^p-1=3<4=p+2$. For odd primes $p$, there is a theorem (see Mersenne Prime for proof) that states that every factor of $2^p-1$ is of the form $2kp+1$ for some integer $k\geq0$. Thus we want a $p$ for which $p+2=2kp+1$. There is no such prime because for $p>2$, we have $1 thus requiring $0, a contradiction to the theorem.

  • 0
    In fact $p+2=2kp+1 \implies (2k-1)p=1$2012-08-30
4

If $p$ is even, $p+2$ cannot divide $2^p-1$

Else p is odd.

If $(p+2)\mid(2^p-1),$ $2^p≡1\pmod{p+2}$ but $2^{\phi(p+2)}≡1\pmod{p+2}$

So, $\operatorname{ord}_{p+2}2$ must divide $(\phi(p+2),p)$.

If p+2 is prime, $(\phi(p+2),p)=(p+1,p)=1$.

Else $\phi(p+2) as in that case $\phi(p+2) and $\phi(p+2)≠p$, if $p$ is odd prime $\implies(\phi(p+2),p)=1$

So if at least one of $p$ and $p+2$ is odd prime, $\operatorname{ord}_{p+2}2\mid1$ which is impossible.

When both of them are composite,

If $p+2=\prod Q_i^{r_i}$ where $r_i$s are positive integers and $Q_i$ are distinct odd primes,

As $(p,p+2)=(p,2)=1$ as $p$ is odd,

so, $(p,Q_i)=1 \implies (p, \phi(p+2))= (p, \prod Q_i^{r_i-1}(Q_i-1))=(p, \prod(Q_i-1))$

If $Q_i-1=2^{s_i}q_i$ where $q_i$ is odd number, $(p, \phi(p+2))=(p, \prod(Q_i-1))$ $=(p, \prod q_i)$ as $p$ is odd.

4

Someone should double-check this, but my computer seems to be telling me that ${2^{20735}-1\over20737}{\rm\ and\ }{2^{93525}-1\over93527}$ are natural numbers. No other examples up to 100001.

It appears that these numbers have been tabulated.

  • 0
    @Sacha, I don't know, but maybe there's some information to be had by following the links at the OEIS reference in the answer.2015-01-06