¿Qué resultados geométricos se probaron primero al suponer que todos los números reales son racionales?

Pitágoras y sus seguidores creían que todas las magnitudes son conmensurables; es decir, la razón de dos magnitudes de la misma especie, como dos longitudes o dos áreas, es igual a la razón de los números naturales. En lenguaje moderno, esto significa que todos los números reales son números racionales. Esto les permitió averiguar si dos proporciones de magnitud son iguales: simplemente averigüe a qué proporción de números naturales es igual cada uno y luego compare esas proporciones entre sí.

Pero Hippassus de Metapontum descubrió que la razón de una diagonal de un cuadrado a su lado no es igual a la razón de los números naturales. Entonces se necesitaba una nueva definición para cuando dos razones de magnitudes son iguales. Esto lo hizo Eudoxo de Cnido. En lenguaje moderno, su definición dice que dos números reales son iguales si los mismos números racionales son menores, iguales y mayores que ellos (básicamente la idea detrás de los cortes de Dedekind).

Mi pregunta es, ¿qué resultados de la geometría probaron los pitagóricos usando la suposición incorrecta de que todos los números reales eran racionales? Hace mucho tiempo, leí un libro, cuyo nombre no recuerdo, que enumeraba algunos resultados y describía cómo tenían que ser reprobados con la nueva definición de Eudoxo.

Usted (y ellos) no pueden generar una prueba válida basada en suposiciones no válidas. No está claro lo que estás preguntando.
@CarlWitthoft Obviamente, pero lo que pregunto es qué resultados geométricos se probaron primero de manera inválida usando esa suposición incorrecta, y luego tuvieron que probarse de manera válida usando la definición de Eudoxus.

Respuestas (1)

Hay errores en los supuestos de su pregunta:

  • Esa historia sobre Hippasus de Metapontum es muy dudosa. Está la versión que mencionas. También existe la versión según la cual lo que descubrió (o reveló) fue cómo construir un dodecaedro.
  • Usted afirma que los pitagóricos pudieron averiguar si dos proporciones cualesquiera de magnitud son iguales: solo tenían que "descubrir a qué proporción de números naturales es igual cada uno, y luego comparar esas proporciones entre sí". Con respecto a esta idea, David Fowler escribió: "No conozco evidencia explícita de esto, ni temprano ni tarde". ( Las Matemáticas de la Academia de Platón: Una nueva reconstrucción , 2ª edición , Clarendon Press, 1999, § 10.1)
  • Finalmente, dudo que los pitagóricos probaran algún enunciado geométrico utilizando la idea de que todas las magnitudes son conmensurables. Y, si lo hicieron, no sobrevivió tal prueba.