Problem:
Prove that all powers of have an even tens digit.
Solution
Solution:
Let be the remainder of upon division by . In order to prove the claim, it is sufficient to show that for every natural number one has . It is clear that and have the same remainder upon division by : one thus has , , , , , , and the sequence of the turns out to be periodic with period . It follows that the condition is satisfied by every natural number , since it is satisfied by the first , and the claim is proved.
Alternative solution:
The units digit of a number of the form necessarily belongs to the set , since such a number is odd and not divisible by . We then proceed by induction on : the claim is true in the case ; assuming that the tens digit of is , the tens digit of coincides with the units digit of or of , hence it is even by the induction hypothesis.