Cada 14 de marzo, el mundo celebra el Día de Pi ($\pi$), una fecha que no es casual: la notación estadounidense 3/14 refleja los primeros tres dígitos de la constante más famosa de las matemáticas. En el popular blog *Ask a Mathematician / Ask a Physicist*, una entrada especial publicada con motivo de esta celebración abordó una avalancha de preguntas que los lectores han acumulado durante años sobre esta enigmática constante. Definida de manera humilde como la relación entre la circunferencia de un círculo y su diámetro,

$$
\pi = \frac{C}{D},
$$

$\pi$ ha logrado infiltrarse en casi todas las ramas de las matemáticas y la física, desde la teoría de números hasta la mecánica cuántica, desafiando cualquier intento de reducir su presencia a una mera coincidencia geométrica. La entrada del blog, escrita al alimón por un matemático y un físico, despliega un abanico de preguntas que iluminan aspectos fundamentales de la naturaleza de esta constante y, por extensión, de la propia matemática (Allain, 2022).

Una de las preguntas más recurrentes entre el público es si los dígitos de $\pi$ son realmente aleatorios. La respuesta del matemático es a la vez precisa y matizada: no, no son aleatorios en el sentido estricto de la palabra. La expansión decimal de $\pi$ está determinada de manera unívoca por su definición; cada dígito ocupa el lugar que ocupa por necesidad lógica y no por azar. Sin embargo, tras computar los primeros billones de dígitos, la secuencia se comporta de manera sorprendentemente similar a una generada por un proceso aleatorio. Esto ha llevado a que los dígitos de $\pi$ se utilicen como números pseudoaleatorios en aplicaciones computacionales que no requieren seguridad criptográfica (Bailey & Crandall, 2001). La cuestión de fondo es si $\pi$ es un *número normal* en base 10: esto significaría que, en su expansión decimal, cada bloque finito de $k$ dígitos aparece con una frecuencia límite de $10^{-k}$. A pesar de la abrumadora evidencia empírica acumulada —los primeros cien billones de dígitos muestran distribuciones consistentes con la normalidad—, no existe hasta la fecha una demostración matemática de que $\pi$ sea normal en ninguna base. La normalidad de $\pi$ sigue siendo una conjetura abierta, uno de los problemas más intrigantes de la teoría de números (Bailey & Borwein, 2008; Borwein & Borwein, 1987).

Otra pregunta fascinante que aborda el artículo es si, dado que $\pi$ contiene —o podría contener— todas las secuencias finitas posibles de dígitos, podría albergar en su interior una descripción completa del universo. Esta idea, que ha cautivado la imaginación popular y ha aparecido en obras de divulgación y ciencia ficción, merece un análisis riguroso. El físico del blog aclara que, aunque esto sería cierto si los dígitos de $\pi$ fueran perfectamente aleatorios y la constante fuera normal en base 10, existe un problema fundamental de compresión de información. Para describir la ubicación exacta de cualquier secuencia dentro de $\pi$ —es decir, para especificar a partir de qué dígito comienza— se necesita aproximadamente la misma cantidad de información que la propia secuencia. En términos de teoría de la información, la complejidad algorítmica o de Kolmogorov de localizar una secuencia dentro de $\pi$ no es menor que la de la secuencia misma, por lo que no hay ganancia compresiva real (Li & Vitányi, 2019). En otras palabras, si bien es cierto que en un número normal todo texto finito aparece en algún lugar de sus dígitos, el índice de aparición crece tan rápidamente con la longitud del texto que la información necesaria para localizarlo rivaliza con el propio contenido, haciendo inútil la idea de que $\pi$ funcione como una «biblioteca universal» comprimida.

Quizás la pregunta más reveladora desde un punto de vista epistemológico es si podríamos cambiar el sistema numérico —de base 10 a otra base, como binario, hexadecimal o base 12— para que $\pi$ dejara de ser irracional. La respuesta es un rotundo no, y las razones son profundas. La racionalidad o irracionalidad de un número es una propiedad intrínseca del número mismo, no de su representación en una base particular. Un número $x$ es racional si y solo si puede expresarse como el cociente de dos enteros, $x = a/b$ con $b \neq 0$. Esta definición no hace referencia alguna al sistema de numeración empleado para escribirlo. Si $\pi$ fuera racional, su expansión decimal (y su expansión en cualquier base entera $b \geq 2$) sería eventualmente periódica: a partir de cierto punto, un bloque finito de dígitos se repetiría indefinidamente. La demostración de esta equivalencia es elemental. Si $x = a/b$ es racional, al realizar la división $a \div b$ en base $b$, los restos posibles son finitos (solamente $0, 1, \dots, b-1$), por lo que el algoritmo de división debe eventualmente repetir un resto, generando un ciclo periódico. Recíprocamente, si una expansión en base $b$ es periódica, siempre es posible encontrar una fracción que la genere mediante el álgebra de series geométricas.

