El primer número que se mostró irracional en nuestro mundo fue supuestamente la raíz cuadrada de 2. Sé que la irracionalidad de π probablemente esté fuera del alcance de una civilización que no ha descubierto la irracionalidad en absoluto, y e probablemente requiera límites incluso para comprender , pero ¿existen otros números irracionales de fácil acceso con los que la civilización pueda haber tropezado antes de la raíz cuadrada 2? ¿Cómo habrían encontrado la irracionalidad de ese número antes que la raíz de 2? Apostaría algo de dinero a la proporción áurea, pero no puedo estar seguro y no puedo pensar en el mecanismo.
Por diferencias entre series convergentes
Creo que es una pregunta bastante difícil de responder con la etiqueta de ciencia dura, pero aquí están mis dos centavos.
Entonces, los pitagóricos antes de Hippapus de Metapontum creían que todos los números podían expresarse como si fueran todos racionales hasta que Hippapus demostró lo contrario según wikipeadia . (Perdón por la mala referencia, pero no puedo leer griego antiguo) Aparentemente, hay cierta discusión sobre si él fue el primero, pero el marco de tiempo es relativamente el mismo.
Lo importante aquí es que hoy en día lo llamamos la irracionalidad de la raíz cuadrada de 2 pero que se hizo en geometría pura. Vea Euclids Elements of Geometry para ver ejemplos. Entonces, para probar la irracionalidad, no necesitas álgebra. Dado que la mayoría de las pruebas giran en torno a una prueba lógica de contradicción al hacer que los lados sean pares y desiguales simultáneamente, tiene algunos requisitos previos.
Necesita una sociedad con conocimiento de pruebas lógicas, específicamente contradicciones, y una notación de números pares e impares. Además, probablemente ayudaría si su sociedad piensa erróneamente que todos los números son racionales y que tiene alguna pequeña unidad indivisible como base de los números.
Además de una prueba geométrica, creo que probablemente se podría hacer una prueba similar con comparaciones de series convergentes. Esto es una conjetura, pero creo que se podría hacer algo como la paradoja de Zeno para probar que los números pueden ser irracionales. Encontrar pruebas de que no todos los números son racionales de esta manera parece bastante lógico dado que ya se trata de números racionales cada vez más pequeños.
Cargas más raíces cuadradas
Si ha descubierto el Teorema de Pitágoras, encontrará muchos números irracionales como hipotenusas.
Dibuja un triángulo rectángulo con longitudes de lado de números enteros y la hipotenusa tiene longitud . Este número suele ser, aunque no siempre, irracional.
Como otros han mencionado, la prueba estándar de que es irracional funciona igual de bien para , , ... por lo que su civilización probablemente estaría reflexionando primero, ya que naturalmente viene primero en la secuencia.
El único otro candidato plausible que podría imaginar para un "primer irracional" requeriría un salto de imaginación mucho mayor para concebirlo: .
Pero tiene una prueba que posiblemente podría considerarse más fácil, o al menos ligeramente diferente:
Suponer eran racionales. Esto significa que
Esto solo se puede resolver en números enteros por , pero esta solución es inaceptable ya que es un denominador y debe ser distinto de cero.
AlexP
AlexP
Nyra