6
$\begingroup$

By working modulo 3, prove that $2^{2^n} + 5$ is always composite for every positive integer n.

No need for a formal proof by induction, just the basic idea will be great.

  • 2
    This can be considered as a generalization: [show $2^{2^n} + 1 \equiv 2 \pmod{2^{2^m} + 1} $ with 0](http://math.stackexchange.com/questions/148381/show-22n-1-equiv-2-pmod22m-1-with-0mn)2012-08-14

5 Answers 5

1

$2^(2n) +5$ is the same as $4^{n} +5 =(3+1)^n +5$
If you expanded the $(3+1)^n$ part , every term would be divisible by $3$ (except the last term $1$) The entire expression would be of the form $(3m +1) +5 = 3m +6$ which is divisible by $3$.

  • 0
    To expand a little on DonAntonio's comment: For some basic information about writing math at this site see e.g. [here](http://meta.stackexchange.com/questions/68388/there-should-be-universal-latex-mathjax-guide-for-sites-supporting-it/70559#70559), [here](http://meta.math.stackexchange.com/questions/1773/do-we-have-an-equation-editing-howto) and [here](http://math.stackexchange.com/editing-help#latex).2012-08-15
7

The basic idea is, work modulo 3. What happens, modulo 3, when you raise 2 to an even power?

  • 8
    You're not supposed to have an idea, you're supposed to actually do it! Raise 2 to an even power! See what happens modulo 3! Raise 2 to another even power! See what happens modulo 3! Repeat, until you do have an idea! Then try to prove it!2012-08-14
6

Obviously $2^2 \equiv 1 \pmod 3$.

If you take the above congruence to the power of $k$ you get $(2^2)^k=2^{2k} \equiv 1^k=1 \pmod 3$ which means that $2$ raised to any even power is congruent to $1$ modulo $3$.

What can you say about $2^{2k}+5$ then modulo 3?

It is good to keep in mind that you can take powers of congruences, multiply them and add them together.


If you have finished the above, you have shown that $3\mid 2^{2k}+5$. Does this imply that $2^{2k}+5$ is composite?

  • 0
    Thanks @RossMillikan, I've corrected that.2012-08-14
4

Hint: Rewrite the base using the fact that $2\equiv -1 \bmod 3$.

2

In order to work out this problem, we start by noticing $2^2\equiv 1 ~~~(\text{mod } 3)$.

What this means is $2^2$ (which is $4$) is $1$ greater than some multiple of $3$ (that multiple, in this case is obviously, $3$)

So if $2^2\equiv 1 ~~~(\text{mod } 3)~~\implies (2^2)^n\equiv (1)^n ~~~(\text{mod } 3)\implies 2^{2n}\equiv 1~~(\text{mod } 3)$,
Again, this means that any even power of $2$ is $1$ greater than some multiple of $3$.

So if $2^{2n}$ is $1$ greater than some multiple of $3$ (another way to say this is that $2^{2n}$ leaves a remainder of $1$ when divided by $3$), then what can you say about $2^{2n}+5$?.

To answer this, forget about $2^{2n}$ and just think about the remainder (i.e $1$). This is how modular arithmetic makes our live a lot easier. If $2^{2n}$ is $1$ greater than some multiple of $3$, then $2^{2n}+5$ should be $1+5=6$ greater than that multiple of $3$, right? But you know that $6$ is, by itself, a multiple of $3$. So, this should mean that $3|2^{2n}+5$.

A more formal (and a neat) argument could be:
$3|2^{2n}-1\implies 3|2^{2n}+5$, since $2^{2n}+5=(2^{2n}-1+6)$

Now since it has been shown that $2^{2n}+5$ is infact a multiple of $3$, it should be apparent that $2^{2n}+5$ is after all, composite.

I Hope it helps!

  • 1
    I didn't say anything about you "comparing", but about you implying that your answer won't be "technical" as the other ones, whereas it actually was. That's all. Nothing to be too touchy about.2012-08-14