Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
How to show $a^{2^n}+1 \mid a^{2^m}-1$?

I am trying to solve the following question: If $m,n \in \mathbb{N}$ and $m> n$ then $(a^{2^{n}}+1)|(a^{2^{m}}-1)$, but I didn't make it.

I would appreciate any help in order to solve this question.

share|cite|improve this question

marked as duplicate by anon, Martin Sleziak, Phira, Eric Naslund Jun 10 '12 at 15:51

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

$a^{2^{n+1}}-1\mid a^{2^m}-1$ follows from $b\mid a$ $\Rightarrow$ $(n^b-1)\mid(n^a-1)$‌​, so it only remains to show $a^{2^n}-1\mid a^{2^{n+1}}-1$. – Martin Sleziak Jan 29 '12 at 11:30
Almost exact duplicate: – Eric Naslund Jan 29 '12 at 12:02
up vote 5 down vote accepted

We can fix $n$ and show the result by induction on $m$. If $m=n+1$ then $$(a^{2^n}+1)(a^{2^n}-1)=a^{2^n+2^n}-1=a^{2^m}-1,$$ so $a^{2^n}+1\mid a^{2^m}-1$ and if it's true for a $m$ then $$a^{2^{m+1}}-1=(a^{2^m})^2-1=(a^{2^m}-1)(a^{2^m}+1)$$ and we are done, since we can write $a^{2^m}-1=k(a^{2^n}+1)$ for an integer $k$ (hence $a^{2^{m+1}}-1=k(a^{2^m}+1)(a^{2^n}+1)$.

An "other way" is to show that for $j\geq 1$: $$a^{2^{m+j}}=(a^{2^m}-1)\prod_{k=0}^{j-1}(a^{2^{m+k}}+1).$$

share|cite|improve this answer

Note that :

$$\begin{align} a^{2^m}-1=(a^{2^{m-1}}-1)(a^{2^{m-1}}+1) \\ a^{2^{m-1}}-1=(a^{2^{m-2}}-1)(a^{2^{m-2}}+1) \\ \vdots \\ \vdots \\ a^{2^{n+1}}-1=(a^{2^{n}}-1)(a^{2^{n}}+1) \end{align}$$

share|cite|improve this answer

Let $m=n+b$ where $b>0$.

$$(a^{2^m}-1)=(a^{2^{n+b}}-1)=({a^{2^n}})^{2^b}-1 = c^{2^b} - 1 \text{ if } c=a^{2^n},$$ and $$(a^{2^n}+1)=c+1$$ Clearly, $$c^{2^b} - 1 \text{ is divisible by } c^2-1=(c+1)(c-1) \text{ for } b\geq 1$$

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.