Sabemos que los números irracionales nunca se repiten combinando los dos hechos siguientes:
- todo número racional tiene una expansión decimal repetida, y
- todo número que tiene una expansión decimal repetida es racional.
En conjunto, estos hechos demuestran que un número es racional si y sólo si tiene una expansión decimal repetida.
Las expansiones decimales que no se repiten son fáciles de construir; en otras respuestas ya hay ejemplos de ello.
Creo que lo más importante en relación con tu pregunta es que nadie determina la irracionalidad de un número examinando su expansión decimal. Si bien es cierto que un número irracional tiene una expansión decimal no repetitiva, no es necesario demostrar que un número dado tiene una expansión decimal no repetitiva para demostrar que es irracional. De hecho, esto sería muy difícil ya que tendríamos que tener una forma de determinar todos los decimales. En su lugar, utilizamos el hecho de que un número irracional no es racional; de hecho, ésta es la definición de un número irracional (nótese que la definición no es que tenga una expansión decimal no repetitiva, eso es una consecuencia). En particular, para mostrar un número como $\sqrt{2}$ es irracional, demostramos que no es racional. Este es un enfoque mucho mejor porque, a diferencia de los números irracionales, los números racionales tienen una forma muy específica que deben adoptar, a saber $\frac{a}{b}$ donde $a$ y $b$ son números enteros, $b$ no cero. Las pruebas estándar muestran que no se puede encontrar tal $a$ y $b$ para que $\sqrt{2} = \frac{a}{b}$ demostrando así que $\sqrt{2}$ no es racional; es decir, $\sqrt{2}$ es irracional.
0 votos
Tal vez se pueda explicar con más detalle lo que significa "repite" y "nunca repite". Por ejemplo, $0.1221112222111112\dots$ "nunca se repite".
0 votos
Sí... eso es difícil, con alumnos de secundaria. Suelo probarlo con mis alumnos de cálculo una vez que han aprendido secuencias y series.
0 votos
En este contexto, "los números irracionales nunca se repiten" no significa "ningún dígito ocurre más de una vez", sino "ninguna secuencia finita de dígitos ocurre periódicamente".
0 votos
En lugar de repetir, mencione periódicamente. Es más preciso, sin ambigüedades, y a la vez fácil de entender. Algo muy sencillo de demostrar es que si $x$ tiene una periodicidad, o finalmente expansión decimal periódica, entonces $x$ es racional. Por ejemplo, si $x=0.5632632632...$ entonces $1000x=563.2632632632...$ Así que $999x=562.7=5627/10$ etc. Así, si $x$ tiene una expansión que no es eventualmente periódica, debe ser irracional.
0 votos
En cuanto a $\sqrt 2$ Es un sitio muy bonito: cut-the-knot.org/proofs/sq_root.shtml
0 votos
Ahora bien, la pregunta (cómo saben...) es buena, en el sentido de que es Es más difícil demostrar resultados de irracionalidad que demostrar que un número es racional. Para números famosos como $\pi$ tardó miles de años. Para algunos números (como el de Euler $\gamma$ o como $\pi+e$ ) aún no lo sabemos.
0 votos
Y, si les interesa, se puede pasar a describir cómo se calculan los dígitos de, por ejemplo, $\pi$ son todavía objeto de trabajo. Véase, por ejemplo ams.org/notices/201307/rnoti-p844.pdf que comienza explicando parte de la historia (no sólo para $\pi$ ) antes de describir algunos de los resultados modernos. En particular, pueden disfrutar de la historia de Shanks (que calcula 707 dígitos de $\pi$ durante 15 años, teniendo casi 200 dígitos erróneos).