Ir al contenido

Matemáticas/Historia/Números Inconmensurables

De Wikilibros, la colección de libros de texto de contenido libre.

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.