0,9 periódico
En matemáticas, 0,999... (siendo la coma un separador decimal) es el número decimal periódico que —se demuestra en este mismo artículo— denota al número 1.[cita requerida] En otras palabras, los símbolos «0,999...» y «1» son dos representaciones distintas del mismo número real. Las demostraciones matemáticas de esta igualdad han sido formuladas con diferentes grados de rigor, dependiendo del método elegido para definir los números reales, las hipótesis y suposiciones de partida, el contexto histórico o el público al que se dirige.
El hecho de que ciertos números reales puedan ser representados por más de una secuencia de dígitos no se limita al sistema decimal únicamente. El mismo fenómeno ocurre en todas las bases enteras, y los matemáticos también han cuantificado los modos de escribir 1 en bases no enteras. Ni siquiera se trata de un fenómeno restringido al número 1: todo número decimal finito no nulo tiene un gemelo con infinitos nueves, por ejemplo: 2 y 1,999... representan al número natural dos; 28,3287 y 28,3286999... también representan al mismo número decimal. Por simplicidad, el decimal finito es casi siempre la representación preferida, lo que puede contribuir a una equivocada interpretación de que es la única representación. Por otra parte, la forma no terminal de un número permite estudiar más fácilmente los patrones de la expansión decimal de ciertas fracciones; en base tres, por ejemplo, permite expresar la estructura ternaria del conjunto de Cantor, un fractal simple. La representación múltiple debe tomarse en cuenta en la demostración clásica de la no numerabilidad de los números reales. De manera más general, cualquier sistema de numeración posicional de los números reales, contiene una cantidad infinita de números con representaciones múltiples.
La igualdad 0,999... = 1 ha sido aceptada desde hace tiempo por los matemáticos y se la incluye en los libros de texto. No ha sido hasta las últimas décadas en que los enseñantes de matemática se han inclinado por estudiar la percepción de esta igualdad entre los estudiantes, muchos de los cuales inicialmente la cuestionan o la niegan. Muchos se persuaden por una apelación a la autoridad de los libros de texto y los profesores, o por razonamientos aritméticos. Sin embargo, algunos no se conforman, por lo que buscan una justificación ulterior.
La igualdad 0,999... = 1 está íntimamente relacionada con la ausencia de números reales infinitesimales no nulos. Algunos sistemas de numeración alternativos, como los números hiperreales, sí contienen infinitesimales no nulos; en estos sistemas, a diferencia de los reales, puede haber números cuya diferencia con el 1 sea menor que cualquier número racional. Otros sistemas, como por ejemplo los números p-ádicos, tienen otra forma de «expansión decimal», que se comporta de manera muy distinta a la expansión de los números reales. Aunque los números reales son el objeto de estudio más común en el campo del análisis matemático, tanto los hiperreales como los p-ádicos tienen aplicaciones en esta área.
Una razón por la que los decimales infinitos son una ampliación necesaria de los decimales finitos, es que permite la representación de fracciones. Utilizando el algoritmo de la división, una simple división de enteros como 1/9, se convierte en el decimal periódico 0,111..., en el que los dígitos se repiten sin fin. Este ejemplo se utiliza para dar una rápida demostración de que 0,999... = 1.
La multiplicación de 9 por 1 da 9 en cada dígito, así 9 × 0,111... = 0,999..., y 9 × 1/9 = 1, lo que implica que 0,999... = 1:
Una alternativa, también muy frecuente, es utilizar 1/3 = 0,333... y multiplicar por 3.
Cuando un número escrito en notación decimal se multiplica por 10, los dígitos no cambian pero el separador decimal se mueve un lugar a la derecha. Así, 10 × 0,999... = 9,999..., que es 9 unidades mayor que el número original. Para comprobarlo, basta restar 0,999... de 9,999..., los dígitos a la derecha del separador decimal se cancelan uno a uno, y el resultado es 9 − 9 = 0 para cada uno de estos dígitos:
Aunque estas pruebas demuestran que 0,999... = 1, el pretender que «explican» la ecuación, depende de las expectativas de la audiencia atendida. En aritmética elemental, estas pruebas ayudan a explicar por qué 0,999... = 1, o por qué 0,333... < 0,34. En álgebra elemental, estas demostraciones explican por qué el método general de conversión entre fracciones y números decimales funciona. Pero las pruebas no aclaran la relación fundamental entre los decimales y los números a los cuales representan, donde subyace la pregunta de cómo dos decimales distintos pueden ser, de hecho, iguales. William Byers argumenta que el estudiante que acepta que 0,999... = 1 basado en estas pruebas, pero que no ha resuelto la ambigüedad, no ha entendido realmente la ecuación. Según Fred Richman, el primer argumento «toma su fuerza del hecho de que la mayor parte de la gente ha sido adoctrinada para aceptar la primera ecuación sin pensarlo».
Una vez que se ha definido un esquema representativo, se puede utilizar para justificar las reglas de la aritmética decimal utilizada en estas demostraciones. Más aún, se puede demostrar directamente que los decimales 0,999... y 1,000... representan el mismo número real; esta construcción por definición se explica más abajo.
Como la cuestión de 0,999... no afecta al desarrollo formal de las matemáticas, se puede aplazar hasta que se demuestren los teoremas estándares del análisis real. Un requisito es caracterizar los números reales que se pueden escribir en notación decimal, compuesto por un signo opcional, una secuencia finita de cualquier número de dígitos que forman la parte entera, un separador decimal y una secuencia de dígitos que forman la parte fraccionaria. Para hablar de 0,999... la parte entera se puede resumir como b0 y se pueden descuidar negativos, así una expansión decimal tiene la forma
Es vital que la parte fraccionaria, a diferencia de la parte entera, no esté limitada a un número finito de dígitos. Esto es una notación posicional, así por ejemplo, el cinco en 500 contribuye diez veces más que el 5 en 50, y el 5 en 0,05 contribuye una décima parte del 5 en 0,5.
El desarrollo quizá más común de las expansiones decimales, es definirlas en términos de series infinitas. En general:
Para 0,999... se puede aplicar el teorema de convergencia de las series geométricas:
Dado que 0,999... es una suma de este tipo, con , el teorema resuelve rápidamente la cuestión:
Esta demostración (de hecho, que 10 es igual a 9,999...) aparece ya en 1770 en Elementos de álgebra de Leonhard Euler.
La suma de series geométricas en sí, son un resultado anterior a Euler. Una demostración típica del siglo XVIII utiliza una manipulación término-a-término similar a la demostración algebraica antes expuesta; en 1811, el libro de texto de Bonnycastle Una Introducción al Álgebra utiliza una serie geométrica de este tipo para justificar la misma maniobra sobre 0,999.... Una reacción del siglo XIX contra tales métodos de adición liberales resultó en la definición que aún domina hoy: la suma de una serie se define como el límite de la sucesión de sus sumas parciales. Una demostración correspondiente del teorema calcula explícitamente esta sucesión; se puede encontrar en cualquier introducción al cálculo o el análisis basado en la demostración.
Una sucesión (x0, x1, x2, ...) tiene por límite x si la distancia |x − xn| se vuelve arbitrariamente pequeña a medida que n aumenta. La afirmación misma 0,999... = 1 puede ser interpretada y demostrada como límite:
El último paso, que , suele justificarse por el axioma de la propiedad arquimediana de los números reales. Esta actitud hacia basada en límites es por cierto más evocadora, aunque mucho menos precisa. Por ejemplo, en el libro de texto de 1846 The University Arithmetic se explica: «0,999 +, continuando al infinito = 1, porque cada 9 anexado acerca el valor aún más a 1»; el texto de 1895 Arithmetic for Schools dice «...cuando se toma una gran cantidad de 9s, la diferencia entre 1 y 0,99999... se vuelve inconcebiblemente pequeña». Tales enfoques heurísticos suelen ser interpretados por los estudiantes como que 0,999... en sí es menor que 1.
La definición de series expuesta más arriba es una manera sencilla de definir un número real denotado por una expansión decimal. El proceso opuesto proporciona una visión complementaria: para un número real dado, definir la expansión decimal que lo denota.
Si un número real x pertenece al intervalo cerrado [0 ; 10] (i.e, es mayor o igual a cero y menor o igual a diez), se puede dividir este intervalo en diez partes que se superpongan únicamente en las extremidades: [0 ; 1], [1 ; 2], [2 ; 3], y así hasta [9 ; 10]. El número x debe pertenecer a alguno de ellos; si pertenece a [2 ;3], se anota el dígito «2» y se subdivide ese intervalo en [2 ; 2,1], [2,1 ; 2,2], ..., [2,8 ; 2,9], [2,9 ; 3]. Continuando este proceso se obtiene una sucesión infinita de intervalos encajados, rotulados por una sucesión infinita de dígitos b0, b1, b2, b3, ..., que se escriben
Con este formalismo, las identidades 1 = 0,999... y 1 = 1,000... reflejan, respectivamente, el hecho de que el 1 esté tanto en el intervalo [0 ; 1] como en [1 ; 2], por lo que se puede elegir cualquiera de los dos intervalos al escribir los dígitos. Para asegurarse de que esta notación no abuse del signo «=», se requiere de un método que permita reconstruir un único número real para cada decimal, como por ejemplo los límites; otras construcciones abordan el tema del ordenamiento.
Una opción directa es el teorema de los intervalos encajados, que garantiza que, dada una sucesión de intervalos cerrados encajados, cuya longitud se puede hacer arbitrariamente pequeña, los intervalos contienen exactamente un número real en su intersección. Así, b0,b1b2b3... queda definido como el único número contenido en todos los intervalos [b0 ; b0 + 1], [b0,b1 ; b0,b1 + 0,1], y así sucesivamente. De este modo, 0,999... es el único número real que está en todos los intervalos [0 ; 1], [0,9 ; 1], [0,99 ; 1], y [0,99...9 ; 1] para cada cola finita de 9s. Puesto que el 1 es un elemento de cada uno de estos intervalos, 0,999... = 1.
El teorema de los intervalos surge por lo general como una característica aún más fundamental de los números reales: la existencia de la mínima cota superior o supremo. Para explotar directamente estos objetos, se define b0,b1b2b3... como la mínima cota superior del conjunto de aproximantes {b0 ; b0,b1 ; b0,b1b2 ; ...}. Se puede demostrar que esta definición (o la definición de los intervalos encajados) es consistente con el proceso de subdivisión, lo cual implica 0,999... = 1 nuevamente. Tom Apostol concluye,
Se puede definir explícitamente a los números reales como una cierta estructura construida sobre los números racionales, basándose en la teoría axiomática de conjuntos. Los números naturales – 0, 1, 2, 3, ... – comienzan en 0 y continúan ascendentemente, de modo que cada número tiene un sucesor. Este conjunto se puede extender al añadírsele los negativos, obteniéndose así el conjunto de los números enteros; éstos, a su vez, también se pueden extender, si se añaden los cocientes, a los números racionales. Estos conjuntos numéricos se acompañan de las cuatro operaciones aritméticas fundamentales: suma, resta, multiplicación y división. De manera más sutil, poseen un ordenamiento, de modo que cada uno de estos números puede ser comparado con algún otro, y será menor que, mayor que, o igual a este otro número.
El paso de los racionales a los reales es una extensión mucho mayor. Hay al menos dos maneras corrientes de hacerlo, ambas publicadas en 1872: por medio de las cortaduras de Dedekind y por sucesiones de Cauchy. Pruebas de que 0,999... = 1 que utilicen directamente estas construcciones no se encuentran en libros de texto de análisis real, donde la tendencia moderna durante las últimas décadas ha sido el uso del análisis axiomático. Incluso cuando la hay, la construcción es usualmente aplicada a la demostración de los axiomas de los números reales, que luego apoyan las pruebas anteriores. No obstante, muchos autores sostienen que comenzar con la construcción es más apropiado lógicamente, y las pruebas que resultan tienen mayor autonomía.
En el método de las cortaduras de Dedekind, cada número real x se define como el conjunto infinito de todos los números racionales que son menores que x. En particular, el número real 1 es el conjunto de todos los números racionales menores a 1. Toda expansión decimal positiva determina fácilmente una cortadura de Dedekind: el conjunto de números racionales que son menores que alguna etapa de la expansión. Luego el número real 0,999... es el conjunto de números racionales r tales que r < 0, o r < 0,9, o r < 0,99, o r es menor que algún otro número de la forma
Todo elemento de 0,999... es menor que 1, luego es un elemento del número real 1. Inversamente, un elemento de 1 es un número racional
lo cual implica
Dado que 0,999... y 1 contienen los mismos números racionales, son el mismo conjunto: 0,999... = 1.
Esta definición de los números reales como cortaduras de Dedekind fue publicada por primera vez por Richard Dedekind en 1872. El método descrito anteriormente para asignar un número real a cada expansión decimal es debido a una publicación de carácter explicativo intitulada: "Is 0.999 ... = 1?" de Fred Richman en Mathematics Magazine, dirigida a enseñantes de matemática de nivel intermedio y sus estudiantes. Richman nota que al tomar las cortaduras de Dedekind en cualquier subconjunto denso de los números racionales se obtiene el mismo resultado; en particular, utiliza fracciones decimales, para las cuales la demostración es más inmediata. También nota que, típicamente, las definiciones permiten que { x : x < 1 } sea una cortadura pero no { x : x ≤ 1 } (o viceversa).
"¿Para qué hacer esto? Precisamente para eliminar la posibilidad de que existan números distintos 0,9* y 1. [...] Entonces vemos que en la definición tradicional de los números reales, la ecuación 0,9* = 1 está incorporada desde el comienzo." Una modificación suplementaria del proceso lleva a una estructura diferente en donde no son iguales. Aunque consistente, muchas de las operaciones aritméticas usuales fallan, por ejemplo la fracción 1/3 no tiene representación; véase sistemas de numeración alternativos más abajo.
Otro método de construcción de los números reales utiliza el ordenamiento de los racionales de manera menos directa. Se define primero la distancia entre x e y como el valor absoluto |x − y|, donde el valor absoluto |z| se define como el máximo entre z y −z, por lo que nunca es negativo. Se define entonces a los números reales como la sucesión de racionales que cumplen la propiedad de las sucesiones de Cauchy con esta distancia, esto es: en la sucesión (x0, x1, x2, ...), una aplicación de los números naturales en los racionales, para todo racional positivo δ existe N tal que |xm − xn| ≤ δ para todo m, n > N (la distancia entre los términos se vuelve menor que cualquier número racional positivo).
Si (xn) y (yn) son dos sucesiones de Cauchy, entonces se definen como números reales iguales si la sucesión (xn − yn) tiene por límite 0. Truncamientos del número decimal b0,b1b2b3... generan una sucesión de racionales que es de Cauchy; de esta manera se define el valor real del número. Luego, según este formalismo, la tarea es mostrar que la sucesión de números racionales
tiene por límite 0. Considerando el n-ésimo término de la sucesión, para n=0,1,2,..., se debe mostrar entonces que
Este límite se calcula fácilmente; una demostración posible es la siguiente: para ε = a/b > 0 se puede tomar N = b en la definición de límite de una sucesión. Así, nuevamente 0,999... = 1.
La definición de los números reales como sucesiones de Cauchy fue publicada por primera vez de manera independiente por Eduard Heine y Georg Cantor, también en 1872. El método de las expansiones decimales descrito anteriormente, incluyendo la prueba de que 0,999... = 1, sigue de cerca el trabajo de Griffiths & Hilton de 1970 "Un libro de texto comprensible de matemática clásica: una interpretación contemporánea". El libro está escrito específicamente para ofrecer una segunda mirada sobre conceptos familiares bajo una interpretación moderna.
El resultado 0,999... = 1 se generaliza rápidamente de dos formas. En primer lugar, todo número no nulo con una notación decimal finita (equivalentemente, con una sucesión infinita de ceros) tiene una contraparte con infinitos nueves, por ejemplo: 0,24999... es igual a 0,25 exactamente como en el caso especial considerado. Estos números son exactamente las fracciones decimales, y son densas.
En segundo lugar, un teorema comparable puede aplicarse en cada radix o base, por ejemplo: en base 2 (sistema binario), 0,111... es igual a 1, y en base 3 (sistema ternario), 0,222... es igual a 1. Los libros de texto de análisis real suelen obviar el ejemplo 0,999... y presentan alguna de estas dos generalizaciones desde el comienzo.
Representaciones alternativas del 1 también se dan en bases no enteras, por ejemplo, en la base áurea, las dos representaciones estándar son 1,000... y 0,101010..., y existen infinitas representaciones más que incluyen 1s adyacentes. En general, para casi todo q entre 1 y 2, existen incontables expansiones en q-base del 1. Por otro lado, hay incontables q (incluyendo todos los números naturales mayores que 1) para los cuales solo hay una expansión en q-base del 1, además del 1,000.... trivial. Este resultado fue obtenido por vez primera por Paul Erdős, Miklos Horváth e István Joó alrededor de 1990. En 1998, Vilmos Komornik y Paola Loreti determinaron la menor base de este tipo, la constante de Komornik–Loreti q = 1,787231650.... En esta base, 1 = 0,11010011001011010010110011010011...; los dígitos vienen dados por la sucesión de Thue-Morse, que no se repite.
Una generalización de mayor alcance hace referencia a los sistemas de numeración posicional más generales. Estos sistemas también tienen múltiples representaciones, y, en cierto sentido, revisten mayor complicación, por ejemplo:
El hecho de que todos estos sistemas de numeración distintos provean múltiples representaciones para algunos números reales, se puede atribuir a una diferencia fundamental entre los números reales, en tanto que conjunto ordenado, y una colección de cadenas infinitas de símbolos ordenados lexicográficamente. De hecho, las siguientes dos propiedades dan cuenta de esta dificultad:
El primer punto se deduce de propiedades básicas de los números reales: L tiene un supremo, R tiene un ínfimo, y se ve inmediatamente que son iguales; un número real estará en R o en L pero no en ambos, pues son conjuntos disjuntos. El segundo punto generaliza el par 0,999.../1,000... obtenido por p1 = "0", p2 = "1". De hecho, no es necesario utilizar el mismo alfabeto para todas las posiciones (de modo que por ejemplo los sistemas de raíz mixta pueden ser incluidos) o considerar la colección completa de cadenas posibles; los únicos puntos importantes son que, en cada posición, un conjunto finito de símbolos (que pueden depender incluso de los símbolos previos) pueda ser escogido (esto es necesario para asegurar elecciones máximas y mínimas), y que al hacer una elección válida para cualquier posición, el resultado debe ser una cadena infinita válida (de modo que no se permite «9» en cada posición si se prohíben sucesiones infinitas de «9»s). Bajo estas premisas, el argumento anterior muestra que una aplicación que preserva el orden de la colección de cadenas a un intervalo de números reales, no puede ser una biyección: o bien algunos números no corresponden a ninguna cadena, o bien algunos de ellos corresponden a más de una cadena.
Marko Petkovšek demostró que para todo sistema posicional que nombre a todos los números reales, el conjunto de reales que tendrá representación múltiple es siempre denso. Llama a esta demostración: «un ejercicio instructivo en topología punto-conjunto»; involucra conjuntos de valores posicionales vistos como espacios de Stone y el hecho de que su representación real viene dada por funciones continuas.
Una aplicación de 0,999... como representación de 1 se da en teoría de números elemental. En 1802, H. Goodwin publicó una observación sobre la aparición de 9s en las representaciones decimales periódicas de fracciones cuyo denominador son ciertos números primos. Por ejemplo
E. Midy probó un resultado general sobre estas fracciones, hoy llamado el teorema de Midy, en 1836. La prueba es oscura, y no está claro si su demostración involucra directamente 0,999..., pero hay al menos una prueba moderna, realizada por W. G. Leavitt, que sí lo hace; si se puede demostrar que un número decimal de la forma 0.b1b2b3... es un entero positivo, entonces tiene que ser 0,999..., que es la fuente de los 9s en el teorema. Las investigaciones en esta dirección pueden motivar el desarrollo de conceptos tales como máximo común divisor, aritmética modular, números de Fermat, orden de elementos de un grupo y la ley de reciprocidad cuadrática.
En análisis real, el caso análogo en base-3: 0,222... = 1, juega un papel esencial en la caracterización de uno de los fractales más simples: el conjunto de Cantor:
El n-ésimo dígito de la representación refleja la posición del punto en la n-ésima etapa de la construcción. Por ejemplo, el punto 2⁄3 se da con la representación usual de 0,2 o 0,2000..., dado que está a la derecha de la primera etapa y a la izquierda de toda etapa de construcción posterior. El punto 1⁄3 se representa no como 0,1 sino como 0,0222..., pues está a la izquierda de la primera etapa y a la derecha de toda etapa de construcción posterior.
Los nueves repetidos aparecen también en otro trabajo de George Cantor: deben tomarse en cuenta para construir una prueba válida, al aplicar su prueba diagonal de 1891 a las expansiones decimales ed la no denombrabilidad del intervalo unidad. Esta demostración necesita poder declarar la diferencia entre ciertos pares de números reales basada en sus expansiones decimales, por lo que se deben evitar parejas como 0,2 y 0,1999... Un método simple representa todos los números con expansión no finita; el método opuesto excluye nueves repetitivos. Una variante quizá más cercana al argumento original de Cantor utiliza de hecho base-2: transformando las expansiones en base-3 en expansiones en base-2, se puede demostrar igualmente la no denombrabilidad del conjunto de Cantor.
Los estudiantes en matemática suelen rechazar la igualdad de 0,999... y 1, por razones que van desde su apariencia dispar, hasta profundos equívocos sobre el concepto de límite de una sucesión y la naturaleza de los infinitesimales. Hay varios factores que contribuyen a la confusión:
Estas ideas suelen malinterpretarse en el contexto tradicional de los números reales, aunque algunas de ellas pueden ser válidas en otros sistemas de numeración, ya sea inventados por su utilidad matemática en general, o como contraejemplos instructivos para una mejor comprensión de 0,999...
Muchas de estas explicaciones han sido propuestas por el profesor David O. Tall, quien ha estudiado las características de la enseñanza y la cognición que llevan a algunos de los malentendidos que ha encontrado entre sus estudiantes del colegio. Interrogando a sus estudiantes para determinar por qué la vasta mayoría rechaza inicialmente la igualdad, encontró que «los estudiantes continúan concibiendo el 0,999... como una sucesión de números que se acercan más y más a 1 y no como un valor fijo, porque 'no se ha especificado cuántos lugares hay' o 'es el decimal más cercano posible debajo del 1'».
De las pruebas elementales, multiplicar 0,333... = 1⁄3 por 3 es aparentemente una estrategia convincente para persuadir a los estudiantes reticentes de que 0,999... = 1. Aun así, confrontados con el conflicto entre su creencia en la primera ecuación y la negación acerca de la segunda, algunos estudiantes comienzan a descreer de la primera, o bien, terminan frustrados. Tampoco están a salvo métodos más sofisticados: estudiantes que son absolutamente capaces de aplicar definiciones rigurosas, pueden aún sentir la necesidad de recurrir a imágenes intuitivas cuando son sorprendidos por resultados matemáticos avanzados, incluyendo 0,999... Por ejemplo, en análisis real, una estudiante fue capaz de probar que 0,333... = 1⁄3 utilizando la definición del supremo, para luego insistir en que 0,999... < 1 basada en su conocimiento previo de división euclídea. Algunos más, son capaces de probar que 1⁄3 = 0,333..., pero, confrontados con la prueba por fracciones, insisten en que la «lógica» prevalece sobre los cálculos matemáticos.
Joseph Mazur cuenta la historia de un brillante estudiante suyo de cálculo que «cuestionaba casi todo lo que yo decía en clase pero nunca cuestionaba su calculadora,» y que creía que nueve dígitos era todo lo que se necesitaba para hacer matemáticas, incluyendo el cálculo de la raíz cuadrada de 23; este estudiante quedó inconforme con el argumento de que 9,99... = 10, llamándolo un «feroz proceso imaginativo de crecimiento infinito»."
Como parte de la teoría APOS de Ed Dubinsky del aprendizaje matemático, Dubinsky y sus colaboradores (2005) proponen que aquellos estudiantes que conciben el 0,999... como una cola finita indeterminada, a una distancia infinitamente pequeña del 1, «no han construido aún un proceso de concepción completo del decimal infinito». Otros estudiantes que han completado la concepción del proceso de 0,999... quizá no han sido aún capaces de «encapsular» ese proceso dentro de una «concepción del objeto», como la concepción que tienen del objeto 1, y por esto ven el proceso 0,999... y del objeto 1 como incompatibles. Dubinsky et al. también relacionan esta habilidad mental de encapsulación con ver 1⁄3 como un número con derecho propio y con tratar al conjunto de números naturales como un todo.
Con el auge de Internet, los debates acerca del 0,999... han traspasado los salones de clases y son lugar común en grupos de noticias y foros, incluyendo varios que de hecho tienen poco que ver con las matemáticas. En el grupo de noticias sci.math, argumentar sobre 0,999... es un «deporte popular», y es una de las preguntas que se responden en sus FAQ (preguntas frecuentes). Las FAQ abarcan brevemente el caso 1⁄3, multiplicación por 10, límites y también alude a las sucesiones de Cauchy.
La edición del 2003 de la columna «interés general» del diario The Straight Dope discute 0,999... vía 1⁄3 y límites, y habla de los malentendidos surgidos en el tema:
La crónica The Straight Dope cita una discusión en su propio foro, traído de «otro foro anónimo que trata principalmente de... juegos de video». En la misma vena, la cuestión del 0,999... tuvo tanto éxito durante los primeros siete años del foro Battle.net de la sociedad Blizzard Entertainment, que la compañía emitió un comunicado el 1° de abril de 2004 (día del pescado de abril), afirmando que, definitivamente, es 1:
Dos pruebas siguen a continuación, basadas en límites y en la multiplicación por 10.
0,999... es también parte del folklore matemático:
Si bien los números reales forman un sistema de numeración extremadamente útil, la decisión de interpretar que la notación «0,999...» denota un número real es, en última instancia, una convención; Timothy Gowers arguye, en ''Mathematics: A Very Short Introduction, que la identidad resultante 0,999... = 1 es igualmente una convención:
Es posible definir otros sistemas de numeración utilizando diferentes reglas u objetos nuevos; en algunos de estos sistemas, las demostraciones anteriores tendrían que ser reinterpretadas y se podría encontrar que, en un sistema de numeración dado, 0,9... y 1 podrían no ser idénticos. En todo caso, muchos sistemas de numeración son extensiones del – más que alternativas independientes al – sistema de números reales, por lo que 0,999... = 1 sigue siendo cierto. Incluso en dichos sistemas de numeración, vale la pena examinar sistemas de numeración alternativos, no solo por cómo 0,999... se comporta (si, para el caso, un número expresado como «0,999...» tuviese sentido y no fuese ambiguo), sino también por el comportamiento de fenómenos relacionados. Si alguno de estos fenómenos difiere de aquellos que se presentan en el sistema de los números reales, entonces al menos alguna de las hipótesis de base del nuevo sistema debe ser falso.
Algunas de las demostraciones de que 0,999... = 1 se basan en la propiedad arquimediana de los números reales: no hay infinitesimales no nulos. Específicamente, la diferencia 1 − 0,999... debe ser menor que cualquier número racional positivo, por lo que debe ser un infinitesimal; dado que los números reales no contienen infinitesimales no nulos, se sigue que la diferencia debe ser cero, y por lo tanto los dos valores son el mismo.
Se pueden construir estructuras algebraicas ordenadas, matemáticamente coherentes, incluyendo varias alternativas a los números reales, que son no arquimedianas. Por ejemplo, los números duales incluyen un nuevo elemento infinitesimal ε, análogo a la unidad imaginaria i de los números complejos, excepto por el hecho que ε2 = 0. La estructura que resulta es de utilidad en diferenciación automática. Los números duales se pueden dotar de un orden lexicográfico, en cuyo caso los múltiplos de ε se convierten en elementos no arquimedianos. Hay que notar que, no obstante, en tanto que extensión de los números reales, los números duales aún conllevan 0,999... = 1. Hay que notar además que, si bien ε existe en los números duales, también ε/2, por lo que ε no es «el menor número dual positivo», y, de hecho, como en los reales, no existe tal elemento.
El análisis no estándar provee un sistema de numeración con todo un conjunto de infinitesimales (y sus inversos). A. H. Lightstone desarrolla una expansión decimal para los números hiperreales en (0 ; 1)∗. Lightstone muestra cómo asociar a cada número una sucesión de dígitos,
indexados por los números hipernaturales. Aunque no discute directamente 0,999..., muestra que el número real 1/3 se representa por 0,333...;...333... como consecuencia del principio de transferencia. En particular, «0,333...;...000...» y «0,999...;...000...» no corresponden a ningún número.
Al mismo tiempo, el número hiperrreal con el último dígito 9 a un rango infinito hipernatural H, satisface la desigualdad estricta . Subsecuentemente, Karin Katz y Mikhail Katz proponen una evaluación alternativa de «0,999...»:
Todas estas interpretaciones sitúan «0,999...» infinitamente cerca del 1. Ian Stewart caracteriza esta interpretación como una forma «absolutamente razonable» de justificar rigurosamente la intuición de que «falta algo muy pequeño» entre 0,999... y 1.... Junto con Katz & Katz, Robert Ely también cuestiona la suposición de que las ideas de los estudiantes sobre el hecho de que provengan de intuiciones erróneas acerca de los números reales, y las interpreta como intuiciones «no estándar» que pueden ser preciadas dentro del aprendizaje del cálculo.
La teoría de juegos combinatorios provee números alternativos a los reales; un ejemplo notorio es el Hackenbush azul-negro infinito. En 1974, Elwyn Berlekamp describió la correspondencia entre las cadenas Hackenbush y la expansión binaria de los números reales, motivado por la idea de la compresión de datos. En este ejemplo, el valor de la cadena Hackenbush LRRLRLRL... es 0.0101012... = 1/3, sin embargo, el valor de LRLLL... (correspondiente a 0.111...2) es infinitesimalmente menor que 1. La diferencia entre los dos es el número surreal 1/ω, donde ω es el primer número ordinal infinito; la representación correspondiente es LRRRR... o 0.000...2.
Esto se da de hecho en la expansión binaria de muchos números racionales, donde el valor de los números es el mismo pero el árbol de los caminos binarias correspondientes son distintas. Por ejemplo, 0.10111...2 = 0.11000...2, son ambas iguales a 3/4, pero la primera representación corresponde al árbol del camino binario LRLRRR... mientras que la segunda corresponde al otro camino LRRLLL....
En los casos en que la operación de sustracción no esté definida, entonces 1 − 0,999... simplemente no existe, y las pruebas dadas más arriba dejan de ser válidas. Estructuras matemáticas en que la operación aditiva está definida pero no la operación de sustracción incluyen, por ejemplo, semigrupos conmutativos, monoides conmutativos y semianillos. Richman considera dos de estos sistemas, diseñados de manera tal que 0,999... < 1.
En primer lugar, Richman define un número decimal no negativo como una expansión decimal literal. Define el orden lexicográfico y la operación de adición, notando que 0,999... < 1 simplemente porque 0 < 1 en el lugar de las unidades, pero para cualquier x no terminal, se tiene 0,999... + x = 1 + x. Luego, una peculiaridad de los números decimales, es que la adición no siempre se puede cancelar; otra es que ningún número decimal corresponde a 1⁄3. Después de definir la multiplicación, los números decimales forman un semianillo conmutativo positivo, totalmente ordenado.
En el proceso de definir la multiplicación, Richman también define otro sistema al que llama «corte D», que es el conjunto de cortaduras de Dedekind de las fracciones decimales. Ordinariamente, esta definición lleva a los números reales, pero para una fracción decimal d, Richman la altera ligeramente permitiendo tanto el corte (−∞, d ) como el corte (−∞, d ], al que llama «corte principal». El resultado es que no hay infinitesimales positivos en las cortaduras D, pero hay «un tipo de infinitesimal negativo» 0− que no posee expansión decimal.
Richman concluye que 0,999... = 1 + 0−, mientras que la ecuación «0,999... + x = 1» no tiene solución.
Al ser interrogados acerca de 0,999..., los novatos a menudo piensan que debe haber un «9 final», creen que 1 − 0,999... es un número positivo que pueden escribir como «0,000...1». Tenga o no tenga esto sentido, el objetivo intuitivo es claro: sumar 1 al último 9 en 0,999... acarrea todos los 9's a 0's y deja 1 en el lugar de las unidades. Entre otras razones, esta idea falla pues no hay un «último 9» en 0,999... Sin embargo, existe un sistema que contiene una cola infinita de 9's incluyendo un último 9.
Los números p-ádicos es un sistema de numeración alternativo de interés en teoría de números. Como los números reales, los números p-ádicos pueden construirse a partir de los números racionales vía sucesiones de Cauchy; la construcción utiliza una métrica diferente en la cual 0 está más cerca de p, y mucho más cerca de pn que de 1. Los números p-ádicos forman un campo para p primo y un anillo para otro p, incluyendo el 10. Luego, la aritmética es posible en los p-ádicos, y no hay infinitesimales.
En los números 10-ádicos, los análogos de las expansiones decimales corren hacia la izquierda. La expansión 10-ádica ...999 tiene un último 9, y no tiene un primer 9. Se puede sumar un 1 al lugar de las unidades, lo que deja detrás solo 0's después del acarreo: 1 + ...999 = ...000 = 0, y así ...999 = −1. Otra derivación utiliza series geométricas. La serie infinita multiplicada por «...999» no converge en los números reales, pero converge en los 10-ádicos, lo que permite reutilizar la fórmula familiar:
Una tercera derivación fue inventada por una estudiante desconfiada del argumento de su profesor basado en límites, para probar que 0,999... = 1; se inspiró de la prueba multiplicación por 10 en la dirección opuesta: si x = ...999 entonces 10x = ...990, luego 10x = x − 9, por lo que x = −1 nuevamente.
Como última extensión, dado que 0,999... = 1 (en los reales) y ...999 = −1 (en los 10-ádicos), entonces con «fe ciega y manipulación descarada de símbolos» uno puede sumar las dos ecuaciones y llegar a ...999,999... = 0. Esta ecuación no tiene sentido ni como expansión 10-ádica ni como expansión decimal ordinaria, pero resulta ser significativa y verdadera si se desarrolla una teoría de «dobles-decimales» con, eventualmente, terminaciones repetitivas a la izquierda para representar un sistema muy conocido: los números reales.