- Thread starter
- Admin
- #1

- Feb 14, 2012

- 3,588

- Thread starter anemone
- Start date

- Thread starter
- Admin
- #1

- Feb 14, 2012

- 3,588

- Thread starter
- Admin
- #2

- Feb 14, 2012

- 3,588

$0<(a-2)^2+1\le max{2^2,\,(2m-2)^2}+1\le 4m^2+1<4(m^2+2)$,

we see that $(a-2)^2+1=k(m^2+2)$ must hold with $k=1,\,2$ or $3$. We will show that none of these can occur.

Case 1: When $k=1$.

We get $(a-2)^2-m^2=1$ and this implies that $a-2=\pm 1$, $m=0$ must hold, but this contradicts with fact $m\ge 1$.

Case 2: When $k=2$.

We get $(a-2)^2+1=2(m^2+2)$ in this case, but any perfect square is congruent to 0, 1, 4 mod 8 and therefore we have $(a-2)^2+1\equiv 1,\,2,\, 5 \pmod {8}$ while $2(m^2+2)\equiv 4,\,6 \pmod {8}$. Thus, this case cannot occur either.

Case 3: When $k=3$.

We get $(a-2)^2+1=3(m^2+2)$ in this case. Since any perfect square is congruent to 0 or 1 mod 3, we have $(a-2)^2+1\equiv 1,\,2 \pmod {3}$ while $3(m^2+2)\equiv 0 \pmod {8}$, which shows that this case cannot occur either. And then we are done with the proof.