A repeating decimal or recurring decimal is a decimal representation of a number whose digits are eventually periodic (that is, after some place, the same sequence of digits is repeated forever); if this sequence consists only of zeros (that is if there are only a finite number of nonzero digits), the decimal is said to be terminating, and is not considered as repeating.

It can be shown that a number is rational if and only if its decimal representation is repeating or terminating. For example, the decimal representation of 13 becomes periodic just after the decimal point, repeating the single digit "3" forever, i.e. 0.333.... A more complicated example is 3227555, whose decimal becomes periodic at the second digit following the decimal point and then repeats the sequence "144" forever, i.e. 5.8144144144.... Another example of this is 59353, which becomes periodic after the decimal point, repeating the 13-digit pattern "1886792452830" forever, i.e. 11.18867924528301886792452830....

The finite digit sequence that is repeated infinitely is called the repetend or reptend. If the repetend is a zero, this decimal representation is called a terminating decimal rather than a repeating decimal, since the zeros can be omitted and the decimal terminates before these zeros.[1] Every terminating decimal representation can be written as a decimal fraction, a fraction whose denominator is a power of 10 (e.g. 1.585 = 15851000); it may also be written as a ratio of the form k2n·5m (e.g. 1.585 = 31723·52). However, every number with a terminating decimal representation also trivially has a second, alternative representation as a repeating decimal whose repetend is the digit "9". This is obtained by decreasing the final (rightmost) non-zero digit by one and appending a repetend of 9. Two examples of this are 1.000... = 0.999... and 1.585000... = 1.584999.... (This type of repeating decimal can be obtained by long division if one uses a modified form of the usual division algorithm.[2])

Any number that cannot be expressed as a ratio of two integers is said to be irrational. Their decimal representation neither terminates nor infinitely repeats, but extends forever without repetition (see § Every rational number is either a terminating or repeating decimal). Examples of such irrational numbers are 2 and π.[3]

Background

Notation

Any textual representation is necessarily finite, which is why special non-decimal notation is required to represent repeating decimals. Below are several notational conventions. None of them are accepted universally.

Different notations with examples
FractionVinculumDotsParenthesesArcEllipsis
190.10.0.(1)0.10.111...
13= 390.30.0.(3)0.30.333...
23= 690.60.0.(6)0.60.666...
911= 81990.810.0.(81)0.810.8181...
712= 5259000.5830.580.58(3)0.5830.58 333...
17= 1428579999990.1428570.42850.(142857)0.1428570.142857 142857...
181= 123456799999999990.0123456790.12345670.(012345679)0.0123456790.012345679 012345679...
227= 31428549999993.1428573.42853.(142857)3.1428573.142857 142857...
59353= 111886792452819999999999999911.188679245283011.8867924528311.(1886792452830)11.188679245283011.1886792452830 1886792452830...

In English, there are various ways to read repeating decimals aloud. For example, 1.234 may be read "one point two repeating three four", "one point two repeated three four", "one point two recurring three four", "one point two repetend three four" or "one point two into infinity three four". Likewise, 11.1886792452830 may be read "eleven point repeating one double eight six seven nine two four five two eight three zero", "eleven point repeated one double eight six seven nine two four five two eight three zero", "eleven point recurring one double eight six seven nine two four five two eight three zero" "eleven point repetend one double eight six seven nine two four five two eight three zero" or "eleven point into infinity one double eight six seven nine two four five two eight three zero".

Decimal expansion and recurrence sequence

In order to convert a rational number represented as a fraction into decimal form, one may use long division. For example, consider the rational number 574: 0.0675 74 ) 5.00000 4.44 560 518 420 370 500

etc. Observe that at each step we have a remainder; the successive remainders displayed above are 56, 42, 50. When we arrive at 50 as the remainder, and bring down the "0", we find ourselves dividing 500 by 74, which is the same problem we began with. Therefore, the decimal repeats: 0.0675 675 675....

For any integer fraction AB, the remainder at step k, for any positive integer k, is A × 10k (modulo B).

Every rational number is either a terminating or repeating decimal

For any given divisor, only finitely many different remainders can occur. In the example above, the 74 possible remainders are 0, 1, 2, ..., 73. If at any point in the division the remainder is 0, the expansion terminates at that point. Then the length of the repetend, also called "period", is defined to be 0.

If 0 never occurs as a remainder, then the division process continues forever, and eventually, a remainder must occur that has occurred before. The next step in the division will yield the same new digit in the quotient, and the same new remainder, as the previous time the remainder was the same. Therefore, the following division will repeat the same results. The repeating sequence of digits is called "repetend" which has a certain length greater than 0, also called "period".[5]

In base 10, a fraction has a repeating decimal if and only if in lowest terms, its denominator has at least a prime factor different from 2 and 5 (a prime denominator is considered as a prime factor of itself), or in other words, the denominator cannot be expressed as 2m5n, where m and n are non-negative integers.

Every repeating or terminating decimal is a rational number

Each repeating decimal number satisfies a linear equation with integer coefficients, and its unique solution is a rational number. In the example above, α = 5.8144144144... satisfies the equation

