2

How can I find the unit digit of $2 ^{9^{100}}$. Is there any general method of finding the unit digit?

  • 1
    Can you be a little more precise... If you're talking about Euler's theorem then I've seen it it before but I'm not familiar with it. – Shuvam Shah Jul 29 '16 at 14:45
  • Hello. Can you post what you have tried? – S.C.B. Jul 29 '16 at 14:45
  • Is it $2^{(9^{100})}$ or $(2^9)^{100}$ ? – Jean Marie Jul 29 '16 at 14:49
  • @JeanMarie by definition the first. – Vera Jul 29 '16 at 14:49
  • Which definition ? There is no complete agreement about the priority of exponentiation operator... – Jean Marie Jul 29 '16 at 14:51
  • @JeanMarie I have never encountered a source claiming that exponentiation is left-parenthesised by default. Do you know of one? – Wojowu Jul 29 '16 at 14:52
  • @JeanMarie Then please give me a reference of that disagreement. This is the first time I hear of that, – Vera Jul 29 '16 at 14:54
  • I agree that compilers use the precedence rule for the operator of exponentiation in that way but there is also a rule that in the absence of parentheses, operations are processed from left to right... – Jean Marie Jul 29 '16 at 14:57
  • @JeanMarie $(a^b)^c$ is simply $a^{(bc)}$ and would simply be written that way. $a^{b^c}$ by default means $a^{(b^c)}$, an expression which cannot be trivially simplified. – Deepak Jul 29 '16 at 15:03
  • You are right ! I understand now my misunderstanding... Thank you very much. – Jean Marie Jul 29 '16 at 15:06

6 Answers6

8

I'm not fully sure what the term "unit digit" translates to, as there is no wikipedia page for it. However, I will assume that this translates into the last digit of a number.

Let $f(n)$ denote the unit digit of $n$.

Note that $f(2^1)=2, f(2^2)=4, f(2^3)=8, f(2^4)=6$. Then note $f(2^5)=2, f(2^6)=4, f(2^7)=8, f(2^8)=6$.

As you can see, the unit digits repeat themselves with a period of $4$.

Then note $9 \equiv 1 \pmod 4$. We can conclude $9^{100}\equiv 1^{100} \pmod 4$.

Thus, since the remainder of $9^{100}$ divided by $4$ is $1$, we conclude the last digit is $2$.

S.C.B.
  • 22,768
2

If you look at $2^1, 2^2, 2^3 ...$ you will quickly notice the unit digits follow the pattern $2,4,8,6,2,4,8,6...$ to prove that this pattern will continue to repeat note that when we multiply a number by $2$ it is the unit digit alone that determines what the unit digit of the answer will be. Using this pattern we get that $2^9$ ends in $2$ (because the remainder when we divide $9$ by $4$ is $1$). But this means that the unit digits of ${2^9}^i$ follow the same pattern and powers of $2$ and hence ${2^9}^9$ will also end in $2$! By the same reasoning ${{2^9}^9}^9$ will also end in $2$ and so forth. And hence ${2^9}^{100}$ also ends in $2$

1

Note that the positive integer powers of $2$ go $2,4,8,16,32,...$. The unit digit goes in a cycle of length $4$.

So you need to determine $9^{100}\pmod 4$

Note that $ 9 = 8+1$. A simple application of binomial theorem will lead you to the answer.

Deepak
  • 26,801
  • Can you show how to do this by binomial ? – Aakash Kumar Jul 29 '16 at 15:59
  • @AakashKumar Basically the binomial expansion will have positive integer powers of $8$ throughout except the final term which is simply $1^{100}=1$. Since $8$ is a multiple of $4$ all terms except $1$ vanish modulo $4$. – Deepak Jul 29 '16 at 22:37
0

The unit digit $\implies\pmod{10}$

Now as $(2,10)=2$ let us find $2^{9^n-1}\pmod{10/2}$

As $\phi(5)=4$ and $9\equiv1\pmod4$

$9^n\equiv1^n\equiv1\implies9^n-1\equiv0\pmod4$

$\implies2^{9^n-1}\equiv2^0\pmod5$

$\implies2^{9^n-1}\cdot2\equiv2^0\cdot2\pmod{5\cdot2}$

0

Yes, there's a general method: computing the number modulo $10$.

Observe the successive positive powers of $2\mod 10$ is periodic: $$ 2^n\equiv\begin{cases} 2 &\text{if }\;n\equiv 1\mod 4,\\ 4 &\text{if }\;n\equiv 2\mod 4, \\8 &\text{if }\;n\equiv 3\mod 4, \\ 6 &\text{if }\;n\equiv 0\mod 4, \end{cases} $$ Thus $\;2^{9^{100}}\equiv 2^{9^{100}\bmod 4}\mod 10 =2^{(9\bmod 4)^{100}}=2^{1}=2\mod 10 .$

Bernard
  • 175,478
0

Hint $ $ Examining $2^n$ mod $10$ gives evidence for the conjecture that it has period $\,4\,$ for $\,n\ge 1.\,$ ${\rm mod}\ 4,\,$ the power we seek is $\,9^{100}\equiv 1^{100} \equiv \color{#c00}{\bf 1}.\,$ Low powers hint $\,\color{#c00}{2^{4n+\bf 1}\!\equiv 2}\pmod{10}\,$ so we rigorously prove this conjecture by induction. Base case is $\,10\mid \color{#0a0}{2^{\large 5}-2},\,$ and inductive step

$\quad {\rm mod}\ 10\!:\,\ \color{#c00}{2^{\large 4n+1}\equiv 2}\,\Rightarrow\,2^{\large 4(n+1)+1}\!\equiv 2^{\large 4} \color{#c00}{2^{\large 4n+1}}\!\equiv 2^{\large 4}\color{#c00}2\equiv \color{#0a0}{2^{\large 5}\equiv 2}.\ \ $

Remark $\ $ If modular arithmetic is unfamilar you can eliminate it above to obtain $$ 2^{\large 4(n+1)+1}\!-2 = 2^4(\color{#c00}{2^{4n+1}\!-2}) + \color{#0a0}{2^5 - 2} $$

By our induction hypothesis we know that $\,10\mid \color{#c00}{2^{4n+1}-2}\,$ and $\,10\mid \color{#0a0}{2^{\large 5}-2}\,$ by the base case, hence $10$ divides the RHS above, so also the equal LHS, which completes the inductive proof.

Alternatively you can prove by induction that $\,2^4-1\mid 2^{4n}-1\,$ then scale that by $\,2,\,$ or you could instead make the substituttion $\,a=2^4\,$ in $\,a-1\mid a^n-1\ $ (Factor Theorem).

More generally a very similar proof shows that $\,30\mid a^{4n+1}-a\ $ for all $\,a.\ $

Bill Dubuque
  • 272,048