Theorem 16 If is a prime and 10 is a primitive root of , then
have cycles consisting of digits, and they differ only by a cyclic permutation.
Theorem 16 If is a prime and 10 is a primitive root of , then
have cycles consisting of digits, and they differ only by a cyclic permutation.
For each , it is clear that . By Lemma 4, each fraction in (58) must be a pure repeating decimal when converted to a decimal, and the length of the repeating cycle is . Let
If denotes the fractional part of , it is easy to see from (59) that for any integer ,
Thus, for integers , the set of numbers
contains at most distinct numbers. Furthermore, since 10 is a primitive root of ,
these numbers are pairwise incongruent modulo . Therefore, in the set (60), there are exactly distinct numbers, i.e.,
On one hand, we know that
exactly runs through the reduced residue system of , . Thus, (61) is precisely a permutation of the following array:
On the other hand, it is easy to see from (61) and (59) that each number in (61) is a pure repeating decimal, all with a repeating cycle length of , and each is composed of the same digits in the repeating cycle of , but with a different cyclic permutation. This is exactly what we need to prove.
More generally, we have the following result.