{|

| nowrap="" |10000α − 10α | nowrap="" |= 58144.144144... − 58.144144... |- | align="right" |9990α || = 58086 |- | align="right" |Therefore, α || = 580869990 = 3227555 |} The process of how to find these integer coefficients is described below.

Formal proof

Given a repeating decimal x=a.b\overline{c} where a, b, and c are groups of digits, let n=\lceil{\log_{10}b}\rceil, the number of digits of b. Multiplying by 10^n separates the repeating and terminating groups:

10^nx=ab.\bar{c} .

If the decimals terminate (c=0), the proof is complete.[6] For c\neq0 with k\in\mathbb{N} digits, let x=y. \bar{c} where y\in\mathbb{Z} is a terminating group of digits. Then,

c=d_1 d_2\,...d_k

where d_i denotes the i-th digit, and

x=y+\sum_{n=1}^\infty \frac{c}{{(10^k)}^n}= y +\left(c\sum_{n=0}^\infty \frac{1}{{(10^k)}^n}\right)-c .

Since \textstyle \sum_{n=0}^\infty \frac{1}{{(10^k)}^n} = \frac{1}{1-10^{-k}},[7]

x=y -c+\frac{10^k c }{10^k-1} .

Since x is the sum of an integer (y -c) and a rational number (\frac{10^kc}{10^k-1}), x is also rational.[8]

Fractions with prime denominators

A fraction in lowest terms with a prime denominator other than 2 or 5 (i.e. coprime to 10) always produces a repeating decimal. The length of the repetend (period of the repeating decimal segment) of 1p is equal to the order of 10 modulo p. If 10 is a primitive root modulo p, then the repetend length is equal to p − 1; if not, then the repetend length is a factor of p − 1. This result can be deduced from Fermat's little theorem, which states that 10p−1 ≡ 1 (mod p).

The base-10 digital root of the repetend of the reciprocal of any prime number greater than 5 is 9.[9]

If the repetend length of 1p for prime p is equal to p − 1 then the repetend, expressed as an integer, is called a cyclic number.

Cyclic numbers

Examples of fractions belonging to this group are:

  • 17 = 0.142857, 6 repeating digits
  • 117 = 0.0588235294117647, 16 repeating digits
  • 119 = 0.052631578947368421, 18 repeating digits
  • 123 = 0.0434782608695652173913, 22 repeating digits
  • 129 = 0.0344827586206896551724137931, 28 repeating digits
  • 147 = 0.0212765957446808510638297872340425531914893617, 46 repeating digits
  • 159 = 0.0169491525423728813559322033898305084745762711864406779661, 58 repeating digits
  • 161 = 0.016393442622950819672131147540983606557377049180327868852459, 60 repeating digits
  • 197 = 0.010309278350515463917525773195876288659793814432989690721649484536082474226804123711340206185567, 96 repeating digits

The list can go on to include the fractions 1109, 1113, 1131, 1149, 1167, 1179, 1181, 1193, 1223, 1229, etc. .

Every proper multiple of a cyclic number (that is, a multiple having the same number of digits) is a rotation:

  • 17 = 1 × 0.142857 = 0.142857
  • 27 = 2 × 0.142857 = 0.285714
  • 37 = 3 × 0.142857 = 0.428571
  • 47 = 4 × 0.142857 = 0.571428
  • 57 = 5 × 0.142857 = 0.714285
  • 67 = 6 × 0.142857 = 0.857142

The reason for the cyclic behavior is apparent from an arithmetic exercise of long division of 17: the sequential remainders are the cyclic sequence {1, 3, 2, 6, 4, 5}. See also the article 142,857 for more properties of this cyclic number.

A fraction which is cyclic thus has a recurring decimal of even length that divides into two sequences in nines' complement form. For example 17 starts '142' and is followed by '857' while 67 (by rotation) starts '857' followed by its nines' complement '142'.

The rotation of the repetend of a cyclic number always happens in such a way that each successive repetend is a bigger number than the previous one. In the succession above, for instance, we see that 0.142857... < 0.285714... < 0.428571... < 0.571428... < 0.714285... < 0.857142.... This, for cyclic fractions with long repetends, allows us to easily predict what the result of multiplying the fraction by any natural number n will be, as long as the repetend is known.

A proper prime is a prime p which ends in the digit 1 in base 10 and whose reciprocal in base 10 has a repetend with length p − 1. In such primes, each digit 0, 1,..., 9 appears in the repeating sequence the same number of times as does each other digit (namely, p − 110 times). They are:[10]: 166

61, 131, 181, 461, 491, 541, 571, 701, 811, 821, 941, 971, 1021, 1051, 1091, 1171, 1181, 1291, 1301, 1349, 1381, 1531, 1571, 1621, 1741, 1811, 1829, 1861,... .

A prime is a proper prime if and only if it is a full reptend prime and congruent to 1 mod 10.

If a prime p is both full reptend prime and safe prime, then 1p will produce a stream of p − 1 pseudo-random digits. Those primes are

