Si sabes un poco de cálculo y han llegado a través de la inducción, entonces aquí es un esquema de un ejercicio estándar (ver Burkill - Un primer Curso de Análisis) para demostrar ππ irracional.
Vamos
In(α)=∫1−1(1−x2)ncosαx dxIn(α)=∫1−1(1−x2)ncosαx dx
luego de integrar por partes para mostrar que para n≥2n≥2
α2In=2n(2n−1)In−1−4n(n−1)In−2.α2In=2n(2n−1)In−1−4n(n−1)In−2.
El uso de la inducción para demostrar que para un entero positivo nn hemos
α2n+1In(α)=n!(P(α)sinα+Q(α)cosα),α2n+1In(α)=n!(P(α)sinα+Q(α)cosα),
donde P(α)P(α) Q(α)Q(α) son polinomios de grado menor que 2n+12n+1 αα con coeficientes enteros.
Mostrar que si π/2=b/a,π/2=b/a, donde aa bb son enteros, entonces
b2n+1In(π/2)n!(1)b2n+1In(π/2)n!(1)
sería un entero.
Tenga en cuenta que
In(π/2)<∫1−1(1−x2)n dx<2 y b2n+1n!→0 como n→∞In(π/2)<∫1−1(1−x2)n dx<2 y b2n+1n!→0 como n→∞
lo que resulta en contradicción ya que el (1)(1) se supone que ser un número entero, pero podemos demostrar que es tan pequeño como uno desea.
Esta fue la primera prueba de la irracionalidad de la ππ que me encontré, y creo que es muy accesible para aquellos que estén dispuestos a darle una oportunidad.