Matemáticas/Historia/Números Inconmensurables

Descubrimiento de los inconmensurables editar

Las circunstancias y la fecha de este descubrimiento son inciertas, aunque se atribuye a la escuela pitagórica (se utiliza el Teorema de Pitágoras). Aristóteles menciona una demostración de la inconmensurabilidad de la diagonal de un cuadrado con respecto a su lado basada en la distinción entre lo par y lo impar. La reconstrucción que realiza C. Boyer es:

Sean d:diagonal, s:lado y d/s racional que podremos escribirlo como   con p y q primos entre sí. Por el teorema de Pitágoras tenemos que   ,  , entonces   y por tanto   debe ser par y también p, y por tanto q impar. Al ser p par tenemos  , entonces   y  , entonces   es par y q también, entonces q es par e impar con lo que tenemos una contradicción.

La teoría pitagórica de todo es número quedó seriamente dañada.

El problema lo resolvería Eudoxo de Cnido (408-355 a. C.) tal como nos indica Euclides en el libro V de Los elementos. Para ello estableció el Axioma de Arquímedes: Dos magnitudes tienen una razón si se puede encontrar un múltiplo de una de ellas que supere a la otra (excluye el 0). Después en la Definición-5 da la famosa formulación de Eudoxo: Dos magnitudes están en la misma razón   si dados dos números naturales cualesquiera m y n, si   entonces   (definición que intercambiando el 2º y 3º términos equivale a nuestro procedimiento actual).

En el libro de J.P. Colette se hace la observación de que esta definición está muy próxima a la de número real que dará [[Richard Dedekind|Dedekind en el siglo XIX, divide las fracciones en las   tales que   y las que no.