7, 23, 47, 59, 167, 179, 263, 383, 503, 863, 887, 983, 1019, 1367, 1487, 1619, 1823, 2063... .

Other reciprocals of primes

Some reciprocals of primes that do not generate cyclic numbers are:

  • 13 = 0.3, which has a period (repetend length) of 1.
  • 111 = 0.09, which has a period of two.
  • 113 = 0.076923, which has a period of six.
  • 131 = 0.032258064516129, which has a period of 15.
  • 137 = 0.027, which has a period of three.
  • 141 = 0.02439, which has a period of five.
  • 143 = 0.023255813953488372093, which has a period of 21.
  • 153 = 0.0188679245283, which has a period of 13.
  • 167 = 0.014925373134328358208955223880597, which has a period of 33.
  • 171 = 0.01408450704225352112676058338028169, which has a period of 35.
  • 173 = 0.01369863, which has a period of eight.
  • 179 = 0.0126582278481, which has a period of 13.
  • 183 = 0.01204819277108433734939759036144578313253, which has a period of 41.
  • 189 = 0.01123595505617977528089887640449438202247191, which has a period of 44.

The reason is that 3 is a divisor of 9, 11 is a divisor of 99, 41 is a divisor of 99999, etc. To find the period of 1p, we can check whether the prime p divides some number 999...999 in which the number of digits divides p − 1. Since the period is never greater than p − 1, we can obtain this by calculating 10p−1 − 1p. For example, for 11 we get

\frac{10^{11-1}-1}{11}= 909090909

and then by inspection find the repetend 09 and period of 2.

Those reciprocals of primes can be associated with several sequences of repeating decimals. For example, the multiples of 113 can be divided into two sets, with different repetends. The first set is:

  • 113 = 0.076923
  • 1013 = 0.769230
  • 913 = 0.692307
  • 1213 = 0.923076
  • 313 = 0.230769
  • 413 = 0.307692

where the repetend of each fraction is a cyclic re-arrangement of 076923. The second set is:

  • 213 = 0.153846
  • 713 = 0.538461
  • 513 = 0.384615
  • 1113 = 0.846153
  • 613 = 0.461538
  • 813 = 0.615384

where the repetend of each fraction is a cyclic re-arrangement of 153846.

In general, the set of proper multiples of reciprocals of a prime p consists of n subsets, each with repetend length k, where nk = p − 1.

Totient rule

For an arbitrary integer n, the length L(n) of the decimal repetend of 1n divides φ(n), where φ is the totient function. The length is equal to φ(n) if and only if 10 is a primitive root modulo n.[11]

In particular, it follows that L(p) = p − 1 if and only if p is a prime and 10 is a primitive root modulo p. Then, the decimal expansions of np for n = 1, 2, ..., p − 1, all have period p − 1 and differ only by a cyclic permutation. Such numbers p are called full repetend primes.

Reciprocals of composite integers coprime to 10

If p is a prime other than 2 or 5, the decimal representation of the fraction 1p2 repeats:

149 = 0.020408163265306122448979591836734693877551.

The period (repetend length) L(49) must be a factor of λ(49) = 42, where λ(n) is known as the Carmichael function. This follows from Carmichael's theorem which states that if n is a positive integer then λ(n) is the smallest integer m such that

a^m \equiv 1 \pmod n

for every integer a that is coprime to n.

The period of 1p2 is usually pTp, where Tp is the period of 1p. There are three known primes for which this is not true, and for those the period of 1p2 is the same as the period of 1p because p2 divides 10p−1−1. These three primes are 3, 487, and 56598313 .[12]

Similarly, the period of 1pk is usually pk–1Tp

If p and q are primes other than 2 or 5, the decimal representation of the fraction 1pq repeats. An example is 1119:

119 = 7 × 17
λ(7 × 17) = LCM(λ(7), λ(17)) = LCM(6, 16) = 48,

where LCM denotes the least common multiple.

The period T of 1pq is a factor of λ(pq) and it happens to be 48 in this case:

1119 = 0.008403361344537815126050420168067226890756302521.

The period T of 1pq is LCM(TpTq), where Tp is the period of 1p and Tq is the period of 1q.

If p, q, r, etc. are primes other than 2 or 5, and k, , m, etc. are positive integers, then

\frac{1}{p^k q^\ell r^m \cdots}

is a repeating decimal with a period of

\operatorname{LCM}(T_{p^k}, T_{q^\ell}, T_{r^m}, \ldots)

where Tpk, Tq, Trm,... are respectively the period of the repeating decimals 1pk, 1q, 1rm,... as defined above.

Reciprocals of integers not coprime to 10

An integer that is not coprime to 10 but has a prime factor other than 2 or 5 has a reciprocal that is eventually periodic, but with a non-repeating sequence of digits that precede the repeating part. The reciprocal can be expressed as:

\frac{1}{2^a \cdot 5^b p^k q^\ell \cdots}\, ,

where a and b are not both zero.

This fraction can also be expressed as:

\frac{5^{a-b}}{10^a p^k q^\ell \cdots}\, ,

if a > b, or as

\frac{2^{b-a}}{10^b p^k q^\ell \cdots}\, ,

