View source for Repeating decimal

{{short description|Decimal representation of a number whose digits are periodic}}
{{Redirect-distinguish|Repeating fraction|continued fraction}}
{{multiple issues|
{{More citations needed|date=July 2023}}
{{cleanup|reason=The article is polluted with multiple non-encyclopedic tables, often placed before the true content that is hidden by them. Section are placed in a random order with the most important facts relegated toward the end of the article|date=July 2024}}}}
A '''repeating decimal''' or '''recurring decimal''' is a [[decimal representation]] of a number whose [[Numerical digit|digits]] are eventually [[periodic function|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 is 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 number|rational]] if and only if its decimal representation is repeating or terminating. For example, the decimal representation of {{sfrac|1|3}} becomes periodic just after the [[decimal point]], repeating the single digit "3" forever, i.e. 0.333.... A more complicated example is {{sfrac|3227|555}}, 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 {{sfrac|593|53}}, which becomes periodic after the decimal point, repeating the 13-digit pattern "1886792452830" forever, i.e. 11.18867924528301886792452830....

{{anchor|terminating decimal}}
The infinitely repeated digit sequence 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.<ref>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.</ref> Every terminating decimal representation can be written as a [[decimal fraction]], a fraction whose denominator is a [[power (math)|power]] of 10 (e.g. {{nowrap|1.585 {{=}} {{sfrac|1585|1000}}}}); it may also be written as a [[ratio]] of the form {{sfrac|''k''|2<sup>''n''</sup>·5<sup>''m''</sup>}} (e.g. {{nowrap|1.585 {{=}} {{sfrac|317|2<sup>3</sup>·5<sup>2</sup>}}}}). 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 [[0.999...|{{nowrap|1.000... {{=}} 0.999...}}]] and {{nowrap|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]].<ref>{{citation|title=Why Does 0.999... = 1?: A Perennial Question and Number Sense|last1=Beswick|first1=Kim|journal=Australian Mathematics Teacher|volume=60|number=4|pages=7–9|year=2004}}</ref>)

