Why is $a^c-1$ composite if $a>2$ or if $c$ is composite?

80 Views Asked by At

Here is the original theorem from my book (A Course in Number Theory by H.E.Rose, 2nd edition):

Let $a>1$ and $c>1$ be integers. The integer $a^c-1$ is composite if $a>2$ or if $c$ is composite.

I am having trouble understanding part of the proof for this theorem. I understand that if $c$ is composite then $a^c-1$ is also composite. My book, however, does not provide much explanation for why $a^c-1$ is composite if $a>2$. I tried working it out myself and have come to the conclusion that if $a>2$ and $a$ is odd, then $a^c-1$ is even and therefore must be composite. I'm stuck with the case for $a>2$ and $a$ is even.

3

There are 3 best solutions below

0
On BEST ANSWER

Hint: $a^c-1=(a-1)(a^{c-1}+a^{c-2}+\dots+a^2+a+1)$

If $a>2$, then $a-1>1$. If $a=2$ and $c=mn$ with $m,n>1$, then $$ a^{mn}-1=b^n-1=(b-1)(b^{n-1}+\dots+b+1) $$ where $b=a^m$.

0
On

We have

$$a^c-1=(a-1)\sum_{k=0}^{c-1}a^k$$ and if $a>2$ then $a-1\ne1$ and $\sum\limits_{k=0}^{c-1}a^k\ge1+a$. Conclude.

0
On

You always have $a^c-1=(a-1)(a^{c-1}+a^{c-2}+\cdots+a+1)$, if $a>2$ and $c>1$ this is a proper factorization of $a^c-1$.