¿Qué sucederá si se demuestra que el teorema de Pitágoras está equivocado o hipotéticamente no existe?

Parece que estás confundiendo las palabras “teorema” para “teoría”. En ciencia, las teorías se prueban erróneamente de manera regular. Por ejemplo, según tengo entendido, se ha demostrado que la teoría de la mecánica newtoniana no es cierta a escalas muy grandes y muy pequeñas. Las teorías que se muestra que faltan son reemplazadas por mejores teorías que reflejan con mayor precisión los resultados de los experimentos. Así funcionan las cosas en la ciencia.

Matemáticas sin embargo, no es ciencia. Es significativamente más antiguo que el método científico y es una herramienta significativamente más poderosa. En matemáticas, existen esencialmente tres tipos de enunciados: axiomas, conjeturas y teoremas.

  • Los axiomas son afirmaciones que no se pueden probar porque son esencialmente definiciones de cómo los objetos se relacionan entre sí. Un axioma de la geometría euclidiana es ” Se puede dibujar un segmento de línea recta uniendo dos puntos cualquiera. No podemos probar esto en el sentido matemático; simplemente decidimos aceptar que es cierto.
  • Las conjeturas son declaraciones que nosotros (o al menos alguien) creemos que son ciertas pero que aún no se han probado. Una conjetura famosa en la teoría de números es ” Hay infinitos primos p tales que p + 2 también es primo. Esto se llama conjetura de primo gemelo y hasta ahora ha confundido a los matemáticos. Aunque parezca que hay avances significativos.
  • Los teoremas son afirmaciones que solían ser conjeturas, pero ahora se han demostrado. Para demostrar que un teorema es verdadero, es necesario demostrar que se sigue lógicamente de los axiomas. El teorema de Pitágoras se cita a menudo como el primero. Hubo muchas personas que sabían que un triángulo con longitudes laterales que siguen la relación [matemáticas] a ^ 2 + b ^ 2 = c ^ 2 [/ matemáticas] sería un ángulo recto (los chinos y los egipcios, por ejemplo), pero nadie había demostrado que esto fuera cierto para todos los triángulos rectángulos. Esto es lo que Pitágoras y sus seguidores hicieron.

En resumen, no hay forma posible de refutar el Teorema de Pitágoras, o de hecho ningún teorema. Los teoremas son hechos absolutos que solo dependen de los axiomas de los que derivan. Si uno quisiera mostrar que un teorema es falso, necesitaría mostrar uno de los axiomas como falso, o al menos no absoluto. Esto ya se ha hecho antes. Geometría no euclidiana de Google y encontrará ejemplos de geometrías donde el teorema de Pitágoras no es cierto. Sin embargo, eso no invalida el Teorema de Pitágoras, ya que solo está haciendo una declaración en Geometría Euclidiana.

El teorema de Pitágoras se sostiene en geometría euclidiana. Hay una prueba No se puede demostrar que está equivocado allí.

Puede comenzar con diferentes axiomas de geometría, y si lo hace, no obtendrá la geometría euclidiana habitual. Los teoremas que se mantienen en la geometría euclidiana se mantendrán en la geometría euclidiana, pero no tienen que mantenerse en alguna otra geometría.

En particular, en geometría hiperbólica, hay muchos teoremas familiares de geometría euclidiana que son falsos. Por ejemplo, los ángulos de un triángulo suman menos de 180 ° en lugar de 180 °. No hay cuadrados (cuadriláteros en ángulo recto y lados iguales). Hay un círculo que es más grande que cada triángulo (un círculo, pero todos los triángulos). Y el teorema de Pitágoras es falso.

En las matemáticas modernas, donde todo se construye a partir de los axiomas de la teoría de conjuntos, el teorema de Pitágoras se da como una definición de distancia en la geometría euclidiana basada en coordenadas cartesianas. Si alguien pudiera probar que Pitágoras está equivocado, significaría que los axiomas son inconsistentes. En otras palabras, la única forma de construir una prueba de que Pitágoras está equivocado sería mostrar que los axiomas de la teoría de conjuntos en sí mismos son inconsistentes ya que entonces todo sería verdadero y falso de acuerdo con los axiomas. Aunque los matemáticos siempre asumen que esto es imposible, también se sabe desde el trabajo de Godel que no es posible probar la consistencia de estos axiomas sin introducir nuevos axiomas.

Si se encontrara una inconsistencia, entonces los matemáticos tendrían que entender por qué los axiomas eran lo suficientemente inconsistentes como para reformular los axiomas y eliminar el problema. Si esto suena ridículo, vale la pena recordar que Bertrand Russel descubrió que los ingenuos axiomas originales de la teoría de conjuntos eran inconsistentes. Tuvieron que ser reemplazados por un sistema de axiomas más complicado y restrictivo para solucionar el problema.

Como otros han mencionado, el teorema de Pitágoras se mantiene en la geometría euclidiana. Sin embargo, en entornos donde la gravedad es extrema (como cerca de un agujero negro), el espacio-tiempo se curva y la distancia geodésica más corta entre dos puntos ya no se puede determinar utilizando una forma de
Teorema de Pitágoras. En tales entornos, los ángulos de un triángulo no sumarían 180 °. Hay una gravedad mucho menor aquí en la tierra (en comparación con la vecindad de un agujero negro), por lo que se descuida la curvatura. Entonces
El teorema de Pitágoras no es realmente extremadamente preciso, incluso ahora, al mirar esta pantalla.

Al menos uno de los axiomas está así equivocado y ya no tenemos geometría euclidiana. Es * incorrecto * para escalas suficientemente grandes y campos gravitacionales fuertes, porque allí la geometría euclidiana es solo una aproximación.

¿Alguien usa el teorema de Pitágoras en la vida real?

Todas las respuestas responderán a su pregunta.

Hay algo así como 250 pruebas diferentes de ese teorema. No esta mal.

Si el teorema es un día, se demuestra que está equivocado (supongamos, porque no está mal, al menos es correcto hasta ahora), entonces eso significa que la mitad de nuestro sistema matemático sobre el que construimos desaparecerá.

Por favor no te preocupes No lo sera.

¿Puedes armar una situación hipotética en la que surja la posibilidad?