Mostra la font per a 0,999...

{{Infotaula nombre
| imagen = 999 Perspective 2.svg
| factoritzacio = No
}}
En [[matemàtiques]], el nombre '''0,999…''' amb el 9 com un nombre [[decimal periòdic]],<ref group="n.">També es pot escriure amb un circumflex <math style="position:relative;top:-.35em">0,\widehat{9}</math>, amb una barra <math style="position:relative;top:-.35em"> 0,\bar{9}</math>, amb un punt <math style="position:relative;top:-.35em">0,\dot{9}</math>, o entre parèntesis <math style="position:relative;top:-.2em"> 0,(9)\,\!</math></ref> denota el [[nombre natural]] [[u (nombre)|'''u''']]. En altres paraules, les notacions «0,999…» i «1» representen el mateix nombre en el sistema de nombres reals. Les [[demostració matemàtica|demostracions]] d'aquesta [[Igualtat matemàtica|igualtat]] s'han formulat amb diversos graus de rigor matemàtic, tot depenent del mètode preferit per definir els nombres reals, les hipòtesis i suposicions de partida, el context històric i l'audiència d'objectiu.

Certs nombres reals es poden representar per més d'una cadena de dígits i aquest fet no és un cas que es limiti al sistema decimal. El mateix fenomen succeeix en totes les [[Base (aritmètica)|bases]] d'[[nombre enter|enters]], i els matemàtics també han quantificat les formes per escriure 1 en [[Representació no entera|bases no enteres]]. Aquest tampoc no és un fenomen únic de l'1: tots els nombres diferents de zero amb una representació decimal finita tenen un bessó periòdic pur acabat en xifres decimals iguals a 9, com 28,3287 i 28,3286999… Per a simplificar-ho, el decimal finit és gairebé sempre la representació preferida, contribuint a una mala interpretació el fet que sigui l{{'}}''única'' representació. Fins i tot de manera més general, qualsevol sistema de numeració posicional conté una quantitat infinita de nombres amb representacions múltiples. Aquestes diverses identitats s'han aplicat d'aquesta manera per entendre més bé els patrons en les expansions decimals de [[fracció|fraccions]] i l'estructura d'un [[fractal]] simple, el [[conjunt de Cantor]]. També apareixen en la investigació ja clàssica de la infinitat del conjunt sencer dels nombres reals.

La [[Igualtat matemàtica|igualtat]] <math>0,999...=1</math> ha estat acceptada durant molt de temps pels matemàtics professionals i s'ha ensenyat en els llibres de text. En les darreres dècades, els experts en l'[[ensenyament]] de [[matemàtiques]] han estudiat la percepció d'aquesta igualtat entre els estudiants, molts dels quals inicialment qüestionen o rebutgen aquesta igualtat. Molts es basen en una [[apel·lació a l'autoritat]] d'acord amb determinats llibres de text i professors, o per raonaments aritmètics com els de no acceptar que tots dos siguin iguals. Tanmateix, alguns sovint se senten prou molestos per buscar una altra justificació. El raonament dels estudiants per negar o afirmar la igualtat es basa típicament en un error —d'entre uns quants errors comuns—, provocat pel comportament contrari a la intuïció dels nombres reals. Per exemple, que cada nombre real té una expansió decimal única, que els nombres reals [[mètodes infinitesimals|infinitesimals]] diferents de zero haurien d'existir, o que l'expansió de 0,999… finalment acaba.

Es poden construir sistemes de nombres que compleixin algunes d'aquestes intuïcions, i en alguns d'aquests sistemes la igualtat és falsa. Cal considerar que aquests sistemes de nombres són diferents del sistema de [[nombre real|nombres reals]] estàndard que es fa servir en matemàtica elemental, i que ja s'ha comentat. En efecte, algunes construccions de nombres contenen nombres que són "infinitesimalment" propers a 1; generalment no estan relacionats amb 0,999…, però són d'interès considerable en [[anàlisi matemàtica]].

== Consideracions prèvies ==
0,999… és un nombre escrit en el [[sistema de numeració]] [[nombre decimal|decimal]], i algunes de les proves més senzilles que afirmen que <math>0,999...=1</math> es basen en les propietats [[aritmètica|aritmètiques]] d'aquest sistema. La majoria d'operacions de [[suma]], [[resta]], [[multiplicació]], [[divisió]], i manipulacions de [[inequació|comparació]] fan servir algun tipus de manipulació pel que fa a dígits que són molt semblants a les que es fan amb [[nombre enter|nombres enters]]. Com en el cas dels enters, dos decimals qualsevol finits amb dígits diferents signifiquen nombres diferents, sempre ignorant els zeros de la dreta. En particular, qualsevol nombre de la forma 0,99…9, on les xifres 9 finalment s'aturen, és estrictament menor que 1.

Malinterpretar el significat de l'ús dels [[punts suspensius|"…" (punts suspensius]]) en l'expressió numèrica 0,999… genera un malentès amb relació a la seva igualtat a 1. L'ús, aquí, és diferent del que es fa servir en la llengua o en l'expressió 0,99…9, on els punts suspensius especifiquen que una porció aproximadament «finita» es deixa sense manifestar o és omesa. Quan "…" es fa servir per especificar un [[decimal periòdic]], vol dir que una porció «infinita» s'ha deixat sense manifestar; aquesta afirmació només es pot interpretar com un nombre fent servir el concepte matemàtic de [[límit]]s. Com a resultat, en l'ús matemàtic convencional el valor assignat a la notació "0,999…" es defineix com el [[nombre real]] que és el [[límit]] de la [[Successió (matemàtiques)|successió]] convergent (0,9; 0,99; 0,999; 0,9999; etc.).

A diferència del que succeeix amb els enters i els decimals finits, notacions diferents també poden expressar de maneres múltiples un únic nombre. Com, per exemple, fent servir [[Fracció|fraccions]] {{frac|1|3}} = {{frac|2|6}}. Els decimals infinits, tanmateix, poden expressar el mateix nombre com a màxim de dues maneres diferents. Si hi ha dues maneres, llavors una d'elles ha d'acabar amb una sèrie infinita de xifres 9, i l'altra consta d'una sèrie de zeros que es repeteixen a partir d'un cert punt.

Hi ha moltes demostracions que conclouen que 0,999… = 1, amb diversos graus de rigor matemàtic. Un breu esbós d'una prova rigorosa es pot expressar simplement de la manera següent: considereu que dos [[nombre real|nombres reals]] siguin idèntics [[si i només si]] la seva diferència és igual a zero. La majoria de les persones acceptarien que la diferència entre 0,999… i 1, si és que existeix, ha de ser molt petita. Considerant la convergència de la seqüència de dalt, es pot demostrar que la magnitud d'aquesta diferència ha de ser més petita que qualsevol quantitat positiva, i es pot demostrar que l'únic nombre real amb aquesta propietat és el 0.<ref group="n.">Per a més detalls, vegeu [[propietat arquimediana]].</ref> Com la diferència és 0 es pot concloure que els nombres 1 i 0,999… són idèntics. El mateix argument també explica per què 0,333… = {{frac|1|3}}, 0,111… = {{frac|1|9}}, etc.

== Demostracions ==
=== Algebraiques ===
==== Fraccions i divisió euclidiana ====
Una raó per la qual els decimals infinits són una ampliació necessària dels decimals finits és que serveixen per representar fraccions. Utilitzant l'[[algorisme]] de dividir, una divisió simple d'enters com {{frac|1|3}} esdevé un decimal periòdic, 0,333…, en el qual els dígits es repeteixen sens fi. Aquest decimal produeix una demostració ràpida del tipus <math>0,999...=1 </math>. La multiplicació de 3 per 3 dona 9 a cada dígit; així, <math>3 \times 0,333... = 0,999... </math>. I també <math>3 \times \frac{1}{3} = 1</math>; d'aquesta manera <math>0,999...=1</math>.<ref name="CME">Vegeu (i compareu) la versió binària del mateix argument a Silvanus P. Thompson, ''Calculus Made Easy'' (''El càlcul fet fàcil'')</ref>

Una altra forma d'aquesta prova multiplica <math>\frac{1}{9} = 0,111...</math> per 9.
:{| style="wikitable"
|<math>
\begin{align}
0,333\dots &{} = \frac{1}{3} \\
3 \times 0,333\dots &{} = 3 \times \frac{1}{3} = \frac{3 \times 1}{3} \\
0,999\dots &{} = 1
\end{align}
</math>
|width="25px"|
|width="25px" style="border-left:1px solid silver;"|
|<math>
\begin{align}
0,111\dots & {} = \frac{1}{9} \\
9 \times 0,111\dots & {} = 9 \times \frac{1}{9} = \frac{9 \times 1}{9} \\
0,999\dots & {} = 1
\end{align}
</math>
|}

Una versió més compacta de la mateixa prova ve donada per les equacions següents:
:<math>
1 = \frac{9}{9} = 9 \times \frac{1}{9} = 9 \times 0,111\dots = 0,999\dots
</math>

Ja que les dues equacions són vàlides, 0,999… s'ha d'igualar a 1 (per la [[propietat transitiva]]). De manera similar <math>\frac{3}{3} = 1</math>, i <math>\frac{3}{3} = 0,999...</math>. Així 0,999… s'ha d'igualar a 1.

==== Manipulació de dígits ====
Hi ha una altra classe de prova que s'adapta més fàcilment a altres decimals que es repeteixen. Quan un nombre en notació decimal es multiplica per 10, els dígits no canvien però el [[separador decimal]] es desplaça un lloc a la dreta. Així, «10 × 0,999… = 9,999…» i el resultat és nou unitats més gran que el nombre original.

