Articulo de referencia

Pi

{{calculator label|codex=1|label=|id=animatedgiflabel1}}{{Calculator codex radio|id=moving1|name=animatedgifbutton|inline=1|label=Animated|default=1}}{{Calculator codex radio|id...

Página semiprotegida

Se hace rodar un círculo unitario sobre una superficie; después de una revolución completa, el centro del círculo se ha desplazado π unidades hacia adelante.Fotograma único de un círculo unitario rodante
Una ilustración del valor de pi
1
Animado
Estático

El número π ( / p /π (opi) es unaconstante matemática, aproximadamente igual a 3,14159, que representa larelaciónentrela circunferenciay eldiámetrodecírculo. Aparece en numerosasfórmulasdematemáticasyfísica, y algunas de ellas se utilizan comúnmente para definirπ, evitando así depender de la definición de lalongitud de una curva.

El número π es irracional , lo que significa que no puede expresarse exactamente como una razón de dos enteros , aunque se suelen usar fracciones como 22/7 para aproximarlo . Por consiguiente, su representación decimal nunca termina ni sigue un patrón repetitivo . Es un número trascendental , lo que significa que no puede ser la solución de una ecuación algebraica que involucre solo sumas, productos , potencias y enteros finitos. La trascendencia de π implica que es imposible resolver el antiguo problema de cuadrar el círculo con regla y compás . Los dígitos decimales de π parecen estar distribuidos uniformemente , pero no se ha encontrado ninguna prueba de esta conjetura .

Los matemáticos han intentado ampliar su comprensión de π , a veces calculando su valor con gran precisión. Las civilizaciones antiguas, como la egipcia y la babilónica , requerían aproximaciones bastante precisas de π para realizar cálculos prácticos. Alrededor del año 250  a. C., el matemático griego Arquímedes creó un algoritmo para aproximar π con precisión arbitraria. En el siglo V d. C., los matemáticos chinos aproximaron π a siete dígitos, mientras que los matemáticos indios hicieron una aproximación de cinco dígitos, ambos utilizando técnicas geométricas . La primera fórmula computacional para π , basada en series infinitas , se descubrió un milenio después.

El primer uso conocido de la letra griega π para representar la relación entre la circunferencia y el diámetro de un círculo se remonta al matemático galés William Jones en 1706. La invención del cálculo pronto permitió calcular cientos de dígitos de π , suficientes para todas las operaciones científicas prácticas. Sin embargo, en los siglos XX y XXI, matemáticos e informáticos han explorado nuevos enfoques que, combinados con una mayor capacidad de cálculo, han extendido la representación decimal de π a cientos de billones de dígitos. Estos cálculos están motivados por el desarrollo de algoritmos eficientes para calcular series numéricas, así como por la búsqueda humana de batir récords. Los extensos cálculos involucrados también se han utilizado para probar la precisión de los nuevos procesadores informáticos.

Debido a su relación con el círculo, π se encuentra en fórmulas de trigonometría y geometría, especialmente en aquellas que involucran círculos, elipses y esferas . También aparece en fórmulas de cosmología , fractales , termodinámica , mecánica y electromagnetismo . Además, figura en áreas como la teoría de números , la estadística y el análisis matemático moderno : π es omnipresente.

Fundamentos

Nombre

El símbolo que usan los matemáticos para representar la razón entre la circunferencia de un círculo y su diámetro es la letra griega minúscula π , a veces escrita como pi . [ 1 ] En inglés, π se pronuncia como "pie" ( / p / PY ). [ 2 ] En matemáticas, la letra minúscula π se distingue de su contraparte mayúscula y ampliada Π , que denota un producto de una secuencia , de forma análoga a como Σ denota sumatoria .

La elección del símbolo π se analiza en la sección §  Adopción del símbolo π .

Definición

Diagrama de un círculo, donde el ancho se denomina diámetro y el perímetro, circunferencia.
La circunferencia de un círculo es un poco más de tres veces mayor que su diámetro. La proporción exacta se llama π .

π se define comúnmente como la razón entre la circunferencia C de un círculo y su diámetro d : π=dod.{\displaystyle \pi ={\frac {C}{d}}.} En geometría euclidiana , la razóndod{\textstyle {\frac {C}{d}}}es constante, independientemente del tamaño del círculo. Por ejemplo, si un círculo tiene el doble de diámetro que otro, también tendrá el doble de circunferencia, conservando la proporción.dod{\textstyle {\frac {C}{d}}}. [ 3 ]

Aquí, la circunferencia de un círculo es la longitud del arco alrededor del perímetro del círculo, una cantidad que se puede definir formalmente usando límites , un concepto del cálculo . [ 4 ] Por ejemplo, se puede calcular directamente la longitud del arco de la mitad superior del círculo unitario, dada en coordenadas cartesianas por la ecuación incógnita2+y2=1{\textstyle x^{2}+y^{2}=1}, como la integral : [ 5 ]π=11dincógnita1incógnita2.{\displaystyle \pi =\int _{-1}^{1}{\frac {dx}{\sqrt {1-x^{2}}}}.}

Una integral como esta fue propuesta como definición de π por Karl Weierstrass , quien la definió directamente como una integral en 1841. [ a ]

La integración ya no se usa comúnmente en una primera definición analítica porque, como explica Remmert 2012 , el cálculo diferencial suele preceder al cálculo integral en el currículo universitario, por lo que es deseable tener una definición de π que no dependa de este último. Una de estas definiciones, debida a Richard Baltzer [ 7 ] y popularizada por Edmund Landau , [ 8 ] es la siguiente: π es el doble del número positivo más pequeño en el que la función coseno es igual a 0. [ 3 ] [ 5 ] [ 9 ] π también es el número positivo más pequeño en el que la función seno es igual a cero, y la diferencia entre ceros consecutivos de la función seno. El coseno y el seno pueden definirse independientemente de la geometría como una serie de potencias , [ 10 ] o como la solución de una ecuación diferencial . [ 9 ]

De manera similar, π puede definirse utilizando propiedades de la exponencial compleja , exp z , de una variable compleja z . Al igual que el coseno, la exponencial compleja puede definirse de varias maneras. El conjunto de números complejos para los cuales exp z es igual a uno es entonces una progresión aritmética (imaginaria) de la forma: {,2πi,0,2πi,4πi,}={2πkikZ}{\displaystyle \{\dots ,-2\pi i,0,2\pi i,4\pi i,\dots \}=\{2\pi ki\mid k\in \mathbb {Z} \}} y existe un único número real positivo π con esta propiedad. [ 5 ] [ 11 ]

Irracionalidad y normalidad

π es un número irracional , lo que significa que no puede escribirse como la razón de dos enteros . Fracciones como 22/7 y 355/113 se utilizan comúnmente para aproximar π , pero ninguna fracción común ( razón de números enteros) puede ser su valor exacto. [ 12 ] Debido a que π es irracional, tiene un número infinito de dígitos en su representación decimal y no se estabiliza en un patrón de dígitos que se repita infinitamente. Existen varias demostraciones de que π es irracional ; generalmente son demostraciones por contradicción y requieren cálculo . El grado en que π puede aproximarse mediante números racionales (llamado medida de irracionalidad ) no se conoce con precisión; las estimaciones han establecido que la medida de irracionalidad es mayor o al menos igual a la medida de e, pero menor que la medida de los números de Liouville . [ 13 ]

Problema sin resolver en matemáticas
Esπ{\displaystyle \pi }¿ Un número normal ?

Los dígitos de π no presentan ningún patrón aparente y han superado pruebas de aleatoriedad estadística , incluidas pruebas de normalidad ; un número de longitud infinita se denomina normal cuando todas las secuencias posibles de dígitos (de cualquier longitud dada) aparecen con la misma frecuencia. La conjetura de que π es normal no ha sido probada ni refutada. [ 14 ]

Desde la llegada de las computadoras, se ha dispuesto de un gran número de dígitos de π para realizar análisis estadísticos. Yasumasa Kanada realizó análisis estadísticos detallados de los dígitos decimales de π y los encontró consistentes con la normalidad; por ejemplo, las frecuencias de los diez dígitos del 0 al 9 se sometieron a pruebas de significancia estadística y no se encontró evidencia de un patrón. [ 15 ] Cualquier secuencia aleatoria de dígitos contiene subsecuencias arbitrariamente largas que parecen no aleatorias, según el teorema del mono infinito . Por lo tanto, debido a que la secuencia de dígitos de π pasa las pruebas estadísticas de aleatoriedad, contiene algunas secuencias de dígitos que pueden parecer no aleatorias, como una secuencia de seis 9 consecutivos que comienza en el lugar decimal 762 de la representación decimal de π . [ 16 ]

Trascendencia

Diagrama de un cuadrado y un círculo, ambos con la misma área; la longitud del lado del cuadrado es la raíz cuadrada de pi.
Debido a que π es un número trascendental , cuadrar el círculo no es posible en un número finito de pasos utilizando las herramientas clásicas de compás y regla .

Además de ser irracional, π también es un número trascendental , lo que significa que no es la solución de ninguna ecuación polinómica no constante con coeficientes racionales , comoincógnita5120incógnita36+incógnita=0{\textstyle {\frac {x^{5}}{120}}-{\frac {x^{3}}{6}}+x=0}. [ 17 ] [ b ] Esto se deduce del llamado teorema de Lindemann-Weierstrass , que también establece la trascendencia de la constante e . [ 17 ]

La trascendencia de π tiene dos consecuencias importantes: Primero, π no puede expresarse utilizando ninguna combinación finita de números racionales y raíces cuadradas o raíces enésimas ( como313{\displaystyle {\sqrt[{3}]{31}}}o10{\displaystyle {\sqrt {10}}}En segundo lugar, dado que ningún número trascendental puede construirse con regla y compás , no es posible « cuadrar el círculo ». En otras palabras, es imposible construir, utilizando únicamente regla y compás, un cuadrado cuya área sea exactamente igual al área de un círculo dado. [ 18 ] Cuadrar un círculo fue uno de los problemas geométricos importantes de la antigüedad clásica . [ 19 ] Algunos matemáticos aficionados en la época moderna han intentado cuadrar el círculo y afirmar haberlo logrado , a pesar de que es matemáticamente imposible. [ 20 ] 

Un problema aún sin resolver es la cuestión de si los números π y e son algebraicamente independientes ("relativamente trascendentales"). Esto se resolvería mediante la conjetura de Schanuel [ 21 ] , una generalización del teorema de Lindemann-Weierstrass que aún no ha sido demostrada. [ 22 ] 

fracciones continuas

Como número irracional, π no puede representarse como una fracción común . Sin embargo, al igual que cualquier número, π puede representarse mediante una serie infinita de fracciones anidadas, denominada fracción continua simple :

π=3+17+115+11+1292+11+11+11+{\displaystyle \pi =3+\textstyle {\cfrac {1}{7+\textstyle {\cfrac {1}{15+\textstyle {\cfrac {1}{1+\textstyle {\cfrac {1}{292+\textstyle {\cfrac {1}{1+\textstyle {\cfrac {1}{1+\textstyle {\cfrac {1}{1+\ddots }}}}}}}}}}}}}}}

Truncar la fracción continua en cualquier punto produce una aproximación racional para π ; las primeras cuatro de estas son 3 , 22 / 7 , 333 / 106 y 355 / 113 . Estos números se encuentran entre las aproximaciones históricas más conocidas y ampliamente utilizadas de la constante. Cada aproximación generada de esta manera es una mejor aproximación racional; es decir, cada una está más cerca de π que cualquier otra fracción con el mismo denominador o uno menor . [ 23 ] Debido a que π es trascendental, por definición no es algebraica y por lo tanto no puede ser una irracional cuadrática . Por consiguiente, π no puede tener una fracción continua periódica . Aunque la fracción continua simple para π (con numeradores todos 1, como se muestra arriba) tampoco exhibe ningún otro patrón obvio, [ 24 ] [ 25 ] varias fracciones continuas no simples sí lo hacen, como por ejemplo: [ 26 ] [ c ]

π=3+126+326+526+726+=41+122+322+522+=41+123+225+327+{\displaystyle {\begin{aligned}\pi &=3+{\cfrac {1^{2}}{6+{\cfrac {3^{2}}{6+{\cfrac {5^{2}}{6+{\cfrac {7^{2}}{6+\ddots }}}}}}}}={\cfrac {4}{1+{\cfrac {1^{2}}{2+{\cfrac {3^{2}}{2+{\cfrac {5^{2}}{2+\ddots }}}}}}}}={\cfrac {4}{1+{\cfrac {1^{2}}{3+{\cfrac {2^{2}}{5+{\cfrac {3^{2}}{7+\ddots }}}}}}}}\end{aligned}}}

Valor aproximado y dígitos

Algunas aproximaciones de pi incluyen:

  • Números enteros : 3
  • Fracciones : Las fracciones aproximadas incluyen (en orden de precisión creciente) 22 / 7 , 333 / 106 , 355 / 113 , 52163 / 16604 , 103993 / 33102 , 104348 / 33215 , y 245850922 / 78256779 . [ 23 ] (La lista contiene términos seleccionados de OEIS : A063674 y OEIS : A063673 .)  
  • Dígitos : Los primeros 50 dígitos decimales son 3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510... [ 27 ] (ver OEIS : A000796  )

Dígitos en otros sistemas numéricos

Números complejos y la identidad de Euler

Diagrama de un círculo unitario centrado en el origen en el plano complejo, que incluye un rayo desde el centro del círculo hasta su borde, con los lados del triángulo etiquetados con funciones seno y coseno.
La relación entre las potencias imaginarias del número e y los puntos en el círculo unitario centrado en el origen en el plano complejo viene dada por la fórmula de Euler.

Cualquier número complejo , digamos z , puede expresarse usando un par de números reales . En el sistema de coordenadas polares , un número ( radio o r ) se usa para representar la distancia de z desde el origen del plano complejo , y el otro (ángulo o φ ) la rotación en sentido antihorario desde la línea real positiva: [ 30 ]

z=r(porqueφ+ipecadoφ),{\displaystyle z=r\cdot (\cos \varphi +i\sin \varphi ),}

donde i es la unidad imaginaria que satisfacei2=1{\displaystyle i^{2}=-1}La frecuente aparición de π en el análisis complejo puede relacionarse con el comportamiento de la función exponencial de una variable compleja, descrita por la fórmula de Euler : [ 31 ]

miiφ=porqueφ+ipecadoφ,{\displaystyle e^{i\varphi }=\cos \varphi +i\sin \varphi ,}

donde la constante e es la base del logaritmo natural . Esta fórmula establece una correspondencia entre potencias imaginarias de e y puntos en el círculo unitario centrado en el origen del plano complejo. Estableciendoφ=π{\displaystyle \varphi =\pi }en la fórmula de Euler da como resultado la identidad de Euler , celebrada en matemáticas debido a que contiene cinco constantes matemáticas importantes: [ 31 ] [ 32 ]

miiπ+1=0.{\displaystyle e^{i\pi }+1=0.}

Hay n números complejos diferentes z que satisfacen znorte=1{\displaystyle z^{n}=1} , y estas se denominan las " raíces n -ésimas" [ 33 ] y se dan mediante la fórmula:

mi2πik/norte(k=0,1,2,,norte1).{\displaystyle e^{2\pi ik/n}\qquad (k=0,1,2,\dots ,n-1).}

Historia

Las aproximaciones de π que sobrevivieron antes del siglo II  d. C. son precisas a una o dos cifras decimales como máximo. Las aproximaciones escritas más antiguas se encuentran en Babilonia y Egipto , ambas dentro del uno por ciento del valor verdadero. En Babilonia, una tablilla de arcilla fechada entre 1900 y 1600  a. C. tiene una afirmación geométrica que, por implicación, trata a π como 25 / 8 = 3,125 . [ 34 ] En Egipto, el Papiro de Rhind , fechado alrededor de 1650 a. C. pero copiado de un documento fechado en 1850 a. C. , tiene una fórmula para el área de un círculo que trata a π como  (169)23.16{\textstyle {\bigl (}{\frac {16}{9}}{\bigr )}^{2}\approx 3.16}. [ 25 ] [ 34 ] Aunque algunos piramidólogos han teorizado que la Gran Pirámide de Giza fue construida con proporciones relacionadas con π , esta teoría no es ampliamente aceptada por los académicos. [ 35 ] En los Shulba Sutras de matemáticas indias , que datan de una tradición oral del primer o segundo milenio  a. C., se dan aproximaciones que han sido interpretadas de diversas maneras como aproximadamente 3,08831, 3,08833, 3,004, 3 o 3,125. [ 36 ]

era de aproximación poligonal

Un cuadro de un hombre estudiando
Arquímedes desarrolló el método poligonal para aproximar π .
Diagrama de un hexágono y un pentágono circunscritos a un círculo.
π se puede estimar calculando los perímetros de polígonos circunscritos e inscritos.

El primer algoritmo registrado para calcular rigurosamente el valor de π fue un enfoque geométrico que utilizaba polígonos , ideado alrededor del 250  a. C. por el matemático griego Arquímedes , implementando el método de agotamiento . [ 37 ] Este algoritmo poligonal dominó durante más de 1000 años, y como resultado, a veces se hace referencia a π como la constante de Arquímedes. [ 38 ] Arquímedes calculó los límites superior e inferior de π dibujando un hexágono regular dentro y fuera de un círculo, y duplicando sucesivamente el número de lados hasta llegar a un polígono regular de 96 lados. Al calcular los perímetros de estos polígonos, demostró que 223 / 71 < π < 22 / 7 (es decir, 3,1408 < π < 3,1429 ). [ 39 ] El límite superior de Arquímedes de 22 / 7 puede haber llevado a la creencia popular generalizada de que π es igual a 22 / 7 . [ 40 ] Alrededor del año 150 d. C., el científico grecorromano Ptolomeo , en su Almagesto , dio un valor para π de 3,1416, que pudo haber obtenido de Arquímedes o de Apolonio de Perga . [ 41 ] [ 42 ] 

En la antigua China , los valores de π incluían 3,1547 (alrededor del año 1  d.C.),10{\displaystyle {\sqrt {10}}}(100 d .  C., aproximadamente 3,1623) y 142/45 (siglo III, aproximadamente 3,1556). [ 43 ] Alrededor del año 265 d. C., el matemático de Cao Wei, Liu Hui, creó un algoritmo iterativo basado en polígonos , con el cual construyó un polígono de 3072 lados para aproximar π como 3,1416. [ 44 ] [ 45 ] Posteriormente, Liu inventó un método más rápido para calcular π y obtuvo un valor de 3,14 con un polígono de 96 lados, aprovechando el hecho de que las diferencias en el área de polígonos sucesivos forman una serie geométrica con un factor de 4. [ 44 ] Alrededor del año 480 d. C., Zu Chongzhi calculó que    3.1415926<π<3.1415927{\displaystyle 3.1415926<\pi <3.1415927}y sugirió las aproximacionesπ355113=3.14159292035{\textstyle \pi \approx {\frac {355}{113}}=3.14159292035\ldots }yπ227=3.142857142857{\textstyle \pi \approx {\frac {22}{7}}=3.142857142857\ldots }, a los que denominó milü ('relación cercana') y yuelü ('relación aproximada') respectivamente, iterando con el algoritmo de Liu Hui hasta un polígono de 12.288 lados. Con un valor correcto para sus siete primeros dígitos decimales, el resultado de Zu siguió siendo la aproximación más precisa de π durante los siguientes 800 años. [ 46 ]

El astrónomo indio Aryabhata utilizó un valor de 3,1416 en su Āryabhaṭīya (499  d. C.). [ 47 ] Alrededor de 1220, Fibonacci calculó 3,1418 utilizando un método poligonal ideado independientemente de Arquímedes. [ 48 ] El autor italiano Dante aparentemente empleó el valor3+2103.14142{\textstyle 3+{\frac {\sqrt {2}}{10}}\approx 3.14142}. [ 48 ]

El astrónomo persa Jamshīd al-Kāshī produjo nueve dígitos sexagesimales , aproximadamente el equivalente a 16 dígitos decimales, en 1424, utilizando un polígono con3×228{\textstyle 3\times 2^{28}}lados, [ 49 ] que se mantuvo como récord mundial durante unos 180 años. [ 50 ] El matemático francés François Viète en 1579 logró nueve dígitos con un polígono de3×217{\textstyle 3\times 2^{17}}lados. [ 50 ] El matemático flamenco Adriaan van Roomen llegó a 15 decimales en 1593. [ 50 ] En 1596, el matemático holandés Ludolph van Ceulen llegó a 20 dígitos, un récord que luego aumentó a 35 dígitos (como resultado, π fue llamado el "número ludolphiano" en Alemania hasta principios del siglo XX). [ 51 ] El científico holandés Willebrord Snellius llegó a 34 dígitos en 1621, [ 52 ] y el astrónomo austriaco Christoph Grienberger llegó a 38 dígitos en 1630 usando 10 40 lados. [ 53 ] Christiaan Huygens pudo llegar a 10 decimales en 1654 usando un método ligeramente diferente equivalente a la extrapolación de Richardson . [ 54 ]

Serie infinita

Comparación de la convergencia de varias series infinitas históricas para π . S n es la aproximación tras tomar n términos. Cada subgráfico posterior amplía el área sombreada horizontalmente 10 veces. (Haga clic  para  ver más detalles)

El cálculo de π fue revolucionado por el desarrollo de técnicas de series infinitas en los siglos XVI y XVII. Una serie infinita es la suma de los términos de una secuencia infinita . Las series infinitas permitieron a los matemáticos calcular π con mucha mayor precisión que Arquímedes y otros que utilizaron técnicas geométricas. [ 55 ] Aunque las series infinitas fueron explotadas para π de manera más notable por matemáticos europeos como James Gregory y Gottfried Wilhelm Leibniz , el enfoque también apareció en la escuela de Kerala en algún momento del siglo XIV o XV. [ 56 ] [ 57 ] Alrededor de 1500, una serie infinita que podía usarse para calcular π , escrita en forma de verso sánscrito , fue presentada en Tantrasamgraha por Nilakantha Somayaji . [ 56 ] Las series se presentan sin demostración, pero las demostraciones se presentan en la obra posterior Yuktibhāṣā , publicada alrededor de 1530. Se describen varias series infinitas, incluidas series para el seno (que Nilakantha atribuye a Madhava de Sangamagrama ), el coseno y la arcotangente que ahora a veces se denominan series de Madhava . La serie para la arcotangente a veces se llama serie de Gregory o serie de Gregory-Leibniz. [ 56 ] Madhava usó series infinitas para estimar π a 11 dígitos alrededor de 1400. [ 58 ] [ 59 ] [ 60 ]

En 1593, François Viète publicó lo que ahora se conoce como la fórmula de Viète , un producto infinito (en lugar de una suma infinita , que es la que se usa más comúnmente en los cálculos de π ): [ 61 ]

2π=222+222+2+22{\displaystyle {\frac {2}{\pi }}={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdots }

En 1655, John Wallis publicó lo que ahora se conoce como el producto de Wallis , también un producto infinito: [ 62 ]

π2=(2123)(4345)(6567)(8789){\displaystyle {\frac {\pi }{2}}={\Big (}{\frac {2}{1}}\cdot {\frac {2}{3}}{\Big )}\cdot {\Big (}{\frac {4}{3}}\cdot {\frac {4}{5}}{\Big )}\cdot {\Big (}{\frac {6}{5}}\cdot {\frac {6}{7}}{\Big )}\cdot {\Big (}{\frac {8}{7}}\cdot {\frac {8}{9}}{\Big )}\cdots }

Retrato formal de un hombre con cabello largo.
Isaac Newton utilizó series infinitas para calcular π con 15 dígitos, y más tarde escribió: "Me avergüenza decirles con cuántas cifras realicé estos cálculos". [ 63 ]

En la década de 1660, el científico inglés Isaac Newton y el matemático alemán Gottfried Wilhelm Leibniz descubrieron el cálculo , lo que condujo al desarrollo de muchas series infinitas para aproximar π . El propio Newton utilizó una serie de arcoseno para calcular una aproximación de π de 15 dígitos en 1665 o 1666, escribiendo: «Me avergüenza decirles a cuántas cifras llegué con estos cálculos, pues no tenía nada más que hacer en ese momento». [ 63 ]

En 1671, James Gregory , e independientemente Leibniz en 1673, descubrieron la expansión en serie de Taylor para la arcotangente : [ 56 ] [ 64 ] [ 65 ]

arctanz=zz33+z55z77+{\displaystyle \arctan z=z-{\frac {z^{3}}{3}}+{\frac {z^{5}}{5}}-{\frac {z^{7}}{7}}+\cdots }

Esta serie, a veces llamada serie Gregory-Leibniz , es igual aπ4{\textstyle {\frac {\pi }{4}}}cuando se evalúa conz=1{\displaystyle z=1} . [ 65 ] Pero para1{\displaystyle {1}} , converge de forma impracticamente lenta (es decir, se aproxima a la respuesta muy gradualmente), tomando aproximadamente diez veces más términos para calcular cada dígito adicional. [ 66 ]

En 1699, el matemático inglés Abraham Sharp utilizó la serie Gregory-Leibniz paraz=13{\textstyle z={\frac {1}{\sqrt {3}}}}para calcular π con 71 dígitos, rompiendo el récord anterior de 39 dígitos, que se estableció con un algoritmo poligonal. [ 67 ]

En 1706, John Machin utilizó la serie de Gregory-Leibniz para producir un algoritmo que convergía mucho más rápido: [ 68 ] [ 69 ] [ 70 ]

π4=4arctan15arctan1239.{\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}.}

Machin alcanzó los 100 dígitos de π con esta fórmula. [ 71 ] Otros matemáticos crearon variantes, ahora conocidas como fórmulas tipo Machin , que se utilizaron para establecer varios récords sucesivos en el cálculo de dígitos de π . [ 72 ] [ 71 ]

Isaac Newton aceleró la convergencia de la serie de Gregory-Leibniz en 1684 (en una obra inédita; otros descubrieron el resultado de forma independiente): [ 73 ]

arctanincógnita=incógnita1+incógnita2+23incógnita3(1+incógnita2)2+2435incógnita5(1+incógnita2)3+{\displaystyle \arctan x={\frac {x}{1+x^{2}}}+{\frac {2}{3}}{\frac {x^{3}}{(1+x^{2})^{2}}}+{\frac {2\cdot 4}{3\cdot 5}}{\frac {x^{5}}{(1+x^{2})^{3}}}+\cdots }

Leonhard Euler popularizó esta serie en su libro de texto de cálculo diferencial de 1755, y más tarde la utilizó con fórmulas similares a las de Machin, incluyendoπ4=5arctan17+2arctan379,{\textstyle {\tfrac {\pi }{4}}=5\arctan {\tfrac {1}{7}}+2\arctan {\tfrac {3}{79}},}con la que calculó 20 dígitos de π en una hora. [ 74 ]

En 1844, Zacharias Dase estableció un récord al emplear una fórmula similar a la de Machin para calcular mentalmente 200 decimales de π a petición del matemático alemán Carl Friedrich Gauss . [ 75 ] Las fórmulas similares a las de Machin siguieron siendo el método más conocido para calcular π hasta bien entrada la era de las computadoras, y se utilizaron para establecer récords durante 250 años, culminando en una aproximación de 620 dígitos en 1946 por Daniel Ferguson , la mejor aproximación lograda sin la ayuda de una calculadora. [ 76 ] 

En 1853, el matemático británico William Shanks calculó π con 607 dígitos, pero cometió un error en el dígito 528, lo que provocó que todos los dígitos subsiguientes fueran incorrectos. Aunque calculó 100 dígitos adicionales en 1873, llegando a un total de 707, su error anterior también hizo que todos los nuevos dígitos fueran incorrectos. [ 77 ]

Tasa de convergencia

Algunas series infinitas para π convergen más rápido que otras. Ante la elección de dos series infinitas para π , los matemáticos generalmente usarán la que converge más rápidamente porque una convergencia más rápida reduce la cantidad de cálculos necesarios para calcular π con cualquier precisión dada. [ 78 ] Una serie infinita simple para π es la serie de Gregory-Leibniz : [ 79 ]

π=4143+4547+49411+413{\displaystyle \pi ={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}-\cdots }

A medida que se suman los términos individuales de esta serie infinita, el total se aproxima gradualmente a π y, con un número suficiente de términos , puede llegar a aproximarse a π tanto como se desee. Sin embargo, converge con bastante lentitud: después de 500 000 términos, solo produce cinco dígitos decimales correctos de π . [ 80 ]   

Una serie infinita para π (publicada por Nilakantha en el siglo XV) que converge más rápidamente que la serie de Gregory-Leibniz es: [ 81 ] [ 82 ]

π=3+42×3×444×5×6+46×7×848×9×10+{\displaystyle \pi =3+{\frac {4}{2\times 3\times 4}}-{\frac {4}{4\times 5\times 6}}+{\frac {4}{6\times 7\times 8}}-{\frac {4}{8\times 9\times 10}}+\cdots }

La siguiente tabla compara las tasas de convergencia de estas dos series:

Después de cinco términos, la suma de la serie de Gregory-Leibniz está dentro de 0,2 del valor correcto de π , mientras que la suma de la serie de Nilakantha está dentro de 0,002 del valor correcto. La serie de Nilakantha converge más rápido y es más útil para calcular dígitos de π . Las series que convergen aún más rápido incluyen la serie de Machin y la serie de Chudnovsky , esta última produciendo 14 dígitos decimales correctos por término. [ 78 ]

Irracionalidad y trascendencia

No todos los avances matemáticos relacionados con π tenían como objetivo aumentar la precisión de las aproximaciones. Cuando Euler resolvió el problema de Basilea en 1735, hallando el valor exacto de la suma de los cuadrados recíprocos, estableció una conexión entre π y los números primos que posteriormente contribuyó al desarrollo y estudio de la función zeta de Riemann : [ 83 ]

π26=112+122+132+142+{\displaystyle {\frac {\pi ^{2}}{6}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots }

El científico suizo Johann Heinrich Lambert demostró en 1768 que π es irracional , lo que significa que no es igual al cociente de dos enteros cualesquiera. [ 12 ] La demostración de Lambert explotó una representación de fracción continua de la función tangente. [ 84 ] El matemático francés Adrien-Marie Legendre demostró en 1794 que π² también es irracional. En 1882, el matemático alemán Ferdinand von Lindemann demostró que π es trascendental , [ 85 ] confirmando una conjetura hecha tanto por Legendre como por Euler. [ 86 ] [ 87 ] [ d ]

Adopción del símbolo π

El primer uso conocido de la letra griega π para representar la relación entre la circunferencia de un círculo y su diámetro fue realizado por el matemático galés William Jones en 1706.
Leonhard Euler popularizó el uso de la letra griega π en las obras que publicó en 1736 y 1748.

El primer uso registrado del símbolo π en geometría circular se encuentra en Clavis Mathematicae de Oughtred (1648), [ 88 ] [ 89 ] donde las letras griegas π y δ se combinaron en la fracción πδ{\displaystyle {\tfrac {\pi }{\delta }}}para denotar las razones semiperímetro a semidiámetro y perímetro a diámetro, es decir, lo que actualmente se denota como π . [ 1 ] [ 90 ] [ 91 ] [ 92 ] (Antes de eso, los matemáticos a veces usaban letras como c o p en su lugar. [ 89 ] ) Barrow también usó la misma notación, [ 93 ] mientras que Gregory en su lugar usóπρ{\textstyle {\frac {\pi }{\rho }}}para representar 6.28... . [ 94 ] [ 91 ]

El primer uso conocido de la letra griega π sola para representar la razón de la circunferencia de un círculo a su diámetro fue por el matemático galés William Jones en su obra de 1706 Synopsis Palmariorum Matheseos ; o, una nueva introducción a las matemáticas . [ 68 ] [ 95 ] La letra griega aparece en la página  243 en la frase "12{\textstyle {\tfrac {1}{2}}}Periferia ( π )", calculada para un círculo con radio uno. Sin embargo, Jones escribe que sus ecuaciones para π provienen de la "pluma ingeniosa del Sr. John Machin ", lo que lleva a especular que Machin pudo haber empleado la letra griega antes que Jones. [ 89 ] La notación de Jones no fue adoptada inmediatamente por otros matemáticos, y la notación fraccionaria todavía se usaba hasta 1767. [ 90 ] [ 96 ]

Euler comenzó a usar la forma de una sola letra a partir de su Ensayo de 1727 Explicando las propiedades del aire , aunque usó π = 6,28... , la relación entre la periferia y el radio, en este y en algunos escritos posteriores. [ 97 ] Euler usó por primera vez π = 3,14... en su obra Mechanica de 1736 , [ 98 ] y continuó en su obra ampliamente leída de 1748 Introductio in analysin infinitorum (escribió: "por razones de brevedad escribiremos este número como π ; así, π es igual a la mitad de la circunferencia de un círculo de radio 1 "). [ 99 ] Debido a que Euler mantuvo una intensa correspondencia con otros matemáticos en Europa, el uso de la letra griega se extendió rápidamente, y la práctica fue adoptada universalmente a partir de entonces en el mundo occidental , [ 89 ] aunque la definición aún variaba entre 3,14... y 6,28... hasta 1761. [ 100 ]

La búsqueda moderna de más dígitos

Motivos para calcular π

A medida que los matemáticos descubrieron nuevos algoritmos y las computadoras se hicieron accesibles, el número de dígitos decimales conocidos de π aumentó drásticamente. La escala vertical es logarítmica .

Para la mayoría de los cálculos numéricos que involucran π , un puñado de dígitos proporciona suficiente precisión. Según Jörg Arndt y Christoph Haenel, treinta y nueve dígitos son suficientes para realizar la mayoría de los cálculos cosmológicos , porque esa es la precisión necesaria para calcular la circunferencia del universo observable con una precisión de un átomo. Teniendo en cuenta los dígitos adicionales necesarios para compensar los errores de redondeo computacional , Arndt concluye que unos pocos cientos de dígitos serían suficientes para cualquier aplicación científica. A pesar de esto, la gente ha trabajado arduamente para calcular π con miles y millones de dígitos. [ 101 ] Este esfuerzo puede atribuirse en parte a la compulsión humana por batir récords, y tales logros con π a menudo son noticia en todo el mundo. [ 102 ] También tienen beneficios prácticos, como probar supercomputadoras , probar algoritmos de análisis numérico (incluidos algoritmos de multiplicación de alta precisión ) y, dentro de las matemáticas puras, proporcionar datos para evaluar la aleatoriedad de los dígitos de π . [ 103 ] [ 104 ] 

La era de la informática y los algoritmos iterativos

El desarrollo de las computadoras a mediados del siglo XX revolucionó nuevamente la búsqueda de dígitos de π . Los matemáticos John Wrench y Levi Smith alcanzaron 1120 dígitos en 1949 utilizando una calculadora de escritorio. [ 105 ] Utilizando una serie infinita de tangente inversa (arctan), un equipo liderado por George Reitwiesner y John von Neumann logró ese mismo año 2037 dígitos con un cálculo que requirió 70 horas de tiempo de computadora en la computadora ENIAC . [ 106 ] [ 107 ] El récord, siempre basado en una serie de arctan, fue batido repetidamente (3089 dígitos en 1955, [ 108 ] 7480 dígitos en 1957; 10 000 dígitos en 1958; 100 000 dígitos en 1961) hasta que se alcanzó 1 millón de dígitos en 1973. [ 106 ]

Dos avances adicionales alrededor de 1980 aceleraron nuevamente la capacidad de calcular π . Primero, el descubrimiento de nuevos algoritmos iterativos para calcular π , que eran mucho más rápidos que la serie infinita; y segundo, la invención de algoritmos de multiplicación rápidos que podían multiplicar números grandes muy rápidamente. [ 109 ] Dichos algoritmos son particularmente importantes en los cálculos modernos de π porque la mayor parte del tiempo de la computadora se dedica a la multiplicación. [ 110 ] Incluyen el algoritmo de Karatsuba , la multiplicación de Toom-Cook y los métodos basados ​​en la transformada de Fourier . [ 111 ]

El algoritmo iterativo de Gauss-Legendre : Inicializar a0=1,b0=12,t0=14,pag0=1.{\displaystyle \textstyle a_{0}=1,\quad b_{0}={\frac {1}{\sqrt {2}}},\quad t_{0}={\frac {1}{4}},\quad p_{0}=1.} Iterar anorte+1=anorte+bnorte2,bnorte+1=anortebnorte,{\displaystyle \textstyle a_{n+1}={\frac {a_{n}+b_{n}}{2}},\quad \quad b_{n+1}={\sqrt {a_{n}b_{n}}},}tnorte+1=tnortepagnorte(anorteanorte+1)2,pagnorte+1=2pagnorte.{\displaystyle \textstyle t_{n+1}=t_{n}-p_{n}(a_{n}-a_{n+1})^{2},\quad \quad p_{n+1}=2p_{n}.} Entonces, una estimación para π viene dada por π(anorte+bnorte)24tnorte.{\displaystyle \textstyle \pi \approx {\frac {(a_{n}+b_{n})^{2}}{4t_{n}}}.}

Los algoritmos iterativos fueron publicados independientemente entre 1975 y 1976 por el físico Eugene Salamin y el científico Richard Brent . [ 112 ] Estos evitan depender de series infinitas. Un algoritmo iterativo repite un cálculo específico, utilizando cada iteración las salidas de los pasos anteriores como entradas, y produce un resultado en cada paso que converge al valor deseado. El enfoque fue inventado más de 160 años antes por Carl Friedrich Gauss , en lo que ahora se denomina método de la media aritmético-geométrica (método AGM) o algoritmo de Gauss-Legendre . [ 112 ] En la versión modificada por Salamin y Brent, también se le conoce como algoritmo de Brent-Salamin.

Los algoritmos iterativos se utilizaron ampliamente después de 1980 porque son más rápidos que los algoritmos de series infinitas: mientras que las series infinitas suelen aumentar el número de dígitos correctos de forma aditiva en términos sucesivos, los algoritmos iterativos generalmente multiplican el número de dígitos correctos en cada paso. Por ejemplo, el algoritmo de Brent-Salamin duplica el número de dígitos en cada iteración. En 1984, los hermanos John y Peter Borwein crearon un algoritmo iterativo que cuadruplica el número de dígitos en cada paso; y en 1987, uno que lo quintuplica en cada paso. [ 113 ] El matemático japonés Yasumasa Kanada utilizó métodos iterativos para establecer varios récords en el cálculo de π entre 1995 y 2002. [ 114 ] Esta rápida convergencia tiene un precio: los algoritmos iterativos requieren mucha más memoria que las series infinitas. [ 114 ]

Series de rápida convergencia

Retrato fotográfico de un hombre
Srinivasa Ramanujan , trabajando de forma aislada en la India, produjo muchas series innovadoras para el cálculo de π .

Las calculadoras modernas de π no utilizan exclusivamente algoritmos iterativos. En las décadas de 1980 y 1990 se descubrieron nuevas series infinitas que son tan rápidas como los algoritmos iterativos, pero más simples y con menor consumo de memoria. [ 114 ] Los algoritmos iterativos rápidos se anticiparon en 1914, cuando el matemático indio Srinivasa Ramanujan publicó docenas de nuevas fórmulas innovadoras para π , notables por su elegancia, profundidad matemática y rápida convergencia. [ 115 ] Una de sus fórmulas, basada en ecuaciones modulares , es

1π=229801k=0(4k)¡(1103+26390k)k¡43964k.{\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{k!^{4}396^{4k}}}.}

Esta serie converge mucho más rápidamente que la mayoría de las series de arcotangente, incluida la fórmula de Machin. [ 116 ] Bill Gosper fue el primero en usarla para avances en el cálculo de π , estableciendo un récord de 17 millones de dígitos en 1985. [ 117 ] Las fórmulas de Ramanujan anticiparon los algoritmos modernos desarrollados por los hermanos Borwein ( Jonathan y Peter ) y los hermanos Chudnovsky . [ 118 ] La fórmula de Chudnovsky desarrollada en 1987 es

1π=100054270934400k=0(6k)¡(13591409+545140134k)(3k)¡k¡3(640320)3k.{\displaystyle {\frac {1}{\pi }}={\frac {\sqrt {10005}}{4270934400}}\sum _{k=0}^{\infty }{\frac {(6k)!(13591409+545140134k)}{(3k)!\,k!^{3}(-640320)^{3k}}}.}

Produce aproximadamente 14 dígitos de π por término [ 119 ] y se ha utilizado para varios cálculos de π que han batido récords , incluido el primero en superar los mil millones (10 9 ) de dígitos en 1989 por los hermanos Chudnovsky, 10 billones (10 13 ) de dígitos en 2011 por Alexander Yee y Shigeru Kondo, [ 120 ] y 100 billones de dígitos por Emma Haruka Iwao en 2022. [ 121 ] [ 122 ] Para fórmulas similares, véase también la serie Ramanujan–Sato .

En 2006, el matemático Simon Plouffe utilizó el algoritmo de relación entera PSLQ [ 123 ] para generar varias fórmulas nuevas para π , conforme a la siguiente plantilla:

πk=norte=11nortek(aqnorte1+bq2norte1+doq4norte1),{\displaystyle \pi ^{k}=\sum _{n=1}^{\infty }{\frac {1}{n^{k}}}\left({\frac {a}{q^{n}-1}}+{\frac {b}{q^{2n}-1}}+{\frac {c}{q^{4n}-1}}\right),}

donde q es e π (constante de Gelfond), k es un número impar , y a , b , c son ciertos números racionales que Plouffe calculó. [ 124 ]

métodos de Monte Carlo

Agujas de longitud ℓ dispersas en franjas de ancho t
Aguja de Buffon . Las agujas a y b se obtienen aleatoriamente.
Miles de puntos que cubren aleatoriamente un cuadrado y un círculo inscrito en el cuadrado.
Se colocan puntos al azar sobre un cuadrado y se inscribe un círculo en su interior.

Los métodos de Monte Carlo , que evalúan los resultados de múltiples ensayos aleatorios, pueden utilizarse para crear aproximaciones de π . [ 125 ] La aguja de Buffon es una de esas técnicas: si se deja caer una aguja de longitud n veces sobre una superficie en la que se dibujan líneas paralelas separadas por t unidades, y si x de esas veces se detiene cruzando una línea ( x > 0 ), entonces se puede aproximar π basándose en los recuentos: [ 126 ]

π2norteincógnitat.{\displaystyle \pi \approx {\frac {2n\ell }{xt}}.}

Otro método de Monte Carlo para calcular π consiste en dibujar un círculo inscrito en un cuadrado y colocar puntos aleatoriamente dentro del cuadrado. La proporción de puntos dentro del círculo con respecto al número total de puntos será aproximadamente igual a π /4 . [ 127 ]

Cinco caminatas aleatorias con 200 pasos. La media muestral de | W 200 | es μ = 56/5 , y por lo tanto 2(200) μ −2 ≈ 3.19 está dentro de 0.05 de π . 

Otra forma de calcular π usando probabilidad es comenzar con un paseo aleatorio , generado por una secuencia de lanzamientos de moneda (justos): variables aleatorias independientes X k tales que X k ∈ {−1,1} con probabilidades iguales. El paseo aleatorio asociado es

Wnorte=k=1norteincógnitak{\displaystyle W_{n}=\sum _{k=1}^{n}X_{k}}

de modo que, para cada n , W n se extrae de una distribución binomial desplazada y escalada . A medida que n varía, W n define un proceso estocástico (discreto) . Entonces π se puede calcular mediante [ 128 ].

π=límitenorte2nortemi[|Wnorte|]2.{\displaystyle \pi =\lim _{n\to \infty }{\frac {2n}{E[|W_{n}|]^{2}}}.}

Este método de Monte Carlo es independiente de cualquier relación con los círculos y es una consecuencia del teorema del límite central , que se analiza más adelante .

Estos métodos de Monte Carlo para aproximar π son muy lentos en comparación con otros métodos y no proporcionan información sobre el número exacto de dígitos obtenidos. Por lo tanto, nunca se utilizan para aproximar π cuando se requiere velocidad o precisión. [ 129 ]

Algoritmos de Spigot

En 1995 se descubrieron dos algoritmos que abrieron nuevas vías de investigación sobre π . Se les llama algoritmos de grifo porque, como el agua que gotea de un grifo , producen dígitos individuales de π que no se reutilizan después de ser calculados. [ 130 ] [ 131 ] Esto contrasta con las series infinitas o los algoritmos iterativos, que retienen y utilizan todos los dígitos intermedios hasta que se obtiene el resultado final. [ 130 ]

Los matemáticos Stan Wagon y Stanley Rabinowitz crearon un algoritmo de espiga simple en 1995. [ 131 ] [ 132 ] [ 133 ] Su velocidad es comparable a la de los algoritmos de arcotangente, pero no tan rápida como la de los algoritmos iterativos. [ 132 ]

Otro algoritmo de spigot, el algoritmo de extracción de dígitos BBP , fue descubierto en 1995 por Simon Plouffe: [ 134 ] [ 135 ]

π=k=0116k(48k+128k+418k+518k+6).{\displaystyle \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, a diferencia de otras anteriores, puede producir cualquier dígito hexadecimal individual de π sin calcular todos los dígitos precedentes. [ 134 ] Los dígitos binarios individuales pueden extraerse de dígitos hexadecimales individuales, y los dígitos octales pueden extraerse de uno o dos dígitos hexadecimales. Una aplicación importante de los algoritmos de extracción de dígitos es validar nuevos récords de cálculos de π : después de que se declara un nuevo récord, el resultado decimal se convierte a hexadecimal, y luego se utiliza un algoritmo de extracción de dígitos para calcular varios dígitos hexadecimales seleccionados aleatoriamente cerca del final; si coinciden, esto proporciona una medida de confianza de que todo el cálculo es correcto. [ 120 ]

Entre 1998 y 2000, el proyecto de computación distribuida PiHex utilizó la fórmula de Bellard (una modificación del algoritmo BBP) para calcular el bit cuatrillonésimo (10¹⁵ ) de π , que resultó ser 0. [ 136 ] En septiembre de 2010, un empleado de Yahoo utilizó la aplicación Hadoop de la compañía en mil computadoras durante un período de 23 días para calcular 256 bits de π en el bit dos cuatrillonésimo (2× 10¹⁵ ), que también resulta ser cero. [ 137 ]

En 2022, Plouffe encontró un algoritmo de base 10 para calcular los dígitos de π . [ 138 ]

Papel y caracterizaciones en matemáticas

Debido a su estrecha relación con el círculo, π se encuentra en numerosas fórmulas de geometría y trigonometría, especialmente en aquellas relacionadas con círculos, esferas o elipses. Otras ramas de la ciencia, como la estadística, la física, el análisis de Fourier y la teoría de números, también incluyen π en algunas de sus fórmulas más importantes.

Geometría y trigonometría

Diagrama de un círculo con un cuadrado que cubre el cuadrante superior derecho del círculo.
El área del círculo es igual a π veces el área sombreada.r2{\displaystyle r^{2}}. El área del círculo unitario es π .

π aparece en fórmulas para áreas y volúmenes de figuras geométricas basadas en círculos, como elipses , esferas , conos y toros . [ 139 ] A continuación se muestran algunas de las fórmulas más comunes que involucran π . [ 140 ]

  • La circunferencia de un círculo con radio r es 2πr . [ 141 ]
  • El área de un círculo con radio r es πr² .
  • El área de una elipse con semieje mayor a y semieje menor b es πab . [ 142 ]
  • El volumen de una esfera con radio r es 4 / 3 πr 3 .
  • El área de la superficie de una esfera con radio r es 4 πr 2 .

Algunas de las fórmulas anteriores son casos especiales del volumen de la bola n- dimensional y el área de la superficie de su límite, la esfera ( n -1)-dimensional , que se muestra a continuación .

Además de los círculos, existen otras curvas de anchura constante . Según el teorema de Barbier , toda curva de anchura constante tiene un perímetro igual a π veces su anchura. El triángulo de Reuleaux (formado por la intersección de tres círculos cuyos radios son los lados de un triángulo equilátero ) tiene la menor área posible para su anchura, mientras que el círculo tiene la mayor. También existen curvas algebraicas suaves y pares no circulares de anchura constante. [ 143 ]

Las integrales definidas que describen la circunferencia, el área o el volumen de figuras generadas por círculos suelen tener valores que involucran π . Por ejemplo, una integral que especifica la mitad del área de un círculo de radio uno viene dada por: [ 144 ]

111incógnita2dincógnita=π2.{\displaystyle \int _{-1}^{1}{\sqrt {1-x^{2}}}\,dx={\frac {\pi }{2}}.}

En esa integral, la función1incógnita2{\displaystyle {\sqrt {1-x^{2}}}}representa la altura sobre elincógnita{\displaystyle x}-eje de un semicírculo (la raíz cuadrada es una consecuencia del teorema de Pitágoras ), y la integral calcula el área bajo el semicírculo. La existencia de tales integrales hace que π sea un período algebraico . [ 145 ]

Unidad de ángulo

Diagrama que muestra gráficas de funciones
Las funciones seno y coseno se repiten con un período de .

Las funciones trigonométricas se basan en ángulos , y los matemáticos generalmente utilizan el radián como unidad de medida. π juega un papel importante en los ángulos medidos en radianes, que se definen de manera que un círculo completo abarca un ángulo de 2π radianes  . La medida del ángulo de 180° es igual a π  radianes, y 1° = π /180 radianes . [ 146 ]

Las funciones trigonométricas comunes tienen períodos que son múltiplos de π ; por ejemplo, el seno y el coseno tienen un período de 2π , por lo que para cualquier ángulo θ y cualquier entero k , [ 147 ]pecadoθ=pecado(θ+2πk) y porqueθ=porque(θ+2πk).{\displaystyle \sin \theta =\sin \left(\theta +2\pi k\right){\text{ and }}\cos \theta =\cos \left(\theta +2\pi k\right).}

valores propios

Los armónicos de una cuerda vibrante son funciones propias de la segunda derivada y forman una progresión armónica . Los valores propios asociados forman la progresión aritmética de múltiplos enteros de π .

Muchas de las apariciones de π en las fórmulas matemáticas y científicas tienen que ver con su estrecha relación con la geometría. Sin embargo, π también aparece en muchas situaciones naturales que aparentemente no tienen nada que ver con la geometría.

En muchas aplicaciones, desempeña un papel destacado como valor propio . Por ejemplo, una cuerda vibrante idealizada puede modelarse como la gráfica de una función f en el intervalo unitario [ 0, 1 ] , con extremos fijos f (0) = f (1) = 0. Los modos de vibración de la cuerda son soluciones de la ecuación diferencial .F(incógnita)+λF(incógnita)=0{\displaystyle f''(x)+\lambda f(x)=0}, oF(t)=λF(incógnita){\displaystyle f''(t)=-\lambda f(x)}Por lo tanto, λ es un valor propio del operador de segunda derivada .FF{\displaystyle f\mapsto f''} , y está restringido por la teoría de Sturm-Liouville a tomar solo ciertos valores específicos. Debe ser positivo, ya que el operador es definido negativo , por lo que es conveniente escribir λ = ν 2 , donde ν > 0 se llama número de onda . Entonces f ( x ) = sin( π x ) satisface las condiciones de contorno y la ecuación diferencial con ν = π . [ 148 ]

El valor π es, de hecho, el menor de dichos valores del número de onda, y está asociado con el modo fundamental de vibración de la cuerda. Una forma de demostrar esto es estimando la energía , que satisface la desigualdad de Wirtinger : [ 149 ] para una funciónF:[0,1]do{\displaystyle f:[0,1]\to \mathbb {C} }Con f (0) = f (1) = 0 y f , f ambas integrables al cuadrado , tenemos:

π201|F(incógnita)|2dincógnita01|F(incógnita)|2dincógnita,{\displaystyle \pi ^{2}\int _{0}^{1}|f(x)|^{2}\,dx\leq \int _{0}^{1}|f'(x)|^{2}\,dx,}

con igualdad precisamente cuando f es un múltiplo de sin( π x ) . Aquí π aparece como una constante óptima en la desigualdad de Wirtinger, y se deduce que es el número de onda más pequeño, utilizando la caracterización variacional del valor propio. Como consecuencia, π es el valor singular más pequeño del operador de derivada en el espacio de funciones en [ 0, 1 ] que se anula en ambos extremos (el espacio de SobolevH01[0,1]{\displaystyle H_{0}^{1}[0,1]}).

Desigualdades

La antigua ciudad de Cartago fue la solución a un problema isoperimétrico, según una leyenda relatada por Lord Kelvin : [ 150 ] aquellas tierras que bordeaban el mar que la reina Dido podía encerrar por todos los demás lados dentro de una sola piel de buey, cortada en tiras.

El número π aparece en problemas de valores propios similares en el análisis de dimensiones superiores. Como se mencionó anteriormente , se puede caracterizar a través de su papel como la mejor constante en la desigualdad isoperimétrica : el área A encerrada por una curva de Jordan plana de perímetro P satisface la desigualdad

4πAPAG2,{\displaystyle 4\pi A\leq P^{2},}

y la igualdad se logra claramente para el círculo, ya que en ese caso A = πr² y P = 2πr . [ 151 ]

En última instancia, como consecuencia de la desigualdad isoperimétrica, π aparece en la constante óptima para la desigualdad crítica de Sobolev en n dimensiones, lo que caracteriza el papel de π también en muchos fenómenos físicos, por ejemplo, los de la teoría del potencial clásico . [ 152 ] [ 153 ] [ 154 ] En dos dimensiones, la desigualdad crítica de Sobolev es

2πF2F1{\displaystyle 2\pi \|f\|_{2}\leq \|\nabla f\|_{1}}

para f una función suave con soporte compacto en R 2 ,F{\displaystyle \nabla f}es el gradiente de f yF2{\displaystyle \|f\|_{2}}yF1{\displaystyle \|\nabla f\|_{1}}Se hace referencia respectivamente a las normas L2 y L1 . La desigualdad de Sobolev es equivalente a la desigualdad isoperimétrica (en cualquier dimensión), con las mismas constantes óptimas.

La desigualdad de Wirtinger también se generaliza a desigualdades de Poincaré de dimensiones superiores que proporcionan las mejores constantes para la energía de Dirichlet de una membrana n- dimensional. Específicamente, π es la mayor constante tal que

π(GRAMO||2)1/2(GRAMO||2)1/2{\displaystyle \pi \leq {\frac {\left(\int _{G}|\nabla u|^{2}\right)^{1/2}}{\left(\int _{G}|u|^{2}\right)^{1/2}}}}

para todos los subconjuntos convexos G de R n de diámetro 1 y funciones de cuadrado integrable u en G de media cero. [ 155 ] Así como la desigualdad de Wirtinger es la forma variacional del problema de valores propios de Dirichlet en una dimensión, la desigualdad de Poincaré es la forma variacional del problema de valores propios de Neumann , en cualquier dimensión.

Transformada de Fourier y principio de incertidumbre de Heisenberg

Una animación de una geodésica en el grupo de Heisenberg.

La constante π también aparece como un parámetro espectral crítico en la transformada de Fourier . Esta es la transformada integral que transforma una función integrable de valor complejo f en la recta real en la función definida como:

F^(ξ)=F(incógnita)mi2πiincógnitaξdincógnita.{\displaystyle {\hat {f}}(\xi )=\int _{-\infty }^{\infty }f(x)e^{-2\pi ix\xi }\,dx.}

Aunque existen varias convenciones diferentes para la transformada de Fourier y su inversa, cualquier convención de este tipo debe incluir π en algún punto . Sin embargo, la definición anterior es la más canónica, ya que proporciona el único operador unitario en que también es un homomorfismo algebraico de a L∞ . [ 156 ]

El principio de incertidumbre de Heisenberg también contiene el número π . El principio de incertidumbre proporciona un límite inferior preciso sobre la medida en que es posible localizar una función tanto en el espacio como en la frecuencia: con nuestras convenciones para la transformada de Fourier,

(incógnita2|F(incógnita)|2dincógnita)(ξ2|F^(ξ)|2dξ)(14π|F(incógnita)|2dincógnita)2.{\displaystyle \left(\int _{-\infty }^{\infty }x^{2}|f(x)|^{2}\,dx\right)\left(\int _{-\infty }^{\infty }\xi ^{2}|{\hat {f}}(\xi )|^{2}\,d\xi \right)\geq \left({\frac {1}{4\pi }}\int _{-\infty }^{\infty }|f(x)|^{2}\,dx\right)^{2}.}

La consecuencia física, respecto a la incertidumbre en las observaciones simultáneas de posición y momento de un sistema mecánico cuántico , se analiza más adelante . La aparición de π en las fórmulas del análisis de Fourier es, en última instancia, una consecuencia del teorema de Stone-von Neumann , que afirma la unicidad de la representación de Schrödinger del grupo de Heisenberg . [ 157 ]

Integrales gaussianas

Un gráfico de la función gaussiana ƒ ( x ) = e x 2 . La región coloreada entre la función y el eje x tiene un área de √ π .

Los campos de la probabilidad y la estadística utilizan frecuentemente la distribución normal como un modelo simple para fenómenos complejos; por ejemplo, los científicos generalmente asumen que el error de observación en los experimentos sigue una distribución normal. [ 158 ] La función gaussiana , que es la función de densidad de probabilidad de la distribución normal con media μ y desviación estándar σ , contiene naturalmente π : [ 159 ]

F(incógnita)=1σ2πmi(incógnitaμ)2/(2σ2).{\displaystyle f(x)={1 \over \sigma {\sqrt {2\pi }}}\,e^{-(x-\mu )^{2}/(2\sigma ^{2})}.}

El factor de12π{\displaystyle {\tfrac {1}{\sqrt {2\pi }}}}hace que el área bajo la gráfica de f sea igual a uno, como se requiere para una distribución de probabilidad. Esto se deduce de un cambio de variables en la integral gaussiana : [ 159 ]

mi2d=π,{\displaystyle \int _{-\infty }^{\infty }e^{-u^{2}}\,du={\sqrt {\pi }},}

lo que dice que el área bajo la curva de campana básica en la figura es igual a la raíz cuadrada de π .

El teorema del límite central explica el papel fundamental de las distribuciones normales, y por ende de π , en la probabilidad y la estadística. Este teorema está conectado en última instancia con la caracterización espectral de π como el autovalor asociado al principio de incertidumbre de Heisenberg, y con el hecho de que la igualdad se cumple en el principio de incertidumbre solo para la función gaussiana. [ 160 ] De forma equivalente, π es la única constante que hace que la distribución normal gaussiana e πx 2 sea igual a su propia transformada de Fourier. [ 161 ] De hecho, según Howe (1980) , todo el proceso de establecer los teoremas fundamentales del análisis de Fourier se reduce a la integral gaussiana. [ 157 ]

Topología

Uniformización de la cuártica de Klein , una superficie de género tres y característica de Euler −4, como cociente del plano hiperbólico por el grupo de simetría PSL(2,7) del plano de Fano . El área hiperbólica de un dominio fundamental es , según Gauss-Bonnet.

La constante π aparece en la fórmula de Gauss-Bonnet que relaciona la geometría diferencial de las superficies con su topología . Específicamente, si una superficie compacta Σ tiene curvatura de Gauss K , entonces

ΣKdA=2πχ(Σ),{\displaystyle \int _{\Sigma }K\,dA=2\pi \chi (\Sigma ),}

donde χ (Σ) es la característica de Euler , que es un número entero. [ 162 ] Un ejemplo es el área de la superficie de una esfera S de curvatura 1 (de modo que su radio de curvatura , que coincide con su radio, también es 1). La característica de Euler de una esfera se puede calcular a partir de sus grupos de homología y se encuentra que es igual a dos. Por lo tanto, tenemos

A(S)=S1dA=2π2=4π,{\displaystyle A(S)=\int _{S}1\,dA=2\pi \cdot 2=4\pi ,}

reproduciendo la fórmula para el área de la superficie de una esfera de radio 1.

La constante aparece en muchas otras fórmulas integrales en topología, en particular, aquellas que involucran clases características a través del homomorfismo de Chern-Weil . [ 163 ]

Fórmula integral de Cauchy

Las funciones analíticas complejas pueden visualizarse como un conjunto de líneas de corriente y equipotenciales, sistemas de curvas que se intersecan en ángulo recto. Aquí se ilustra el logaritmo complejo de la función gamma.

Una de las herramientas clave en el análisis complejo es la integración de contorno de una función sobre una curva de Jordan γ orientada positivamente ( rectificable ) . Una forma de la fórmula integral de Cauchy establece que si un punto z 0 está en el interior de γ , entonces [ 164 ]

γdzzz0=2πi.{\displaystyle \oint _{\gamma }{\frac {dz}{z-z_{0}}}=2\pi i.}

Aunque la curva γ no es un círculo y, por lo tanto, no tiene ninguna conexión obvia con la constante π , una demostración estándar de este resultado utiliza el teorema de Morera , que implica que la integral es invariante bajo homotopía de la curva, de modo que puede deformarse a un círculo y luego integrarse explícitamente en coordenadas polares. De forma más general, es cierto que si una curva cerrada rectificable γ no contiene z 0 , entonces la integral anterior es 2 πi veces el número de vueltas de la curva.

La forma general de la fórmula integral de Cauchy establece la relación entre los valores de una función analítica compleja f ( z ) en la curva de Jordan γ y el valor de f ( z ) en cualquier punto interior z 0 de γ : [ 165 ]

γF(z)zz0dz=2πiF(z0),{\displaystyle \oint _{\gamma }{f(z) \over z-z_{0}}\,dz=2\pi if(z_{0}),}

siempre que f ( z ) sea analítica en la región encerrada por γ y se extienda continuamente a γ . La fórmula integral de Cauchy es un caso especial del teorema de los residuos , que establece que si g ( z ) es una función meromorfa en la región encerrada por γ y es continua en un entorno de γ , entonces

γgramo(z)dz=2πiRes(gramo,ak),{\displaystyle \oint _{\gamma }g(z)\,dz=2\pi i\sum \operatorname {Res} (g,a_{k}),}

donde la suma es de los residuos en los polos de g ( z ) .

Cálculo vectorial y física

La constante π es omnipresente en el cálculo vectorial y la teoría del potencial , por ejemplo en la ley de Coulomb , [ 166 ] la ley de Gauss , las ecuaciones de Maxwell e incluso las ecuaciones de campo de Einstein . [ 167 ] [ 168 ] Quizás el ejemplo más simple de esto sea el potencial newtoniano bidimensional , que representa el potencial de una fuente puntual en el origen, cuyo campo asociado tiene un flujo unitario hacia afuera a través de cualquier superficie cerrada lisa y orientada que encierre la fuente:

Φ(incógnita)=12πregistro|incógnita|.{\displaystyle \Phi (\mathbf {x} )={\frac {1}{2\pi }}\log |\mathbf {x} |.}

El factor de1/(2π){\displaystyle 1/(2\pi )}es necesario asegurar queΦ{\displaystyle \Phi }es la solución fundamental de la ecuación de Poisson enR2{\displaystyle \mathbb {R} ^{2}}: [ 169 ]

ΔΦ=δ,{\displaystyle \Delta \Phi =\delta,}

dóndeδ{\displaystyle \delta }es la función delta de Dirac .

En dimensiones superiores, los factores de π están presentes debido a una normalización por el volumen n -dimensional de la esfera unitaria n . Por ejemplo, en tres dimensiones, el potencial newtoniano es: [ 169 ]

Φ(incógnita)=14π|incógnita|,{\displaystyle \Phi (\mathbf {x} )=-{\frac {1}{4\pi |\mathbf {x} |}},}

que tiene el volumen bidimensional (es decir, el área) de la esfera unitaria de 2 dimensiones en el denominador.

Curvatura total

Esta curva tiene una curvatura total de 6 π y un número de vueltas de 3 ; tiene un número de vueltas de 2 alrededor de p y un bucle adicional que no contiene p .

En la geometría diferencial de curvas , la curvatura total de una curva plana suave es la cantidad que gira en sentido antihorario, en radianes, desde el inicio hasta el final, calculada como la integral de la curvatura con signo con respecto a la longitud del arco:

abk(s)ds.{\displaystyle \int _{a}^{b}k(s)\,ds.}

Para una curva cerrada, esta cantidad es igual a 2πN , donde N es el número de vueltas o índice de la curva. N es el número de vueltas alrededor del origen del hodógrafo de la curva parametrizada por la longitud de arco, una nueva curva que se encuentra sobre el círculo unitario y que se describe mediante el vector tangente normalizado en cada punto de la curva original. De forma equivalente, N es el grado de la transformación que asigna a cada punto de la curva su correspondiente punto en el hodógrafo, análoga a la transformación de Gauss para superficies.

Función gamma y aproximación de Stirling

Representación gráfica de la función gamma en el eje real.

La función factorialnorte¡{\displaystyle n!}es el producto de todos los enteros positivos hasta n . La función gamma extiende el concepto de factorial (normalmente definido solo para enteros no negativos) a todos los números complejos, excepto los enteros reales negativos, con la identidadΓ(norte)=(norte1)¡{\displaystyle \Gamma (n)=(n-1)!}Cuando la función gamma se evalúa en semienteros, el resultado se expresa naturalmente en términos de π . Por ejemplo,Γ(12)=π{\displaystyle \Gamma {\bigl (}{\tfrac {1}{2}}{\bigr )}={\sqrt {\pi }}}yΓ(52)=34π{\textstyle \Gamma {\bigl (}{\tfrac {5}{2}}{\bigr )}={\tfrac {3}{4}}{\sqrt {\pi }}}. [ 170 ]

La función gamma se define por su desarrollo de producto de Weierstrass : [ 171 ]

Γ(z)=miγzznorte=1miz/norte1+z/norte,{\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }{\frac {e^{z/n}}{1+z/n}},}

donde γ es la constante de Euler-Mascheroni . Evaluada en z=12{\displaystyle z={\tfrac {1}{2}}}y al cuadrado , la ecuaciónγ(12))2=π{\displaystyle \textstyle \gamma {\bigl (}{\tfrac {1}{2}}{\bigr )}{\vphantom {)}}^{2}=\pi }Se reduce a la fórmula del producto de Wallis. La función gamma también está conectada con la función zeta de Riemann y las identidades para el determinante funcional , en las que la constante π juega un papel importante .

La función gamma se utiliza para calcular el volumen V n ( r ) de la bola n -dimensional de radio r en el espacio euclidiano n- dimensional, y el área superficial S n −1 ( r ) de su frontera, la esfera ( n −1)-dimensional : [ 172 ]

Vnorte(r)=πnorte/2Γ(norte2+1)rnorte,{\displaystyle V_{n}(r)={\frac {\pi ^{n/2}}{\Gamma {\bigl (}{\frac {n}{2}}+1{\bigr )}}}r^{n},}

Snorte1(r)=norteπnorte/2Γ(norte2+1)rnorte1.{\displaystyle S_{n-1}(r)={\frac {n\pi ^{n/2}}{\Gamma {\bigl (}{\tfrac {n}{2}}+1{\bigr )}}}r^{n-1}.}

Además, de la ecuación funcional se deduce que

2πr=Snorte+1(r)Vnorte(r).{\displaystyle 2\pi r={\frac {S_{n+1}(r)}{V_{n}(r)}}.}

La función gamma se puede utilizar para crear una aproximación simple a la función factorial n ! para valores grandes de n :norte¡2πnorte(nortemi)norte{\textstyle n!\sim {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}}, que se conoce como la aproximación de Stirling . [ 173 ] De manera equivalente,

π=límitenortemi2nortenorte¡22norte2norte+1.{\displaystyle \pi =\lim _{n\to \infty }{\frac {e^{2n}n!^{2}}{2n^{2n+1}}}.}

Como aplicación geométrica de la aproximación de Stirling, sea Δ n el simplex estándar en el espacio euclidiano n- dimensional, y ( n + 1)Δ n el simplex con todos sus lados escalados por un factor de n + 1. Entonces

Vol((norte+1)Δnorte)=(norte+1)nortenorte¡minorte+12πnorte.{\displaystyle \operatorname {Vol} ((n+1)\Delta _{n})={\frac {(n+1)^{n}}{n!}}\sim {\frac {e^{n+1}}{\sqrt {2\pi n}}}.}

La conjetura de volumen de Ehrhart predice que este es el límite superior (óptimo) del volumen de un cuerpo convexo que contiene solo un punto reticular entero . [ 174 ]

Teoría de números y función zeta de Riemann

Cada número primo tiene asociado un grupo de Prüfer , que son localizaciones aritméticas del círculo. Las funciones L de la teoría analítica de números también están localizadas en cada primo p .
Solución del problema de Basilea utilizando la conjetura de Weil : el valor de ζ (2) es el área hiperbólica de un dominio fundamental del grupo modular , multiplicada por π /2 .

La función zeta de Riemann ζ ( s ) se utiliza en muchas áreas de las matemáticas. Cuando se evalúa en s = 2, se puede escribir como

ζ(2)=112+122+132+.{\displaystyle \zeta (2)={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots .}

Encontrar una solución simple para esta serie infinita fue un famoso problema en matemáticas llamado el problema de Basilea . Leonhard Euler lo resolvió en 1735 cuando demostró que era igual a π 2 /6 . [ 83 ] El resultado de Euler conduce al resultado de la teoría de números de que la probabilidad de que dos números aleatorios sean primos relativos (es decir, que no tengan factores comunes) es igual a 6/ π 2 . [ 175 ] Esta probabilidad se basa en la observación de que la probabilidad de que cualquier número sea divisible por un primo p es 1/ p (por ejemplo, cada séptimo entero es divisible por 7). Por lo tanto, la probabilidad de que dos números sean ambos divisibles por este primo es 1/ p 2 , y la probabilidad de que al menos uno de ellos no lo sea es 1 − 1/ p 2 . Para primos distintos, estos eventos de divisibilidad son mutuamente independientes; por lo tanto, la probabilidad de que dos números sean primos relativos viene dada por un producto sobre todos los primos: [ 176 ]

pag(11pag2)=(pag11pag2)1=11+122+132+=1ζ(2)=6π261%.{\displaystyle {\begin{aligned}\prod _{p}^{\infty }\left(1-{\frac {1}{p^{2}}}\right)&=\left(\prod _{p}^{\infty }{\frac {1}{1-p^{-2}}}\right)^{-1}\\[4pt]&={\frac {1}{1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots }}\\[4pt]&={\frac {1}{\zeta (2)}}={\frac {6}{\pi ^{2}}}\approx 61\%.\end{aligned}}}

Esta probabilidad puede utilizarse junto con un generador de números aleatorios para aproximar π mediante un método de Monte Carlo. [ 177 ]

La solución al problema de Basilea implica que la cantidad geométrica derivada π está profundamente conectada con la distribución de los números primos. Este es un caso especial de la conjetura de Weil sobre los números de Tamagawa , que afirma la igualdad de productos infinitos similares de cantidades aritméticas , localizadas en cada primo p , y una cantidad geométrica : el recíproco del volumen de un cierto espacio localmente simétrico . En el caso del problema de Basilea, se trata de la 3-variedad hiperbólica SL 2 ( R ) / SL 2 ( Z ) . [ 178 ]

La función zeta también satisface la ecuación funcional de Riemann, que involucra a π así como a la función gamma:

ζ(s)=2sπs1 pecado(πs2) Γ(1s) ζ(1s).{\displaystyle \zeta (s)=2^{s}\pi ^{s-1}\ \sin \left({\frac {\pi s}{2}}\right)\ \Gamma (1-s)\ \zeta (1-s).}

Además, la derivada de la función zeta satisface

exp(ζ(0))=2π.{\displaystyle \exp(-\zeta '(0))={\sqrt {2\pi }}.}

Una consecuencia es que π puede obtenerse a partir del determinante funcional del oscilador armónico . Este determinante funcional puede calcularse mediante un desarrollo en serie de productos y es equivalente a la fórmula del producto de Wallis. [ 179 ] El cálculo puede reformularse en mecánica cuántica , específicamente en el enfoque variacional del espectro del átomo de hidrógeno . [ 180 ]

series de Fourier

π aparece en caracteres de números p -ádicos (mostrados), que son elementos de un grupo de Prüfer . La tesis de Tate hace un uso extensivo de este mecanismo. [ 181 ]

La constante π también aparece de forma natural en las series de Fourier de funciones periódicas . Las funciones periódicas son funciones definidas en el grupo T = R / Z de las partes fraccionarias de los números reales. La descomposición de Fourier muestra que una función compleja f definida en T puede escribirse como una superposición lineal infinita de caracteres unitarios de T. Es decir, homomorfismos de grupo continuos de T al grupo circular U (1) de los números complejos de módulo unitario.

Es un teorema que cada carácter de T es una de las exponenciales complejas.minorte(incógnita)=mi2πinorteincógnita{\displaystyle e_{n}(x)=e^{2\pi inx}}Entre estos, hay un carácter único, salvo conjugación compleja, que es un isomorfismo de grupo de T sobre el grupo multiplicativo de números complejos de valor absoluto uno. [ 182 ] Una definición de la constante, debida a Nicolas Bourbaki , toma π como la mitad de la magnitud de la derivada de este isomorfismo. [ 183 ]

Equivalentemente, usando la medida de Haar en el grupo del círculo, los otros caracteres tienen derivadas cuyas magnitudes son múltiplos enteros positivos de 2π . Por lo tanto, π es el único número positivo tal que el grupo T , equipado con su medida de Haar, es dual de Pontrjagin a la red de múltiplos enteros de 2π . [ 183 ] ​​[ 184 ] Esta es una versión de la fórmula de suma de Poisson unidimensional .

En el análisis de Fourier, la aparición de π en lugar de 2π a menudo señala el paso de caracteres ordinarios a representaciones proyectivas . La exponencial básicamiπiincógnita{\displaystyle e^{\pi ix}}no es un carácter del grupo T , puesto que cambia de signo tras una vuelta completa del círculo; en cambio, define una representación del recubrimiento doble de T. Este es el ejemplo más sencillo de una representación proyectiva, y el mismo fenómeno se repite de forma más general en el análisis armónico. Los espinores , por ejemplo, representan rotaciones solo tras pasar a un recubrimiento doble, y las representaciones metaplécticas surgen de forma similar a partir de un recubrimiento doble de SL(2, R ) . Estas mismas ideas también conectan el análisis de Fourier con la aritmética, puesto que las funciones theta y las formas modulares de peso semi-entero se rigen naturalmente por estas construcciones metaplécticas y de la teoría de Heisenberg.

Formas modulares y funciones theta

Las funciones theta se transforman bajo la red de periodos de una curva elíptica.

La constante π está profundamente relacionada con la teoría de las formas modulares y las funciones theta . Por ejemplo, el algoritmo de Chudnovsky involucra de manera esencial el invariante j de una curva elíptica .

Las formas modulares son funciones holomorfas en el semiplano superior caracterizadas por sus propiedades de transformación bajo el grupo modular.SL2(Z){\displaystyle \mathrm {SL} _ {2}(\mathbb {Z} )}(o sus diversos subgrupos), una red en el grupo SL2(R){\displaystyle \mathrm {SL} _ {2}(\mathbb {R} )}Un ejemplo es la función theta de Jacobi .

θ(z,τ)=norte=mi2πinortez + πinorte2τ,{\displaystyle \theta (z,\tau )=\sum _{n=-\infty }^{\infty }e^{2\pi inz\ +\ \pi in^{2}\tau },}

que es una especie de forma modular llamada forma jacobi . [ 185 ] Esto a veces se escribe en términos del nomeq=miπiτ{\displaystyle q=e^{\pi i\tau }}.

La constante π es la única constante que hace que la función theta de Jacobi sea una forma automorfa , lo que significa que se transforma de una manera específica. Ciertas identidades se cumplen para todas las formas automorfas. Un ejemplo es

θ(z+τ,τ)=miπiτ2πizθ(z,τ),{\displaystyle \theta (z+\tau ,\tau )=e^{-\pi i\tau -2\pi iz}\theta (z,\tau ),}

lo que implica que θ se transforma como una representación bajo el grupo discreto de Heisenberg . Las formas modulares generales y otras funciones theta también involucran a π , una vez más debido al teorema de Stone-von Neumann . [ 185 ]

Distribución de Cauchy y teoría del potencial

La Bruja de Agnesi , llamada así en honor a María Agnesi (1718-1799), es una construcción geométrica del gráfico de la distribución de Cauchy.
La distribución de Cauchy rige el paso de partículas brownianas a través de una membrana.

La distribución de Cauchy

gramo(incógnita)=1π1incógnita2+1{\displaystyle g(x)={\frac {1}{\pi }}\cdot {\frac {1}{x^{2}+1}}}

es una función de densidad de probabilidad . La probabilidad total es igual a uno, debido a la integral:

1incógnita2+1dincógnita=π.{\displaystyle \int _{-\infty }^{\infty }{\frac {1}{x^{2}+1}}\,dx=\pi .}

La entropía de Shannon de la distribución de Cauchy es igual a ln(4 π ) , que también involucra π .

La distribución de Cauchy desempeña un papel importante en la teoría del potencial porque es la medida de Furstenberg más simple , el núcleo de Poisson clásico asociado con un movimiento browniano en un semiplano. [ 186 ] Las funciones armónicas conjugadas y, por lo tanto, la transformada de Hilbert están asociadas con la asintótica del núcleo de Poisson. La transformada de Hilbert H es la transformada integral dada por el valor principal de Cauchy de la integral singular.

HF(t)=1πF(incógnita)dincógnitaincógnitat.{\displaystyle Hf(t)={\frac {1}{\pi }}\int _{-\infty }^{\infty }{\frac {f(x)\,dx}{xt}}.}

La constante π es el único factor de normalización (positivo) tal que H define una estructura compleja lineal en el espacio de Hilbert de funciones reales de cuadrado integrable en la recta real. [ 187 ] La transformada de Hilbert, al igual que la transformada de Fourier, puede caracterizarse puramente en términos de sus propiedades de transformación en el espacio de Hilbert L 2 ( R ) : salvo un factor de normalización, es el único operador lineal acotado que conmuta con dilataciones positivas y anticonmuta con todas las reflexiones de la recta real. [ 188 ] La constante π es el único factor de normalización que hace que esta transformación sea unitaria.

En el conjunto de Mandelbrot

Una figura negra compleja sobre un fondo azul.
El conjunto de Mandelbrot se puede utilizar para aproximar π .

En 1991, David Boll descubrió una ocurrencia de π en el fractal llamado conjunto de Mandelbrot. Examinó el comportamiento del conjunto de Mandelbrot cerca del "cuello" en (−0.75, 0) . Cuando el número de iteraciones hasta la divergencia para el punto (−0.75, ε ) se multiplica por ε , el resultado se aproxima a π a medida que ε se aproxima a cero. El punto (0.25 + ε , 0) en la cúspide del gran "valle" en el lado derecho del conjunto de Mandelbrot se comporta de manera similar: el número de iteraciones hasta la divergencia multiplicado por la raíz cuadrada de ε tiende a π . [ 189 ]

Matemáticas externas

Descripción de fenómenos físicos

Aunque no es una constante física , π aparece habitualmente en ecuaciones que describen fenómenos físicos, a menudo debido a su relación con el círculo y los sistemas de coordenadas esféricas . Una fórmula sencilla del campo de la mecánica clásica da el período aproximado T de un péndulo simple de longitud L , que oscila con una pequeña amplitud ( g es la aceleración gravitatoria de la Tierra ): [ 190 ]

T2πLgramo.{\displaystyle T\approx 2\pi {\sqrt {\frac {L}{g}}}.}

Una de las fórmulas clave de la mecánica cuántica es el principio de incertidumbre de Heisenberg , que muestra que la incertidumbre en la medición de la posición ( Δx ) y el momento ( Δp ) de una partícula no pueden ser arbitrariamente pequeños al mismo tiempo (donde h es la constante de Planck ): [ 191 ]

ΔincógnitaΔpagh4π.{\displaystyle \Delta x\,\Delta p\geq {\frac {h}{4\pi }}.}

El hecho de que π sea aproximadamente igual a 3 juega un papel en la vida útil relativamente larga del ortopositronio . La vida útil inversa al orden más bajo en la constante de estructura fina α es [ 192 ].

1τ=2π299πmetromiα6,{\displaystyle {\frac {1}{\tau }}=2{\frac {\pi ^{2}-9}{9\pi }}m_{\text{e}}\alpha ^{6},}

donde m e es la masa del electrón .

π está presente en algunas fórmulas de ingeniería estructural, como la fórmula de pandeo derivada por Euler, que da la carga axial máxima F que una columna larga y esbelta de longitud L , módulo de elasticidad E y momento de inercia de área I puede soportar sin pandearse: [ 193 ]

F=π2miIL2.{\displaystyle F={\frac {\pi ^{2}EI}{L^{2}}}.}

El campo de la dinámica de fluidos contiene π en la ley de Stokes , que aproxima la fuerza de fricción F ejercida sobre objetos pequeños y esféricos de radio R , que se mueven con velocidad v en un fluido con viscosidad dinámica η : [ 194 ]

F=6πηRv.{\displaystyle F=6\pi \eta Rv.}

En electromagnetismo, la constante de permeabilidad del vacío μ₀ aparece en las ecuaciones de Maxwell , que describen las propiedades de los campos eléctricos y magnéticos y la radiación electromagnética . Antes del 20 de mayo de 2019, se definía exactamente como

μ0=4π×107 H/m1.2566370614×106 N / A2.{\displaystyle \mu _{0}=4\pi \times 10^{-7}{\text{ H/m}}\approx 1.2566370614\ldots \times 10^{-6}{\text{ N/A}}^{2}.}

Memorizar dígitos

La pifilología es la práctica de memorizar grandes cantidades de dígitos de π , [ 195 ] y los récords mundiales son mantenidos por Guinness World Records . El récord de memorización de dígitos de π , certificado por Guinness World Records, es de 70 000 dígitos, recitados en India por Rajveer Meena en 9 horas y 27 minutos el 21 de marzo de 2015. [ 196 ] En 2006, Akira Haraguchi , un ingeniero japonés jubilado, afirmó haber recitado 100 000 decimales, pero la afirmación no fue verificada por Guinness World Records. [ 197 ]

Una técnica común consiste en memorizar una historia o poema en el que la longitud de las palabras representa los dígitos de π : la primera palabra tiene tres letras, la segunda una, la tercera cuatro, la cuarta una, la quinta cinco, y así sucesivamente. Estas ayudas para la memorización se denominan mnemotecnias . Un ejemplo temprano de mnemotecnia para pi, ideada originalmente por el científico inglés James Jeans , es "How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics" (Cómo me apetece una copa, alcohólica por supuesto, después de las pesadas conferencias sobre mecánica cuántica). [ 195 ] Cuando se utiliza un poema, a veces se le denomina piem . [ 198 ] Se han compuesto poemas para memorizar π en varios idiomas además del inglés. [ 195 ] Los memorizadores de π que baten récords normalmente no recurren a poemas, sino que utilizan métodos como recordar patrones numéricos y el método de los loci . [ 199 ]

Algunos autores han utilizado los dígitos de π para establecer una nueva forma de escritura restringida , donde la longitud de las palabras debe representar los dígitos de π . La Cadenza Cadaeica contiene los primeros 3835 dígitos de π de esta manera, [ 200 ] y el libro completo Not a Wake contiene 10 000 palabras, cada una de las cuales representa un dígito de π . [ 201 ]

Pi Pie en la Universidad de Delft
Hornear y comer pastel es una forma común de celebrar el Día de Pi . [ 202 ] [ 203 ] [ 204 ]

Quizás debido a la simplicidad de su definición y su presencia omnipresente en fórmulas, π ha sido representado en la cultura popular más que otros constructos matemáticos. [ 205 ]

En el Palais de la Découverte (un museo de ciencias en París) hay una sala circular conocida como la sala de Pi . En su pared están inscritos 707 dígitos de π . Los dígitos son grandes caracteres de madera fijados al techo abovedado. Los dígitos se basaron en un cálculo de 1873 del matemático inglés William Shanks , que incluía un error a partir del dígito 528. El error se detectó en 1946 y se corrigió en 1949. [ 206 ]

En la novela Contacto de Carl Sagan de 1985 , se sugiere que el creador del universo enterró un mensaje en lo profundo de los dígitos de π . Esta parte de la historia se omitió en la adaptación cinematográfica de la novela. [ 207 ] En el episodio de Star Trek de 1967 « Wolf in the Fold », una computadora poseída por una entidad demoníaca es contenida al recibir la instrucción de «Calcular hasta el último dígito el valor de π » . [ 39 ]

En Estados Unidos, el Día de Pi cae el 14  de marzo (escrito 3/14 en el formato de fecha estadounidense ) y es popular entre los estudiantes. [ 39 ] π y su representación digital son a menudo utilizados por los autodenominados " geeks de las matemáticas " para bromas internas entre grupos con mentalidad matemática y tecnológica. Un grito de ánimo universitario atribuido indistintamente al Instituto Tecnológico de Massachusetts o al Instituto Politécnico Rensselaer incluye "3.14159". [ 208 ] El Día de Pi en 2015 fue particularmente significativo porque la fecha y hora 3/14/15 9:26:53 reflejaban muchos más dígitos de pi. [ 209 ] En partes del mundo donde las fechas se suelen anotar en formato día/mes/año, el 22 de julio representa el "Día de la Aproximación de Pi", ya que 22/7   3.142857. [ 210 ]

Algunos han propuesto reemplazar π por τ = 2π , argumentando que τ , como el número de radianes en una vuelta o la razón entre la circunferencia de un círculo y su radio, es más natural que π y simplifica muchas fórmulas. [ 211 ] [ 212 ] Este uso de τ no se ha incorporado a las matemáticas convencionales, [ 213 ] pero desde 2010 esto ha llevado a que la gente celebre el Día de Dos Pi o el Día de Tau el 28 de junio. [ 214 ]

En 1897, un matemático aficionado intentó persuadir a la legislatura de Indiana para que aprobara el Proyecto de Ley Pi de Indiana , que describía un método para cuadrar el círculo y contenía un texto que implicaba varios valores incorrectos para π , incluido 3,2. El proyecto de ley es conocido por intentar establecer un valor de una constante matemática por decreto legislativo . Si bien el proyecto de ley fue aprobado por la Cámara de Representantes de Indiana , fue rechazado por el Senado de Indiana y, por lo tanto, no se convirtió en ley. [ 215 ]

Véase también

Referencias

Notas explicativas

  1. La integral específica que usó Weierstrass fue [ 6 ]π=dincógnita1+incógnita2.{\displaystyle \pi =\int _{-\infty }^{\infty }{\frac {dx}{1+x^{2}}}.}
  2. El polinomio que se muestra son los primeros términos deldesarrollo en serie de Taylor de la función seno .
  3. La parte central de estas se debe al matemático William Brouncker , de mediados del siglo XVII, véase § La fórmula de Brouncker . 
  4. Hardy y Wright afirman que «las demostraciones fueron posteriormente modificadas y simplificadas por Hilbert, Hurwitz y otros autores». Cf. Hardy y Wright 1938 y 2000:177 nota al pie § 11.13–14. Las demostraciones de que e y π son trascendentales se encuentran en las páginas 170–176. Citan dos fuentes de las demostraciones en Landau 1927 o Perron 1910; véase la «Lista de libros» en las páginas 417–419 para las citas completas.

Citas

  1. ^ Debería , William (1652). Theorematum in libris Archimedis de sphaera et cylindro declarario (en latín). Excudebat L. Lichfield, Veneunt apud T. Robinson. δ . π  :: semidiámetro. semiperiferia
  2. "pi" . Dictionary.reference.com. 2 de marzo de 1993. Archivado del original el 28 de julio de 2014. Consultado el 18 de junio de 2012 .
  3. ^ Arndt y Haenel 2006 , pág. 8.
  4. Apostol, Tom (1967). Cálculo . Vol. 1 (2.ª ed.). Wiley. p. 102. Desde un punto de vista lógico, esto resulta insatisfactorio en la etapa actual porque aún no hemos analizado el concepto de longitud de arco.   
  5. 1 2 3 Remmert 2012 , pág. 129.
  6. Remmert 2012 , pág. 148.
    Weierstrass, Karl (1841). "Darstellung einer analytischen Function einer complexen Veränderlichen, deren absoluter Betrag zwischen zwei gegebenen Grenzen liegt" [ Representación de una función analítica de una variable compleja, cuyo valor absoluto se encuentra entre dos límites dados ] . Mathematische Werke (en alemán). vol.  1. Berlín: Mayer & Müller (publicado en 1894). págs. 51 a 66. 
  7. ^ Baltzer, Richard (1870). Die Elemente der Mathematik [ Los elementos de las matemáticas ] (en alemán). Hirzel. pag. 195. Archivado desde el original el 14 de septiembre de 2016. 
  8. ^ Landau, Edmundo (1934). Einführung in die Differentialrechnung und Integralrechnung (en alemán). Noordoff. pag. 193. 
  9. 1 2 Rudin, Walter (1976). Principios de análisis matemático . McGraw-Hill. pág. 183. ISBN  978-0-07-054235-8.
  10. Rudin, Walter (1986). Análisis real y complejo . McGraw-Hill. pág. 2. 
  11. Ahlfors, Lars (1966). Análisis complejo . McGraw-Hill. pág. 46. 
  12. ^ Arndt y Haenel 2006 , pág. 5.
  13. Salikhov, V. (2008). "Sobre la medida de irracionalidad de pi". Russian Mathematical Surveys . 53 (3): 570– 572. Bibcode : 2008RuMaS..63..570S . doi : 10.1070/RM2008v063n03ABEH004543 . ISSN 0036-0279 . S2CID 250798202 .  
  14. Arndt y Haenel 2006 , págs. 22–23.
  15. Arndt y Haenel 2006 , págs. 22, 28–30.
  16. Arndt y Haenel 2006 , pág. 3.
  17. 1 2 Arndt y Haenel 2006 , págs. 6–7.
  18. Posamentier y Lehmann 2004 , p. 25.
  19. ^ Eymard y Lafon 2004 , pág. 129.
  20. Beckmann, Petr (1989) [1974]. Historia de Pi . St. Martin's Press. pág. 37. ISBN  978-0-88029-418-8.
    Schlager, Neil; Lauer, Josh (2001). La ciencia y su época: comprender la importancia social del descubrimiento científico . Gale Group. ISBN 978-0-7876-3933-4Archivado del original el 13 de diciembre de 2019. Consultado el 19 de diciembre de 2019 ., pág. 185.
  21. Murty, M. Ram ; Rath, Purusottam (2014). Números trascendentales . Springer. doi : 10.1007/978-1-4939-0832-5 . ISBN 978-1-4939-0831-8.
    Waldschmidt, Michel (2021). "La conjetura de Schanuel: independencia algebraica de los números trascendentales" (PDF) .
  22. ^ Weisstein, Eric W. "Teorema de Lindemann-Weierstrass" . MundoMatemático .
  23. ^ Eymard y Lafon 2004 , pág. 78.
  24. Arndt y Haenel 2006 , pág. 33.
  25. ^ Mollin , RA (1999). "Gemas de fracción continua". Nieuw Archief voor Wiskunde . 17 (3): 383– 405. SEÑOR 1743850 . 
  26. Lange, LJ (mayo de 1999). "Una elegante fracción continua para π". The American Mathematical Monthly . 106 (5): 456– 458. doi : 10.2307/2589152 . JSTOR 2589152 . 
  27. Arndt y Haenel 2006 , pág. 240.
  28. Arndt y Haenel 2006 , pág. 242.
  29. Kennedy, ES (1978). "Abu-r-Raihan al-Biruni, 973–1048". Journal for the History of Astronomy . 9 : 65. Bibcode : 1978JHA.....9...65K . doi : 10.1177/002182867800900106 . S2CID 126383231 . Ptolemy used a three-sexagesimal-digit approximation, and Jamshīd al-Kāshī expanded this to nine digits; see Aaboe, Asger (1998) [1964]. Episodes from the Early History of Mathematics. New Mathematical Library. Vol. 13. New York: Random House. p. 125. ISBN 978-0-88385-613-0.
  30. Abramson 2014, Section 8.5: Polar form of complex numbers.
  31. 12Bronshteĭn & Semendiaev 1971, p. 592.
  32. Maor, Eli (2009). E: The Story of a Number. Princeton University Press. p. 160. ISBN 978-0-691-14134-3.
  33. Andrews, Askey & Roy 1999, p. 14.
  34. 12Arndt & Haenel 2006, p. 167.
  35. Herz-Fischler, Roger (2000). The Shape of the Great Pyramid. Wilfrid Laurier University Press. pp. 67–77, 165–166. ISBN 978-0-88920-324-2. Retrieved 5 June 2013.
  36. Plofker, Kim (2009). Mathematics in India. Princeton University Press. p. 27. ISBN 978-0-691-12067-6.
  37. Arndt & Haenel 2006, p. 170.
  38. Arndt & Haenel 2006, pp. 175, 205.
  39. 123Borwein, Jonathan M. (2014). "The life of π: from Archimedes to ENIAC and beyond". In Sidoli, Nathan; Van Brummelen, Glen (eds.). From Alexandria, through Baghdad: Surveys and studies in the ancient Greek and medieval Islamic mathematical sciences in honor of J. L. Berggren. Heidelberg: Springer. pp. 531–561. doi:10.1007/978-3-642-36736-6_24. ISBN 978-3-642-36735-9. MR 3203895.
  40. Arndt & Haenel 2006, p. 171.
  41. Arndt & Haenel 2006, p. 176.
  42. Boyer & Merzbach 1991, p. 168.
  43. Arndt & Haenel 2006, pp. 176–177.
  44. 12Boyer & Merzbach 1991, p. 202.
  45. Arndt & Haenel 2006, p. 177.
  46. Arndt & Haenel 2006, p. 178.
  47. Arndt & Haenel 2006, p. 179.
  48. 12Arndt & Haenel 2006, p. 180.
  49. Azarian, Mohammad K. (2010). "al-Risāla al-muhītīyya: A Summary". Missouri Journal of Mathematical Sciences. 22 (2): 64–85. doi:10.35834/mjms/1312233136.
    O'Connor, John J.; Robertson, Edmund F. (1999). "Ghiyath al-Din Jamshid Mas'ud al-Kashi". MacTutor History of Mathematics archive. Archived from the original on 12 April 2011. Retrieved 11 August 2012.
  50. 123Arndt & Haenel 2006, p. 182.
  51. Arndt & Haenel 2006, pp. 182–183.
  52. Arndt & Haenel 2006, p. 183.
  53. Grienbergerus, Christophorus (1630). Elementa Trigonometrica(PDF) (in Latin). Archived from the original(PDF) on 1 February 2014. His evaluation was 3.14159 26535 89793 23846 26433 83279 50288 4196 < π < 3.14159 26535 89793 23846 26433 83279 50288 4199.
  54. Brezinski, C. (2009). "Some pioneers of extrapolation methods". In Bultheel, Adhemar; Cools, Ronald (eds.). The Birth of Numerical Analysis. World Scientific. pp. 1–22. doi:10.1142/9789812836267_0001. ISBN 978-981-283-625-0.
    Yoder, Joella G. (1996). "Following in the footsteps of geometry: The mathematical world of Christiaan Huygens". De Zeventiende Eeuw. 12: 83–93 via Digital Library for Dutch Literature.
  55. Arndt & Haenel 2006, pp. 185–191.
  56. 1234Roy, Ranjan (1990). "The Discovery of the Series Formula for π by Leibniz, Gregory and Nilakantha"(PDF). Mathematics Magazine. 63 (5): 291–306. doi:10.1080/0025570X.1990.11977541. Archived from the original(PDF) on 14 March 2023. Retrieved 21 February 2023.
  57. Arndt & Haenel 2006, pp. 185–186.
  58. Joseph, George Gheverghese (1991). The Crest of the Peacock: Non-European Roots of Mathematics. Princeton University Press. p. 264. ISBN 978-0-691-13526-7.
  59. Andrews, Askey & Roy 1999, p. 59.
  60. Gupta, R. C. (1992). "On the remainder term in the Madhava–Leibniz's series". Ganita Bharati. 14 (1–4): 68–71.
  61. Arndt & Haenel 2006, p. 187.
    Vieta, Franciscus (1593). Variorum de rebus mathematicis responsorum. Vol. VIII.
    OEIS: A060294
  62. Arndt & Haenel 2006, p. 187.
  63. 12Arndt & Haenel 2006, p. 188. Newton quoted by Arndt.
  64. Horvath, Miklos (1983). "On the Leibnizian quadrature of the circle"(PDF). Annales Universitatis Scientiarum Budapestiensis (Sectio Computatorica). 4: 75–83. Archived from the original(PDF) on 7 March 2023. Retrieved 21 February 2023.
  65. 12Eymard & Lafon 2004, pp. 53–54.
  66. Cooker, M. J. (2011). "Fast formulas for slowly convergent alternating series"(PDF). Mathematical Gazette. 95 (533): 218–226. doi:10.1017/S0025557200002928. S2CID 123392772. Archived from the original(PDF) on 4 May 2019. Retrieved 23 February 2023.
  67. Arndt & Haenel 2006, p. 189.
  68. 12Jones, William (1706). Synopsis Palmariorum Matheseos. London: J. Wale. pp. 243, 263. p. 263: There are various other ways of finding the Lengths, or Areas of particular Curve Lines or Planes, which may very much facilitate the Practice; as for instance, in the Circle, the Diameter is to Circumference as 1 to 1654239¯13165342393¯+15165542395¯,&c.={\displaystyle {\overline {{\tfrac {16}{5}}-{\tfrac {4}{239}}}}-{\tfrac {1}{3}}{\overline {{\tfrac {16}{5^{3}}}-{\tfrac {4}{239^{3}}}}}+{\tfrac {1}{5}}{\overline {{\tfrac {16}{5^{5}}}-{\tfrac {4}{239^{5}}}}}-,\,\&c.=}3.14159, &c. = π. This Series (among others for the same purpose, and drawn from the same Principle) I receiv'd from the Excellent Analyst, and my much Esteem'd Friend Mr. John Machin; and by means thereof, Van Ceulen's Number, or that in Art. 64.38. may be Examin'd with all desireable Ease and Dispatch.
    Reprinted in Smith, David Eugene (1929). "William Jones: The First Use of π for the Circle Ratio". A Source Book in Mathematics. McGraw–Hill. pp. 346–347.
  69. Tweddle, Ian (1991). "John Machin and Robert Simson on Inverse-tangent Series for π". Archive for History of Exact Sciences. 42 (1): 1–14. doi:10.1007/BF00384331. JSTOR 41133896. S2CID 121087222.
  70. Arndt & Haenel 2006, pp. 192–193.
  71. 12Arndt & Haenel 2006, pp. 72–74.
  72. Lehmer, D. H. (1938). "On Arccotangent Relations for π"(PDF). American Mathematical Monthly. 45 (10): 657–664 Published by: Mathematical Association of America. doi:10.1080/00029890.1938.11990873. JSTOR 2302434. Archived from the original(PDF) on 7 March 2023. Retrieved 21 February 2023.
  73. Roy, Ranjan (2021) [1st ed. 2011]. Series and Products in the Development of Mathematics. Vol. 1 (2 ed.). Cambridge University Press. pp. 215–216, 219–220.
    Newton, Isaac (1971). "De computo serierum"[On the computation of series]. In Whiteside, Derek Thomas (ed.). The Mathematical Papers of Isaac Newton. Vol. 4, 1674–1684. Cambridge University Press. "De transmutatione serierum" [On the transformation of series] § 3.2.2 pp. 604–615.
  74. Sandifer, Ed (2009). "Estimating π"(PDF). How Euler Did It. Reprinted in How Euler Did Even More. Mathematical Association of America. 2014. pp. 109–118.
    Euler, Leonhard (1755). "§ 2.2.30". Institutiones Calculi Differentialis (in Latin). Academiae Imperialis Scientiarium Petropolitanae. p. 318. E 212.
    Euler, Leonhard (1798) [written 1779]. "Investigatio quarundam serierum, quae ad rationem peripheriae circuli ad diametrum vero proxime definiendam maxime sunt accommodatae". Nova Acta Academiae Scientiarum Petropolitinae. 11: 133–149, 167–168. E 705.
    Hwang, Chien-Lih (2004). "88.38 Some Observations on the Method of Arctangents for the Calculation of π". Mathematical Gazette. 88 (512): 270–278. doi:10.1017/S0025557200175060. JSTOR 3620848. S2CID 123532808.
    Hwang, Chien-Lih (2005). "89.67 An elementary derivation of Euler's series for the arctangent function". Mathematical Gazette. 89 (516): 469–470. doi:10.1017/S0025557200178404. JSTOR 3621947. S2CID 123395287.
  75. Arndt & Haenel 2006, pp. 194–196.
  76. Arndt & Haenel 2006, pp. 192–196, 205.
  77. Hayes, Brian (September 2014). "Pencil, Paper, and Pi". American Scientist. Vol. 102, no. 5. p. 342. doi:10.1511/2014.110.342. Retrieved 22 January 2022.
  78. 12Borwein, J. M.; Borwein, P. B. (1988). "Ramanujan and Pi". Scientific American. 256 (2): 112–117. Bibcode:1988SciAm.258b.112B. doi:10.1038/scientificamerican0288-112.Arndt & Haenel 2006, pp. 15–17, 70–72, 104, 156, 192–197, 201–202.
  79. Arndt & Haenel 2006, pp. 69–72.
  80. Borwein, J. M.; Borwein, P. B.; Dilcher, K. (1989). "Pi, Euler Numbers, and Asymptotic Expansions". American Mathematical Monthly. 96 (8): 681–687. doi:10.2307/2324715. hdl:1959.13/1043679. JSTOR 2324715.
  81. Arndt & Haenel 2006, Formula 16.10, p. 223.
  82. Wells, David (1997). The Penguin Dictionary of Curious and Interesting Numbers (revised ed.). Penguin. p. 35. ISBN 978-0-14-026149-3.
  83. 12Posamentier & Lehmann 2004, p. 284.
  84. Lambert, Johann, "Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques", reprinted in Berggren, Borwein & Borwein 1997, pp. 129–140.
  85. Lindemann, F. (1882). "Über die Ludolph'sche Zahl". Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin. 2: 679–682.
  86. Arndt & Haenel 2006, p. 196.
  87. Hardy and Wright 1938 and 2000: 177 footnote § 11.13–14 references Lindemann's proof as appearing at Math. Ann. 20 (1882), 213–225.
  88. Oughtred, William (1648). Clavis Mathematicæ[The key to mathematics] (in Latin). London: Thomas Harper. p. 69. (English translation: Oughtred, William (1694). Key of the Mathematics. J. Salusbury.)
  89. 1234Arndt & Haenel 2006, p. 166.
  90. 12Cajori, Florian (2007). A History of Mathematical Notations: Vol. II. Cosimo, Inc. pp. 8–13. ISBN 978-1-60206-714-1. the ratio of the length of a circle to its diameter was represented in the fractional form by the use of two letters ... J.A. Segner ... in 1767, he represented 3.14159... by δ:π, as did Oughtred more than a century earlier
  91. 12Smith, David E. (1958). History of Mathematics. Courier Corporation. p. 312. ISBN 978-0-486-20430-7.{{cite book}}: ISBN / Date incompatibility (help)
  92. Archibald, R. C. (1921). "Historical Notes on the Relation e−(π/2) = ii". The American Mathematical Monthly. 28 (3): 116–121. doi:10.2307/2972388. JSTOR 2972388. It is noticeable that these letters are never used separately, that is, π is not used for 'Semiperipheria'
  93. Barrow, Isaac (1860). "Lecture XXIV". In Whewell, William (ed.). The mathematical works of Isaac Barrow (in Latin). Harvard University. Cambridge University press. p. 381.
  94. Gregorius, David (1695). "Ad Reverendum Virum D. Henricum Aldrich S.T.T. Decanum Aedis Christi Oxoniae"(PDF). Philosophical Transactions (in Latin). 19 (231): 637–652. Bibcode:1695RSPT...19..637G. doi:10.1098/rstl.1695.0114. JSTOR 102382.
  95. Arndt & Haenel 2006, p. 165: A facsimile of Jones' text is in Berggren, Borwein & Borwein 1997, pp. 108–109.
  96. Segner, Joannes Andreas (1756). Cursus Mathematicus (in Latin). Halae Magdeburgicae. p. 282. Archived from the original on 15 October 2017. Retrieved 15 October 2017.
  97. Euler, Leonhard (1727). "Tentamen explicationis phaenomenorum aeris"(PDF). Commentarii Academiae Scientiarum Imperialis Petropolitana (in Latin). 2: 351. E007. Archived(PDF) from the original on 1 April 2016. Retrieved 15 October 2017. Sumatur pro ratione radii ad peripheriem, I : πEnglish translation by Ian BruceArchived 10 June 2016 at the Wayback Machine: "π is taken for the ratio of the radius to the periphery [note that in this work, Euler's π is double our π.]"
    Euler, Leonhard (1747). Henry, Charles (ed.). Lettres inédites d'Euler à d'Alembert. Bullettino di Bibliografia e di Storia delle Scienze Matematiche e Fisiche (in French). Vol. 19 (published 1886). p. 139. E858. Car, soit π la circonference d'un cercle, dout le rayon est = 1 English translation in Cajori, Florian (1913). "History of the Exponential and Logarithmic Concepts". The American Mathematical Monthly. 20 (3): 75–84. doi:10.2307/2973441. JSTOR 2973441. Letting π be the circumference (!) of a circle of unit radius
  98. Euler, Leonhard (1736). "Ch. 3 Prop. 34 Cor. 1". Mechanica sive motus scientia analytice exposita. (cum tabulis) (in Latin). Vol. 1. Academiae scientiarum Petropoli. p. 113. E015. Denotet 1 : π rationem diametri ad peripheriamEnglish translation by Ian BruceArchived 10 June 2016 at the Wayback Machine : "Let 1 : π denote the ratio of the diameter to the circumference"
  99. Euler, Leonhard (1922). Leonhardi Euleri opera omnia. 1, Opera mathematica. Volumen VIII, Leonhardi Euleri introductio in analysin infinitorum. Tomus primus / ediderunt Adolf Krazer et Ferdinand Rudio (in Latin). Lipsae: B. G. Teubneri. pp. 133–134. E101. Archived from the original on 16 October 2017. Retrieved 15 October 2017.
  100. Segner, Johann Andreas von (1761). Cursus Mathematicus: Elementorum Analyseos Infinitorum Elementorum Analyseos Infinitorvm (in Latin). Renger. p. 374. Si autem π notet peripheriam circuli, cuius diameter eſt 2
  101. Arndt & Haenel 2006, pp. 17–19.
  102. Schudel, Matt (25 March 2009). "John W. Wrench, Jr.: Mathematician Had a Taste for Pi". The Washington Post. p. B5.
    Connor, Steve (8 January 2010). "The Big Question: How close have we come to knowing the precise value of pi?". The Independent. London. Archived from the original on 2 April 2012. Retrieved 14 April 2012.
  103. Arndt & Haenel 2006, pp. 17–18.
  104. Bailey, David H.; Plouffe, Simon M.; Borwein, Peter B.; Borwein, Jonathan M. (1997). "The quest for PI". The Mathematical Intelligencer. 19 (1): 50–56. CiteSeerX 10.1.1.138.7085. doi:10.1007/BF03024340. ISSN 0343-6993. S2CID 14318695.
  105. Arndt & Haenel 2006, p. 205.
  106. 12Arndt & Haenel 2006, p. 197.
  107. Reitwiesner, George (1950). "An ENIAC Determination of pi and e to 2000 Decimal Places". Mathematical Tables and Other Aids to Computation. 4 (29): 11–15. doi:10.2307/2002695. JSTOR 2002695.
  108. Nicholson, J. C.; Jeenel, J. (1955). "Some comments on a NORC Computation of π". Math. Tabl. Aids. Comp. 9 (52): 162–164. doi:10.2307/2002052. JSTOR 2002052.
  109. Arndt & Haenel 2006, pp. 15–17.
  110. Arndt & Haenel 2006, p. 131.
  111. Arndt & Haenel 2006, pp. 132, 140.
  112. 12Arndt & Haenel 2006, p. 87.
  113. Arndt & Haenel 2006, p. 111 (5 times); pp. 113–114 (4 times). For details of algorithms, see Borwein, Jonathan; Borwein, Peter (1987). Pi and the AGM: a Study in Analytic Number Theory and Computational Complexity. Wiley. ISBN 978-0-471-31515-5.
  114. 123Bailey, David H. (16 May 2003). "Some Background on Kanada's Recent Pi Calculation"(PDF). Archived(PDF) from the original on 15 April 2012. Retrieved 12 April 2012.
  115. Arndt & Haenel 2006, pp. 103–104.
  116. Arndt & Haenel 2006, p. 104.
  117. Arndt & Haenel 2006, pp. 104, 206.
  118. Arndt & Haenel 2006, pp. 110–111.
  119. Eymard & Lafon 2004, p. 254.
  120. 12Bailey, David H.; Borwein, Jonathan M. (2016). "15.2 Computational records". Pi: The Next Generation, A Sourcebook on the Recent History of Pi and Its Computation. Springer International Publishing. p. 469. doi:10.1007/978-3-319-32377-0. ISBN 978-3-319-32375-6.
  121. Cassel, David (11 June 2022). "How Google's Emma Haruka Iwao Helped Set a New Record for Pi". The New Stack.
  122. Haruka Iwao, Emma (14 March 2019). "Pi in the sky: Calculating a record-breaking 31.4 trillion digits of Archimedes' constant on Google Cloud". Google Cloud Platform. Archived from the original on 19 October 2019. Retrieved 12 April 2019.
  123. PSLQ means Partial Sum of Least Squares.
  124. Plouffe, Simon (April 2006). "Identities inspired by Ramanujan's Notebooks (part 2)"(PDF). Archived(PDF) from the original on 14 January 2012. Retrieved 10 April 2009.
  125. Arndt & Haenel 2006, p. 39.
  126. Ramaley, J. F. (October 1969). "Buffon's Needle Problem". The American Mathematical Monthly. 76 (8): 916–918. doi:10.2307/2317945. JSTOR 2317945.
  127. Arndt & Haenel 2006, pp. 39–40. Posamentier & Lehmann 2004, p. 105.
  128. Grünbaum, B. (1960). "Projection Constants". Transactions of the American Mathematical Society. 95 (3): 451–465. doi:10.1090/s0002-9947-1960-0114110-9.
  129. Arndt & Haenel 2006, p. 43.Posamentier & Lehmann 2004, pp. 105–108.
  130. 12Arndt & Haenel 2006, pp. 77–84.
  131. 12Gibbons, Jeremy (2006). "Unbounded spigot algorithms for the digits of pi"(PDF). The American Mathematical Monthly. 113 (4): 318–328. doi:10.2307/27641917. JSTOR 27641917. MR 2211758.
  132. 12Arndt & Haenel 2006, p. 77.
  133. Rabinowitz, Stanley; Wagon, Stan (March 1995). "A spigot algorithm for the digits of Pi". American Mathematical Monthly. 102 (3): 195–203. doi:10.2307/2975006. JSTOR 2975006.
  134. 12Arndt & Haenel 2006, pp. 117, 126–128.
  135. Bailey, David H.; Borwein, Peter B.; Plouffe, Simon (April 1997). "On the Rapid Computation of Various Polylogarithmic Constants"(PDF). Mathematics of Computation. 66 (218): 903–913. Bibcode:1997MaCom..66..903B. CiteSeerX 10.1.1.55.3762. doi:10.1090/S0025-5718-97-00856-9. S2CID 6109631. Archived(PDF) from the original on 22 July 2012.
  136. Arndt & Haenel 2006, p. 20. Bellards formula in: Bellard, Fabrice. "A new formula to compute the nth binary digit of pi". Archived from the original on 12 September 2007. Retrieved 27 October 2007.
  137. Palmer, Jason (16 September 2010). "Pi record smashed as team finds two-quadrillionth digit". BBC News. Archived from the original on 17 March 2011. Retrieved 26 March 2011.
  138. Plouffe, Simon (2022). "A formula for the nth decimal digit or binary of π and powers of π". arXiv:2201.12601 [math.NT].
  139. Weisstein, Eric W."Circle". MathWorld.
  140. Bronshteĭn & Semendiaev 1971, pp. 200, 209.
  141. Weisstein, Eric W."Circumference". MathWorld.
  142. Weisstein, Eric W."Ellipse". MathWorld.
  143. Martini, Horst; Montejano, Luis; Oliveros, Déborah (2019). Bodies of Constant Width: An Introduction to Convex Geometry with Applications. Birkhäuser. doi:10.1007/978-3-030-03868-7. ISBN 978-3-030-03866-3. MR 3930585. S2CID 127264210.
    See Barbier's theorem, Corollary 5.1.1, p. 98; Reuleaux triangles, pp. 3, 10; smooth curves such as an analytic curve due to Rabinowitz, § 5.3.3, pp. 111–112.
  144. Herman, Edwin; Strang, Gilbert (2016). "Section 5.5, Exercise 316". Calculus. Vol. 1. OpenStax. p. 594.
  145. Kontsevich, Maxim; Zagier, Don (2001). "Periods". In Engquist, Björn; Schmid, Wilfried (eds.). Mathematics Unlimited — 2001 and Beyond. Berlin, Heidelberg: Springer. pp. 771–808. doi:10.1007/978-3-642-56478-9_39. ISBN 978-3-642-56478-9.
  146. Abramson 2014, Section 5.1: Angles.
  147. Bronshteĭn & Semendiaev 1971, pp. 210–211.
  148. Hilbert, David; Courant, Richard (1966). Methods of mathematical physics. Vol. 1. Wiley. pp. 286–290.
  149. Dym & McKean 1972, p. 47.
  150. Thompson, William (1894). "Isoperimetrical problems". Nature Series: Popular Lectures and Addresses. II: 571–592.
  151. Chavel, Isaac (2001). Isoperimetric inequalities. Cambridge University Press.
  152. Talenti, Giorgio (1976). "Best constant in Sobolev inequality". Annali di Matematica Pura ed Applicata. 110 (1): 353–372. CiteSeerX 10.1.1.615.4193. doi:10.1007/BF02418013. ISSN 1618-1891. S2CID 16923822.
  153. L. Esposito; C. Nitsch; C. Trombetti (2011). "Best constants in Poincaré inequalities for convex domains". arXiv:1110.2960 [math.AP].
  154. Del Pino, M.; Dolbeault, J. (2002). "Best constants for Gagliardo–Nirenberg inequalities and applications to nonlinear diffusions". Journal de Mathématiques Pures et Appliquées. 81 (9): 847–875. CiteSeerX 10.1.1.57.7077. doi:10.1016/s0021-7824(02)01266-7. S2CID 8409465.
  155. Payne, L. E.; Weinberger, H. F. (1960). "An optimal Poincaré inequality for convex domains". Archive for Rational Mechanics and Analysis. 5 (1): 286–292. Bibcode:1960ArRMA...5..286P. doi:10.1007/BF00252910. ISSN 0003-9527. S2CID 121881343.
  156. Folland, Gerald (1989). Harmonic analysis in phase space. Princeton University Press. p. 5.
  157. 12Howe, Roger (1980). "On the role of the Heisenberg group in harmonic analysis". Bulletin of the American Mathematical Society. 3 (2): 821–844. doi:10.1090/S0273-0979-1980-14825-9. MR 0578375.
  158. Feller, W. An Introduction to Probability Theory and Its Applications, Vol. 1, Wiley, 1968, pp. 174–190.
  159. 12Bronshteĭn & Semendiaev 1971, pp. 106–107, 744, 748.
  160. Dym & McKean 1972, Section 2.7.
  161. Stein, Elias; Weiss, Guido (1971). Fourier analysis on Euclidean spaces. Princeton University Press. p. 6.; Theorem 1.13.
  162. Spivak, Michael (1999). A Comprehensive Introduction to Differential Geometry. Vol. 3. Publish or Perish Press.; Chapter 6.
  163. Kobayashi, Shoshichi; Nomizu, Katsumi (1996). Foundations of Differential Geometry. Vol. 2 (New ed.). Wiley Interscience. p. 293.; Chapter XII Characteristic classes
  164. Ahlfors, Lars (1966). Complex analysis. McGraw-Hill. p. 115.
  165. Joglekar, S. D. (2005). Mathematical Physics. Universities Press. p. 166. ISBN 978-81-7371-422-1.
  166. Schey, H. M. (1996). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus. W. W. Norton. ISBN 0-393-96997-5.
  167. Yeo, Adrian (2006). The pleasures of pi, e and other interesting numbers. World Scientific Pub. p. 21. ISBN 978-981-270-078-0.
  168. Ehlers, Jürgen (2000). Einstein's Field Equations and Their Physical Implications. Springer. p. 7. ISBN 978-3-540-67073-5.
  169. 12Gilbarg, D.; Trudinger, Neil (1983). Elliptic Partial Differential Equations of Second Order. New York: Springer. ISBN 3-540-41160-7.
  170. Bronshteĭn & Semendiaev 1971, pp. 191–192.
  171. Artin, Emil (1964). The Gamma Function. Athena series; selected topics in mathematics (1st ed.). Holt, Rinehart and Winston.
  172. Evans, Lawrence (1997). Partial Differential Equations. AMS. p. 615.
  173. Bronshteĭn & Semendiaev 1971, p. 190.
  174. Benjamin Nill; Andreas Paffenholz (2014). "On the equality case in Erhart's volume conjecture". Advances in Geometry. 14 (4): 579–586. arXiv:1205.1270. doi:10.1515/advgeom-2014-0001. ISSN 1615-7168. S2CID 119125713.
  175. Arndt & Haenel 2006, pp. 41–43.
    This theorem was proved by Ernesto Cesàro in 1881. For a more rigorous proof than the intuitive and informal one given here, see Hardy, G. H. (2008). An Introduction to the Theory of Numbers. Oxford University Press. Theorem 332. ISBN 978-0-19-921986-5.
  176. Ogilvy, C. S.; Anderson, J. T. (1988). Excursions in Number Theory. Dover. pp. 29–35. ISBN 0-486-25778-9.
  177. Arndt & Haenel 2006, p. 43.
  178. Platonov, Vladimir; Rapinchuk, Andrei (1994). Algebraic Groups and Number Theory. Academic Press. pp. 262–265.
  179. Sondow, J. (1994). "Analytic continuation of Riemann's zeta function and values at negative integers via Euler's transformation of series". Proceedings of the American Mathematical Society. 120 (2): 421–424. CiteSeerX 10.1.1.352.5774. doi:10.1090/s0002-9939-1994-1172954-7. S2CID 122276856.
  180. Friedmann, T.; Hagen, C. R. (2015). "Quantum mechanical derivation of the Wallis formula for pi". Journal of Mathematical Physics. 56 (11): 112101. arXiv:1510.07813. Bibcode:2015JMP....56k2101F. doi:10.1063/1.4930800. S2CID 119315853.
  181. Tate, John T. (1967). "Fourier analysis in number fields, and Hecke's zeta-functions". In Cassels, J. W. S.; Fröhlich, A. (eds.). Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965). Thompson, Washington, DC. pp. 305–347. ISBN 978-0-9502734-2-6. MR 0217026.
  182. Bourbaki, Nicolas (1981). Topologie generale. Springer. §VIII.2.
  183. 12Bourbaki, Nicolas (1979). Fonctions d'une variable réelle (in French). Springer. §II.3.
  184. Dym & McKean 1972, Chapter 4.
  185. 12Mumford, David (1983). Tata Lectures on Theta I. Boston: Birkhauser. pp. 1–117. ISBN 978-3-7643-3109-2.
  186. Port, Sidney; Stone, Charles (1978). Brownian motion and classical potential theory. Academic Press. p. 29.
  187. Titchmarsh, E. (1986) [1948]. Introduction to the Theory of Fourier Integrals (2nd ed.). Oxford University: Clarendon Press. ISBN 978-0-8284-0324-5.
  188. Stein, Elias (1970). Singular Integrals and Differentiability Properties of Functions. Princeton University Press.; Chapter II.
  189. Klebanoff, Aaron (2001). "Pi in the Mandelbrot set"(PDF). Fractals. 9 (4): 393–402. doi:10.1142/S0218348X01000828. Archived from the original(PDF) on 27 October 2011. Retrieved 14 April 2012.
    Peitgen, Heinz-Otto (2004). Chaos and fractals: new frontiers of science. Springer. pp. 801–803. ISBN 978-0-387-20229-7.
  190. Halliday, David; Resnick, Robert; Walker, Jearl (1997). Fundamentals of Physics (5th ed.). John Wiley & Sons. p. 381. ISBN 0-471-14854-7.
  191. Urone, Paul Peter; Hinrichs, Roger (2022). "29.7 Probability: The Heisenberg Uncertainty Principle". College Physics 2e. OpenStax.
  192. Itzykson, C.; Zuber, J.-B. (1980). Quantum Field Theory (2005 ed.). Mineola, NY: Dover Publications. ISBN 978-0-486-44568-7. LCCN 2005053026. OCLC 61200849.
  193. Low, Peter (1971). Classical Theory of Structures Based on the Differential Equation. Cambridge University Press. pp. 116–118. ISBN 978-0-521-08089-7.
  194. Batchelor, G. K. (1967). An Introduction to Fluid Dynamics. Cambridge University Press. p. 233. ISBN 0-521-66396-2.
  195. 123Arndt & Haenel 2006, pp. 44–45.
  196. "Most Pi Places Memorized"Archived 14 February 2016 at the Wayback Machine, Guinness World Records.
  197. Otake, Tomoko (17 December 2006). "How can anyone remember 100,000 numbers?". The Japan Times. Archived from the original on 18 August 2013. Retrieved 27 October 2007.
  198. Danesi, Marcel (January 2021). "Chapter 4: Pi in Popular Culture". Pi (π) in Nature, Art, and Culture. Brill. p. 97. doi:10.1163/9789004433397. ISBN 9789004433373. S2CID 224869535.
  199. Raz, A.; Packard, M. G. (2009). "A slice of pi: An exploratory neuroimaging study of digit encoding and retrieval in a superior memorist". Neurocase. 15 (5): 361–372. doi:10.1080/13554790902776896. PMC 4323087. PMID 19585350.
  200. Keith, Mike. "Cadaeic Cadenza Notes & Commentary". Archived from the original on 18 January 2009. Retrieved 29 July 2009.
  201. Keith, Michael; Diana Keith (17 February 2010). Not A Wake: A dream embodying (pi)'s digits fully for 10,000 decimals. Vinculum Press. ISBN 978-0-9630097-1-5.
  202. Ledford, H. (15 March 2007). "Pi Day celebrated". Nature. doi:10.1038/news070312-6. This year's Pi Day included: pi poetry readings, pi-kus (haikus about pi) and pi limericks; a pizza-dough tossing lesson; a demonstration of Pi Day in the virtual-reality game, Second Life; and, an unofficial prerequisite for Pi Days nearly everywhere, free pizza (as in 'pizza pie') and pie.
  203. Karlamangla, Soumya (13 March 2024). "Love Pi Day? You Can Thank San Francisco for That". The New York Times.
  204. Goss, Jamal (13 March 2026). "Pi Day means big business for Pie Bar in Kennesaw". CBS News. Retrieved 14 March 2026. ...the math-themed holiday has also become a sweet tradition at bakeries across the country.
  205. For instance, Pickover calls π "the most famous mathematical constant of all time", and Peterson writes, "Of all known mathematical constants, however, pi continues to attract the most attention", citing the Givenchy π perfume, Pi (film), and Pi Day as examples. See: Pickover, Clifford A. (1995). Keys to Infinity. Wiley & Sons. p. 59. ISBN 978-0-471-11857-2.Peterson, Ivars (2002). Mathematical Treks: From Surreal Numbers to Magic Circles. MAA spectrum. Mathematical Association of America. p. 17. ISBN 978-0-88385-537-9. Archived from the original on 29 November 2016.
  206. Posamentier & Lehmann 2004, p. 118. Arndt & Haenel 2006, p. 50.
  207. Arndt & Haenel 2006, p. 14.
    Polster, Burkard; Ross, Marty (2012). Math Goes to the Movies. Johns Hopkins University Press. pp. 56–57. ISBN 978-1-4214-0484-4.
  208. Rubillo, James M. (January 1989). "Disintegrate 'em". The Mathematics Teacher. 82 (1): 10. JSTOR 27966082.
    Petroski, Henry (2011). Title An Engineer's Alphabet: Gleanings from the Softer Side of a Profession. Cambridge University Press. p. 47. ISBN 978-1-139-50530-7.
  209. "Happy Pi Day! Watch these stunning videos of kids reciting 3.14". USAToday.com. 14 March 2015. Archived from the original on 15 March 2015. Retrieved 14 March 2015.
    Rosenthal, Jeffrey S. (February 2015). "Pi Instant". Math Horizons. 22 (3): 22. doi:10.4169/mathhorizons.22.3.22. S2CID 218542599.
  210. Griffin, Andrew. "Pi Day: Why some mathematicians refuse to celebrate 14 March and won't observe the dessert-filled day". The Independent. Archived from the original on 24 April 2019. Retrieved 2 February 2019.
  211. Freiberger, Marianne; Thomas, Rachel (2015). "Tau – the new π". Numericon: A Journey through the Hidden Lives of Numbers. Quercus. p. 159. ISBN 978-1-62365-411-5.
    Abbott, Stephen (April 2012). "My Conversion to Tauism"(PDF). Math Horizons. 19 (4): 34. doi:10.4169/mathhorizons.19.4.34. S2CID 126179022. Archived(PDF) from the original on 28 September 2013.
  212. Palais, Robert (2001). "π Is Wrong!"(PDF). The Mathematical Intelligencer. 23 (3): 7–8. doi:10.1007/BF03026846. S2CID 120965049. Archived(PDF) from the original on 22 June 2012.
  213. "Life of pi in no danger – Experts cold-shoulder campaign to replace with tau". Telegraph India. 30 June 2011. Archived from the original on 13 July 2013.
  214. Conover, Emily (14 March 2018). "Forget Pi Day. We should be celebrating Tau Day". Science News. Retrieved 2 May 2023.
  215. Arndt & Haenel 2006, pp. 211–212. Posamentier & Lehmann 2004, pp. 36–37. Hallerberg, Arthur (May 1977). "Indiana's squared circle". Mathematics Magazine. 50 (3): 136–140. doi:10.2307/2689499. JSTOR 2689499.

Sources

  • Abramson, Jay (2014). Precalculus. OpenStax.
  • Andrews, George E.; Askey, Richard; Roy, Ranjan (1999). Special Functions. Cambridge: University Press. ISBN 978-0-521-78988-2.
  • Arndt, Jörg; Haenel, Christoph (2006). Pi Unleashed. Springer-Verlag. ISBN 978-3-540-66572-4. Retrieved 5 June 2013. English translation by Catriona and David Lischka.
  • Berggren, Lennart; Borwein, Jonathan; Borwein, Peter (1997). Pi: a Source Book. Springer-Verlag. ISBN 978-0-387-20571-7.
  • Boyer, Carl B.; Merzbach, Uta C. (1991). A History of Mathematics (2 ed.). Wiley. ISBN 978-0-471-54397-8.
  • Bronshteĭn, Ilia; Semendiaev, K. A. (1971). A Guide Book to Mathematics. Verlag Harri Deutsch. ISBN 978-3-87144-095-3.
  • Dym, H.; McKean, H. P. (1972). Fourier series and integrals. Academic Press.
  • Eymard, Pierre; Lafon, Jean Pierre (2004). The Number π. Translated by Wilson, Stephen. American Mathematical Society. ISBN 978-0-8218-3246-2. English translation of Autour du nombre π (in French). Hermann. 1999.
  • Posamentier, Alfred S.; Lehmann, Ingmar (2004). π: A Biography of the World's Most Mysterious Number. Prometheus Books. ISBN 978-1-59102-200-8.
  • Remmert, Reinhold (2012). "Ch. 5 What is π?". In Heinz-Dieter Ebbinghaus; Hans Hermes; Friedrich Hirzebruch; Max Koecher; Klaus Mainzer; Jürgen Neukirch; Alexander Prestel; Reinhold Remmert (eds.). Numbers. Springer. ISBN 978-1-4612-1005-4.

Further reading

  • Weisstein, Eric W."Pi". MathWorld.
  • Demonstration by Lambert (1761) of irrationality of π, online. Archived 31 December 2014 at the Wayback Machine and analysed at BibNum. Archived 2 April 2015 at the Wayback Machine (PDF).
  • π Search Engine 2 billion searchable digits of π, e and 2
  • approximation von π by lattice points and approximation of π with rectangles and trapezoids (interactive illustrations)