Broma (pero cierta): La diferencia entre un número racional y un número irracional es irracional.
Respuesta seria: Su pregunta ya lo expresó. Un número racional se puede escribir $\frac mn$ para algún número entero $m$ y algún número entero positivo $n$ . Un número irracional es un número real que no puede se escriba así.
Para demostrar que un número es racional, el enfoque más común con diferencia es encontrar $m$ y $n$ y demostrar que el número es, de hecho, igual a su razón.
Para demostrar que un número es irracional suele ser bastante más difícil, y se suele hacer utilizando algún tipo de prueba por contradicción. Por ejemplo, los matemáticos tardaron mucho tiempo en demostrar que $\pi$ es irracional. Según https://mathoverflow.net/questions/40145/irrationality-of-pie-pipi-and-epi2 nadie sabe siquiera si $\pi^{\pi^{\pi^\pi}}$ es un número entero, y mucho menos si es racional (pero casi cualquiera apostaría a que es irracional).
Resulta que en varios sentidos, casi todos Los números reales son irracionales y, de hecho, incluso trascendentales (un tipo de bestia más desagradable). También existen varias técnicas para fabricar grandes cantidades de números irracionales (e incluso trascendentales), pero la mayoría de los números que interesan a la gente son trivialmente racionales, trivialmente algebraicos (no trascendentales) o misteriosos: nadie sabe con certeza si son racionales o irracionales.
En parte, esto se debe a que, mientras que es muy fácil juntar números racionales para obtener más números racionales, no se pueden juntar números irracionales para obtener más números irracionales de muchas maneras. Por ejemplo, la suma o el producto de dos números racionales es siempre racional, pero la suma o el producto de dos números irracionales puede ser racional.
4 votos
En general, no hay una forma sencilla de demostrar que un número irracional es irracional. La famosa constante $\gamma$ ha sido cuidadosamente investigado desde 1734, se sospecha fuertemente que es irracional, pero nadie tiene una prueba todavía.
0 votos
Ten en cuenta que la pregunta a la que te refieres se refiere a una noción totalmente diferente de "diferencia entre racionales e irracionales". Esa pregunta se refiere a todo el conjunto $\mathbb Q$ de los racionales y el conjunto $\mathbb R \setminus \mathbb Q$ de los irracionales y se pregunta en qué se diferencian esos conjuntos desde el punto de vista topológico. Por lo tanto, la pregunta es muy diferente de su pregunta.