if b > a, or as

\frac{1}{10^a p^k q^\ell \cdots}\, ,

if a = b.

The decimal has:

  • An initial transient of max(ab) digits after the decimal point. Some or all of the digits in the transient can be zeros.
  • A subsequent repetend which is the same as that for the fraction 1pk q.

For example 128 = 0.03571428:

  • a = 2, b = 0, and the other factors pk q ⋯ = 7
  • there are 2 initial non-repeating digits, 03; and
  • there are 6 repeating digits, 571428, the same amount as 17 has.

Converting repeating decimals to fractions

Given a repeating decimal, it is possible to calculate the fraction that produces it. For example:

{|

|- |style="text-align:right;width:3em"| x||style="width:12em"| = 0.333333\ldots |- |style="text-align:right"| 10x|| = 3.333333\ldots|| (multiply each side of the above line by 10) |- |style="text-align:right"| 9x|| = 3|| (subtract the 1st line from the 2nd) |- |style="text-align:right"| x|| = \frac39 = \frac13|| (reduce to lowest terms) |}

Another example:

{|

|- |style="text-align:right;width:3em"| x||style="width:12em"| = \ \ \ \ 0.836363636\ldots |- |style="text-align:right"| 10x|| = \ \ \ \ 8.36363636\ldots|| (move decimal to start of repetition = move by 1 place = multiply by 10) |- |style="text-align:right"| 1000x|| = 836.36363636\ldots|| (collate 2nd repetition here with 1st above = move by 2 places = multiply by 100) |- |style="text-align:right"| 990x|| = 828|| (subtract to clear decimals) |- |style="text-align:right"| x|| = \frac{828}{990} = \frac{18 \cdot 46}{18 \cdot 55} = \frac{46}{55}|| (reduce to lowest terms) |}

A shortcut

The procedure below can be applied in particular if the repetend has n digits, all of which are 0 except the final one which is 1. For instance for n = 7:

\begin{align} x &= 0.000000100000010000001\ldots \\ 10^7x &= 1.000000100000010000001\ldots \\ \left(10^7-1\right)x=9999999x &= 1 \\ x &= \frac{1}{10^7-1} = \frac{1}{9999999} \end{align}

So this particular repeating decimal corresponds to the fraction 110n − 1, where the denominator is the number written as n 9s. Knowing just that, a general repeating decimal can be expressed as a fraction without having to solve an equation. For example, one could reason:

\begin{align} 7.48181818\ldots & = 7.3 + 0.18181818\ldots \\[8pt] & = \frac{73}{10}+\frac{18}{99} = \frac{73}{10} + \frac{9\cdot2}{9\cdot 11} = \frac{73}{10} + \frac{2}{11} \\[12pt] & = \frac{11\cdot73 + 10\cdot2}{10\cdot 11} = \frac{823}{110} \end{align}

or

\begin{align} 11.18867924528301886792452830\ldots & = 11 + 0.18867924528301886792452830\ldots \\[8pt] & = 11 + \frac{10}{53} = \frac{11\cdot53 + 10}{53} = \frac{593}{53} \end{align}

It is possible to get a general formula expressing a repeating decimal with an n-digit period (repetend length), beginning right after the decimal point, as a fraction:

\begin{align} x &= 0.\overline{a_1 a_2 \cdots a_n} \\ 10^n x &= a_1 a_2 \cdots a_n.\overline{a_1 a_2 \cdots a_n} \\[5pt] \left(10^n - 1\right)x = 99 \cdots 99x &= a_1 a_2 \cdots a_n \\[5pt] x &= \frac{a_1 a_2 \cdots a_n}{10^n - 1} = \frac{a_1 a_2 \cdots a_n}{99 \cdots 99} \end{align}

More explicitly, one gets the following cases:

If the repeating decimal is between 0 and 1, and the repeating block is n digits long, first occurring right after the decimal point, then the fraction (not necessarily reduced) will be the integer number represented by the n-digit block divided by the one represented by n 9s. For example,

  • 0.444444... = 49 since the repeating block is 4 (a 1-digit block),
  • 0.565656... = 5699 since the repeating block is 56 (a 2-digit block),
  • 0.012012... = 12999 since the repeating block is 012 (a 3-digit block); this further reduces to 4333.
  • 0.999999... = 99 = 1, since the repeating block is 9 (also a 1-digit block)

If the repeating decimal is as above, except that there are k (extra) digits 0 between the decimal point and the repeating n-digit block, then one can simply add k digits 0 after the n digits 9 of the denominator (and, as before, the fraction may subsequently be simplified). For example,

  • 0.000444... = 49000 since the repeating block is 4 and this block is preceded by 3 zeros,
  • 0.005656... = 569900 since the repeating block is 56 and it is preceded by 2 zeros,
  • 0.00012012... = 1299900 = 18325 since the repeating block is 012 and it is preceded by 2 zeros.