Per veure-ho, es resta 0,999… de 9,999… i es pot continuar dígit a dígit; en cada un dels dígits després del separador decimal el resultat és «9 − 9», que dona com a resultat 0. Però afegint zeros a la dreta de la coma no modifica un nombre i, per tant, la diferència és exactament 9. El pas final fa servir operacions d'àlgebra. Sia el nombre decimal en qüestió (0,999…) al que anomenem ''x''; llavors «10''x'' − ''x'' = 9». Això és el mateix que «9''x'' = 9». Dividint els dos costats entre 9 completa la prova: «''x'' = 1».<ref name="CME"/> Tot això, escrit com una seqüència d'equacions es presenta:
:<math>
\begin{align}
x &= 0,999\ldots \\
10 x &= 9,999\ldots \\
10 x - x &= 9,999\ldots - 0,999\ldots \\
9 x &= 9 \\
x &= 1 \\
0,999\ldots &= 1
\end{align}
</math>

La validesa de les manipulacions de dígits de les dues proves anteriors no s'han d'acceptar per una qüestió de fe o com un axioma; deriven de la relació fonamental entre els decimals i els nombres que representen. Aquesta relació, que es pot desenvolupar d'unes quantes maneres equivalents, ja estableix que els decimals 0,999… i 1,000… representen el mateix nombre.

=== Analítica ===
Com que la qüestió de 0,999… no afecta el desenvolupament formal de les matemàtiques, es pot ajornar fins que es demostrin els teoremes estàndards de l'[[anàlisi real]]. Uns requisits necessaris són caracteritzar els nombres reals que es poden escriure en notació decimal —que està compost per un signe opcional—, en una seqüència finita de qualsevol nombre de dígits que formen una part entera, en un separador decimal, i en una seqüència de dígits que formen una part fraccionària. Per tal de parlar de 0,999… la part entera es pot resumir com ''b''<sub>0</sub> i es poden negligir els negatius. D'aquesta manera una expansió decimal té la forma
:<math>b_0.b_1b_2b_3b_4b_5\dots</math>

És vital que la part fraccionària, a diferència de la part entera, no estigui limitada a un nombre finit de dígits; això és una [[notació posicional]]. D'aquesta manera, per exemple, el 5 en 500 contribueix amb deu vegades més que el 5 en 50, i el 5 en 0,05 contribueix amb una desena part com el 5 en 0,5.

==== Sèrie Infinita i successions ====
El desenvolupament d'expansions decimals més habitual és, probablement, el de definir-les com a sumes de [[Sèrie (matemàtiques)|sèries infinites]]. En general:
:<math>b_0. b_1 b_2 b_3 b_4 \ldots = b_0 + b_1\left({\tfrac{1}{10}}\right) + b_2\left({\tfrac{1}{10}}\right)^2 + b_3\left({\tfrac{1}{10}}\right)^3 + b_4\left({\tfrac{1}{10}}\right)^4 + \cdots .</math>

Per a 0,999… es pot aplicar el teorema de [[sèrie convergent|convergència]] pel que fa a la [[sèrie geomètrica]]:<ref name="Rudin">Rudin, pàg. 61</ref><ref>Teorema, pàg. 26</ref><ref name="J">J. Stewart, pàg. 706</ref>
:Si <math>|r| < 1 \,\!</math> llavors <math>ar+ar^2+ar^3+\cdots = \frac{ar}{1-r}.</math>

Com que 0,999… és una suma donada amb una raó comuna <math>r=\textstyle\frac{1}{10}</math>, el teorema resol la qüestió:
:<math>0,999\ldots = 9\left(\tfrac{1}{10}\right) + 9\left({\tfrac{1}{10}}\right)^2 + 9\left({\tfrac{1}{10}}\right)^3 + \cdots = \frac{9\left({\tfrac{1}{10}}\right)}{1-{\tfrac{1}{10}}} = 1.\,</math>

