Ya habíamos visto anteriormente que el número es irracional y trascendente. Sin embargo nos falta verlo para el número irracional más famoso de todos: . La expresión de en base decimal es bien conocida, pero no podemos definir el número a partir de ésta ya que solo la conocemos parcialmente. El número se puede definir de muchas maneras, todas ellas equivalentes. La más conocida por motivos históricos es que es el cociente entre la longitud de una circunferencia y su diámetro. No obstante, deducir a partir de esa definición que es irracional no parece una tarea sencilla.
Haz clic en la imagen para ampliar

Nombre:	berationalgetreal.jpg
Vitas:	1
Tamaño:	23,5 KB
ID:	340859

Vamos a intentar definir el número de una forma analítica, a partir del número ya conocido. Como es sabido podemos definir el número a partir de la serie . Del mismo modo definimos de manera natural la función exponencial mediante (es su serie de Taylor, pero aquí la estamos cogiendo como definición). La gracia del asunto es que esta definición nos vale cuando extendemos el dominio de a los números complejos. A continuación, podemos definir unas funciones de dominio real como combinación lineal de estas exponenciales complejas, que llamaré y , de la siguiente manera

No quiero extenderme en este tema, pero se puede probar que en efecto si el dominio de son los reales, entonces la imagen de estas funciones también son los reales. También se puede probar, como ya sospecharéis, que estas definiciones de y coinciden con las de las funciones y , respectivamente, definidas geométricamente. En adelante pues les llamaré seno y coseno y daré por conocidas todas sus propiedades. Como veis, todas estas definiciones las hemos podido hacer sin nombrar a en ningún momento. No obstante, una de las propiedades que se puede demostrar a partir de lo ya dicho es que la función tiene ceros y es periódica. Nos aparece de manera natural la siguiente definición de


Además puede verse que la función es periódica y justamente su periodo es , y lo mismo para el coseno. Como veis, ahora las funciones trigonométricas y el número han perdido toda su formulación geométrica y vamos a verlos desde el punto de vista analítico.

El objetivo de este artículo es demostrar la irracionalidad de , que a pesar de ser conocida no es en absoluto trivial. La demostración que presentaré es del matemático Ivan Niven. Para clarificar su lectura he decidido organizarla mediante una serie de lemas que son completamente independientes de la demostración final pero que ésta los usa, así el lector puede decidir mirarse la demostración de los lemas en el orden que considere.

En primer lugar vamos a definir un par de polinomios que utilizaremos durante todas las demostraciones:

Definición 1:
Sean dos números enteros positivos. Para cada natural , definimos el polinomio
Definición 2: Fijado un polinomio como el de la definición anterior, definimos el polinomio
Donde indica la derivada -ésima de .

Como puede verse son dos polinomios de grado , que a priori no tienen nada que ver con . Los siguientes 3 lemas serán simples propiedades que cumplen estos polinomios anteriormente definidos:

Lema 1:
Demostración: Como está definido como un sumatorio de las derivadas de orden par de , bastará comprobar la igualdad para cada uno de los sumandos.
Primeramente observamos que
Derivando veces la igualdad tenemos que , que para el caso particular de derivadas pares queda . Finalmente evaluando en queda .

Lema 2:
Demostración: Veremos en primer lugar que es un entero, . Lo haremos por casos para los distintos valores posibles de .
  • [*=1]Si
Observamos que es un polinomio de grado como mucho , que tiene como factor . Las primeras derivadas tendrán por tanto al menos como factor por lo que.
  • [*=1]Si
Primeramente, utilizando el desarrollo del binomio de Newton tenemos que
Y por tanto podemos escribir como
Al hacer la derivada ésima anulamos todos los sumandos de grado menor que y nos queda
Donde es un polinomio que no vamos a calcular pues nos interesa ver que
que es claramente un entero no nulo pues por lo que , y son enteros positivos.
  • [*=1]Si claramente nos queda el polinomio idénticamente cero.

Con esto tendríamos visto que . Falta ver que es positivo. Observamos que los primeros sumandos de son nulos hasta pasada la derivada -ésima donde aparece el término .


Lema 3:

Demostración: En primer lugar observamos que , por lo que y como se tiene que . Utilizando las propiedades de las derivadas y las funciones seno y coseno tenemos que
De donde se llega a

Ahora, utilizando el teorema fundamental del cálculo y al fin la definición de que es el primer número real positivo que anula , llegamos a



Una vez vistos estos 3 lemas, aunque no lo parezca, se puede demostrar muy rápido que es irracional por el método de reducción al absurdo:

Teorema:
Demostración: Supongamos que , donde podemos suponer sin pérdida de generalidad que son enteros positivos. Sean pues y dos polinomios como los definidos en (D1) y (D2) con estos . Se tiene por el (L1) que y por tanto el (L3) implicaría que .

Por un lado tenemos que en el intervalo la función seno está acotada por .
Por otro lado tenemos que en el intervalo .
Con estas cotas se tiene que

Es conocido que la sucesión factorial crece más rápido que la exponencial por lo que y se tiene pues que

Es decir, que a partir del cual lo cual es un absurdo pues por (L2) es un entero positivo para cualquier



Con este razonamiento quedaría demostrada la archiconocida iracionalidad de . Con algo más de aparato matemático se podría demostrar su trascendencia, esto es, que NO es cero de ningún polinomio a coeficientes enteros. No obstante, son muchos los interrogantes que quedan todavía por resolver. Por ejemplo, aunque se sabe que y son irracionales trascendentes, no se sabe ni tan siquiera si , o son irracionales. Otra clasificación que se hace de los números irracionales es la de número normal, que viene a decir que entre los dígitos del número cualquier sucesión de números es equiprobable. ¿Es igual de probable encontrar un 1 que un 2 entre los decimales de ? ¿Está entre sus decimales mi número de teléfono? ¿Y la guía telefónica de mi ciudad? ¿Y el Quijote escrito en ASCII? Pues me temo que eso a día de hoy sigue siendo una incógnita, y solo está comprobada esa aparente normalidad con los primeros (más de 10 billones de) dígitos.