Any repeating decimal not of the form described above can be written as a sum of a terminating decimal and a repeating decimal of one of the two above types (actually the first type suffices, but that could require the terminating decimal to be negative). For example,

  • 1.23444... = 1.23 + 0.00444... = 123100 + 4900 = 1107900 + 4900 = 1111900
    • or alternatively 1.23444... = 0.79 + 0.44444... = 79100 + 49 = 711900 + 400900 = 1111900
  • 0.3789789... = 0.3 + 0.0789789... = 310 + 7899990 = 29979990 + 7899990 = 37869990 = 6311665
    • or alternatively 0.3789789... = −0.6 + 0.9789789... = −610 + 978/999 = −59949990 + 97809990 = 37869990 = 6311665

An even faster method is to ignore the decimal point completely and go like this

  • 1.23444... = 1234 − 123900 = 1111900 (denominator has one 9 and two 0s because one digit repeats and there are two non-repeating digits after the decimal point)
  • 0.3789789... = 3789 − 39990 = 37869990 (denominator has three 9s and one 0 because three digits repeat and there is one non-repeating digit after the decimal point)

It follows that any repeating decimal with period n, and k digits after the decimal point that do not belong to the repeating part, can be written as a (not necessarily reduced) fraction whose denominator is (10n − 1)10k.

Conversely the period of the repeating decimal of a fraction cd will be (at most) the smallest number n such that 10n − 1 is divisible by d.

For example, the fraction 27 has d = 7, and the smallest k that makes 10k − 1 divisible by 7 is k = 6, because 999999 = 7 × 142857. The period of the fraction 27 is therefore 6.

In compressed form

The following picture suggests kind of compression of the above shortcut. Thereby \mathbf{I} represents the digits of the integer part of the decimal number (to the left of the decimal point), \mathbf{A} makes up the string of digits of the preperiod and \#\mathbf{A} its length, and \mathbf{P} being the string of repeated digits (the period) with length \#\mathbf{P} which is nonzero.

In the generated fraction, the digit 9 will be repeated \#\mathbf{P} times, and the digit 0 will be repeated \#\mathbf{A} times.

Note that in the absence of an integer part in the decimal, \mathbf{I} will be represented by zero, which being to the left of the other digits, will not affect the final result, and may be omitted in the calculation of the generating function.

Examples:

\begin{array}{lllll}
3.254444\ldots &=3.25\overline{4} &= \begin{Bmatrix}
\mathbf{I}=3&\mathbf{A}=25&\mathbf{P}=4\\
&\#\mathbf{A}=2&\#\mathbf{P}=1
\end{Bmatrix}
&=\dfrac{3254-325}{900}&=\dfrac{2929}{900}
\\
\\0.512512\ldots &=0.\overline{512} &= \begin{Bmatrix}
\mathbf{I}=0&\mathbf{A}=\emptyset&\mathbf{P}=512\\
&\#\mathbf{A}=0&\#\mathbf{P}=3
\end{Bmatrix}
&=\dfrac{512-0}{999}&=\dfrac{512}{999}
\\
\\1.09191\ldots &=1.0\overline{91} &= \begin{Bmatrix}
\mathbf{I}=1&\mathbf{A}=0&\mathbf{P}=91\\
&\#\mathbf{A}=1&\#\mathbf{P}=2
\end{Bmatrix}
&=\dfrac{1091-10}{990}&=\dfrac{1081}{990}
\\
\\1.333\ldots &=1.\overline{3} &= \begin{Bmatrix}
\mathbf{I}=1&\mathbf{A}=\emptyset&\mathbf{P}=3\\
&\#\mathbf{A}=0&\#\mathbf{P}=1
\end{Bmatrix}
&=\dfrac{13-1}{9}&=\dfrac{12}{9}&=\dfrac{4}{3}
\\
\\0.3789789\ldots &=0.3\overline{789} &= \begin{Bmatrix}
\mathbf{I}=0&\mathbf{A}=3&\mathbf{P}=789\\
&\#\mathbf{A}=1&\#\mathbf{P}=3
\end{Bmatrix}
&=\dfrac{3789-3}{9990}&=\dfrac{3786}{9990}&=\dfrac{631}{1665}
\end{array}

The symbol \emptyset in the examples above denotes the absence of digits of part \mathbf{A} in the decimal, and therefore \#\mathbf{A}=0 and a corresponding absence in the generated fraction.

Repeating decimals as infinite series

A repeating decimal can also be expressed as an infinite series. That is, a repeating decimal can be regarded as the sum of an infinite number of rational numbers. To take the simplest example,

0.\overline{1} = \frac{1}{10} + \frac{1}{100} + \frac{1}{1000} + \cdots = \sum_{n=1}^\infty \frac{1}{10^n}

The above series is a geometric series with the first term as 110 and the common factor 110. Because the absolute value of the common factor is less than 1, we can say that the geometric series converges and find the exact value in the form of a fraction by using the following formula where a is the first term of the series and r is the common factor.

\frac{a}{1-r} = \frac{\frac{1}{10}}{1-\frac{1}{10}} = \frac{1}{10-1} = \frac{1}{9}

Similarly,

