Resumen

En esta breve Nota demostraremos el resultado, bien conocido, de la irracionalidad de √m, cualquiera sea m natural no cuadrado. El interés de la presente demostración está en que no utiliza la factorización entera, como es habitual en este tipo de demostraciones. Se utiliza simplemente el Principio de Buena Ordenación en N que establece que todo conjunto no vacío en N posee un elemento mínimo y su consecuencia inmediata, el algoritmo de división entera.