Browse · MathNet
PrintCroatia_2018
Croatia 2018 number theory
Problem
Prove that is a multiple of for any positive integer . (Tamara Srnec)
Solution
Let us consider modulo .
First, note that is a very large power of . Let's analyze the last digit of for large .
The last digit of powers of cycles every :
So, the last digit of depends on k mod 4: - If , last digit is . - If , last digit is . - If , last digit is . - If , last digit is .
Now, is always even for (since ), so .
But more importantly, is divisible by for : - , so .
Therefore, is a power of where the exponent is divisible by .
From the table above, if , the last digit of is .
Thus, ends with for any positive integer .
Therefore, has last digit , so ends with .
Thus, is divisible by for any positive integer .
First, note that is a very large power of . Let's analyze the last digit of for large .
The last digit of powers of cycles every :
| Last digit | ||
|---|---|---|
| 1 | 2 | 2 |
| 2 | 4 | 4 |
| 3 | 8 | 8 |
| 4 | 16 | 6 |
| 5 | 32 | 2 |
| 6 | 64 | 4 |
| 7 | 128 | 8 |
| 8 | 256 | 6 |
Now, is always even for (since ), so .
But more importantly, is divisible by for : - , so .
Therefore, is a power of where the exponent is divisible by .
From the table above, if , the last digit of is .
Thus, ends with for any positive integer .
Therefore, has last digit , so ends with .
Thus, is divisible by for any positive integer .
Techniques
Modular Arithmetic