\begin{align} 0.\overline{142857} &= \frac{142857}{10^6} + \frac{142857}{10^{12}} + \frac{142857}{10^{18}} + \cdots = \sum_{n=1}^\infty \frac{142857}{10^{6n}} \\[6px] \implies &\quad \frac{a}{1-r} = \frac{\frac{142857}{10^6}}{1-\frac{1}{10^6}} = \frac{142857}{10^6-1} = \frac{142857}{999999} = \frac17 \end{align}

Multiplication and cyclic permutation

The cyclic behavior of repeating decimals in multiplication also leads to the construction of integers which are cyclically permuted when multiplied by certain numbers. For example, 102564 × 4 = 410256. 102564 is the repetend of 439 and 410256 the repetend of 1639.

Other properties of repetend lengths

Various properties of repetend lengths (periods) are given by Mitchell[13] and Dickson.[14]

  • The period of 1k for integer k is always ≤ k − 1.
  • If p is prime, the period of 1p divides evenly into p − 1.
  • If k is composite, the period of 1k is strictly less than k − 1.
  • The period of ck, for c coprime to k, equals the period of 1k.
  • If k = 2a·5bn where n > 1 and n is not divisible by 2 or 5, then the length of the transient of 1k is max(ab), and the period equals r, where r is the multiplicative order of 10 mod n, that is the smallest integer such that 10r ≡ 1 (mod n).
  • If p, p′, p″,... are distinct primes, then the period of 1p p′ p″ equals the lowest common multiple of the periods of 1p, 1p′, 1p″,....
  • If k and k′ have no common prime factors other than 2 or 5, then the period of 1k k′ equals the least common multiple of the periods of 1k and 1k′.
  • For prime p, if
\text{period}\left(\frac{1}{p}\right)= \text{period}\left(\frac{1}{p^2}\right)= \cdots = \text{period}\left(\frac{1}{p^m}\right)
for some m, but
\text{period}\left(\frac{1}{p^m}\right) \ne \text{period}\left(\frac {1}{p^{m+1}}\right),
then for c ≥ 0 we have
\text{period}\left(\frac{1}{p^{m+c}}\right) = p^c \cdot \text{period}\left(\frac{1}{p}\right).
  • If p is a proper prime ending in a 1, that is, if the repetend of 1p is a cyclic number of length p − 1 and p = 10h + 1 for some h, then each digit 0, 1, ..., 9 appears in the repetend exactly hp − 110 times.

For some other properties of repetends, see also.[15]

Extension to other bases

Various features of repeating decimals extend to the representation of numbers in all other integer bases, not just base 10:

  • Every real number can be represented as an integer part followed by a radix point (the generalization of a decimal point to non-decimal systems) followed by a finite or infinite number of digits.
  • If the base is an integer, a terminating sequence obviously represents a rational number.
  • A rational number has a terminating sequence if all the prime factors of the denominator of the fully reduced fractional form are also factors of the base. These numbers make up a dense set in Q and R.
  • If the positional numeral system is a standard one, that is it has base
b\in\Z\smallsetminus\{-1,0,1\}
combined with a consecutive set of digits
D:=\{d_1, d_1+1, \dots, d_r\}
with r :=, dr := d1 + r − 1 and 0 ∈ D, then a terminating sequence is obviously equivalent to the same sequence with non-terminating repeating part consisting of the digit 0. If the base is positive, then there exists an order homomorphism from the lexicographical order of the right-sided infinite strings over the alphabet D into some closed interval of the reals, which maps the strings 0.A1A2...Andb and 0.A1A2...(An+1)d1 with AiD and Andb to the same real number – and there are no other duplicate images. In the decimal system, for example, there is 0.9 = 1.0 = 1; in the balanced ternary system there is 0.1 = 1.T = 12.
  • A rational number has an indefinitely repeating sequence of finite length l, if the reduced fraction's denominator contains a prime factor that is not a factor of the base. If q is the maximal factor of the reduced denominator which is coprime to the base, l is the smallest exponent such that q divides b − 1. It is the multiplicative order ordq(b) of the residue class b mod q which is a divisor of the Carmichael function λ(q) which in turn is smaller than q. The repeating sequence is preceded by a transient of finite length if the reduced fraction also shares a prime factor with the base. A repeating sequence
\left(0.\overline{A_1A_2\ldots A_\ell}\right)_b
represents the fraction
\frac{( A_1A_2\ldots A_\ell)_b}{b^\ell-1}.
  • An irrational number has a representation of infinite length that is not, from any point, an indefinitely repeating sequence of finite length.

For example, in duodecimal, 12 = 0.6, 13 = 0.4, 14 = 0.3 and 16 = 0.2 all terminate; 15 = 0.2497 repeats with period length 4, in contrast with the equivalent decimal expansion of 0.2; 17 = 0.186A35 has period 6 in duodecimal, just as it does in decimal.

If b is an integer base and k is an integer, then

\frac{1}{k} = \frac{1}{b} + \frac{(b-k)^1}{b^2} + \frac{(b-k)^2}{b^3} + \frac{(b-k)^3}{b^4} + \cdots + \frac{(b-k)^{N-1}}{b^N} + \cdots = \frac1b \frac1{1-\frac{b-k}b}.