Any number that cannot be expressed as a [[ratio]] of two [[integer]]s is said to be [[irrational number|irrational]]. Their decimal representation neither terminates nor infinitely repeats, but extends forever without repetition (see {{slink||Every rational number is either a terminating or repeating decimal}}). Examples of such irrational numbers are [[square root of 2|{{math|{{sqrt|2}}}}]] and [[pi|{{pi}}]].<ref>{{Cite web |title=Lambert's Original Proof that $\pi$ is irrational. |url=https://math.stackexchange.com/questions/895611/lamberts-original-proof-that-pi-is-irrational |access-date=2023-12-19 |website=Mathematics Stack Exchange |language=en}}</ref>

==Background==

===Notation===
{{more citations needed section|date=October 2024}}
There are several notational conventions for representing repeating decimals. None of them are accepted universally.
{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|+Different notations with examples
! colspan="2"|[[Fraction]]
! [[vinculum (symbol)|Vinculum]]
! Dots
! [[Parentheses]]
! Arc
! [[Ellipsis]]
|-
| style="text-align:center;border-right:none;"|{{sfrac|1|9}} || style="padding:0;border-left:none;"|
| 0.{{overline|1}}
| 0.{{overset|.|1}}
| 0.(1)
| 0.{{overarc|1}}
| 0.111...
|-
| style="text-align:center;border-right:none;"|{{sfrac|1|3}} || style="padding:0;border-left:none;"|= {{sfrac|3|9}}
| 0.{{overline|3}}
| 0.{{overset|.|3}}
| 0.(3)
| 0.{{overarc|3}}
| 0.333...
|-
| style="text-align:center;border-right:none;"|{{sfrac|2|3}} || style="padding:0;border-left:none;"|= {{sfrac|6|9}}
| 0.{{overline|6}}
| 0.{{overset|.|6}}
| 0.(6)
| 0.{{overarc|6}}
| 0.666...
|-
| style="text-align:center;border-right:none;"|{{sfrac|9|11}} || style="padding:0;border-left:none;"|= {{sfrac|81|99}}
| 0.{{overline|81}}
| 0.{{overset|.|8}}{{overset|.|1}}
| 0.(81)
| 0.{{overarc|81}}
| 0.8181...
|-
| style="text-align:center;border-right:none;"|{{sfrac|7|12}} || style="padding:0;border-left:none;"|= {{sfrac|525|900}}
| 0.58{{overline|3}}
| 0.58{{overset|.|3}}
| 0.58(3)
| 0.58{{overarc|3}}
| {{gaps|0.58|333}}...
|-
| style="text-align:center;border-right:none;"|{{sfrac|1|7}} || style="padding:0;border-left:none;"|= {{sfrac|142857|999999}}
| 0.{{overline|142857}}
| 0.{{overset|.|1}}4285{{overset|.|7}}
| 0.(142857)
| 0.{{overarc|142857}}
| {{gaps|0.142857|142857}}...
|-
| style="text-align:center;border-right:none;"|{{sfrac|1|81}} || style="padding:0;border-left:none;"|= {{sfrac|12345679|999999999}}
| 0.{{overline|012345679}}
| 0.{{overset|.|0}}1234567{{overset|.|9}}
| 0.(012345679)
| 0.{{overarc|012345679}}
| {{gaps|0.012345679|012345679}}...
|-
| style="text-align:center;border-right:none;"|{{sfrac|22|7}} || style="padding:0;border-left:none;"|= {{sfrac|3142854|999999}}
| 3.{{overline|142857}}
| 3.{{overset|.|1}}4285{{overset|.|7}}
| 3.(142857)
| 3.{{overarc|142857}}
| {{gaps|3.142857|142857}}...
|-
| style="text-align:center;border-right:none;"|{{sfrac|593|53}} || style="padding:0;border-left:none;"|= {{sfrac|111886792452819|9999999999999}}
| 11.{{overline|1886792452830}}
| 11.{{overset|.|1}}88679245283{{overset|.|0}}
| 11.(1886792452830)
| 11.{{overarc|1886792452830}}
| {{gaps|11.1886792452830|1886792452830}}...
|}

*'''Vinculum''': In the [[United States]], [[Canada]], [[India]], [[France]], [[Germany]], [[Italy]], [[Switzerland]], the [[Czech Republic]], [[Slovakia]], [[Slovenia]], [[Chile]], and [[Turkey]], the convention is to draw a horizontal line (a vinculum) above the repetend.<ref>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.</ref>
*'''Dots''': In some Islamic countries, such as [[Bangladesh]], [[Malaysia]], [[Morocco]], [[Pakistan]], [[Tunisia]], [[Iran]], [[Algeria]] and [[Egypt]], as well as the [[United Kingdom]], [[New Zealand]], [[Australia]], [[South Africa]], [[Japan]], [[Thailand]], India<!--Both of the notations are used in India. Link is not given because it is already there before.-->, [[South Korea]], [[Singapore]], and the [[People's Republic of China]], the convention is to place dots above the outermost numerals of the repetend.
*'''Parentheses''': In parts of [[Europe]], incl. [[Austria]], [[Denmark]], [[Finland]], the [[Netherlands]], [[Norway]], [[Poland]], [[Russia]] and [[Ukraine]], as well as [[Vietnam]] and [[Israel]], the convention is to enclose the repetend in parentheses. This can cause confusion with the notation for [[standard uncertainty]].
*'''Arc''': In [[Spain]] and some [[Latin America]]n countries, such as [[Argentina]], [[Brazil]], and [[Mexico]], the arc notation over the repetend is also used as an alternative to the vinculum and the dots notation.
*'''Ellipsis''': Informally, repeating decimals are often represented by an ellipsis (three periods, 0.333...), especially when the previous notational conventions are first taught in school. This notation introduces uncertainty as to which digits should be repeated and even whether repetition is occurring at all, since such ellipses are also employed for [[irrational number]]s; [[pi|{{pi}}]], for example, can be represented as 3.14159....

In English, there are various ways to read repeating decimals aloud. For example, 1.2{{overline|34}} 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.{{overline|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 {{sfrac|5|74}}:
       <u>  0.0{{overline|675}}</u>
    74 ) 5.00000
         <u>4.44</u>
           560
           <u>518</u>
            420
            <u>370</u>
             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: {{gaps|0.0675|675|675}}....

For any integer fraction {{sfrac|''A''|''B''}}, the remainder at step k, for any positive integer ''k'', is ''A'' × 10<sup>''k''</sup> (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,&nbsp;1,&nbsp;2,&nbsp;...,&nbsp;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".<ref>For a base ''b'' and a divisor ''n'', in terms of group theory [[Carmichael function#Order of elements modulo n|this length]] divides
:<math>\operatorname{ord}_n(b) := \min\{ L \in \N \, \mid \, b^L \equiv 1 \bmod n \}</math>
(with [[modular arithmetic]] {{nowrap|≡ 1 mod ''n''}}) which divides the Carmichael function
:<math> \lambda(n) := \max\{\operatorname{ord}_n(b) \, \mid \, \gcd(b,n)=1\}</math>
which again divides [[Euler's totient function]] ''φ''(''n'').</ref>

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 2<sup>''m''</sup>5<sup>''n''</sup>, 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, {{nowrap|''α'' {{=}} 5.8144144144...}} satisfies the equation
:{|
| nowrap="" |10000''α'' − 10''α''
| nowrap="" |= 58144.144144... − 58.144144...
|-
| align="right" |9990''α'' || = 58086
|-
| align="right" |Therefore, ''α'' || = {{sfrac|58086|9990}} = {{sfrac|3227|555}}
|}
The process of how to find these integer coefficients is described [[#Converting repeating decimals to fractions|below]].

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

<math>10^nx=ab.\bar{c} .</math>

If the decimals terminate (<math>c=0</math>), the proof is complete.<ref>{{Cite web |last=Vuorinen |first=Aapeli |title=Rational numbers have repeating decimal expansions |url=https://www.aapelivuorinen.com/blog/2017/03/06/rational-numbers-repeating-decimal-expansions/ |access-date=2023-12-23 |website=Aapeli Vuorinen}}</ref> For <math>c\neq0</math> with <math>k\in\mathbb{N}</math> digits, let <math>x=y. \bar{c}</math> where <math>y\in\mathbb{Z}</math> is a terminating group of digits. Then,

<math>c=d_1 d_2\,...d_k</math>

where <math>d_i</math> denotes the ''i-''th ''digit'', and 

<math>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 .</math>

Since <math>\textstyle \sum_{n=0}^\infty \frac{1}{{(10^k)}^n} = \frac{1}{1-10^{-k}} </math>,<ref>{{Cite web |title=The Sets of Repeating Decimals |url=https://www.sjsu.edu/faculty/watkins/repeatingdecimals.htm |archive-url=https://web.archive.org/web/20231223234518/https://www.sjsu.edu/faculty/watkins/repeatingdecimals.htm |archive-date=23 December 2023 |access-date=2023-12-23 |website=www.sjsu.edu}}</ref>

<math>x=y -c+\frac{10^k c }{10^k-1} .</math>

Since <math>x</math> is the sum of an integer (<math>y -c</math>) and a rational number (<math display="inline">\frac{10^kc}{10^k-1}</math>), <math>x</math> is also rational.<ref>{{Cite web |last=RoRi |date=2016-03-01 |title=Prove that every repeating decimal represents a rational number |url=https://www.stumblingrobot.com/2016/02/29/prove-that-every-repeating-decimal-represents-a-rational-number/ |archive-url=https://web.archive.org/web/20231223234333/https://www.stumblingrobot.com/2016/02/29/prove-that-every-repeating-decimal-represents-a-rational-number/ |archive-date=23 December 2023 |access-date=2023-12-23 |website=Stumbling Robot |language=en-US}}</ref>

==Table of values==
<div><ul> <!-- The <div><ul><li> code displays tables side by side when window width allows it -->
<li style="display: inline-table;">
{|class="wikitable"
!{{verth|''fraction''|va=bot}}
!decimal<br />expansion
!{{nobold|''ℓ''<sub>10</sub>}}
!binary<br />expansion
!{{nobold|''ℓ''<sub>2</sub>}}
|-
| style="text-align:center" | {{sfrac|1|2}}
|0.5
|0
|0.1
|0
|-
| style="text-align:center" | {{sfrac|1|3}}
|0.{{overline|3}}
|1
|0.{{overline|01}}
|2
|-
| style="text-align:center" | {{sfrac|1|4}}
|0.25
|0
|0.01
|0
|-
| style="text-align:center" | {{sfrac|1|5}}
|0.2
|0
|0.{{overline|0011}}
|4
|-
| style="text-align:center" | {{sfrac|1|6}}
|0.1{{overline|6}}
|1
|0.0{{overline|01}}
|2
|-
| style="text-align:center" | {{sfrac|1|7}}
|0.{{overline|142857}}
|6
|0.{{overline|001}}
|3
|-
| style="text-align:center" | {{sfrac|1|8}}
|0.125
|0
|0.001
|0
|-
| style="text-align:center" | {{sfrac|1|9}}
|0.{{overline|1}}
|1
|0.{{overline|000111}}
|6
|-
| style="text-align:center" | {{sfrac|1|10}}
|0.1
|0
|0.0{{overline|0011}}
|4
|-
| style="text-align:center" | {{sfrac|1|11}}
|0.{{overline|09}}
|2
|0.{{overline|0001011101}}
|10
|-
| style="text-align:center" | {{sfrac|1|12}}
|0.08{{overline|3}}
|1
|0.00{{overline|01}}
|2
|-
| style="text-align:center" | {{sfrac|1|13}}
|0.{{overline|076923}}
|6
|0.{{overline|000100111011}}
|12
|-
| style="text-align:center" | {{sfrac|1|14}}
|0.0{{overline|714285}}
|6
|0.0{{overline|001}}
|3
|-
| style="text-align:center" | {{sfrac|1|15}}
|0.0{{overline|6}}
|1
|0.{{overline|0001}}
|4
|-
| style="text-align:center" | {{sfrac|1|16}}
|0.0625
|0
|0.0001
|0
|} </li>
<li style="display: inline-table;">
{|class="wikitable"
!{{verth|''fraction''|va=bot}}
!decimal<br />expansion
!{{nobold|''ℓ''<sub>10</sub>}}
|-
| style="text-align:center" | {{sfrac|1|17}}
|0.{{overline|0588235294117647}}
| style="text-align:right" | 16
|-
| style="text-align:center" | {{sfrac|1|18}}
|0.0{{overline|5}}
|style="text-align:right"|1
|-
| style="text-align:center" | {{sfrac|1|19}}
|0.{{overline|052631578947368421}}
| style="text-align:right" | 18
|-
| style="text-align:center" | {{sfrac|1|20}}
|0.05
|style="text-align:right"|0
|-
| style="text-align:center" | {{sfrac|1|21}}
|0.{{overline|047619}}
|style="text-align:right"|6
|-
| style="text-align:center" | {{sfrac|1|22}}
|0.0{{overline|45}}
|style="text-align:right"|2
|-
| style="text-align:center" | {{sfrac|1|23}}
|0.{{overline|0434782608695652173913}}
| style="text-align:right" | 22
|-
| style="text-align:center" | {{sfrac|1|24}}
|0.041{{overline|6}}
|style="text-align:right"|1
|-
| style="text-align:center" | {{sfrac|1|25}}
|0.04
|style="text-align:right"|0
|-
| style="text-align:center" | {{sfrac|1|26}}
|0.0{{overline|384615}}
|style="text-align:right"|6
|-
| style="text-align:center" | {{sfrac|1|27}}
|0.{{overline|037}}
|style="text-align:right"|3
|-
| style="text-align:center" | {{sfrac|1|28}}
|0.03{{overline|571428}}
|style="text-align:right"|6
|-
| style="text-align:center" | {{sfrac|1|29}}
|0.{{overline|0344827586206896551724137931}}
| style="text-align:right" | 28
|-
| style="text-align:center" | {{sfrac|1|30}}
|0.0{{overline|3}}
|style="text-align:right"|1
|-
| style="text-align:center" | {{sfrac|1|31}}
|0.{{overline|032258064516129}}
| style="text-align:right" | 15
|} </li>
<li style="display: inline-table;">
{|class="wikitable"
!{{verth|''fraction''|va=bot}}
!decimal<br />expansion
!{{nobold|''ℓ''<sub>10</sub>}}
|-
| style="text-align:center" | {{sfrac|1|32}}
|0.03125
|style="text-align:right"|0
|-
| style="text-align:center" | {{sfrac|1|33}}
|0.{{overline|03}}
|style="text-align:right"|2
|-
| style="text-align:center" | {{sfrac|1|34}}
|0.0{{overline|2941176470588235}}
| style="text-align:right" | 16 
|-
| style="text-align:center" | {{sfrac|1|35}}
|0.0{{overline|285714}}
|style="text-align:right"|6
|-
| style="text-align:center" | {{sfrac|1|36}}
|0.02{{overline|7}}
|style="text-align:right"|1
|-
| style="text-align:center" | {{sfrac|1|37}}
|0.{{overline|027}}
|style="text-align:right"|3
|-
| style="text-align:center" | {{sfrac|1|38}}
|0.0{{overline|263157894736842105}}
| style="text-align:right" | 18 
|-
| style="text-align:center" | {{sfrac|1|39}}
|0.{{overline|025641}}
|style="text-align:right"|6
|-
| style="text-align:center" | {{sfrac|1|40}}
|0.025
|style="text-align:right"|0
|-
| style="text-align:center" | {{sfrac|1|41}}
|0.{{overline|02439}}
|style="text-align:right"|5
|-
| style="text-align:center" | {{sfrac|1|42}}
|0.0{{overline|238095}}
|style="text-align:right"|6
|-
| style="text-align:center" | {{sfrac|1|43}}
|0.{{overline|023255813953488372093}}
| style="text-align:right" | 21
|-
| style="text-align:center" | {{sfrac|1|44}}
|0.02{{overline|27}}
|style="text-align:right"|2
|-
| style="text-align:center" | {{sfrac|1|45}}
|0.0{{overline|2}}
|style="text-align:right"|1
|-
| style="text-align:center" | {{sfrac|1|46}}
|0.0{{overline|2173913043478260869565}}
| style="text-align:right" | 22
|-
| style="text-align:center" | {{sfrac|1|47}}
|0.{{overline|0212765957446808510638297872340425531914893617}}
| style="text-align:right" | 46
|-
| style="text-align:center" | {{sfrac|1|48}}
|0.0208{{overline|3}}
| style="text-align:right" | 1
|-
| style="text-align:center" | {{sfrac|1|49}}
|0.{{overline|020408163265306122448979591836734693877551}}
| style="text-align:right" | 42
|-
| style="text-align:center" | {{sfrac|1|50}}
|0.02
| style="text-align:right" | 0
|-
| style="text-align:center" | {{sfrac|1|51}}
|0.{{overline|0196078431372549}}
| style="text-align:right" | 16
|-
| style="text-align:center" | {{sfrac|1|52}}
|0.01{{overline|923076}}
| style="text-align:right" | 6
|-
| style="text-align:center" | {{sfrac|1|53}}
|0.{{overline|0188679245283}}
| style="text-align:right" | 13
|-
| style="text-align:center" | {{sfrac|1|54}}
|0.0{{overline|185}}
| style="text-align:right" | 3
|-
| style="text-align:center" | {{sfrac|1|55}}
|0.0{{overline|18}}
| style="text-align:right" | 2
|-
| style="text-align:center" | {{sfrac|1|56}}
|0.017{{overline|857142}}
| style="text-align:right" | 6
|-
| style="text-align:center" | {{sfrac|1|57}}
|0.{{overline|017543859649122807}}
| style="text-align:right" | 18
|-
| style="text-align:center" | {{sfrac|1|58}}
|0.0{{overline|1724137931034482758620689655}}
| style="text-align:right" | 28
|-
| style="text-align:center" | {{sfrac|1|59}}
|0.{{overline|0169491525423728813559322033898305084745762711864406779661}}
| style="text-align:right" | 58
|-
| style="text-align:center" | {{sfrac|1|60}}
|0.01{{overline|6}}
| style="text-align:right" | 1
|} </li>
</ul></div>

Thereby ''fraction'' is the [[unit fraction]] {{sfrac|1|''n''}} and ''ℓ''<sub>10</sub> is the length of the (decimal) repetend.

The lengths ''ℓ''<sub>10</sub>(''n'') of the decimal repetends of {{sfrac|1|''n''}}, ''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... {{OEIS|A051626}}.

For comparison, the lengths ''ℓ''<sub>2</sub>(''n'') of the [[Binary number#Representation|binary]] repetends of the fractions {{sfrac|1|''n''}}, ''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, ... (={{OEIS link|A007733}}[''n''], if ''n'' not a power of 2 else =0).

The decimal repetends of {{sfrac|1|''n''}}, ''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... {{OEIS|id=A036275}}.

The decimal repetend lengths of {{sfrac|1|''p''}}, ''p'' = 2, 3, 5, ... (''n''th 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... {{OEIS|id=A002371}}.

The least primes ''p'' for which {{sfrac|1|''p''}} 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... {{OEIS|id=A007138}}.

The least primes ''p'' for which {{sfrac|''k''|''p''}} has ''n'' different cycles ({{nowrap|1 ≤ ''k'' ≤ ''p''−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... {{OEIS|id=A054471}}.

==Fractions with prime denominators==<!-- This section is linked from [[Fermat's little theorem]] -->
{{main|Reciprocals of primes}}
A fraction [[in lowest terms]] with a [[prime number|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 {{sfrac|1|''p''}} is equal to the [[multiplicative order|order]] of 10 modulo ''p''. If 10 is a [[primitive root modulo n|primitive root]] modulo ''p'', then the repetend length is equal to ''p''&nbsp;&minus;&nbsp;1; if not, then the repetend length is a factor of ''p''&nbsp;&minus;&nbsp;1. This result can be deduced from [[Fermat's little theorem]], which states that {{nowrap|10<sup>''p''−1</sup> ≡ 1 (mod ''p'')}}.

The base-10 [[digital root]] of the repetend of the reciprocal of any prime number greater than 5 is 9.<ref>{{cite journal |last=Gray |first=Alexander J. |date=March 2000 |title=Digital roots and reciprocals of primes |journal=[[Mathematical Gazette]] |doi=10.2307/3621484 |volume=84 |issue=499 |page=86 |jstor=3621484 |s2cid=125834304 |quote=For primes greater than 5, all the digital roots appear to have the same value, 9. We can confirm this if...}}</ref>

If the repetend length of {{sfrac|1|''p''}} for prime ''p'' is equal to ''p''&nbsp;&minus;&nbsp;1 then the repetend, expressed as an integer, is called a '''cyclic number'''.

===Cyclic numbers===
{{Main|Cyclic number}}

Examples of fractions belonging to this group are:
*{{sfrac|1|7}} = 0.{{overline|142857}}, 6 repeating digits
*{{sfrac|1|17}} = 0.{{overline|0588235294117647}}, 16 repeating digits
*{{sfrac|1|19}} = 0.{{overline|052631578947368421}}, 18 repeating digits
*{{sfrac|1|23}} = 0.{{overline|0434782608695652173913}}, 22 repeating digits
*{{sfrac|1|29}} = 0.{{overline|0344827586206896551724137931}}, 28 repeating digits
*{{sfrac|1|47}} = 0.{{overline|0212765957446808510638297872340425531914893617}}, 46 repeating digits
*{{sfrac|1|59}} = 0.{{overline|0169491525423728813559322033898305084745762711864406779661}}, 58 repeating digits
*{{sfrac|1|61}} = 0.{{overline|016393442622950819672131147540983606557377049180327868852459}}, 60 repeating digits
*{{sfrac|1|97}} = 0.{{overline|010309278350515463917525773195876288659793814432989690721649484536082474226804123711340206185567}}, 96 repeating digits

The list can go on to include the fractions {{sfrac|1|109}}, {{sfrac|1|113}}, {{sfrac|1|131}}, {{sfrac|1|149}}, {{sfrac|1|167}}, {{sfrac|1|179}}, {{sfrac|1|181}}, {{sfrac|1|193}}, {{sfrac|1|223}}, {{sfrac|1|229}}, etc. {{OEIS|id=A001913}}.

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

*{{sfrac|1|7}} = 1 × 0.{{overline|142857}} = 0.{{overline|142857}}
*{{sfrac|2|7}} = 2 × 0.{{overline|142857}} = 0.{{overline|285714}}
*{{sfrac|3|7}} = 3 × 0.{{overline|142857}} = 0.{{overline|428571}}
*{{sfrac|4|7}} = 4 × 0.{{overline|142857}} = 0.{{overline|571428}}
*{{sfrac|5|7}} = 5 × 0.{{overline|142857}} = 0.{{overline|714285}}
*{{sfrac|6|7}} = 6 × 0.{{overline|142857}} = 0.{{overline|857142}}

The reason for the cyclic behavior is apparent from an arithmetic exercise of long division of {{sfrac|1|7}}: the sequential remainders are the cyclic sequence {{nowrap|{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 {{sfrac|1|7}} starts '142' and is followed by '857' while {{sfrac|6|7}} (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''&nbsp;−&nbsp;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, {{sfrac|''p''&nbsp;−&nbsp;1|10}} times). They are:<ref>Dickson, L. E., ''History of the Theory of Numbers'', Volume 1, Chelsea Publishing Co., 1952.</ref>{{rp|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,... {{OEIS|id=A073761}}.

A prime is a proper prime if and only if it is a [[full reptend prime]] and [[modular arithmetic|congruent]] to 1 mod 10.

If a prime ''p'' is both [[full reptend prime]] and [[safe prime]], then {{sfrac|1|''p''}} will produce a stream of ''p''&nbsp;−&nbsp;1 [[pseudo-random numbers|pseudo-random digits]]. Those primes are
:7, 23, 47, 59, 167, 179, 263, 383, 503, 863, 887, 983, 1019, 1367, 1487, 1619, 1823, 2063... {{OEIS|id=A000353}}.

===Other reciprocals of primes===
Some reciprocals of primes that do not generate cyclic numbers are:
*{{sfrac|1|3}} = 0.{{overline|3}}, which has a period (repetend length) of 1.
*{{sfrac|1|11}} = 0.{{overline|09}}, which has a period of two.
*{{sfrac|1|13}} = 0.{{overline|076923}}, which has a period of six.
*{{sfrac|1|31}} = 0.{{overline|032258064516129}}, which has a period of 15.
*{{sfrac|1|37}} = 0.{{overline|027}}, which has a period of three.
*{{sfrac|1|41}} = 0.{{overline|02439}}, which has a period of five.
*{{sfrac|1|43}} = 0.{{overline|023255813953488372093}}, which has a period of 21.
*{{sfrac|1|53}} = 0.{{overline|0188679245283}}, which has a period of 13.
*{{sfrac|1|67}} = 0.{{overline|014925373134328358208955223880597}}, which has a period of 33.
*{{sfrac|1|71}} = 0.{{overline|01408450704225352112676058338028169}}, which has a period of 35.
*{{sfrac|1|73}} = 0.{{overline|01369863}}, which has a period of eight.
*{{sfrac|1|79}} = 0.{{overline|0126582278481}}, which has a period of 13.
*{{sfrac|1|83}} = 0.{{overline|01204819277108433734939759036144578313253}}, which has a period of 41.
*{{sfrac|1|89}} = 0.{{overline|01123595505617977528089887640449438202247191}}, which has a period of 44.
{{OEIS|id=A006559}}

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 {{sfrac|1|''p''}}, we can check whether the prime ''p'' divides some number 999...999 in which the number of digits divides ''p''&nbsp;−&nbsp;1. Since the period is never greater than ''p''&nbsp;−&nbsp;1, we can obtain this by calculating {{sfrac|10<sup>''p''−1</sup> − 1|''p''}}. For example, for 11 we get
:<math>\frac{10^{11-1}-1}{11}= 909090909</math>

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 {{sfrac|1|13}} can be divided into two sets, with different repetends. The first set is:

*{{sfrac|1|13}} = 0.{{overline|076923}}
*{{sfrac|10|13}} = 0.{{overline|769230}}
*{{sfrac|9|13}} = 0.{{overline|692307}}
*{{sfrac|12|13}} = 0.{{overline|923076}}
*{{sfrac|3|13}} = 0.{{overline|230769}}
*{{sfrac|4|13}} = 0.{{overline|307692}}

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

*{{sfrac|2|13}} = 0.{{overline|153846}}
*{{sfrac|7|13}} = 0.{{overline|538461}}
*{{sfrac|5|13}} = 0.{{overline|384615}}
*{{sfrac|11|13}} = 0.{{overline|846153}}
*{{sfrac|6|13}} = 0.{{overline|461538}}
*{{sfrac|8|13}} = 0.{{overline|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&nbsp;''k'', where ''nk''&nbsp;=&nbsp;''p''&nbsp;&minus;&nbsp;1.

===Totient rule===
For an arbitrary integer ''n'', the length ''L''(''n'') <!-- The Carmichael function ''λ'' is defined in the next §.-->of the decimal repetend of {{sfrac|1|''n''}} divides ''φ''(''n''), where ''φ'' is the [[totient function]]. The length is equal to {{nowrap|''φ''(''n'')}} if and only if 10 is a [[primitive root modulo n|primitive root modulo ''n'']].<ref>William E. Heal. Some Properties of Repetends. Annals of Mathematics, Vol. 3, No. 4 (Aug., 1887), pp. 97–103</ref>

In particular, it follows that {{nowrap|1=''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 {{sfrac|''n''|''p''}} for ''n'' = 1, 2, ..., ''p''&nbsp;−&nbsp;1, all have period ''p''&nbsp;−&nbsp;1 and differ only by a cyclic permutation. Such numbers ''p'' are called [[full repetend prime]]s.

==Reciprocals of composite integers coprime to 10==
If ''p'' is a prime other than 2 or 5, the decimal representation of the fraction {{sfrac|1|''p''<sup>2</sup>}} repeats:
:{{sfrac|1|'''49'''}} = 0.{{overline|020408163265306122448979591836734693877551}}.

The period (repetend length) ''L''(49) must be a factor of ''λ''(49)&nbsp;=&nbsp;42, where ''λ''(''n'') is known as the [[Carmichael function]]. This follows from [[Carmichael function|Carmichael's theorem]] which states that if ''n'' is a positive integer then ''λ''(''n'') is the smallest integer ''m'' such that
:<math>a^m \equiv 1 \pmod n</math>

for every integer ''a'' that is [[coprime]] to ''n''.

The period of {{sfrac|1|''p''<sup>2</sup>}} is usually ''pT''<sub>''p''</sub>, where ''T''<sub>''p''</sub> is the period of {{sfrac|1|''p''}}. There are three known primes for which this is not true, and for those the period of {{sfrac|1|''p''<sup>2</sup>}} is the same as the period of {{sfrac|1|''p''}} because ''p''<sup>2</sup> divides 10<sup>''p''&minus;1</sup>&minus;1. These three primes are 3, 487, and 56598313 {{OEIS|id=A045616}}.<ref>Albert H. Beiler, ''Recreations in the Theory of Numbers'', p.&nbsp;79</ref>

Similarly, the period of {{sfrac|1|''p''<sup>''k''</sup>}} is usually ''p''<sup>''k''–1</sup>''T''<sub>''p''</sub>

If ''p'' and ''q'' are primes other than 2 or 5, the decimal representation of the fraction {{sfrac|1|''pq''}} repeats. An example is {{sfrac|1|119}}:
:'''119''' = 7 × 17
:''λ''(7 × 17) = [[Least common multiple|LCM]](''λ''(7), ''λ''(17)) = LCM(6, 16) = 48,

where LCM denotes the [[least common multiple]].

The period ''T'' of {{sfrac|1|''pq''}} is a factor of ''λ''(''pq'') and it happens to be 48 in this case:
:{{sfrac|1|119}} = 0.{{overline|008403361344537815126050420168067226890756302521}}.

The period ''T'' of {{sfrac|1|''pq''}} is LCM(''T''<sub>''p''</sub>,&nbsp;''T''<sub>''q''</sub>), where ''T''<sub>''p''</sub> is the period of {{sfrac|1|''p''}} and ''T''<sub>''q''</sub> is the period of {{sfrac|1|''q''}}.

If ''p'', ''q'', ''r'', etc. are primes other than 2 or 5, and ''k'', ''ℓ'', ''m'', etc. are positive integers, then
:<math>\frac{1}{p^k q^\ell r^m \cdots}</math>
is a repeating decimal with a period of
:<math>\operatorname{LCM}(T_{p^k}, T_{q^\ell}, T_{r^m}, \ldots)</math>
where ''T<sub>p<sup>k</sup></sub>'', ''T<sub>q<sup>ℓ</sup></sub>'', ''T<sub>r<sup>m</sup></sub>'',... are respectively the period of the repeating decimals {{sfrac|1|''p<sup>k</sup>''}}, {{sfrac|1|''q<sup>ℓ</sup>''}}, {{sfrac|1|''r<sup>m</sup>''}},... 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:
:<math>\frac{1}{2^a \cdot 5^b p^k q^\ell \cdots}\, ,</math>

where ''a'' and ''b'' are not both zero.

This fraction can also be expressed as:
:<math>\frac{5^{a-b}}{10^a p^k q^\ell \cdots}\, ,</math>

if ''a'' > ''b'', or as
:<math>\frac{2^{b-a}}{10^b p^k q^\ell \cdots}\, ,</math>

if ''b'' > ''a'', or as
:<math>\frac{1}{10^a p^k q^\ell \cdots}\, ,</math>

if ''a'' = ''b''.

The decimal has:
*An initial transient of max(''a'',&nbsp;''b'') 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 {{sfrac|1|''p<sup>k</sup>'' ''q<sup>ℓ</sup>'' ⋯}}.

For example {{sfrac|1|28}} = 0.03{{overline|571428}}:
*''a'' = 2, ''b'' = 0, and the other factors {{nowrap|1=''p<sup>k</sup>'' ''q<sup>ℓ</sup>'' ⋯ = 7}}
*there are 2 initial non-repeating digits, 03; and
*there are 6 repeating digits, 571428, the same amount as {{sfrac|1|7}} 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"| <math>x </math>||style="width:12em"| <math>= 0.333333\ldots</math>
|-
|style="text-align:right"| <math>10x </math>|| <math>= 3.333333\ldots</math>|| (multiply each side of the above line by 10)
|-
|style="text-align:right"| <math>9x </math>|| <math>= 3</math>|| (subtract the 1st line from the 2nd)
|-
|style="text-align:right"| <math>x </math>|| <math>= \frac39 = \frac13</math>|| (reduce to lowest terms)
|}

Another example:

:{|
|-
|style="text-align:right;width:3em"| <math>x </math>||style="width:12em"| <math>= \ \ \ \ 0.836363636\ldots</math>
|-
|style="text-align:right"| <math>10x </math>|| <math>= \ \ \ \ 8.36363636\ldots</math>|| (move decimal to start of repetition = move by 1 place = multiply by 10)
|-
|style="text-align:right"| <math>1000x </math>|| <math>= 836.36363636\ldots</math>|| (collate 2nd repetition here with 1st above = move by 2 places = multiply by 100)
|-
|style="text-align:right"| <math>990x </math>|| <math>= 828</math>|| (subtract to clear decimals)
|-
|style="text-align:right"| <math>x </math>|| <math>= \frac{828}{990} = \frac{18 \cdot 46}{18 \cdot 55} = \frac{46}{55}</math>|| (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''&nbsp;=&nbsp;7:

:<math>\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}</math>

So this particular repeating decimal corresponds to the fraction {{sfrac|1|10<sup>''n''</sup>&nbsp;−&nbsp;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:
:<math>
\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}
</math>
or
:<math>
\begin{align}
11.18867924528301886792452830\ldots & = 11 + 0.18867924528301886792452830\ldots \\[8pt]
& = 11 + \frac{10}{53} = \frac{11\cdot53 + 10}{53} = \frac{593}{53}
\end{align}
</math>

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:

:<math>\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}</math>

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... = {{sfrac|4|9}} since the repeating block is 4 (a 1-digit block),
*0.565656... = {{sfrac|56|99}} since the repeating block is 56 (a 2-digit block),
*0.012012... = {{sfrac|12|999}} since the repeating block is 012 (a 3-digit block); this further reduces to {{sfrac|4|333}}.
*0.999999... = {{sfrac|9|9}} = 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... = {{sfrac|4|9000}} since the repeating block is 4 and this block is preceded by 3 zeros,
*0.005656... = {{sfrac|56|9900}} since the repeating block is 56 and it is preceded by 2 zeros,
*0.00012012... = {{sfrac|12|99900}} = {{sfrac|1|8325}} 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... = {{sfrac|123|100}} + {{sfrac|4|900}} = {{sfrac|1107|900}} + {{sfrac|4|900}} = {{sfrac|1111|900}}
**or alternatively 1.23444... = 0.79 + 0.44444... = {{sfrac|79|100}} + {{sfrac|4|9}} = {{sfrac|711|900}} + {{sfrac|400|900}} = {{sfrac|1111|900}}
*0.3789789... = 0.3 + 0.0789789... = {{sfrac|3|10}} + {{sfrac|789|9990}} = {{sfrac|2997|9990}} + {{sfrac|789|9990}} = {{sfrac|3786|9990}} = {{sfrac|631|1665}}
**or alternatively 0.3789789... = −0.6 + 0.9789789... = −{{sfrac|6|10}} + 978/999 = −{{sfrac|5994|9990}} + {{sfrac|9780|9990}} = {{sfrac|3786|9990}} = {{sfrac|631|1665}}

An even faster method is to ignore the decimal point completely and go like this
*1.23444... = {{sfrac|1234 − 123|900}} = {{sfrac|1111|900}} (denominator has one 9 and two 0s because one digit repeats and there are two non-repeating digits after the decimal point)
*0.3789789... = {{sfrac|3789 − 3|9990}} = {{sfrac|3786|9990}} (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 [[periodic function|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 (10<sup>''n''</sup>&nbsp;−&nbsp;1)10<sup>''k''</sup>.

Conversely the period of the repeating decimal of a fraction {{sfrac|''c''|''d''}} will be (at most) the smallest number ''n'' such that 10<sup>''n''</sup>&nbsp;−&nbsp;1 is divisible by ''d''.

For example, the fraction {{sfrac|2|7}} has ''d'' = 7, and the smallest ''k'' that makes 10<sup>''k''</sup>&nbsp;−&nbsp;1 divisible by 7 is ''k'' = 6, because 999999 = 7&nbsp;×&nbsp;142857. The period of the fraction {{sfrac|2|7}} is therefore 6.

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

[[File:CodeCogsEqn(4).gif|thumb|right|240x240px|Formation rule]]

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

Note that in the absence of an '''''integer''''' part in the decimal, <math>\mathbf{I}</math> 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:

<math display="block">\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}
</math>

The symbol <math>\emptyset</math> in the examples above denotes the absence of digits of part <math>\mathbf{A}</math> in the decimal, and therefore <math>\#\mathbf{A}=0</math> 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,
:<math>0.\overline{1} = \frac{1}{10} + \frac{1}{100} + \frac{1}{1000} + \cdots = \sum_{n=1}^\infty \frac{1}{10^n}</math>

The above series is a [[geometric series]] with the first term as {{sfrac|1|10}} and the common factor {{sfrac|1|10}}. Because the absolute value of the common factor is less than 1, we can say that the geometric series [[convergent 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.
:<math>\frac{a}{1-r} = \frac{\frac{1}{10}}{1-\frac{1}{10}} = \frac{1}{10-1} = \frac{1}{9}</math>

Similarly,
:<math>\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}</math>

==Multiplication and cyclic permutation==
{{Main|Transposable integer}}

The cyclic behavior of repeating decimals in multiplication also leads to the construction of integers which are [[cyclic permutation|cyclically permuted]] when multiplied by certain numbers. For example, {{nowrap|1=102564 × 4 = 410256}}. 102564 is the repetend of {{sfrac|4|39}} and 410256 the repetend of {{sfrac|16|39}}.

==Other properties of repetend lengths==
Various properties of repetend lengths (periods) are given by Mitchell<ref>Mitchell, Douglas W., "A nonlinear random number generator with known, long cycle length", ''[[Cryptologia]]'' 17, January 1993, pp. 55&ndash;62.</ref> and Dickson.<ref>[[L. E. Dickson|Dickson, Leonard E.]], ''[[History of the Theory of Numbers]], Vol. I'', Chelsea Publ. Co., 1952 (orig. 1918), pp. 164&ndash;173.</ref>

*The period of {{sfrac|1|''k''}} for integer ''k'' is always ≤&nbsp;''k''&nbsp;&minus;&nbsp;1.
*If ''p'' is prime, the period of {{sfrac|1|''p''}} divides evenly into ''p''&nbsp;&minus;&nbsp;1.
*If ''k'' is composite, the period of {{sfrac|1|''k''}} is strictly less than ''k''&nbsp;&minus;&nbsp;1.
*The period of {{sfrac|''c''|''k''}}, for ''c'' [[coprime]] to ''k'', equals the period of {{sfrac|1|''k''}}.
*If ''k''&nbsp;=&nbsp;2<sup>''a''</sup>·5<sup>''b''</sup>''n'' where ''n''&nbsp;>&nbsp;1 and ''n'' is not divisible by 2 or 5, then the length of the transient of {{sfrac|1|''k''}} is max(''a'',&nbsp;''b''), and the period equals ''r'', where ''r'' is the [[multiplicative order]] of 10 mod n, that is the smallest integer such that {{nowrap|10<sup>''r''</sup> ≡ 1 (mod ''n'')}}.
*If ''p'', ''p′'', ''p″'',... are distinct primes, then the period of {{sfrac|1|''p'' ''p′'' ''p″'' ⋯}} equals the lowest common multiple of the periods of {{sfrac|1|''p''}}, {{sfrac|1|''p′''}}, {{sfrac|1|''p″''}},....
*If ''k'' and ''k′'' have no common prime factors other than 2 or 5, then the period of {{sfrac|1|''k k′''}} equals the least common multiple of the periods of {{sfrac|1|''k''}} and {{sfrac|1|''k′''}}.
*For prime ''p'', if
::<math>\text{period}\left(\frac{1}{p}\right)= \text{period}\left(\frac{1}{p^2}\right)= \cdots = \text{period}\left(\frac{1}{p^m}\right)</math>
:for some ''m'', but
::<math>\text{period}\left(\frac{1}{p^m}\right) \ne \text{period}\left(\frac {1}{p^{m+1}}\right),</math>
:then for ''c''&nbsp;≥&nbsp;0 we have
::<math>\text{period}\left(\frac{1}{p^{m+c}}\right) = p^c \cdot \text{period}\left(\frac{1}{p}\right).</math>

*If ''p'' is a '''proper prime''' ending in a 1, that is, if the repetend of {{sfrac|1|''p''}} is a cyclic number of length ''p''&nbsp;&minus;&nbsp;1 and ''p'' = 10''h''&nbsp;+&nbsp;1 for some ''h'', then each digit 0, 1, ..., 9 appears in the repetend exactly ''h'' =&nbsp;{{sfrac|''p''&nbsp;&minus;&nbsp;1|10}} times.

For some other properties of repetends, see also.<ref>Armstrong, N. J., and Armstrong, R. J., "Some properties of repetends", ''Mathematical Gazette'' 87, November 2003, pp. 437–443.</ref>

==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 [[numerical digit|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 {{math|'''Q'''}} and {{math|'''R'''}}.
*{{Anchor|nonUnique}}If the [[positional notation|positional numeral system]] is a standard one, that is it has base
::<math>b\in\Z\smallsetminus\{-1,0,1\}</math>
:combined with a consecutive set of digits
::<math>D:=\{d_1, d_1+1, \dots, d_r\}</math>
:with {{math|''r'' :{{=}} {{abs|b}}}}, {{math|''d<sub>r</sub>'' :{{=}} d<sub>1</sub> + ''r'' − 1}} and {{math|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 isomorphism|order homomorphism]] from the [[String (computer science)#Lexicographical ordering|lexicographical order]] of the [[sequence#Finite and infinite|right-sided infinite strings]] over the [[alphabet]] {{math|''D''}} into some closed interval of the reals, which maps the strings {{math|0.''A''<sub>1</sub>''A''<sub>2</sub>...''A''<sub>''n''</sub>{{overline|''d<sub>b</sub>''}}}} and {{math|0.''A''<sub>1</sub>''A''<sub>2</sub>...(''A<sub>n</sub>''+1){{overline|''d''<sub>1</sub>}}}} with {{math|''A<sub>i</sub>'' ∈ ''D''}} and {{math|''A<sub>n</sub>'' ≠ ''d<sub>b</sub>''}} to the same real number – and there are no other duplicate images. In the decimal system, for example, there is 0.{{overline|9}}&nbsp;=&nbsp;1.{{overline|0}}&nbsp;=&nbsp;1; in the [[balanced ternary]] system there is 0.{{overline|1}}&nbsp;=&nbsp;1.{{overline|T}}&nbsp;=&nbsp;{{sfrac|1|2}}.
*{{Anchor|repeatingLength}}A rational number has an indefinitely repeating sequence of finite length {{mvar|l}}, if the reduced fraction's denominator contains a prime factor that is not a factor of the base. If {{mvar|q}} is the maximal factor of the reduced denominator which is coprime to the base, {{mvar|l}} is the smallest exponent such that {{mvar|q}} divides {{math|''b''<sup>''ℓ''</sup> − 1}}. It is the [[multiplicative order]] {{math|ord<sub>''q''</sub>(''b'')}} of the residue class {{math|''b'' mod ''q''}} which is a divisor of the [[Carmichael function]] {{math|''&lambda;''(''q'')}} which in turn is smaller than {{mvar|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
::<math>\left(0.\overline{A_1A_2\ldots A_\ell}\right)_b</math>
:represents the fraction
::<math>\frac{( A_1A_2\ldots A_\ell)_b}{b^\ell-1}.</math>
*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]], {{sfrac|1|2}} = 0.6, {{sfrac|1|3}} = 0.4, {{sfrac|1|4}} = 0.3 and {{sfrac|1|6}} = 0.2 all terminate; {{sfrac|1|5}} = 0.{{overline|2497}} repeats with period length 4, in contrast with the equivalent decimal expansion of 0.2; {{sfrac|1|7}} = 0.{{overline|186A35}} has period 6 in duodecimal, just as it does in decimal.

If {{mvar|b}} is an integer base and {{mvar|k}} is an integer, then
:<math>\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}.</math>

For example 1/7 in duodecimal:
<math display="block">
\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}
</math>

which is 0.{{overline|186A35}}<sub>base12</sub>. 10<sub>base12</sub> is 12<sub>base10</sub>, 10<sup>2</sup><sub>base12</sub> is 144<sub>base10</sub>, 21<sub>base12</sub> is 25<sub>base10</sub>, A5<sub>base12</sub> is 125<sub>base10</sub>.

=== Algorithm for positive bases ===
For a rational {{math|0 < {{sfrac|''p''|''q''}} < 1}} (and base {{math|''b'' ∈ '''N'''<sub>>1</sub>}}) there is the following algorithm producing the repetend together with its length:
<syntaxhighlight lang="mupad" highlight="9,10">
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
</syntaxhighlight>
The first highlighted line calculates the digit {{mvar|z}}.

The subsequent line calculates the new remainder {{mvar|p′}} of the division [[Modular arithmetic|modulo]] the denominator {{mvar|q}}. As a consequence of the [[Floor and ceiling functions|floor function]] <code>floor</code> we have
: <math>\frac{b p}{q} - 1 \; \; < \; \; z = \left\lfloor \frac{b p}{q} \right\rfloor \; \; \le \; \; \frac{b p}{q} , </math>
thus
: <math>b p - q < z q \quad \implies \quad p' := b p - z q < q </math>
and
: <math>z q \le b p\quad \implies \quad 0 \le b p - z q =: p' \,.</math>
Because all these remainders {{mvar|p}} are non-negative integers less than {{mvar|q}}, there can be only a finite number of them with the consequence that they must recur in the <code>while</code> loop. Such a recurrence is detected by the [[associative array]] <code>occurs</code>. The new digit {{mvar|z}} is formed in the yellow line, where {{mvar|p}} is the only non-constant. The length {{mvar|L}} of the repetend equals the number of the remainders (see also section [[#Every rational number is either a terminating or repeating decimal|Every rational number is either a terminating or repeating decimal]]).

==Applications to cryptography==
Repeating decimals (also called decimal sequences) have found cryptographic and error-correction coding applications.<ref>Kak, Subhash, Chatterjee, A. "On decimal sequences". ''IEEE Transactions on Information Theory'', vol. IT-27, pp. 647–652, September 1981.</ref> In these applications repeating decimals to base 2 are generally used which gives rise to binary sequences. The maximum length binary sequence for {{sfrac|1|''p''}} (when 2 is a primitive root of ''p'') is given by:<ref>Kak, Subhash, "Encryption and error-correction using d-sequences". ''IEEE Transactios on Computers'', vol. C-34, pp. 803–809, 1985.</ref>
:<math>a(i) = 2^i \bmod p \bmod 2</math>

==See also==
*[[Decimal representation]]
*[[Full reptend prime]]
*[[Midy's theorem]]
*[[Parasitic number]]
*[[Trailing zero]]
*[[Unique prime]]
*[[0.999...]], a repeating decimal equal to one
*[[Pigeonhole principle]]

==Notes==
{{Reflist}}

==External links==
*{{MathWorld|title=Repeating Decimal|urlname=RepeatingDecimal}}

[[Category:Elementary arithmetic]]
[[Category:Numeral systems]]

[[de:Rationale Zahl#Dezimalbruchentwicklung]]