Entre dos irracionales hay un racional

Una propiedad que puede sonar obvia para algunos y sorprendente para otros. Demostraremos que siempre entre dos irracionales hay un racional, una propiedad fundamental para la recta real.