For example 1/7 in duodecimal:

\frac17 = \left(\frac1{10^{\phantom1}} + \frac5{10^2} + \frac{21}{10^3} + \frac{A5}{10^4} + \frac{441}{10^5} + \frac{1985}{10^6} + \cdots \right)_\text{base 12}

which is 0.186A35base12. 10base12 is 12base10, 102base12 is 144base10, 21base12 is 25base10, A5base12 is 125base10.

Algorithm for positive bases

For a rational 0 < pq < 1 (and base bN>1) there is the following algorithm producing the repetend together with its length:

function b_adic(b,p,q) // b ≥ 2; 0 < p < q
  digits = "0123..."; // up to the digit with value b–1
begin
  s = "";  // the string of digits
  pos = 0; // all places are right to the radix point
  while not defined(occurs[p]) do
    occurs[p] = pos; // the position of the place with remainder p
    bp = b*p;
    z = floor(bp/q); // index z of digit within: 0 ≤ z ≤ b-1
    p = b*p − z*q;   // 0 ≤ p < q
    if p = 0 then L = 0;
      if not z = 0 then
        s = s . substring(digits, z, 1) 
      end if
      return (s);
    end if
    s = s . substring(digits, z, 1); // append the character of the digit
    pos += 1;
  end while
  L = pos - occurs[p]; // the length of the repetend (being < q)
  // mark the digits of the repetend by a vinculum:
  for i from occurs[p] to pos-1 do
    substring(s, i, 1) = overline(substring(s, i, 1));
  end for
  return (s);
end function

The first highlighted line calculates the digit z.

The subsequent line calculates the new remainder p′ of the division modulo the denominator q. As a consequence of the floor function floor we have

\frac{b p}{q} - 1 \; \; < \; \; z = \left\lfloor \frac{b p}{q} \right\rfloor \; \; \le \; \; \frac{b p}{q} ,

thus

b p - q < z q \quad \implies \quad p' := b p - z q < q

and

z q \le b p\quad \implies \quad 0 \le b p - z q =: p' \,.

Because all these remainders p are non-negative integers less than q, there can be only a finite number of them with the consequence that they must recur in the while loop. Such a recurrence is detected by the associative array occurs. The new digit z is formed in the yellow line, where p is the only non-constant. The length L of the repetend equals the number of the remainders (see also section Every rational number is either a terminating or repeating decimal).

Table of values

  • decimal
    expansion
    10binary
    expansion
    2
    120.500.10
    130.310.012
    140.2500.010
    150.200.00114
    160.1610.0012
    170.14285760.0013
    180.12500.0010
    190.110.0001116
    1100.100.000114
    1110.0920.000101110110
    1120.08310.00012
    1130.07692360.00010011101112
    1140.071428560.00013
    1150.0610.00014
    1160.062500.00010
  • decimal
    expansion
    10
    1170.058823529411764716
    1180.051
    1190.05263157894736842118
    1200.050
    1210.0476196
    1220.0452
    1230.043478260869565217391322
    1240.04161
    1250.040
    1260.03846156
    1270.0373
    1280.035714286
    1290.034482758620689655172413793128
    1300.031
    1310.03225806451612915
  • decimal
    expansion
    10
    1320.031250
    1330.032
    1340.0294117647058823516
    1350.02857146
    1360.0271
    1370.0273
    1380.026315789473684210518
    1390.0256416
    1400.0250
    1410.024395
    1420.02380956
    1430.02325581395348837209321
    1440.02272
    1450.021
    1460.0217391304347826086956522
    1470.021276595744680851063829787234042553191489361746
    1480.020831
    1490.02040816326530612244897959183673469387755142
    1500.020
    1510.019607843137254916
    1520.019230766
    1530.018867924528313
    1540.01853
    1550.0182
    1560.0178571426
    1570.01754385964912280718
    1580.0172413793103448275862068965528
    1590.016949152542372881355932203389830508474576271186440677966158
    1600.0161

Thereby fraction is the unit fraction 1n and 10 is the length of the (decimal) repetend.

The lengths 10(n) of the decimal repetends of 1n, n = 1, 2, 3, ..., are:

0, 0, 1, 0, 0, 1, 6, 0, 1, 0, 2, 1, 6, 6, 1, 0, 16, 1, 18, 0, 6, 2, 22, 1, 0, 6, 3, 6, 28, 1, 15, 0, 2, 16, 6, 1, 3, 18, 6, 0, 5, 6, 21, 2, 1, 22, 46, 1, 42, 0, 16, 6, 13, 3, 2, 6, 18, 28, 58, 1, 60, 15, 6, 0, 6, 2, 33, 16, 22, 6, 35, 1, 8, 3, 1, 18, 6, 6, 13, 0, 9, 5, 41, 6, 16, 21, 28, 2, 44, 1, 6, 22, 15, 46, 18, 1, 96, 42, 2, 0... .

For comparison, the lengths 2(n) of the binary repetends of the fractions 1n, n = 1, 2, 3, ..., are:

