Esto puede sorprenderte, pero cada aparición de $\pi$ por muy loco que parezca, traza la implicación de un círculo en alguna parte.
Por ejemplo, ¿de dónde procede el producto Wallis? De la evaluación de $\frac{\sin x}{x}=\prod_{k\ge 1}(1-\frac{x^2}{k^2})$ en $x=\frac{\pi}{2}$ (es decir, un cuarto de vuelta de $x=0$ ). Y aunque enseñamos trigonometría a los alumnos con triángulos rectángulos, se pueden incrustar esos triángulos en un círculo cuya hipotenusa es un radio, y generalizar el coseno y el seno más allá de los ángulos agudos, de modo que, si en el círculo $x^2+y^2=1$ consideramos un radio $(1,\,0)$ y otra formando un ángulo contrario a las agujas del reloj $\theta$ con él, este último se encuentra con el círculo en $(\cos\theta,\,\sin\theta)$ . Así que, en última instancia, estas funciones se definen con círculos.
¿Y el problema de Basilea? Podemos demostrar $\sum_{k\ge 1}k^{-2}=\frac{\pi^2}{6}$ utilizando el hecho de que los agudos $x$ satisfacer $\cot^2x\le x^{-2}\le\csc^2 x=\cot^2 x$ que sumamos sobre $x\in\{\frac{k\pi}{2m+1}|1\le k\le m\}$ . (La suma de los cotangentes al cuadrado se puede obtener a partir de los coeficientes de un polinomio .) Así que, una vez más, esto nos lleva a la trigonometría, y por tanto a los círculos.
Del mismo modo, cada aparición de $e$ por muy disparatada que parezca, se remonta a cualquiera de sus definiciones equivalentes (1) $e:=\lim_{n\to\infty}(1+\frac{1}{n})^n$ o (2) $\frac{d}{dx}e^x=e^x,\,e>0$ . (1) implica $(1+\frac{x}{n})^n\approx e^x$ para $x\ll n$ , de donde podemos deducir el teorema del límite central utilizando funciones características. Pero esta demostración también utiliza $e^{ix}=\cos x+i\sin x$ que se puede demostrar combinando (2) con una prueba de que $\cos x,\,\sin x$ satisfacer $y''=-y$ .
¿Por qué $\pi$ ¿siguen apareciendo? Porque las simetrías multivariables se refieren con frecuencia al trazado sobre la superficie de un círculo, una esfera o una hiperesfera, que se remonta a los círculos. ¿Por qué $e$ ¿siguen apareciendo? Porque muchos problemas giran en torno a las tasas de cambio, que incluyen automáticamente funciones exponenciales si las ecuaciones diferenciales implicadas adoptan una forma determinada.