La irracionalidad de $\pi$ fue demostrada por primera vez por Johann Heinrich Lambert en 1761 utilizando fracciones continuas. Lambert demostró que si $x$ es un número racional no nulo, entonces $\tan x$ es irracional; tomando $x = \pi/4$, donde $\tan(\pi/4) = 1$ es racional, se sigue por contraposición que $\pi/4$ no puede ser racional, y por tanto $\pi$ es irracional (Lambert, 1761; Berggren, Borwein & Borwein, 2004). Sin embargo, la demostración más accesible para el público científico es la que publicó Ivan Niven en 1947 en el *Bulletin of the American Mathematical Society*. La estrategia de Niven es un modelo de elegancia: supongamos, por contradicción, que $\pi = a/b$ con $a, b \in \mathbb{N}$. Definimos la función auxiliar

$$
f_n(x) = \frac{x^n (a – bx)^n}{n!},
$$

donde $n$ es un entero positivo que elegiremos después. Observamos que $f_n(x)$ está definida en el intervalo $[0, \pi]$, ya que $a – b\pi = 0$ por la supuesta racionalidad. Niven considera entonces la integral

$$
I_n = \int_0^\pi f_n(x) \sin x \, dx.
$$

Por construcción, $I_n > 0$ y, mediante un acotamiento cuidadoso de $f_n(x)$ en el intervalo, se puede demostrar que $0 < I_n < 1$ para $n$ suficientemente grande. Sin embargo, un segundo cálculo muestra que $I_n$ es un número entero: al integrar por partes repetidamente y usar que $f_n$ y todas sus derivadas se anulan en $x = 0$ y $x = \pi$, se obtiene una expresión que es un múltiplo entero de $1/n!$ que resulta ser entero. La contradicción entre $0 < I_n < 1$ y $I_n \in \mathbb{Z}$ demuestra que la suposición inicial era falsa: $\pi$ no puede ser racional (Niven, 1947; Berggren et al., 2004). Esta demostración, que puede seguirse con conocimientos de cálculo de primer año universitario, ilustra no solo la irracionalidad de $\pi$, sino también un principio más profundo: la independencia de esta propiedad respecto del sistema de representación. No importa si escribimos $\pi$ en binario, en hexadecimal, en base 60 como hacían los babilonios, o en cualquier base entera $b \geq 2$; $\pi$ será siempre irracional. La base numérica solo afecta a la representación externa, no a la naturaleza intrínseca del número. Como bien señala el físico del blog, «$\pi$ es $\pi$, independientemente de cómo elijas escribirlo». La ubicuidad de $\pi$ en las ecuaciones de la física es otro de los temas que aborda el artículo. Desde la identidad de Euler, $$ e^{i\pi} + 1 = 0, $$ que conecta cinco de las constantes más fundamentales de las matemáticas —$e$, $i$, $\pi$, $1$ y $0$— en una sola ecuación de una belleza casi perturbadora, hasta la suma infinita resuelta por Euler que constituye el famoso problema de Basilea, $$ \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}, $$ $\pi$ aparece donde menos se le espera. La solución de Euler al problema de Basilea en 1735 fue uno de los hitos fundacionales del análisis matemático: demostró que la suma de los recíprocos de los cuadrados, un objeto aparentemente aritmético, converge precisamente a $\pi^2/6$, estableciendo una conexión profunda entre la teoría de números y la geometría (Dunham, 1999; Edwards, 1974). Incluso el principio de incertidumbre de Heisenberg, una de las piedras angulares de la mecánica cuántica, alberga a $\pi$ en su formulación: $$ \Delta x \, \Delta p \geq \frac{h}{4\pi}. $$ Aquí, $\pi$ no aparece por ninguna propiedad geométrica del círculo, sino por la relación entre la constante de Planck $h$ y la constante reducida $\hbar = h/(2\pi)$, que es la forma natural en que la constante aparece en las ecuaciones de la mecánica cuántica. La presencia de $\pi$ en esta desigualdad es un recordatorio de que las matemáticas proporcionan el lenguaje en el que se expresan las leyes de la física, y que $\pi$ es una de las letras más versátiles de ese alfabeto (Sakurai & Napolitano, 2017; Griffiths & Schroeter, 2018). La fascinación que $\pi$ despierta no se limita a su omnipresencia en las ecuaciones. También reside en el desafío computacional que ha supuesto a lo largo de la historia. El récord actual de dígitos calculados de $\pi$ supera los cien billones, y cada nuevo hito representa un logro tanto en la teoría de algoritmos como en la ingeniería de hardware. En 1995, Bailey, Borwein y Plouffe descubrieron una fórmula que permite calcular directamente el $n$-ésimo dígito hexadecimal de $\pi$ sin necesidad de calcular los anteriores: $$ \pi = \sum_{k=0}^{\infty} \frac{1}{16^k} \left( \frac{4}{8k+1} - \frac{2}{8k+4} - \frac{1}{8k+5} - \frac{1}{8k+6} \right). $$ Esta fórmula, conocida como BBP, fue revolucionaria porque demostró que era posible extraer dígitos individuales de $\pi$ en base 16 utilizando un algoritmo de complejidad polinómica (Bailey, Borwein & Plouffe, 1997). El descubrimiento no solo tuvo implicaciones prácticas, sino que también planteó preguntas teóricas sobre la estructura aritmética de $\pi$ y su posible normalidad en base 2. La reflexión final que emerge de todas estas preguntas es que $\pi$ no es simplemente un número que se usa para calcular áreas y volúmenes. Es un concepto que desdibuja la frontera entre lo descubierto y lo inventado, entre la necesidad lógica y la contingencia física. Como escribió el matemático William Schaaf en 1967, «Posiblemente ningún símbolo en matemáticas haya evocado tanta fascinación mística, tanta reverencia filosófica y tanta curiosidad científica como el número $\pi$» (Schaaf, 1967). La celebración del Día de $\pi$ no es, en el fondo, una celebración de un número; es una celebración de la curiosidad humana que, partiendo de la simple observación de que todos los círculos son semejantes, ha construido un edificio de conocimiento que abarca desde la geometría más elemental hasta las fronteras de la teoría de números y la física cuántica. La próxima vez que alguien pregunte por qué $\pi$ es tan importante, tal vez la respuesta más honesta sea: porque nos recuerda que las preguntas más simples —¿cuál es la relación entre la circunferencia y el diámetro de un círculo?— pueden conducir a los viajes intelectuales más profundos. Y porque, como demuestra el artículo del blog *Ask a Mathematician / Ask a Physicist*, las respuestas, lejos de cerrar la curiosidad, abren nuevas preguntas que nos obligan a repensar la naturaleza misma del conocimiento matemático. --- ## Referencias Allain, R. (2022). Ask a Mathematician / Ask a Physicist: Pi Day Special. *Wired*. Recuperado de https://www.wired.com/story/pi-day-2022-ask-a-mathematician-ask-a-physicist/ Bailey, D. H. & Borwein, J. M. (2008). Normal numbers and the BBP formula. *Experimental Mathematics*, 17(3), 239–249. Bailey, D. H., Borwein, P. B. & Plouffe, S. (1997). On the rapid computation of various polylogarithmic constants. *Mathematics of Computation*, 66(218), 903–913. Bailey, D. H. & Crandall, R. E. (2001). On the random character of fundamental constant expansions. *Experimental Mathematics*, 10(2), 175–190. Berggren, L., Borwein, J. & Borwein, P. (2004). *Pi: A Source Book* (3rd ed.). Springer. Borwein, J. M. & Borwein, P. B. (1987). *Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity*. John Wiley & Sons. Dunham, W. (1999). *Euler: The Master of Us All*. Mathematical Association of America. Edwards, H. M. (1974). *Riemann's Zeta Function*. Academic Press. Griffiths, D. J. & Schroeter, D. F. (2018). *Introduction to Quantum Mechanics* (3rd ed.). Cambridge University Press. Lambert, J. H. (1761). Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques. *Histoire de l'Académie Royale des Sciences et des Belles-Lettres de Berlin*, 17, 265–322. Li, M. & Vitányi, P. (2019). *An Introduction to Kolmogorov Complexity and Its Applications* (4th ed.). Springer. Niven, I. (1947). A simple proof that $\pi$ is irrational. *Bulletin of the American Mathematical Society*, 53(6), 509. Sakurai, J. J. & Napolitano, J. (2017). *Modern Quantum Mechanics* (2nd ed.). Cambridge University Press. Schaaf, W. L. (1967). *A Bibliography of Recreational Mathematics*, Vol. 1. National Council of Teachers of Mathematics. Stillwell, J. (2010). *Mathematics and Its History* (3rd ed.). Springer.