0, 0, 2, 0, 4, 2, 3, 0, 6, 4, 10, 2, 12, 3, 4, 0, 8, 6, 18, 4, 6, 10, 11, 2, 20, 12, 18, 3, 28, 4, 5, 0, 10, 8, 12, 6, 36, 18, 12, 4, 20, 6, 14, 10, 12, 11, ... (=[n], if n not a power of 2 else =0).

The decimal repetends of 1n, n = 1, 2, 3, ..., are:

0, 0, 3, 0, 0, 6, 142857, 0, 1, 0, 09, 3, 076923, 714285, 6, 0, 0588235294117647, 5, 052631578947368421, 0, 047619, 45, 0434782608695652173913, 6, 0, 384615, 037, 571428, 0344827586206896551724137931, 3, 032258064516129, 0, 03, 2941176470588235, 285714... .

The decimal repetend lengths of 1p, p = 2, 3, 5, ... (nth prime), are:

0, 1, 0, 6, 2, 6, 16, 18, 22, 28, 15, 3, 5, 21, 46, 13, 58, 60, 33, 35, 8, 13, 41, 44, 96, 4, 34, 53, 108, 112, 42, 130, 8, 46, 148, 75, 78, 81, 166, 43, 178, 180, 95, 192, 98, 99, 30, 222, 113, 228, 232, 7, 30, 50, 256, 262, 268, 5, 69, 28, 141, 146, 153, 155, 312, 79... .

The least primes p for which 1p has decimal repetend length n, n = 1, 2, 3, ..., are:

3, 11, 37, 101, 41, 7, 239, 73, 333667, 9091, 21649, 9901, 53, 909091, 31, 17, 2071723, 19, 1111111111111111111, 3541, 43, 23, 11111111111111111111111, 99990001, 21401, 859, 757, 29, 3191, 211, 2791, 353, 67, 103, 71, 999999000001, 2028119, 909090909090909091, 900900900900990990990991, 1676321, 83, 127, 173... .

The least primes p for which kp has n different cycles (1 ≤ kp−1), n = 1, 2, 3, ..., are:

7, 3, 103, 53, 11, 79, 211, 41, 73, 281, 353, 37, 2393, 449, 3061, 1889, 137, 2467, 16189, 641, 3109, 4973, 11087, 1321, 101, 7151, 7669, 757, 38629, 1231, 49663, 12289, 859, 239, 27581, 9613, 18131, 13757, 33931... .

See also

Notes

  1. ^ Courant, R. and Robbins, H. What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, 1996: p. 67.
  2. ^ Beswick, Kim (2004), "Why Does 0.999... = 1?: A Perennial Question and Number Sense", Australian Mathematics Teacher. 60 (4): 7–9
  3. ^ "Lambert's Original Proof that $\pi$ is irrational.". Mathematics Stack Exchange. Retrieved 2023-12-19.
  4. ^ Conférence Intercantonale de l'Instruction Publique de la Suisse Romande et du Tessin (2011). Aide-mémoire. Mathématiques 9-10-11. LEP. pp. 20–21.
  5. ^ For a base b and a divisor n, in terms of group theory this length divides :\operatorname{ord}_n(b) := \min\{ L \in \N \, \mid \, b^L \equiv 1 \bmod n \} (with modular arithmetic ≡ 1 mod n) which divides the Carmichael function :\lambda(n) := \max\{\operatorname{ord}_n(b) \, \mid \, \gcd(b,n)=1\} which again divides Euler's totient function φ(n).
  6. ^ Vuorinen, Aapeli. "Rational numbers have repeating decimal expansions". Aapeli Vuorinen. Retrieved 2023-12-23.
  7. ^ "The Sets of Repeating Decimals". www.sjsu.edu. Archived 23 December 2023 at the Wayback Machine. Retrieved 2023-12-23.
  8. ^ RoRi (2016-03-01). "Prove that every repeating decimal represents a rational number". Stumbling Robot. Archived 23 December 2023 at the Wayback Machine. Retrieved 2023-12-23.
  9. ^ Gray, Alexander J. (March 2000). "Digital roots and reciprocals of primes". Mathematical Gazette. 84 (499): 86. doi:10.2307/3621484. JSTOR 3621484. S2CID 125834304 For primes greater than 5, all the digital roots appear to have the same value, 9. We can confirm this if...
  10. ^ Dickson, L. E., History of the Theory of Numbers, Volume 1, Chelsea Publishing Co., 1952.
  11. ^ William E. Heal. Some Properties of Repetends. Annals of Mathematics, Vol. 3, No. 4 (Aug., 1887), pp. 97–103
  12. ^ Albert H. Beiler, Recreations in the Theory of Numbers, p. 79
  13. ^ Mitchell, Douglas W., "A nonlinear random number generator with known, long cycle length", Cryptologia 17, January 1993, pp. 55–62.
  14. ^ Dickson, Leonard E., History of the Theory of Numbers, Vol. I, Chelsea Publ. Co., 1952 (orig. 1918), pp. 164–173.
  15. ^ Armstrong, N. J., and Armstrong, R. J., "Some properties of repetends", Mathematical Gazette 87, November 2003, pp. 437–443.