Aquesta demostració (de fet, que 10 és igual a 9,999…) apareix ja l'any [[1770]] als ''Elements d'àlgebra'' de [[Leonhard Euler]].<ref>Euler, pàg. 170</ref>
[[Fitxer:base4 333.svg|miniatura|esquerra|Exemple de límits. L'interval unitat, incloent-hi la successió decimal en '''base 4''' (0,3; 0,33; 0,333; …) convergint a 1.]]

La suma d'una sèrie geomètrica és un resultat fins i tot més antic que el d'[[Euler]]. Una demostració típica del {{segle|XVIII|s}} fa servir una manipulació terme-a-terme similar a la [[Àlgebra|demostració emprant l'àlgebra]] donada anteriorment. També el 1811, el llibre de text de [[John Bonnycastle]], ''Una introducció a l'àlgebra'', fa servir una sèrie geomètrica com aquesta per justificar la mateixa maniobra en el cas de 0,999…<ref>Grattan-Guinness, pàg. 69</ref><ref>Bonnycastle, pàg. 177</ref> Una reacció a tals mètodes d'addició liberals produïda al {{segle|XIX}} portà com a conseqüència la definició que encara domina avui: la suma d'una sèrie es ''defineix'' com el límit de la successió de les seves sumes parcials. Una demostració corresponent del teorema calcula explícitament aquesta successió; es pot trobar en qualsevol introducció al càlcul o l'anàlisi basada en la demostració.<ref name="J"/><ref name="Rudin"/><ref>Protter i Morrey, pàg. 213</ref><ref>Pugh, pàg. 180</ref><ref>J.B. Conway, pàg. 31</ref>

Una [[successió matemàtica|successió]] (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''₂, …) té un [[límit]] ''x'' si la distància |''x'' − ''x''<sub>''n''</sub>| esdevé arbitràriament petita a mesura que ''n'' augmenta. La mateixa afirmació 0,999… = 1 es pot interpretar i demostrar com un límit:.<ref group="n.">El límit que es mostra està tret de Rudin, ''Teorema 3.20e'', pàg. 57. Per a una aproximació més directa, vegeu també Finney, Weir, Giordano (2001), ''Càlcul: Primers Transcendentals'' 10a ed., Addison-Wesley, Nova York. Secció 8.1, exemple 2 (a), exemple 6(b).</ref>
:<math>0,999\ldots = \lim_{n\to\infty}0,\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k} = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n} = 1.\,</math>

L'últim pas
:<math>\lim_{n\to\infty} \frac{1}{10^n} = 0</math><br/>
sovint es justifica per l'axioma que els nombres reals tenen la [[propietat arquimediana]]. Aquesta actitud basada en el límit cap a 0,999… sovint s'explica en més termes evocatius, però menys precisos. Per exemple, a ''Aritmètica d'Universitat'', un llibre de text de [[1846]], s'explica: ''«0,999 +, continuat a l'infinit = 1, perquè totes les annexions d'un 9 porten el valor més proper a 1.»'' Mig segle més tard (1895), a ''Aritmètica per a Escoles'', es diu: ''«... quan es pren un nombre gran de 9 segons, la diferència entre 1 i 0,99999… esdevé inconcebiblement petita"»''<ref>Davies, pàg. 175</ref><ref>Ferrer i Harrington, pàg. 115</ref> Aquestes [[heurística|heurístiques]] són sovint interpretades pels estudiants en el sentit que impliquen que 0,999… mateix és menor que 1.

==== Intervals niats i ínfims ====
[[Fitxer:999 Intervals C.svg|miniatura|Intervals niats: en base 3, 1 = 1,000… = 0,222…]]
La definició de la secció anterior que utilitza sèries és una manera senzilla de definir un nombre real descrit per una expressió decimal periòdica. Un enfocament complementari segueix el procés oposat: per a un determinat nombre real, cal definir l'expansió o expansions decimals per anomenar-lo.

Si un nombre real ''x'' pertany a l'[[interval tancat]] [0, 10] (és a dir, és "més gran o igual a 0" i "més petit o igual a 10"), es pot imaginar de dividir aquell interval en deu peces que s'encavalquin només en els seus punts finals: [0, 1], [1, 2], [2, 3], etcètera fins a [9, 10]. El nombre ''x'' ha de pertànyer a un d'ells; si pertany a [2, 3] llavors s'enregistra el dígit "2" i se subdivideix aquell interval en [2, 2.1], [2.1, 2.2], …;, [2.8, 2.9], [2.9, 3]. Continuant aquest procés es produeix una successió infinita d'[[intervals niats]], etiquetada per una successió infinita de dígits ''b''<sub>0</sub>, ''b''<sub>1</sub>, ''b''₂, ''b''₃, …, i s'escriu:
:''x'' = ''b''<sub>0</sub>.''b''<sub>1</sub>''b''₂''b''₃…

En aquest formalisme, les identitats <math>1 = 0,999...</math> i <math>1 = 1.000...</math> reflecteixen, respectivament, el fet que 1 sigui en els dos intervals [0, 1] i [1, 2]; d'aquesta manera es pot escollir qualsevol subinterval en què es poden trobar els seus dígits. Per assegurar que aquesta notació no abusi del signe "=", cal un camí que reconstrueixi un nombre real únic per a cada decimal. Això es pot fer amb límits, però altres construccions donen continuïtat al tema de l'ordenació.<ref name="Beals">Beals, pàg. 22</ref><ref>I. Stewart, pàg. 34</ref>

L'elecció directa és el [[teorema d'intervals niats]] que garanteix que donada una successió d'intervals tancats niats, les llargades del qual es tornen arbitràriament petites, els intervals contenen exactament un nombre real en la seva [[intersecció]]. Així ''b''<sub>0</sub>.''b''<sub>1</sub>''b''₂''b''₃… es defineix com l'únic nombre que està contingut dins de tots els intervals [''b''<sub>0</sub>, ''b''<sub>0</sub> + 1], [''b''<sub>0</sub>.''b''<sub>1</sub>, ''b'' <sub>0</sub>.''b''<sub>1</sub> + 0.1], etc. Llavors, 0,999… és el nombre real únic que apareix en tots els intervals [0, 1], [0,9, 1], [0,99, 1], i [0,99…9, 1] per a cada cadena finita de xifres 9. Com que 1 és un element de cada un d'aquests intervals, llavors <math> 0,999...=1</math>.<ref>Bartle i Sherbert, pàg. 60-62</ref><ref>Pedrick, pàg. 29</ref><ref>Sohrab, pàg. 46</ref>

El teorema dels Intervals Niats es basa normalment a una característica més fonamental dels nombres reals: l'existència de [[suprem]] o ''la més petita de les fites superiors''. Per explotar directament aquests objectes, es pot definir ''b''<sub>0</sub>.''b''<sub>1</sub>''b''₂''b''₃… com la fita superior més petita del conjunt d'aproximants {''b''<sub>0</sub>, ''b''<sub>0</sub>.''b''<sub>1</sub>, ''b''<sub>0</sub>.''b''<sub>1</sub>''b''₂, …}.<ref>Apostol, pàg. 9, pàg. 11-12</ref><ref name="Beals"/><ref>Rosenlicht, pàg. 27</ref> Llavors es pot mostrar que aquesta definició (o la definició d'intervals niats) és coherent amb el procediment de subdivisió, implicant 0,999… = 1 una altra vegada. Tom Apostol conclou:
<blockquote>
''El fet que un nombre real pugui tenir dues representacions decimals diferents és merament un reflex del fet que dos conjunts diferents de nombres reals puguin tenir el mateix suprem.''<ref>Apostol, pàg. 12</ref>
</Blockquote>

=== Basades en la construcció dels nombres reals ===
{{Vegeu també|Construcció dels nombres reals}}
Alguns enfocaments defineixen explícitament els nombres reals com [[construcció dels nombres reals|certes estructures construïdes a partir dels nombres racionals]], fent servir la [[teoria axiomàtica de conjunts]]. Els [[nombres naturals]] –0, 1, 2, 3, etc.– comencen amb el 0 i van pujant, de manera que tots els nombres tenen un successor. Es pot estendre els nombres naturals amb els seus negatius per obtenir tots els [[nombre enter|enters]], i continuar estenent-los a proporcions, donant els [[nombre racional|nombres racionals]]. Aquests sistemes de nombres van acompanyats de les operacions [[aritmètica|aritmètiques]] d'[[addició]], [[sostracció]], [[multiplicació]], i [[divisió]]. Més subtilment, inclouen l'[[relació d'ordre|ordenació]], de manera que un nombre es pugui comparar amb un altre i trobar si és "més petit que", "més gran que", o "igual que" un altre nombre.

El pas des dels nombres racionals als reals és una ampliació essencial. Hi ha com a mínim dues maneres populars d'aconseguir aquest pas, les dues publicades l'any [[1872]]: els [[Tall de Dedekind|Talls de Dedekind]] i les [[Successió de Cauchy|Successions de Cauchy]]. Als llibres de text sobre anàlisi real no es troben demostracions de <math>0,999...=1</math> que directament utilitzin aquestes dues construccions; la tendència moderna durant les darreres dècades ha estat fer servir una anàlisi axiomàtica. Fins i tot quan s'ofereix una construcció, normalment s'aplica per demostrar els axiomes dels nombres reals, que llavors donen suport a les demostracions citades. Tanmateix, diversos autors creuen que començar a partir d'una construcció, des d'una perspectiva lògica és una forma més apropiada i les demostracions que en resulten són més autònomes.<ref group="n.">La síntesi històrica ha estat reivindicada per Griffiths i Hilton (p.xiv) el 1970 i una altra vegada per Pugh (p. 10) el 2001. Ambdós, de fet, prefereixen els Talls de Dedekind als axiomes. Per a l'ús dels talls en llibres de text, vegeu Pugh pàg. 17 i Rudin pàg. 17. Per a punts de vista sobre lògica, Pugh pàg. 10, Rudin pàg.ix i Munkres pàg. 30.</ref>

==== Talls de Dedekind ====
{{Vegeu també|Talls de Dedekind}}

En l'enfocament basat en els [[Tall de Dedekind|talls de Dedekind]], cada nombre real ''x'' es defineix com el [[conjunt infinit]] de tots els nombres racionals que són més petits que ''x''.<ref group="n.">Enderton (p. 113) qualifica aquesta descripció: "La idea que preval darrere els Talls de Dedekind és que un nombre real ''x'' pot ser anomenat donant un conjunt infinit de rationals, és a dir tots els rationals més petits que ''x''. Es defineix de fet ''x'' com el conjunt de rationals més petits que ''x''. Per evitar circularitat en la definició, s'ha de ser capaç de caracteritzar els conjunts de rationals que es poden obtenir d'aquesta manera…";</ref> En particular, el nombre real 1 és el conjunt de tots els nombres racionals que són inferiors a 1.<ref>Rudin, pàg. 17-20</ref><ref name="Richman">Richman, pàg. 399</ref><ref>Enderton, pàg. 119.</ref><ref group="n.">Per ser més precisos, Rudin, Richman, i Enderton anomenen aquest 1* tall, 1<sup>−</sup>, i 1<sub>''R''</sub>, respectivament; els tres identifiquen això amb el nombre real tradicional 1. Cal notar que el que Rudin i Enderton anomenen un Tall de Dedekind, Richman l'anomena un "Tall de Dedekind no principal".</ref> Cada expansió decimal positiva determina fàcilment un tall de Dedekind: el conjunt de nombres racionals que són menors que alguna etapa de l'expansió. Així el nombre real 0,999… és el conjunt de nombres racionals ''r'' tals que ''r'' < 0, o ''r'' < 0,9, o ''r'' < 0,99 o ''r'' és menor que algun altre nombre de la forma <math>\begin{align}1-\left(\tfrac{1}{10}\right)^n\end{align}</math>.<ref name="Richman"/> Tots els elements de 0,999… són menors que 1; per tant, és un element del nombre real 1. De manera recíproca, un element d'1 és un nombre racional: <math>\begin{align}\tfrac{a}{b}<1\end{align}</math>, que implica <math>\begin{align}\tfrac{a}{b}<1-\left(\tfrac{1}{10}\right)^b\end{align}</math>. 0,999… i 1 contenen els mateixos nombres racionals; són el mateix: <math>0,999 ... = 1</math>.

La definició de nombres reals com a Tall de Dedekind va ser publicada per primera vegada per [[Richard Dedekind]] l'any 1872.<ref name="MacTutor2">{{ref-web |url=http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |títol=History topic: The real numbers: Stevin to Hilbert |autor=J J O'Connor and E F Robertson |obra=MacTutor History of Mathematics |mes=Octubre |any=2005 |consulta=30-08-2006 |arxiuurl=https://web.archive.org/web/20070929095431/http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |arxiudata=2007-09-29}}</ref>

Aquest enfocament que assigna un nombre real a cada expansió decimal va aparèixer en un article de Fred Richman titulat "És 0,999 … = 1?",<ref>Fred Richman. "És 0,999 … = 1?", ''Mathematics Magazine''</ref> adreçada a professors de matemàtiques d'escola, especialment dels nivells júnior i superior, i als seus estudiants.<ref>{{ref-web |url=http://www.maa.org/pubs/mm-guide.html |títol=Mathematics Magazine:Guidelines for Authors |editor=Mathematical Association of America |consulta=23-08-2006 |arxiuurl=https://web.archive.org/web/20120210214925/http://www.maa.org/pubs/mm-guide.html |arxiudata=2012-02-10}}</ref> Richman observa que agafant talls de Dedekind en qualsevol [[subconjunt dens]] dels nombres racionals es produeixen els mateixos resultats. En particular, fa servir [[fraccions decimals]], per a les quals la demostració és més immediata: ''«Així es veu que en la definició tradicional dels nombres reals, l'equació <math>0,9* = 1</math> s'incorpora al començament.»''<ref>Richman, pàg. 398-399</ref> Una altra modificació del procediment condueix a una estructura diferent que Richman està més interessat a descriure; vegeu "[[#0,999... en sistemes de nombres alternatius|sistemes de nombres alternatius]]" en una secció posterior.

==== Successions de Cauchy ====
{{Vegeu també|Successió de Cauchy}}
Un altre enfocament per construir els nombres reals fa servir l'ordenació dels racionals d'una manera menys directa. Primer de tot, la distància entre ''x'' i ''y'' es defineix com el [[valor absolut]] |''x'' − ''y''|, on el valor absolut |''z''| es defineix com el màxim de ''z'' i −''z''; d'aquesta manera mai és negatiu. A continuació, els nombres reals es defineixen com les successions de racionals que tenen la propietat de la [[successió de Cauchy]], que fa servir aquesta distància. És a dir, en la successió ''(x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''₂, …), existeix una correspondència dels nombres naturals amb els racionals, per a qualsevol δ racional positiu; hi ha un ''N'' tal que |''x''<sub>''m''</sub> − ''x''<sub>''n''</sub>| ≤ δ; per a tots ''m'', ''n'' > ''N''. La distància entre termes es torna més petita que qualsevol positiu racional.<ref>Griffiths i Hilton, §24.2 "Successions", pàg. 386</ref>

Si ''(x''<sub>''n'' </sub>) i ''(y''<sub>''n'' </sub>) són dues seqüències de Cauchy, per ser iguals als nombres reals es defineixen d'acord amb si la seqüència ''(x''<sub>''n'' </sub> − ''y''<sub>''n'' </sub>) té el límit 0. Els truncaments del nombre decimal ''b''<sub>0</sub>.''b''<sub>1</sub>''b''₂''b''₃… generen una seqüència de racionals que és de Cauchy; es considera que aquest fet defineix el valor real del nombre.<ref>Griffiths i Hilton, pàg. 388, 393</ref> Així, en aquest formalisme, la tasca és demostrar que la seqüència de nombres racionals
:<math>\left(1 - 0, 1 - {9 \over 10}, 1 - {99 \over 100}, \dots\right)
= \left(1, {1 \over 10}, {1 \over 100}, \dots \right)</math>
té el límit 0. Considerant el terme número ''n'' de la seqüència, per <math> ''n'' =0,1,2,...</math> per tant, cal demostrar que
:<math>\lim_{n\rightarrow\infty}\frac{1}{10^n} = 0.</math>

Aquest límit és clar;<ref>Griffiths i Hilton, pàg. 395</ref> una prova possible és que per a ε = ''a'' / ''b'' > 0, en la definició del [[límit]] d'una seqüència es pot prendre un <math>''N'' = ''b''</math>. Per tant, una altra vegada <math>0,999... = 1</math>.

La definició de nombres reals com a seqüències de Cauchy va ser publicada per primera vegada per [[Eduard Heine]] i [[Georg Cantor]], per separat, també el 1872.<ref name="MacTutor2"/> L'aproximació a expansions decimals ja comentada, que inclou la prova de <math>0,999... = 1</math>, segueix de prop l'obra de Griffiths i Hilton (1970),<ref>Griffiths i Hilton (1970). ''A comprehensive textbook of classical mathematics: A contemporary interpretation''</ref> un llibre escrit específicament per oferir un segon punt de vista a diversos conceptes familiars, però des d'una perspectiva més actual.<ref>Griffiths i Hilton, pàg. viii, 395</ref>

== Generalitzacions ==
El resultat <math>0,999... = 1</math> es generalitza immediatament de dues maneres:
# Tots els nombres diferents de zero amb una notació decimal finita (o de manera equivalent, amb una notació que té infinits zeros a la dreta d'una determinada xifra després de la coma decimal) té un homòleg amb infinites xifres 9 a la dreta d'una determinada xifra després de la coma decimal. Per exemple: 0,24999… és igual a 0,25, exactament com en el cas especial que s'ha considerat. Aquests nombres són les fraccions decimals i són [[densos]].<ref>Petkovsek, pàg. 408</ref>
# Un teorema comparable s'aplica en cada [[sistema de numeració|base]]. Per exemple, en base 2 (el [[codi binari|nombre binari]]) 0,111… és igual a 1, i en base 3, el codi 0,222… és igual a 1. És probable que els llibres de text d'anàlisi real se saltin l'exemple de 0,999… i presentin una o aquestes dues generalitzacions des del començament.<ref>Protter i Morrey, pàg. 503</ref><ref>Bartle i Sherbert, pàg. 61</ref>

Les representacions alternatives d'1 també succeeixen en bases no-enteres. Per exemple, en la base de la [[proporció àuria]], les dues representacions estàndards són 1,000… i 0,101010…, i hi ha una quantitat infinita de representacions que n'inclouen d'adjacents. En general, per a [[gairebé tot]] ''q'' entre 1 i 2, hi ha una quantitat no numerable base-''q'' d'expansions d'1. D'altra banda, hi ha encara una quantitat no numerable de bases-''q'' (incloent-hi tots els nombres naturals més grans que 1) per a les quals només hi ha una expansió decimal base-''q'' d'1, diferent de la trivial 1,000… Aquest resultat el va obtenir primer [[Paul Erdős]], Miklos Horváth, i István Joó cap al [[1990]]. L'any [[1998]] Vilmos Komornik i Paola Loreti determinaren la base més petita de totes, la [[constant de komornik-loreti]] <math>''q'' = 1.787231650...</math>. En aquesta base, <math>1 = 0.11010011001011010010110011010011...</math>, els dígits són definits per la [[successió de Thue–Morse]], que no repeteix.<ref>Komornik i Loreti, pàg. 636</ref>

Una generalització d'un abast més gran encara són les dels sistemes de numeració posicionals. També tenen representacions múltiples, i en un cert sentit les dificultats són més grans. Per exemple:<ref>Kempner, pàg. 611</ref><ref>Petkovsek, pàg. 409</ref>
* En el sistema [[ternari equilibrat]], ¹/₂ = 0,111… = 1,{{subratllat|111}}…
* En el sistema de [[factoradic]] <math>1 = 1,000... = 0,1234...</math>

Marko Petkovsek ha demostrat que aquestes ambigüitats són conseqüències necessàries de fet de fer servir un sistema posicional: per a qualsevol sistema d'aquest tipus que representa tots els nombres reals, el conjunt de reals amb representacions múltiples són sempre densos. Anomena la demostració ''«un exercici instructiu de [[topologia de conjunt de punts]] elemental»''. Això implica veure conjunts de valors posicionals com [[espais de Stone]] i observar que les seves representacions reals són expressades per [[funció contínua|funcions contínues]].<ref>Petkovsek, pàg. 410-411</ref>

== Aplicacions ==
Una aplicació de 0,999… com a representació d'1 es dona en la [[teoria de nombres]] elemental. L'any [[1802]], H. Goodwin publicà una observació sobre l'aparició de xifres 9 en les representacions, en forma de decimals que es repeteixen, de les fraccions en les quals els denominadors són uns determinats [[nombre primer|nombres primers]]. Els exemples inclouen:
* <Sup>1</sup>/<sub>7</sub> = 0,142857142857… i 142 + 857 = 999.
* <Sup>1</sup>/<sub>73</sub> = 0,0136986301369863… i 0136 + 9863 = 9999.

El [[1836]], E. Midy demostrava un resultat general sobre tals fraccions, que s'ha anomenat ''[[teorema de Midy]]''. La publicació era poc clara, i era confusa si la seva demostració implicava directament 0,999…, però com a mínim una demostració moderna de W. G. Leavitt sí que ho fa. Si es pot demostrar que un decimal de la forma 0,''b''<sub>1</sub>''b''₂''b''₃… és un enter positiu, llavors ha de ser 0,999…, que és llavors la font de les xifres 9 en el teorema.<ref>Leavitt 1984, pàg. 301</ref> Les investigacions en aquesta direcció poden motivar conceptes tals com el dels [[màxim comú divisor|màxims comuns divisors]], l'[[aritmètica modular]], els [[nombres primers de Fermat]], l'[[ordre (teoria de grups)|ordre]] d'elements d'un [[grup (matemàtiques)|grup]], i la [[reciprocitat quadràtica]].<ref>Lewittes, pàg. 1-3</ref><ref>Leavitt 1967, pàg. 669, 673</ref><ref>Shrader-Frechette, pàg. 96-98</ref>
[[Fitxer:Cantor base 3.svg|miniatura|Posicions de ¹/<sub>4</sub>, ²/₃ i 1 en el [[conjunt de Cantor]].]]

Si es torna a l'anàlisi real, l'anàleg en base-3 <math>0,222... = 1</math> té un paper clau en una caracterització dels [[fractal]]s més simples, en el [[conjunt de Cantor]] de terços mitjans: «Un punt en l'[[interval unitat]] és en el conjunt de Cantor si i només si es pot representar en base 3 fent servir només els dígits 0 i 2.»

L{{'}}''n''-èsim dígit de la representació reflecteix la posició del punt en l{{'}}''n''-èsima etapa de la construcció. Per exemple, al punt ²₃ se li dona la representació habitual de 0,2 o 0,2000…, ja que està situada a la dreta de la primera supressió i a l'esquerra de totes les supressions posteriors. El punt ¹/₃ es representa no com 0,1 sinó com 0,0222…, ja que és a l'esquerra de la primera supressió i a la dreta de totes les supressions posteriors.<ref>Pugh, pàg. 97</ref><ref>Alligood, Sauer, i Yorke, pàg. 150-152</ref><ref>Protter i Morrey, pàg. 507</ref><ref>Pedrick (p. 29)</ref><ref group="n.">Tots aquests autors (Pugh; Alligood, Sauer, i Yorke; Protter i Morrey; Pedrick) assignen aquesta descripció com a exercici.</ref>

Les xifres 9 repetides també apareixen en un altre dels treballs de [[Georg Cantor]]. Per construir una demostració vàlida s'han de tenir en compte: cal aplicar [[Diagonalització de Cantor|l'argument diagonal de 1891]] a les expansions decimals la [[conjunt no numerable|no numerabilitat]] de l'interval unitat. Aquesta demostració necessita ha de declarar que certs parells de nombres reals són diferents basant-se en les seves expansions decimals; d'aquesta manera cal evitar parells com 0,2 i 0,1999… Un mètode simple representa tots els nombres amb expansions que no s'acaben; el mètode oposat exclou repetir-ne de nous.<ref group="n.">Maor (p. 60) i Mankiewicz (p. 151) revisen l'anterior mètode; Mankiewicz l'atribueix a Cantor, però la font primària és confusa. Munkres (p. 50) esmenta l'últim mètode.</ref> Una variant que pot ser més propera a l'argument original de Cantor de fet fa servir la base 2; i transformant expansions en base-3 a expansions en base-2, també es pot demostrar la no numerabilitat del Conjunt de Cantor.<ref>Rudin, pàg. 50</ref><ref>Pugh, pàg. 98</ref>

== Escepticisme en l'ensenyament ==
Els estudiants de matemàtiques sovint rebutgen la igualtat de 0,999… i 1. Per raons motivades per qüestions que van des de la seva aparença dispar fins a malentesos profunds sobre el concepte de [[límit d'una successió|límit]] i desacords sobre la natura dels [[mètodes infinitesimals|infinitesimals]]. Hi ha molts factors comuns que contribueixen a la confusió:
* Els estudiants, per un procés mental, sovint es queden amb la idea que un nombre es pot representar per decimals només d'una manera. Veure dos decimals evidentment diferents que representen el mateix nombre sembla una [[paradoxa]], problema que s'amplifica per l'aparició d'un nombre aparentment senzill de comprendre com és 1.<ref>Grapat, pàg. 119</ref><ref>Alt i Schwarzenberger, pàg. 6</ref><ref group="n.">Un altre suggeriment el fa Burrell (p. 28): ''Potser el més "tranquil·litzador" de tots els nombres és 1. Per tant, és especialment pertorbador que algú intenti fer passar 0,9~ per 1.''</ref>
* La intuïció i l'ensenyament ambigu porten els estudiants a pensar en el límit d'una successió com una mena de procés infinit més que com un valor fix, ja que una successió no necessita arribar al seu límit. On els estudiants accepten la diferència entre una successió de nombres i el seu límit, podrien llegir "0,999…" que significa la successió més que el seu límit.<ref>Tall i Schwarzenberger, pàg. 6</ref><ref name="Tall">Tall (2000), pàg. 221</ref>
* Alguns estudiants es refereixen a 0,999… com una expressió numèrica que té un valor fix menor d'1 en un valor [[mètodes infinitesimals|infinitesimal]] però diferent de zero.
* Alguns estudiants creuen que el valor d'una [[sèrie convergent]] és, en el millor dels casos, una aproximació (<math>0,\bar{9} \approx 1</math>).

Aquestes idees són errònies en el context dels nombres reals estàndards, encara que algunes poden ser vàlides en uns altres sistemes de nombres, ja sia inventats per a la seva utilitat matemàtica general o com a [[contraexemple]]s instructius per entendre millor el que envolta al 0,999… Moltes d'aquestes explicacions les va trobar el professor [[David O. Tall]], que ha estudiat característiques d'ensenyament i cognició que condueixen a alguns dels malentesos que va observar en els seus estudiants universitaris. Entrevistant als seus estudiants per determinar perquè inicialment la vasta majoria rebutjaven la igualtat, trobà que ''«els estudiants continuaven concebent 0,999… com una successió de nombres més i més propers a 1 i no com un valor fix, perquè "no s'havia especificat quants llocs hi ha" o "és el decimal més a prop possible per sota d'1"».<ref name="Tall"/>

De les proves elementals, multiplicant 0,333… = ¹/₃ per 3 és aparentment una estratègia d'èxit per a convèncer estudiants reticents que <math>0,999... = 1</math>. Tanmateix, quan s'enfronten amb el conflicte entre la seva creença en la primera equació i la seva incredulitat en la segona, alguns estudiants comencen a dubtar de la primera equació o, simplement, se senten frustrats.<ref>Tall (1976), pàg. 10-14</ref> No hi ha mètodes més sofisticats a prova de bomba: els estudiants que són plenament capaços d'aplicar definicions rigoroses encara poden recórrer a imatges intuïtives quan queden sorpresos amb un resultat de matemàtiques avançades, incloent-hi 0,999… Per exemple, un estudiant d'anàlisi real era capaç de demostrar que 0,333… = ¹/₃ fent servir la definició de [[suprem]], però llavors insistia en el fet que 0,999… < 1 basant-se en la seva comprensió anterior de divisió llarga.<ref>Pinto i Tall, pàg. 5</ref><ref>Edwards i Sala, pàg. 416-417</ref> Altres encara poden demostrar que ¹/₃ = 0,333… però, en enfrontar-se a la [[#Fraccions i divisió euclidiana|demostració basada en les fraccions]], insisteixen en el fet que "la lògica" substitueix als càlculs matemàtics.

[[Joseph Mazur]] explica la història d'un estudiant de càlcul altrament brillant que ''«desafiava gairebé tot allò que jo deia a classe però mai no qüestionava la seva calculadora»'', i que havia arribat a creure que nou dígits són tots els que es necessita per fer matemàtiques, incloent-hi calcular l'[[arrel quadrada]] de 23. L'estudiant romania incòmode amb un argument restrictiu del tipus <math>9,99... = 10</math> anomenant-lo un ''«procés de creixement infinit salvatgement imaginat.»''<ref>Mazur, pàg. 137-141</ref>

Recentment, el 2005, com a part de la "[[teoria d'APOS]]" d'Ed Dubinsky sobre l'aprenentatge matemàtic, Dubinsky i els seus col·laboradors proposaren que els estudiants que conceben 0,999… com a cadena finita, indeterminada amb una distància infinitament petita des de l'1, no havien construït encara una concepció completa del decimal infinit". Altres estudiants que tenen una concepció completa de 0,999… encara poden no ser capaços d'"encapsular" aquest procés en una "concepció d'objecte", com la concepció d'objecte que tenen d'1, i així veuen el procés 0,999… i l'objecte 1 com a incompatibles. Aquests autors també connecten aquesta habilitat mental d'encapsulació amb veure ¹₃ com a nombre de ple dret i a tractar amb el conjunt de nombres naturals com una totalitat.<ref>Dubinsky ''et al''. (2005), pàg. 261-262</ref>

== En la cultura popular ==
Amb l'expansió d'[[Internet]], els debats sobre 0,999… han sortit de l'aula i ha estat el tema d'alguns [[grups de discussió]] i [[grups de notícies]], incloent-n'hi molts que nominalment tenen poc a veure amb les matemàtiques. En el grup de discussió <tt>[news:sci.math sci.math]</tt>, discutir sobre 0,999… és un "esport popular", i és una de les preguntes que cal contestar en les seves [[PMF]].<ref>Com observa Richman (p. 396): {{ref-web|url=http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0.999eq1/ |autor=Hans de Vreught |any=1994 |títol=sci.math FAQ: Why is 0.9999… = 1? |consulta=29-06-2006}}</ref> Breument, el Faq cobreix ¹/₃, multiplicacions per 10, límits, i també al·ludeix a les successions de Cauchy.

Una edició de 2003 del diari d'interès general ''[[The Straight Dope]]'' discuteix sobre el 0,999… mitjançant ¹₃ i límits. Sobre les males interpretacions comenten:
<blockquote>
''El primat que hi ha en nosaltres encara resisteix, dient: 0,999~ no representa realment un "nombre", sinó un "procés". Per trobar un nombre hem d'aturar el procés, punt en el qual es desfà la qüestió de 0,999~ = 1.
Bestieses''.<ref>{{ref-web |url=http://www.straightdope.com/columns/030711.html |títol=An infinite question: Why doesn't .999~ = 1? |data=11-07-2003 |autor=Cecil Adams |obra=The Straight Dope |editor=Chicago Reader |consulta=6-09-2006 |arxiuurl=https://web.archive.org/web/20060815010844/http://www.straightdope.com/columns/030711.html |arxiudata=2006-08-15}}</ref>
</blockquote>

''The Straight Dope'', en la seva pròpia pàgina de missatges, cita una discussió què havia succeït en una "altra pàgina de missatges" no identificada: ''«… principalment sobre videojocs»''. En la mateixa línia, la qüestió del 0,999… durant els primers set anys dels fòrums de [[Battle.net]] de [[Blizzard Entertainment]], ha demostrat ser un tema tan popular que la companyia va arribar a emetre un "comunicat de premsa" el [[dia dels innocents]] (que als EUA és l'abril) de 2004, tot oferint dues demostracions, basades en límits i la multiplicació per 10. El comunicat deia:
<blockquote>
''Estem entusiasmats per poder passar pàgina sobre aquest tema d'una vegada per totes. Hem presenciat el maldecap i la preocupació sobre si 0,999~ és o no és igual a 1, i estem orgullosos que la següent demostració de manera terminal i decisiva resolgui la qüestió per als nostres clients''.<ref>{{ref-web|url=http://us.blizzard.com/en-us/company/press/pressreleases.html?040401 |títol=Blizzard Entertainment Announces .999~ (Repeating) = 1 |obra=Press Release |editor=Blizzard Entertainment |data=01-04-2004 |consulta=16-11-2009}}</ref>
</blockquote>

0,999… apareix també en folklore matemàtic, específicament en el següent acudit:<ref>Renteln i Dundes, pàg. 27</ref>
<blockquote>
''P: Quants matemàtics calen per a caragolar una bombeta?''
</blockquote>
<blockquote>
''R: 0,999999…''
</blockquote>

== 0,999… en sistemes de nombres alternatius ==
Encara que els nombres reals formen un [[sistema de nombres]] extremadament útil, la decisió d'interpretar la notació "0,999…" tot anomenant-lo com un nombre real és en el fons una convenció, i [[Timothy Gowers]] sosté que la identitat 0,999… = 1 és també una convenció:<ref>Timothy Gowers, ''Mathematics: A Very Short Introduction'' (''Matemàtiques: una introducció molt curta'').</ref>
<blockquote>
''Tanmateix, no és una convenció arbitrària, perquè no obliga a adoptar-la a la força, o a inventar nous objectes estranys, o a abandonar algunes de les regles familiars de l'aritmètica.<ref name="Gowers">Gowers, pàg. 60</ref>
</blockquote>

Es poden definir altres sistemes de nombres que utilitzen regles diferents o nous objectes. En alguns d'aquests sistemes de nombres, les demostracions citades necessitarien ser reinterpretades i es podria trobar que en un sistema de nombres donat 0,999… i 1 podrien no ser idèntics. Tot i així, més que alternatives independents, molts sistemes de nombres són ampliacions del sistema de nombres reals. D'aquesta manera la igualtat <math>0,999...=1</math> es pot continuar mantenint. Fins i tot en aquests sistemes de nombres, és interessant examinar sistemes de nombre alternatius, no només pel comportament de 0,999… —perquè, en efecte, un nombre expressat com "0,999…" és tant significatiu com inequívoc—, sinó també pel comportament de determinats fenòmens relacionats. Si aquests fenòmens difereixen d'aquells en el sistema de nombres reals, llavors com a mínim una de les suposicions construïdes en el sistema s'ha de desfer.

=== Infinitesimals ===
{{article principal| Infinitesimal}}

Algunes demostracions de <math>0,999...=1 </math> es basen en la [[propietat arquimediana]] dels nombres reals estàndards que afirma que no hi ha cap [[mètodes infinitesimals|infinitesimal]] diferent de zero. Hi ha [[estructura algebraica|estructures algebraiques]] ordenades matemàticament de manera coherent, incloent-hi diverses alternatives als nombres reals estàndards, que no són arquimedianes. El significat de 0,999… depèn de quina estructura es fa servir. Per exemple, els [[nombre dial|nombres duals]] inclouen un element infinitesimal nou (ε), anàleg a la unitat imaginària ''i'' en els [[nombre complex|nombres complexos]] excepte que ε²=0. L'estructura que resulta és útil en la [[derivació automàtica|diferenciació automàtica]]. Als nombres duals se'ls pot donar un [[ordre lexicogràfic]]; en aquest cas, els múltiples d'ε es converteixen en elements no arquimedians.<ref>Berz, pàg. 439-442</ref> Cal observar, tanmateix, que com a ampliació dels nombres reals els nombres duals encara mantenen que <math>0,999...=1 </math>. Mentre que ε existeix en els nombres duals, una altra observació relacionada és que també ho compleix ε/2; de manera que ε no és "el nombre dual positiu més petit" i, en efecte, com en els reals, tal nombre no existeix.

L'[[anàlisi no estàndard]] subministra un sistema de nombres amb una plena varietat d'infinitesimals, i els seus inversos.<ref group="n.">Per a un tractament complert dels nombres no estàndard vegeu, per exemple, Robinson: ''Non-standard Analysis''.</ref> A.H. Lightstone desenvolupà una expansió decimal per als nombres reals no estàndards dins de (0, 1)<sup>∗</sup>.<ref>Lightstone, pàg. 245-247</ref> L'autor mostra com associar a cada nombre real no estàndard una seqüència de dígits
:0.d<sub>1</sub>d₂d₃…;…d<sub>∞−1</sub>d<sub>∞</sub>d<sub>∞+1</sub>…
indexada pels nombres naturals estesos. Encara que no parla directament de 0,999…, mostra que el nombre real 1/3 queda representat per <math>0,333..., 333...</math> que és una conseqüència del [[principi de transferència]]. Multiplicant per 3, s'obtenen fets anàlegs per a expansions amb xifres 9 repetides.

El nombre hiperreal ''u''<sub>''H'' </sub> = 0,999…;;…999000… amb ''H'' -una quantitat infinita de xifres 9, per a algun [[hiperenter]] infinit ''H'', satisfà una desigualtat estricta ''u''<sub>''H''</sub> < 1. En efecte, la successió u<sub>1</sub> = 0,9, u₂ = 0,99, u₃ = 0,999, etc. satisfà u<sub>n</sub> = 1 - 1/n. Per això, pel principi de transferència, u<sub>H</sub> = 1 - 1/H < 1. Lightstone mostra que en aquest sistema <math>0,333...;...000... i 0,999...;...000...</math> no són nombres.

La [[teoria de jocs combinatòria]] també proporciona nombres reals alternatius, amb el joc infinit ''[[Hackenbush]]'' (blau-vermell) com un exemple especialment pertinent. El 1974, [[Elwyn Berlekamp]] descrivia una correspondència entre les cadenes del joc ''Hackenbush'' i les expansions binàries de nombres reals, motivada per la idea d'una [[compressió de dades]]. Per exemple, el valor de la cadena Hackenbush LRRLRLRL… és 0,010101₂… = ¹/₃. Tanmateix, el valor de LRLLL… (corresponent a 0,111…₂) és infinitessimalment menor que 1. La diferència entre el dos és el [[nombre subreal]] ¹/<sub>ω</sub>, on ω és el primer [[nombre ordinal|ordinal infinit]]; el joc pertinent és LRRRR… o 0,000…₂.<ref group="n.">Berlekamp, Conway, i Guy (p. 79-80, 307-311) estudien 1 i ¹/₃ i tacten ¹/<sub>ω</sub>. El joc per a 0,111…₂ segueix directament de la Regla de Berlekamp, i se'n parla a {{ref-web|url=http://www.maths.nott.ac.uk/personal/anw/Research/Hack/ |títol=Hackenstrings and the 0.999… ≟ 1 FAQ |autor=A. N. Walker |any=1999 |consulta=29-06-2006}}</ref>

=== Resta truncada ===
Una altra forma en la qual les proves podrien fallar és si l'operació "1 menys 0,999…" simplement no existeix, perquè la resta no és sempre possible. Les estructures matemàtiques amb una operació d'addició, però no amb una operació de sostracció (resta), inclouen [[semigrup]]s commutatius, [[monoide commutatiu|monoides commutatius]] i [[semianells]]. Richman considera aquests sistemes dissenyats de manera que 0,999… < 1.

Primer, Richman defineix un "nombre decimal" no-negatiu com una expansió decimal literal. Defineix l'[[ordre lexicogràfic]] i una operació d'addició, i es fixa en el fet que 0,999… < 1 simplement perquè 0 < 1 està en el lloc de les unitats, però per a qualsevol ''x'' infinit, es té <math>0,999...+''x''=1+''x''</math>. D'aquesta manera una peculiaritat dels nombres decimals és que l'addició no sempre pot ser cancel·lada. Una altra peculiaritat és que cap nombre decimal no correspon a ¹₃. Després de definir la multiplicació, els nombres decimals formen un semianell positiu, totalment ordenat, commutatiu.<ref>Richman, pàg. 397-399</ref>

En procés de definir la multiplicació, Richman també defineix un altre sistema que anomena "tall ''D''", que és el conjunt de talls de Dedekind de fraccions decimals. Normalment, aquesta definició condueix als nombres reals, però per a una fracció decimal ''d'' permet ambdós talls: el tall (−∞, ''d'') i el "tall principal" (−∞, ''d'']. El resultat és que els nombres reals "estan vivint molestament junts" amb les fraccions decimals. Una altra vegada 0,999… < 1. No hi ha cap infinitesimal positiu en el tall ''D'', però hi ha "una classe d'infinitesimals negatius", 0<sup>−</sup>, que no té cap expansió decimal. Conclou que 0,999… = 1 + 0<sup>−</sup>, mentre l'equació "0,999… + ''x'' = 1" no té cap solució.<ref>Richman, pàg. 398-400.</ref><ref group="n.">Rudin (p. 23) assigna aquesta construcció alternativa, però sobre els racionals, com l'últim exercici de Capítol 1.</ref>

=== Nombres ''p''-àdics ===
{{article principal|Nombre p-àdic}}

Quan es pregunta per 0,999…, els novells sovint creuen que hi hauria d'haver un "9 final", creient que 1 − 0,999… és un nombre positiu que escriuen com a "0,000…1". Tant si això té sentit com si no, l'objectiu intuïtiu és clar: afegint-ne un 1 a l'últim 9 de 0,999… portaria que les xifres 9 es transformessin en zeros, tot porta un 1 a la posició de les unitats. Entre altres raons, aquesta idea és errònia perquè no hi ha "finalment" un 9 a 0,999…<ref>Gardiner, pàg. 98</ref><ref name="Gowers"/> Tanmateix, hi ha un sistema que conté una cadena infinita de xifres 9, incloent-hi un darrer 9.
[[Fitxer:4adic 333.svg|miniatura|Els enters 4-àdics (els punts negres), incloent-hi la seqüència (3, 33, 333, …) que convergeix a −1. L'anàleg 10-adic és …999 = −1.]]

Els [[nombre p-àdic|nombres ''p''-àdics]] són un sistema de nombres alternatiu d'interès en la [[teoria de nombres]]. Com els nombres reals, els nombres ''p''-àdics es poden construir a partir dels nombres racionals via [[successió de Cauchy|successions de Cauchy]]. La construcció fa servir una mètrica diferent en la qual 0 és més proper a ''p'', i molt més proper a ''p<sup>n</sup>'', del que ho és a 1. Els nombres ''p''-àdics formen un [[cos (matemàtiques)|cos]] si ''p'' és un nombre primer i un [[anell (matemàtiques)|anell]] per altres valors de ''p'', incloent-hi 10. Per tant, l'aritmètica es pot desenvolupar en els nombres ''p'' -àdics, i no hi ha cap infinitesimal.

En els nombres 10-àdics, els anàlegs de les expansions decimals s'escriuen cap a l'esquerra. L'expansió 10-àdica …999 té un últim 9, i no té un primer 9. Es pot sumar 1 al lloc de les unitats, i tan sols queden zeros després de calcular <math> 1 + ...999 = ...000 = 0</math>, i d'aquesta manera ...999 = −1.<ref name="Fjelstad11">Fjelstad pàg. 11</ref> Una altra derivació fa servir una sèrie geomètrica. La sèrie infinita implicada per "…999" no convergeix en els nombres reals, però convergeix en els nombres 10-àdics, i així es pot reutilitzar la fórmula familiar:
:<math>\ldots999 = 9 + 9(10) + 9(10)^2 + 9(10)^3 + \cdots = \frac{9}{1-10} = -1.</math><ref>Fjelstad, pàg. 14–15</ref>
(compareu-ho amb la [[#Sèrie Infinita i successions|sèrie de més amunt]])

Una tercera derivació la va inventar un estudiant de setè grau que dubtava de l'argument restrictiu del seu professor sobre 0,999… = 1 però es va inspirar en la prova de multiplicar per 10 [[#Manipulació de dígits|de més amunt]] en la direcció oposada: si ''x'' = …999 llavors 10''x'' = …990, així 10''x'' = ''x'' − 9, per això ''x'' = −1 una altra vegada.<ref name="Fjelstad11"/>

Com a ampliació final, de {{nowrap begin}}0,999…; = 1 {{nowrap end}} (en els reals) i {{nowrap begin}}…999 = −1{{nowrap end}} (en els 10-àdics), llavors per "fe cega i impertorbable en fer jocs malabars de símbols"<ref>DeSua, pàg. 901</ref> es poden afegir les dues equacions i arribar a {{nowrap begin}}…999.999… = 0. {{nowrap end}} Aquesta equació no té sentit ni com una expansió de nombres 10-àdics ni com una expansió decimal corrent, però resulta ser significativa i veritable si es desenvolupa una teoria de "dobles decimals" amb extrems esquerres eventualment repetitius. Representa un sistema familiar: els nombres reals.<ref>DeSua, pàg. 902-903</ref>

== Qüestions relacionades ==
* Les [[paradoxes de Zenó]], especialment la paradoxa del corredor, són reminiscències de l'aparent paradoxa que afirma que 0,999… i 1 són iguals. La paradoxa del corredor es pot modelitzar matemàticament i llavors —com en el cas de 0,999…— es pot resoldre fent servir una sèrie geomètrica. Tanmateix, no queda clar si aquest tractament matemàtic encaixa amb els assumptes metafísics subjacents que [[Zenó d'Elea|Zenó]] estava explorant.<ref>Wallace, pàg. 51</ref><ref>Maor, pàg. 17</ref>
* La [[divisió entre zero]] ocorre en algunes discussions populars de 0,999… Mentre que la majoria dels autors decideixen definir 0,999… gairebé qualsevol tractament actual deixa sense definir la divisió entre zero, atès que no se li pot donar cap significat en els nombres reals estàndards. Tanmateix, la divisió entre zero es defineix en alguns altres sistemes, com a l'[[anàlisi complexa]], on el [[pla complex]] estès, és a dir l'[[esfera de Riemann]], té un "[[punt de l'infinit]]". Aquí, té sentit definir que ¹/<sub>0</sub> sigui infinit;<ref group="n.">Vegeu, per exemple, el tractament de J.B. Conway de transformacions de Möbius, pàg. 47-57</ref> i, de fet, els resultats són profunds i aplicables a molts problemes en [[enginyeria]] i [[física]]. Alguns prominents matemàtics advocaven a favor d'una definició com aquesta molt abans que es desenvolupés qualsevol sistema de nombres.<ref>Maor, pàg. 54</ref>
* El [[zero negatiu]] és un altre tret redundant de molts sistemes d'escriptura de nombres. En sistemes de nombres com per exemple, el dels nombres reals, on "0" denota la identitat additiva i no és ni positiu ni negatiu, la interpretació habitual de "−0" és que hauria de denotar la inversa de l'addició de 0, que força la igualtat −0 = 0.<ref>Munkres, pàg. 34, Exercici 1 (circa)</ref> No obstant això, algunes aplicacions científiques utilitzen per separat el zero positiu i el zero negatiu, com ho fan alguns sistemes de nombres més habituals en ordinadors —per exemple enters emmagatzemats amb [[signe i magnitud]]— els formats de [[complement a u]], o nombres de [[coma flotant]] com s'especifiquen al [[IEEE floating-point)]].<ref>{{ref-llibre|autor = Kroemer, Herbert; Kittel, Charles |títol = Thermal Physics |edició =2a ed.|editorial = W. H. Freeman |any = 1980 |isbn = 0-7167-1088-9 |pàgines = 462}}</ref><ref>{{ref-web|url=http://msdn.microsoft.com/library/en-us/csspec/html/vclrfcsharpspec_4_1_6.asp |títol=Floating point types |obra=MSDN C# Language Specification |consulta=29-08-2006}}</ref>

== Vegeu també ==
* [[Infinit]]
* [[Límit|límit (matemàtiques)]]
* [[Anàlisi real]]
* [[Sèrie matemàtica]]

== Notes ==
{{refbegin|2}}
<references group="n."/>
{{refend}}

== Referències ==
{{Referències}}

== Bibliografia ==
{{refbegin|2}}
* {{ref-llibre|autor = Alligood, Sauer, and Yorke |any = 1996 |títol = Chaos: An introduction to dynamical systems |capítol = 4.1 Cantor Sets |editorial = Springer |isbn = 0-387-94677-2}}
* {{Ref-llibre|cognom = Apostol |nom = Tom M. |any = 1974 |títol = Mathematical analysis |edició =2a ed.|editorial = Addison-Wesley |isbn = 0-201-00288-4}}
* {{ref-llibre|autor = Bartle, R.G. and D.R. Sherbert |any = 1982 |títol = Introduction to real analysis |editorial = Wiley |isbn = 0-471-05944-7}}
* {{Ref-llibre|cognom = Beals |nom = Richard |títol = Analysis |any = 2004 |editorial = Cambridge UP |isbn = 0-521-60047-2}}
* {{ref-llibre|autor = Berlekamp, E.R.; Conway, J.H.; Guy, R.K. |any = 1982 |títol = Winning Ways for your Mathematical Plays |editorial = Academic Press |isbn = 0-12-091101-9}}
* {{cite conference |last=Berz |first=Martin |title=Automatic differentiation as nonarchimedean analysis |year=1992 |booktitle=Computer Arithmetic and Enclosure Methods |publisher=Elsevier |pages=439–450 |url=http://citeseer.ist.psu.edu/berz92automatic.html}}
* {{Ref-llibre|cognom = Bunch |nom = Bryan H. |títol = Mathematical fallacies and paradoxes |any = 1982 |editorial = Van Nostrand Reinhold |isbn = 0-442-24905-5}}
* {{Ref-llibre|cognom = Burrell |nom = Brian |títol = Merriam-Webster's Guide to Everyday Math: A Home and Business Reference |any = 1998 |editorial = Merriam-Webster |isbn = 0-87779-621-1}}
* {{ref-llibre|cognom = Conway |nom = John B. |títol = Functions of one complex variable I |edició =2a ed.|editorial = Springer-Verlag |anyarxiu = 1973 |any = 1978 |isbn = 0-387-90328-3}}
* {{Ref-llibre |cognom = Davies |nom = Charles |any = 1846 |títol = The University Arithmetic: Embracing the Science of Numbers, and Their Numerous Applications |editorial = A.S. Barnes |url = http://books.google.cat/books?vid=LCCN02026287&pg=PA175}}
* {{ref-publicació|cognom=DeSua |nom=Frank C. |títol=A system isomorphic to the reals |publicació=The American Mathematical Monthly |volum=67 |number=9 |mes=novembre |any=1960 |pàgines=900–903 |doi=10.2307/2309468 |exemplar=9}}
* {{ref-publicació|autor=Dubinsky, Ed, Kirk Weller, Michael McDonald, and Anne Brown |títol=Some historical issues and paradoxes regarding the concept of infinity: an APOS analysis: part 2 |publicació=Educational Studies in Mathematics |any=2005 |volum=60 |pàgines=253–266 |doi=10.1007/s10649-005-0473-0}}
* {{ref-publicació |autor=Edwards, Barbara and Michael Ward |any=2004 |mes=maig |títol=Surprises from mathematics education research: Student (mis)use of mathematical definitions |publicació=The American Mathematical Monthly |volum=111 |number=5 |pàgines=411–425 |url=http://www.wou.edu/~wardm/FromMonthlyMay2004.pdf |doi=10.2307/4145268 |format=PDF |exemplar=5}}
* {{Ref-llibre|cognom = Enderton |nom = Herbert B. |any = 1977 |títol = Elements of set theory |editorial = Elsevier |isbn = 0-12-238440-7}}
* {{ref-llibre |cognom = Euler |nom = Leonhard |enllaçautor = Leonhard Euler |anyarxiu = 1770 |any = 1822 |edició = 3a ed. |títol = Elements of Algebra |editor = John Hewlett and Francis Horner, English translators. |editorial = Orme Longman |url = http://books.google.cat/books?id=X8yv0sj4_1YC&pg=PA170}}
* {{ref-publicació|cognom=Fjelstad |nom=Paul |títol=The repeating integer paradox |publicació=The College Mathematics Journal |volum=26 |number=1 |mes=gener |any=1995 |pàgines=11–15 |doi=10.2307/2687285 |exemplar=1}}
* {{ref-llibre|cognom = Gardiner |nom = Anthony |títol = Understanding Infinity: The Mathematics of Infinite Processes |anyarxiu = 1982 |any = 2003 |editorial = Dover |isbn = 0-486-42538-X}}
* {{Ref-llibre|cognom = Gowers |nom = Timothy |títol = Mathematics: A Very Short Introduction |any = 2002 |editorial = Oxford UP |isbn = 0-19-285361-9}}
* {{Ref-llibre|cognom = Grattan-Guinness |nom = Ivor |any = 1970 |títol = The development of the foundations of mathematical analysis from Euler to Riemann |editorial = MIT Press |isbn = 0-262-07034-0}}
* {{ref-llibre|cognom = Griffiths |nom = H.B. |coautors = P.J. Hilton |títol = A Comprehensive Textbook of Classical Mathematics: A Contemporary Interpretation |any = 1970 |editorial = Van Nostrand Reinhold |lloc =Londres|isbn = 0-442-02863-6}}
* {{ref-publicació|cognom=Kempner |nom=A.J. |títol=Anormal Systems of Numeration |publicació=The American Mathematical Monthly |volum=43 |number=10 |mes=desembre |any=1936 |pàgines=610–617 |doi=10.2307/2300532 |exemplar=10}}
* {{ref-publicació|autor=Komornik, Vilmos; and Paola Loreti |títol=Unique Developments in Non-Integer Bases |publicació=The American Mathematical Monthly |volum=105 |number=7 |any=1998 |pàgines=636–639 |doi=10.2307/2589246 |exemplar=7}}
* {{ref-publicació|cognom=Leavitt |nom=W.G. |títol=A Theorem on Repeating Decimals |publicació=The American Mathematical Monthly |volum=74 |number=6 |any=1967 |pàgines=669–673 |doi=10.2307/2314251 |exemplar=6}}
* {{ref-publicació|cognom=Leavitt |nom=W.G. |títol=Repeating Decimals |publicació=The College Mathematics Journal |volum=15 |number=4 |mes=setembre |any=1984 |pàgines=299–308 |doi=10.2307/2686394 |exemplar=4}}
* {{ref-web |url=http://arxiv.org/abs/math.NT/0605182 |títol=Midy's Theorem for Periodic Decimals |cognom=Lewittes |nom=Joseph |obra=New York Number Theory Workshop on Combinatorial and Additive Number Theory |any=2006 |editor=[[arXiv]]}}
* {{ref-publicació|cognom=Lightstone |nom=A.H. |títol=Infinitesimals |publicació=The American Mathematical Monthly |any=1972 |volum=79 |number=3 |mes=març |pàgines=242–251 |doi=10.2307/2316619 |exemplar=3}}
* {{Ref-llibre|cognom = Mankiewicz |nom = Richard |any = 2000 |títol = The story of mathematics|editorial = Cassell |isbn = 0-304-35473-2}}
* {{Ref-llibre|cognom = Maor |nom = Eli |títol = To infinity and beyond: a cultural history of the infinite |any = 1987 |editorial = Birkhäuser |isbn = 3-7643-3325-1}}
* {{Ref-llibre|cognom = Mazur |nom = Joseph |títol = Euclid in the Rainforest: Discovering Universal Truths in Logic and Math |any = 2005 |editorial = Pearson: Pi Press |isbn = 0-13-147994-6}}
* {{ref-llibre|cognom = Munkres |nom = James R. |títol = Topology |any = 2000 |anyarxiu = 1975 |edició =2a ed.|editorial = Prentice-Hall |isbn = 0-13-181629-2}}
* {{ref-llibre |cognom=Núñez |nom=Rafael |capítol=Do Real Numbers Really Move? Language, Thought, and Gesture: The Embodied Cognitive Foundations of Mathematics |data=2006 |títol=18 Unconventional Essays on the Nature of Mathematics |editorial=Springer |pàgines=160–181 |urlcapítol=http://www.cogsci.ucsd.edu/~nunez/web/publications.html | isbn=978-0-387-25717-4}}
* {{Ref-llibre|cognom = Pedrick |nom = George |títol = A First Course in Analysis |any = 1994 |editorial = Springer |isbn = 0-387-94108-8}}
* {{ref-publicació|cognom=Petkovšek |nom=Marko |títol=Ambiguous Numbers are Dense |publicació=American Mathematical Monthly |volum=97 |number=5 |mes=maig |any=1990 |pàgines=408–411 |doi=10.2307/2324393 |exemplar=5}}
* {{ref-web |autor=Pinto, Márcia; Tall, David |títol=Following students' development in a traditional university analysis course |obra=PME25 |pàgines=v4: 57–64 |any=2001 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2001j-pme25-pinto-tall.pdf |format=PDF |consulta=3-05-2009}}
* {{ref-llibre|autor = Protter, M.H. i Morrey, C.B. |any = 1991 |edició =2a ed.|títol = A first course in real analysis |editorial = Springer |isbn = 0-387-97437-7}}
* {{Ref-llibre|cognom = Pugh |nom = Charles Chapman |títol = Real mathematical analysis |any = 2001 |editorial = Springer-Verlag |isbn = 0-387-95297-7}}
* {{ref-publicació |autor=Renteln, Paul and Allan Dundes |any=2005 |mes=gener |títol=Foolproof: A Sampling of Mathematical Folk Humor |publicació=Notices of the AMS |volum=52 |number=1 |pàgines=24–34 |url=http://www.ams.org/notices/200501/fea-dundes.pdf |format=PDF |consulta=3-05-2009}}
* {{ref-publicació|nom=Fred |cognom=Richman |any=1999 |mes=desembre |títol=Is 0.999… = 1? |publicació=Mathematics Magazine |volum=72 |exemplar=5 |pàgines=396–400}} Free HTML preprint: {{ref-web |url=http://www.math.fau.edu/Richman/HTML/999.htm |nom=Fred |cognom=Richman |títol=Is 0.999… = 1? |data=1999-06-08 |consulta=23-08-2006 |arxiuurl=https://web.archive.org/web/20060203031201/http://www.math.fau.edu/Richman/HTML/999.htm |arxiudata=2006-02-03}} Note: the journal article contains material and wording not found in the preprint.
* {{Ref-llibre|cognom = Robinson |nom = Abraham |títol = Non-standard analysis |any = 1996 |edició = Revised|editorial = Princeton University Press|isbn = 0-691-04490-2}}
* {{Ref-llibre|cognom = Rosenlicht |nom = Maxwell |any = 1985 |títol = Introduction to Analysis |editorial = Dover |isbn = 0-486-65038-3}}
* {{ref-llibre|cognom = Rudin |nom = Walter |enllaçautor=Walter Rudin |títol = Principles of mathematical analysis |edició =3a ed.|any = 1976 |anyarxiu = 1953 |editorial = McGraw-Hill |isbn = 0-07-054235-X}}
* {{ref-publicació|cognom=Shrader-Frechette |nom=Maurice |títol=Complementary Rational Numbers |publicació=Mathematics Magazine |volum=51 |number=2 |mes=març |any=1978 |pàgines=90–98}}
* {{ref-llibre |autor = Smith, Charles and Charles Harrington |any = 1895 |títol = Arithmetic for Schools |editorial = Macmillan |url = http://books.google.cat/books?vid=LCCN02029670&pg=PA115}}
* {{Ref-llibre|cognom = Sohrab |nom = Houshang |títol = Basic Real Analysis |any = 2003 |editorial = Birkhäuser |isbn = 0-8176-4211-0}}
* {{Ref-llibre|cognom = Stewart |nom = Ian |títol = The Foundations of Mathematics |any = 1977 |editorial = Oxford UP |isbn = 0-19-853165-6}}
* {{Ref-llibre|cognom = Stewart |nom = James |títol = Calculus: Early transcendentals |edició =4a ed.|any = 1999 |editorial = Brooks/Cole |isbn = 0-534-36298-2}}
* {{ref-publicació |autor=D.O. Tall and R.L.E. Schwarzenberger |títol=Conflicts in the Learning of Real Numbers and Limits |publicació=Mathematics Teaching |any=1978 |volum=82 |pàgines=44–49 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1978c-with-rolph.pdf |format=PDF |consulta=3-05-2009}}
* {{ref-publicació |cognom=Tall |nom=David |títol=Conflicts and Catastrophes in the Learning of Mathematics |publicació=Mathematical Education for Teaching |any=1976/7 |volum=2 |number=4 |pàgines=2–18 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot1976a-confl-catastrophy.pdf |format=PDF |consulta=3-05-2009}}
* {{ref-publicació |cognom=Tall |nom=David |títol=Cognitive Development In Advanced Mathematics Using Technology |publicació=Mathematics Education Research Journal |any=2000 |volum=12 |number=3 |pàgines=210–230 |url=http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2001b-merj-amt.pdf |format=PDF |consulta=3-05-2009}}
* {{Ref-llibre|cognom = Thompson |nom = Silvanus P. |títol = Calculus Made Easy |lloc = Nova York |any = 1998 |editorial = St. Martin's Press |isbn = 0-312-18548-0}} (primera edició el 1910).
* {{ref-llibre |cognom = von Mangoldt|nom = Dr. Hans |títol = Einführung in die höhere Mathematik|any = 1911|editorial = Verlag von S. Hirzel|lloc = Leipzig|llengua = alemany |capítol = Reihenzahlen}}
* {{Ref-llibre|cognom = Wallace |nom = David Foster|enllaçautor = David Foster Wallace |títol = Everything and more: a compact history of infinity |any = 2003 |editorial = Norton |isbn = 0-393-00338-8}}
{{refend}}

== Enllaços externs ==
{{Projectes germans}}
* [http://www.cut-the-knot.org/arithmetic/999999.shtml .999999… = 1?] a ''Cut-the-knot''.. {{en}}
* [http://mathcentral.uregina.ca/QQ/database/QQ.09.00/joan2.html Proof of the equality based on arithmetic]. {{en}}
* [http://qntm.org/pointnine Point nine recurring equals one]. {{en}}
* [http://us.metamath.org/mpegif/0.999....html Theorem 0.999...] a ''Metamath''. {{en}}
* [http://betterexplained.com/articles/a-friendly-chat-about-whether-0-999-1/ "A Friendly Chat About Whether 0.999… = 1"]. {{en}}

{{Article de qualitat}}

{{ORDENA:0,999...}}
[[Categoria:Articles de qualitat de matemàtiques]]
[[Categoria:Nombres triangulars]]
[[Categoria:Potències enteres de 10]]
[[Categoria:Potències enteres de 2]]
[[Categoria:Quadrats perfectes]]
[[Categoria:Traduccions que són articles de qualitat]]
[[Categoria:Nombres de Mersenne]]
[[Categoria:Nombres cúbics]]
[[Categoria:Nombres tetraèdrics]]
[[Categoria:Nombres icosaèdrics]]
[[Categoria:Nombres octaèdrics]]
[[Categoria:Nombres d'Erdős-Woods]]
[[Categoria:Nombres de Lucas]]