8
$\begingroup$

$$\frac{{{\varphi ^n} - {{(1 - \varphi )}^n}}}{{\sqrt 5 }} = {2^m} - 1 .$$ Here $\varphi = \frac{{1 + \sqrt 5 }}{2}$ . This integer equation has no solution for $n>3$ and $m>2$. How to prove?

1 Answers 1

11

We need to find when $F_n+1$ is a power of 2. Almost every value of $n$ can be eliminated by considering the Pisano period. In particular, we can deduce that:

  • $F_n+1 \equiv 0 \pmod {16}$ if and only if $n \equiv 22 \pmod {24}$ and
  • $F_n+1 \equiv 0 \pmod 9$ if $n \equiv 22 \pmod {24}$.

This leaves the few small cases already listed.

  • 0
    You mean mod 8 instead of mod 9, don't you?2011-01-07
  • 0
    I mean (mod 9) -- since powers of 2 are not divisible by 9, we can deduce that if F_n+1 is a power of 2, then it is less than 16 (which leaves a few small cases to check).2011-01-07
  • 0
    I have known that $F_n=4k-1$ iff n=6a+4.2011-01-07
  • 2
    The first few values of F_n+1 are 2, 2, 3, 4, 6, 9 and 14. The remaining values 22, 35,... are all more than 16 (and if they happen to be divisible by 16, they are also divisible by 9, and therefore are not powers of 2).2011-01-07
  • 0
    @Douglas: Ah, of course, that makes sense! Neat argument. (The statement does remain true with 9 replaced by 8, though, which was what confused me.)2011-01-07