La primera prueba que encontré se llama PRUEBA DE LAMBERT:
En 1761, Lambert demostró que π es irracional al mostrar primero que esta expansión de fracción continua es válida: Entonces Lambert demostró que si x no es cero y es racional, entonces esta expresión debe ser irracional. Como tan (π / 4) = 1, se deduce que π / 4 es irracional y, por lo tanto, que π es irracional.
La versión simplificada de esta prueba se llama PRUEBA DE HERMITE:
Esta prueba utiliza la caracterización de π como el número positivo más pequeño cuya mitad es un cero de la función coseno y en realidad demuestra que π2 es irracional. [3] [4] Como en muchas pruebas de irracionalidad, el argumento procede por reductio ad absurdum.
Considere las secuencias ( An ) n ≥ 0 y ( Un ) n ≥ 0 de funciones de R a R así definidas:
- ¿Cuáles son los sistemas de conteo más inusuales del mundo?
- ¿Por qué los números racionales son densos y de medida cero al mismo tiempo?
- ¿Cómo se puede definir cero?
- ¿Cuál es una buena manera de ayudar a los niños a comprender qué tan grande es ‘un millón’?
- ¿Por qué solo hay ‘dos’ partes de un número complejo?
Se puede demostrar por inducción que y eso
y por lo tanto eso
Entonces
que es equivalente a
De esto se deduce, junto con el hecho de que A 0 ( x ) = sin ( x ) y que A 1 ( x ) = – x cos ( x ) + sin ( x ), que An ( x ) se puede escribir como Pn ( x 2) sen ( x ) + x Qn ( x 2) cos ( x ), donde Pn y Qn son funciones polinomiales con coeficientes enteros y donde el grado de Pn es menor o igual a ⌊ n / 2⌋. En particular, An (π / 2) = Pn (π2 / 4).
Hermite también dio una expresión cerrada para la función An , a saber No justificó esta afirmación, pero se puede probar fácilmente. En primer lugar, esta afirmación es equivalente a
Procediendo por inducción, tome n = 0.
y, para el paso inductivo, considere cualquier n ∈ Z +. Si
luego, usando la integración por partes y la regla de Leibniz, uno obtiene
Si π2 / 4 = p / q , con pyq en N , entonces, dado que los coeficientes de Pn son enteros y su grado es menor o igual a ⌊ n / 2⌋, q ⌊ n / 2⌋ Pn (π2 / 4) es un número entero N. En otras palabras,
Pero este número es claramente mayor que 0; por lo tanto, N ∈ N. Por otra parte,
y entonces, si n es lo suficientemente grande, N <1. De este modo, se alcanza una contradicción.
Hermite no presentó su prueba como un fin en sí mismo sino como una ocurrencia tardía dentro de su búsqueda de una prueba de la trascendencia de π. Discutió las relaciones de recurrencia para motivar y obtener una representación integral conveniente. Una vez que se obtiene esta representación integral, hay varias formas de presentar una prueba sucinta y autónoma a partir de la integral (como en las presentaciones de Cartwright, Bourbaki o Niven), que Hermite pudo ver fácilmente (como lo hizo en su prueba de la trascendencia). de e.
Además, la prueba de Hermite está más cerca de la prueba de Lambert de lo que parece. De hecho, An ( x ) es el “residuo” (o “resto”) de la fracción continua de Lambert para tan ( x )