miércoles, 9 de marzo de 2016

Una observación relacionada con la constante de los redondos aros y un famoso cortometraje de Walt Disney

Como algunos de ustedes ya saben, el Día de π en este año se celebrará el próximo sábado 14 de marzo (incidentemente, un día antes de los IDUS DE MARZO, el momento del año en que supuestamente fue asesinado el preclaro militar y político romano Julio César [100 a.C.—44 a.C.]).

Se elige el 14 de marzo para celebrar a $\pi$ pues en algunos países la fecha correspondiente a tal día se escribe como 3/14 o 3.14; claramente, ambas expresiones evocan la aproximación a $\pi$ que en la escuela básica frecuentemente se "inculca" como el valor exacto de ese número. Con el transcurrir de los años, el estudiante aprende que esa práctica de igualar, implícita o explícitamente, a $\pi$ con 3.14 no es correcta pues $\pi$ es un número que no sólo es irracional (esto es, $\pi$ es un número que no se puede expresar como el cociente de dos números enteros) sino que también es trascendente (i.e., no es cero de ningún polinomio con coeficientes enteros).

En este 2015, la conmemoración del Día de π está sonando bastante porque nunca falta quien pretenda asociarle a la fecha del próximo sábado la expresión

3/14/15

o, ya entrados en gastos, considerando horas, minutos y segundos, algo de esta especie:

3/14/15/9:26.53...

La expresión anterior puede verse como una aproximación a $\pi$ con un error absoluto de $5.89793\ldots \times 10^{-10} $ pues es sabido que

$\pi =3.1415926535897\mathbf{9}3... \quad (\ast)$

La oservación a la que se hace alusión en el título de esta nota tiene que ver precisamente con esas primeras 15 cifras de $\pi$ después del punto decimal y con el doblaje al español del cortometraje Donald en el País de las Matemágicas, el cual puede encontrarse en el siguiente enlace:

Alrededor del minuto 1.75 del corto, o al menos de la versión que aparece en ese enlace, verán ustedes a un monito sobre la rama de un árbol que recita lo siguiente:

$\pi$ es igual a $3.1415926535897\mathbf{4}7$ etc., etc., etc.

¿Notan la discrepancia en las posiciones 14 (después del punto decimal) entre el desarrollo para $\pi$ que presentamos en $(\ast)$ y el desarrollo que está sugiriendo la gente de Walt Disney?

Indicaremos a continuación los elementos necesarios para convencerse de que es el monito de Disney quien incurre en una pifia al afirmar que $\pi$ es igual $3.141592653589747\ldots$ Aunque lo que viene a continuación puede lucir un tanto técnico, lo que hay que recordar básicamente es que, en la práctica, una manera de obtener aproximaciones a $\pi$ es mediante el desarrollo de Taylor para la función $\arctan(x)$ y el hecho de que $\arctan(1)=\frac{\pi}{4}$.

De nuestros cursos de cálculo infinitesimal sabemos que

$\displaystyle \arctan(x) = x - \frac{x^3}{3} + \cdots + \frac{(-1)^n x^{2n+1}}{(2n+1)} + R(x) \quad (\ast \ast)$

donde el término de error $R(x)$ está acotado en valor absoluto por

$\displaystyle \frac{|x|^{2n+3}}{2n+3}.$

De esto se sigue que si queremos conocer, por decir algo, las primeras 14 cifras (después del punto decimal) de $\arctan(1)=\frac{\pi}{4}$, lo que tenemos que hacer es determinar en primer lugar un número natural $N$ tal que

$\displaystyle |R(1)| \leq \frac{1}{2N+3} < 10^{-14}; \quad (\ast \ast \ast)$

lo que haríamos a continuación sería evaluar el polinomio

$\displaystyle x - \frac{x^3}{3} + \cdots + \frac{(-1)^N x^{2N+1}}{2N+1}$

en $x=1$. En este caso, el primer número natural $N$ que satisface la desigualdad ubicada más a la derecha en $(\ast \ast \ast)$ es el ceiling de $(10^{14}-3)/2$: desafortunadamente, el número $N$ así obtenido es demasiado grande como para que ejecutemos "a mano" el plan previamente delineado. Lo que típicamente se hace entonces es expresar $\arctan(1)=\frac{\pi}{4}$ en términos de arcotangentes de números más pequeños que $1$. Por ejemplo, de la interpretación geométrica de la multiplicación de números complejos y la igualdad

$\displaystyle \frac{(5+i)^4}{(239+i)} = 2+2i$

se desprende inmediatamente que

$\displaystyle 4\arctan(1/5) - \arctan(1/239) = \frac{\pi}{4}.$

De esto y lo que se tiene en $(\ast \ast)$ se obtiene a su vez que

$\displaystyle \frac{\pi}{4} = 4\left(\frac{1}{5}-\frac{(1/5)^{3}}{5^3}+ \cdots +\frac{(-1)^n(1/5)^{2n+1}}{2n+1}\right)-$

$\displaystyle \left(\frac{1}{239}-\frac{(1/239)^3}{3}+\cdots+\frac{(-1)^n(1/239)^{2n+1}}{2n+1}\right) + R \quad (\ast^{4})$

donde

$\displaystyle |R| \leq \frac{4}{(2n+3) (5)^{2n+3}} + \frac{1}{(2n+3) (239)^{2n+3}}.$

En consecuencia, para obtener las primeras 14 cifras después del punto decimal de $\arctan(1)=\frac{\pi}{4}$, basta con determinar el primer número natural $N$ tal que

$\displaystyle \frac{5}{(2n+3)(5)^{2n+3}} < 10^{-14}.$

Resulta ser que el primer número natural que satisface la condición anterior es $N=9$. Concluimos de esto y de la igualdad en $(\ast^{4})$ que

$p=0.785398163397447$

y $\frac{\pi}{4}$ coinciden en sus primeras 14 cifras decimales. Comparando lo anterior con el resultado que se obtiene al dividir el $\pi$ de Disney por $4$, concluimos que es falso que la cifra 14 después del punto decimal de $\pi$ sea $4$: en otras palabras, ¡el monito declamador que aparece en esa escena de Donald en el País de las Matemágicas es todo un trolero!

Sin más por el momento, les deseamos la mejor de las suertes con el bombardeo de memes, gifs, etc. que podría presentarse el próximo sábado en ocasión del Día de π (del Milenio, según se está manejando en algunos sitios). De nuestra parte sólo quedaría agregar un par de vínculos relacionados con lo que se ha expuesto previamente. En primer lugar, podrían intentar echarle un ojo a la demostración más breve de la irracionalidad de $\pi$ que se conoce hoy en día:

I. Niven. A simple proof that $\pi$ is irrational. Bull. Amer. Math. Soc. 53 (1947), no. 6, p. 509.

En segundo lugar tenemos un enlace donde encontrarán una anécdota debida a George Gamow en la cual se relata cómo en cierta ocasión el teorema de Taylor le salvó la vida al físico soviético Igor Tamm (quien fuera laureado con el Nobel de Física en 1958):

I. Tamm and the remainder term in Taylor's theorem

Es todo por hoy, estimados lectores. ¡Hasta pronto!