La suma de 2 números racionales es racional
La suma de un número finito de números racionales es racional.
Pero, una serie infinita de los números racionales puede o no puede ser racional.
No podemos simplemente seguir sumando 2 a la vez y seguir así?
No.
Aquí hay otro ejemplo, que tal vez le ayudará a conseguir su cabeza alrededor.
Espero que podamos estar de acuerdo en que $\pi$ es irracional.
y que los primeros dígitos de la expansión decimal de $\pi$ $3.14159$
pero $3.14159$ es racional. De hecho, cualquier finito de expansión de $\pi$ es racional.
Podemos añadir más dígitos.
$3.14159 + 0.0000026 = 3.1415926$
Y la adición de dígitos es una suma de números racionales.
Pero es sólo cuando aceptamos que es el infinito que no se repiten decimal que nosotros tenemos el número irracional que es $\pi$
Si no, ¿cómo se prueba?
Veamos el numerador.
$1-\frac 13 + \frac 15 - \frac 17+ \cdots$
Ahora, usted puede reconocer esto como la expansión de Taylor de $\tan^{-1} 1$
Pero es posible que no.
Si es racional, entonces existe entero $p,q$ tal que $\frac pq = \sum \frac {(-1)^n}{2n+1}.$
Si esto va a resumir a una sola fracción, ¿cuál es el denominador común?
Es $lcm (3,5,7,9,11\cdots)$
Ya tenemos cada número impar, tenemos el primer número (distinto de 2), y el lcm es infinito.
¿Demuestra esto que la suma es irracional? Por desgracia, no. Pero se debe establecer señales de que podría ser. Y, ciertamente, a partir del inicio de la adición de las sumas parciales, vemos una fracción de lo que se está volviendo cada vez más difícil de manejar.
Así, tenemos un número irracional / número irracional. Es posible que con sólo la información que el cociente es racional, pero es poco probable.