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...

Page semi-protected

A unit circle is rolled across a surface; after a full revolution, the center of the circle has moved π units forwards.Single frame of a rolling unit circle
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

A diagram of a circle, with the width labelled as diameter, and the perimeter labelled as circumference
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

A diagram of a square and circle, both with identical area; the length of the side of the square is the square root of 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:

  • 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 }

A formal portrait of a man, with long hair
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 estuvieron disponibles, 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.

The factorial function n!{\displaystyle n!} is the product of all of the positive integers through n. The gamma function extends the concept of factorial (normally defined only for non-negative integers) to all complex numbers, except the negative real integers, with the identity Γ(n)=(n1)!{\displaystyle \Gamma (n)=(n-1)!}. When the gamma function is evaluated at half-integers, the result is naturally expressed in terms of π. For example, Γ(12)=π{\displaystyle \Gamma {\bigl (}{\tfrac {1}{2}}{\bigr )}={\sqrt {\pi }}} and Γ(52)=34π{\textstyle \Gamma {\bigl (}{\tfrac {5}{2}}{\bigr )}={\tfrac {3}{4}}{\sqrt {\pi }}}.[170]

The gamma function is defined by its Weierstrass product development:[171]

Γ(z)=eγzzn=1ez/n1+z/n,{\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }{\frac {e^{z/n}}{1+z/n}},}

where γ is the Euler–Mascheroni constant. Evaluated at z=12{\displaystyle z={\tfrac {1}{2}}} and squared, the equation γ(12))2=π{\displaystyle \textstyle \gamma {\bigl (}{\tfrac {1}{2}}{\bigr )}{\vphantom {)}}^{2}=\pi } reduces to the Wallis product formula. The gamma function is also connected to the Riemann zeta function and identities for the functional determinant, in which the constant πplays an important role.

The gamma function is used to calculate the volume Vn(r) of the n-dimensional ball of radius r in Euclidean n-dimensional space, and the surface area Sn−1(r) of its boundary, the (n−1)-dimensional sphere:[172]

Vn(r)=πn/2Γ(n2+1)rn,{\displaystyle V_{n}(r)={\frac {\pi ^{n/2}}{\Gamma {\bigl (}{\frac {n}{2}}+1{\bigr )}}}r^{n},}

Sn1(r)=nπn/2Γ(n2+1)rn1.{\displaystyle S_{n-1}(r)={\frac {n\pi ^{n/2}}{\Gamma {\bigl (}{\tfrac {n}{2}}+1{\bigr )}}}r^{n-1}.}

Further, it follows from the functional equation that

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

The gamma function can be used to create a simple approximation to the factorial function n! for large n: n!2πn(ne)n{\textstyle n!\sim {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}}, which is known as Stirling's approximation.[173] Equivalently,

π=limne2nn!22n2n+1.{\displaystyle \pi =\lim _{n\to \infty }{\frac {e^{2n}n!^{2}}{2n^{2n+1}}}.}

As a geometrical application of Stirling's approximation, let Δn denote the standard simplex in n-dimensional Euclidean space, and (n + 1)Δn denote the simplex having all of its sides scaled up by a factor of n + 1. Then

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

Ehrhart's volume conjecture predicts that this is the (optimal) upper bound on the volume of a convex body containing only one integer lattice point.[174]

Number theory and Riemann zeta function

Each prime has an associated Prüfer group, which are arithmetic localizations of the circle. The L-functions of analytic number theory are also localized in each prime p.
Solution of the Basel problem using the Weil conjecture: the value of ζ(2) is the hyperbolic area of a fundamental domain of the modular group, times π/2.

The Riemann zeta functionζ(s) is used in many areas of mathematics. When evaluated at s = 2 it can be written as

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

Finding a simple solution for this infinite series was a famous problem in mathematics called the Basel problem. Leonhard Euler solved it in 1735 when he showed it was equal to π2/6.[83] Euler's result leads to the number-theoretic result that the probability of two random numbers being relatively prime (that is, having no shared factors) is equal to 6/π2.[175] This probability is based on the observation that the probability that any number is divisible by a prime p is 1/p (for example, every 7th integer is divisible by 7). Hence the probability that two numbers are both divisible by this prime is 1/p2, and the probability that at least one of them is not is 1 − 1/p2. For distinct primes, these divisibility events are mutually independent; so the probability that two numbers are relatively prime is given by a product over all primes:[176]

p(11p2)=(p11p2)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}}}

This probability can be used in conjunction with a random number generator to approximate π using a Monte Carlo approach.[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}}. Among these, there is a unique character, up to complex conjugation, that is a group isomorphism from T onto the multiplicative group of complex numbers of absolute value one.[182] A definition of the constant, due to Nicolas Bourbaki, takes π to be half the magnitude of the derivative of this isomorphism.[183]

Equivalently, using the Haar measure on the circle group, the other characters have derivatives whose magnitudes are positive integral multiples of 2π. Thus π is the unique positive number such that the group T, equipped with its Haar measure, is Pontrjagin dual to the lattice of integral multiples of 2π.[183][184] This is a version of the one-dimensional Poisson summation formula.

In Fourier analysis, the appearance of π rather than 2π often signals the passage from ordinary characters to projective representations. The basic exponential eπix{\displaystyle e^{\pi ix}} is not a character of the group T, since it changes sign after one turn of the circle; instead, it defines a representation of the double cover of T. This is the simplest example of a projective representation, and the same phenomenon recurs more broadly in harmonic analysis. Spinors, for example, represent rotations only after passing to a double cover, and metaplectic representations similarly arise from a double cover of SL(2,R). The same ideas also connect Fourier analysis with arithmetic, since theta functions and modular forms of half-integral weight are naturally governed by these metaplectic and Heisenberg-theoretic constructions.

Modular forms and theta functions

Theta functions transform under the lattice of periods of an elliptic curve.

The constant π is connected in a deep way with the theory of modular forms and theta functions. For example, the Chudnovsky algorithm involves in an essential way the j-invariant of an elliptic curve.

Modular forms are holomorphic functions in the upper half plane characterized by their transformation properties under the modular groupSL2(Z){\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )} (or its various subgroups), a lattice in the group SL2(R){\displaystyle \mathrm {SL} _{2}(\mathbb {R} )}. An example is the Jacobi theta function

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

which is a kind of modular form called a Jacobi form.[185] This is sometimes written in terms of the nomeq=eπiτ{\displaystyle q=e^{\pi i\tau }}.

The constant π is the unique constant making the Jacobi theta function an automorphic form, meaning that it transforms in a specific way. Certain identities hold for all automorphic forms. An example is

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

which implies that θ transforms as a representation under the discrete Heisenberg group. General modular forms and other theta functions also involve π, once again because of the Stone–von Neumann theorem.[185]

Cauchy distribution and potential theory

The Witch of Agnesi, named for Maria Agnesi (1718–1799), is a geometrical construction of the graph of the Cauchy distribution.
The Cauchy distribution governs the passage of Brownian particles through a membrane.

The Cauchy distribution

g(x)=1π1x2+1{\displaystyle g(x)={\frac {1}{\pi }}\cdot {\frac {1}{x^{2}+1}}}

is a probability density function. The total probability is equal to one, owing to the integral:

1x2+1dx=π.{\displaystyle \int _{-\infty }^{\infty }{\frac {1}{x^{2}+1}}\,dx=\pi .}

The Shannon entropy of the Cauchy distribution is equal to ln(4π), which also involves π.

The Cauchy distribution plays an important role in potential theory because it is the simplest Furstenberg measure, the classical Poisson kernel associated with a Brownian motion in a half-plane.[186]Conjugate harmonic functions and hence the Hilbert transform are associated with the asymptotics of the Poisson kernel. The Hilbert transform H is the integral transform given by the Cauchy principal value of the singular integral

Hf(t)=1πf(x)dxxt.{\displaystyle Hf(t)={\frac {1}{\pi }}\int _{-\infty }^{\infty }{\frac {f(x)\,dx}{x-t}}.}

The constant π is the unique (positive) normalizing factor such that H defines a linear complex structure on the Hilbert space of square-integrable real-valued functions on the real line.[187] The Hilbert transform, like the Fourier transform, can be characterized purely in terms of its transformation properties on the Hilbert space L2(R): up to a normalization factor, it is the unique bounded linear operator that commutes with positive dilations and anti-commutes with all reflections of the real line.[188] The constant π is the unique normalizing factor that makes this transformation unitary.

In the Mandelbrot set

Una figura negra compleja sobre un fondo azul.
The Mandelbrot set can be used to approximate π.

An occurrence of π in the fractal called the Mandelbrot set was discovered by David Boll in 1991. He examined the behaviour of the Mandelbrot set near the "neck" at (−0.75, 0). When the number of iterations until divergence for the point (−0.75, ε) is multiplied by ε, the result approaches π as ε approaches zero. The point (0.25 + ε, 0) at the cusp of the large "valley" on the right side of the Mandelbrot set behaves similarly: the number of iterations until divergence multiplied by the square root of ε tends to π.[189]

Outside mathematics

Describing physical phenomena

Although not a physical constant, π appears routinely in equations describing physical phenomena, often because of π's relationship to the circle and to spherical coordinate systems. A simple formula from the field of classical mechanics gives the approximate period T of a simple pendulum of length L, swinging with a small amplitude (g is the earth's gravitational acceleration):[190]

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

One of the key formulae of quantum mechanics is Heisenberg's uncertainty principle, which shows that the uncertainty in the measurement of a particle's position (Δx) and momentum (Δp) cannot both be arbitrarily small at the same time (where h is the Planck constant):[191]

ΔxΔph4π.{\displaystyle \Delta x\,\Delta p\geq {\frac {h}{4\pi }}.}

The fact that π is approximately equal to 3 plays a role in the relatively long lifetime of orthopositronium. The inverse lifetime to lowest order in the fine-structure constantα is[192]

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

where me is the mass of the electron.

π is present in some structural engineering formulae, such as the buckling formula derived by Euler, which gives the maximum axial load F that a long, slender column of length L, modulus of elasticityE, and area moment of inertiaI can carry without buckling:[193]

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

The field of fluid dynamics contains π in Stokes' law, which approximates the frictional forceF exerted on small, spherical objects of radius R, moving with velocity v in a fluid with dynamic viscosityη:[194]

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

In electromagnetics, the vacuum permeability constant μ0 appears in Maxwell's equations, which describe the properties of electric and magnetic fields and electromagnetic radiation. Before 20 May 2019, it was defined as exactly

μ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}.}

Memorizing digits

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 ]

In the Palais de la Découverte (a science museum in Paris) there is a circular room known as the pi room. On its wall are inscribed 707 digits of π. The digits are large wooden characters attached to the dome-like ceiling. The digits were based on an 1873 calculation by English mathematician William Shanks, which included an error beginning at the 528th digit. The error was detected in 1946 and corrected in 1949.[206]

In Carl Sagan's 1985 novel Contact, it is suggested that the creator of the universe buried a message deep within the digits of π. This part of the story was omitted from the film adaptation of the novel.[207] In the 1967 Star Trek episode "Wolf in the Fold", a computer possessed by a demonic entity is contained by being instructed to "Compute to the last digit the value of π".[39]

In the United States, Pi Day falls on 14 March (written 3/14 in the US date format), and is popular among students.[39]π and its digital representation are often used by self-described "math geeks" for inside jokes among mathematically and technologically minded groups. A college cheer variously attributed to the Massachusetts Institute of Technology or the Rensselaer Polytechnic Institute includes "3.14159".[208] Pi Day in 2015 was particularly significant because the date and time 3/14/15 9:26:53 reflected many more digits of pi.[209] In parts of the world where dates are commonly noted in day/month/year format, 22 July represents "Pi Approximation Day", as 22/7  3.142857.[210]

Some have proposed replacing π by τ = 2π, arguing that τ, as the number of radians in one turn or the ratio of a circle's circumference to its radius, is more natural than π and simplifies many formulae.[211][212] This use of τ has not made its way into mainstream mathematics,[213] but since 2010 this has led to people celebrating Two Pi Day or Tau Day on June 28.[214]

In 1897, an amateur mathematician attempted to persuade the Indiana legislature to pass the Indiana Pi Bill, which described a method to square the circle and contained text that implied various incorrect values for π, including 3.2. The bill is notorious as an attempt to establish a value of mathematical constant by legislative fiat. While the bill was passed by the Indiana House of Representatives, it was rejected by the Indiana Senate, and thus did not become a law.[215]

See also

References

Explanatory notes

  1. The specific integral that Weierstrass used was[6]π=dx1+x2.{\displaystyle \pi =\int _{-\infty }^{\infty }{\frac {dx}{1+x^{2}}}.}
  2. The polynomial shown is the first few terms of the Taylor series expansion of the sine function.
  3. The middle of these is due to the mid-17th century mathematician William Brouncker, see § Brouncker's formula.
  4. Hardy and Wright state that "the proofs were afterwards modified and simplified by Hilbert, Hurwitz, and other writers". C.f. Hardy and Wright 1938 and 2000:177 footnote § 11.13–14. The proofs that e and π are transcendental can be found on pp. 170–176. They cite two sources of the proofs at Landau 1927 or Perron 1910; see the "List of Books" at pp. 417–419 for full citations.

Citations

  1. 12Oughtred, William (1652). Theorematum in libris Archimedis de sphaera et cylindro declarario (in Latin). Excudebat L. Lichfield, Veneunt apud T. Robinson. δ.π :: semidiameter. semiperipheria
  2. "pi". Dictionary.reference.com. 2 March 1993. Archived from the original on 28 July 2014. Retrieved 18 June 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, Edmund (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 & Lehmann 2004, p. 25.
  19. Eymard & Lafon 2004, p. 129.
  20. Beckmann, Petr (1989) [1974]. History of Pi. St. Martin's Press. p. 37. ISBN 978-0-88029-418-8.
    Schlager, Neil; Lauer, Josh (2001). Science and Its Times: Understanding the Social Significance of Scientific Discovery. Gale Group. ISBN 978-0-7876-3933-4. Archived from the original on 13 December 2019. Retrieved 19 December 2019., p. 185.
  21. Murty, M. Ram; Rath, Purusottam (2014). Transcendental Numbers. Springer. doi:10.1007/978-1-4939-0832-5. ISBN 978-1-4939-0831-8.
    Waldschmidt, Michel (2021). "Schanuel's Conjecture: algebraic independence of transcendental numbers"(PDF).
  22. Weisstein, Eric W."Lindemann-Weierstrass Theorem". MathWorld.
  23. 12Eymard & Lafon 2004, p. 78.
  24. Arndt & Haenel 2006, p. 33.
  25. 12Mollin, R. A. (1999). "Continued fraction gems". Nieuw Archief voor Wiskunde. 17 (3): 383–405. MR 1743850.
  26. Lange, L. J. (May 1999). "An Elegant Continued Fraction for π". The American Mathematical Monthly. 106 (5): 456–458. doi:10.2307/2589152. JSTOR 2589152.
  27. Arndt & Haenel 2006, p. 240.
  28. Arndt & Haenel 2006, p. 242.
  29. Kennedy, E. S. (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.Ptolomeo utilizó una aproximación de tres dígitos sexagesimales, y Jamshīd al-Kāshī la amplió a nueve dígitos; véase Aaboe, Asger (1998) [1964]. Episodes from the Early History of Mathematics . New Mathematical Library. Vol. 13. Nueva York: Random House. p. 125. ISBN   978-0-88385-613-0.
  30. Abramson 2014 , Sección 8.5: Forma polar de los números complejos .
  31. ^ Bronshteĭn y Semendiaev 1971 , p. 592.
  32. Maor, Eli (2009). E: La historia de un número . Princeton University Press. pág. 160. ISBN  978-0-691-14134-3.
  33. Andrews, Askey y Roy 1999 , pág. 14.
  34. ^ Arndt y Haenel 2006 , pág. 167.
  35. Herz-Fischler, Roger (2000). La forma de la Gran Pirámide . Wilfrid Laurier University Press. págs. 67–77 , 165–166 . ISBN  978-0-88920-324-2Consultado el 5 de junio de 2013 .
  36. Plofker, Kim (2009). Matemáticas en la India . Princeton University Press. pág . 27. ISBN  978-0-691-12067-6.
  37. Arndt y Haenel 2006 , pág. 170.
  38. Arndt y Haenel 2006 , págs. 175, 205.
  39. 1 2 3 Borwein, Jonathan M. (2014). «La vida de π : de Arquímedes a ENIAC y más allá». En Sidoli, Nathan; Van Brummelen, Glen (eds.). De Alejandría a través de Bagdad: Estudios y análisis de las ciencias matemáticas griegas antiguas e islámicas medievales en honor a JL Berggren . Heidelberg: Springer. pp. 531–561 . doi : 10.1007/978-3-642-36736-6_24 . ISBN  978-3-642-36735-9MR 3203895 .​ 
  40. Arndt y Haenel 2006 , pág. 171.
  41. Arndt y Haenel 2006 , pág. 176.
  42. Boyer y Merzbach 1991 , pág. 168.
  43. Arndt y Haenel 2006 , págs. 176–177.
  44. 1 2 Boyer y Merzbach 1991 , pág. 202.
  45. Arndt y Haenel 2006 , pág. 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. 1 2 3 4 Roy, Ranjan (1990). "El descubrimiento de la fórmula de la serie para π por Leibniz, Gregory y Nilakantha" (PDF) . Mathematics Magazine . 63 (5): 291– 306. doi : 10.1080/0025570X.1990.11977541 . Archivado del original (PDF) el 14 de marzo de 2023. Recuperado el 21 de febrero de 2023 .
  57. Arndt y Haenel 2006 , págs. 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 y Roy 1999 , pág. 59.
  60. Gupta, RC (1992). "Sobre el término restante en la serie de Madhava-Leibniz". Ganita Bharati . 14 ( 1–4 ): 68–71 .
  61. Arndt y Haenel 2006 , pág. 187 . 
    Vieta, Francisco (1593). Variorum de rebus mathematicis responsorum . vol.  VIII.
    OEIS : A060294 
  62. Arndt y Haenel 2006 , pág. 187.
  63. ^ Arndt y Haenel 2006 , pág. 188 . Newton citado por Arndt. 
  64. Horvath, Miklos (1983). "Sobre la cuadratura leibniziana del círculo" (PDF) . Annales Universitatis Scientiarum Budapestiensis (Sectio Computatorica) . 4 : 75–83 . Archivado del original (PDF) el 7 de marzo de 2023. Recuperado el 21 de febrero de 2023 .
  65. ^ Eymard y Lafon 2004 , págs. 53–54.
  66. Cooker, MJ (2011). "Fórmulas rápidas para series alternas de convergencia lenta" (PDF) . Mathematical Gazette . 95 (533): 218– 226. doi : 10.1017/S0025557200002928 . S2CID 123392772. Archivado del original (PDF) el 4 de mayo de 2019. Recuperado el 23 de febrero de 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). Métodos de física matemática . Vol. 1. Wiley. pp. 286–290 .  
  149. ^ Dym y McKean 1972 , pág. 47.
  150. Thompson, William (1894). "Problemas isoperimétricos". Nature Series: Popular Lectures and Addresses . II : 571– 592.
  151. Chavel, Isaac (2001). Desigualdades isoperimétricas . Cambridge University Press.
  152. ^ Talenti, Giorgio (1976). "Mejor constante en la desigualdad de Sobolev". 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). "Mejores constantes en desigualdades de Poincaré para dominios convexos". arXiv : 1110.2960 [ math.AP ].
  154. Del Pino, M.; Dolbeault, J. (2002). "Mejores constantes para las desigualdades de Gagliardo-Nirenberg y aplicaciones a difusiones no lineales". Revista 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, LE; Weinberger, HF (1960). "Una desigualdad de Poincaré óptima para dominios convexos". 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). Análisis armónico en el espacio de fases . Princeton University Press. pág. 5. 
  157. 1 2 Howe, Roger (1980). "Sobre el papel del grupo de Heisenberg en el análisis armónico" . Boletín de la Sociedad Matemática Americana . 3 (2): 821– 844. doi : 10.1090/S0273-0979-1980-14825-9 . MR 0578375 . 
  158. Feller, W. Una introducción a la teoría de la probabilidad y sus aplicaciones, vol. 1 , Wiley, 1968, págs. 174–190.
  159. ^ Bronshteĭn y Semendiaev 1971 , págs. 106-107, 744, 748 . 
  160. ^ Dym y McKean 1972 , Sección 2.7.
  161. Stein, Elias ; Weiss, Guido (1971). Análisis de Fourier en espacios euclidianos . Princeton University Press. pág. 6. ; Teorema 1.13.
  162. Spivak, Michael (1999). Una introducción completa a la geometría diferencial . Vol. 3. Publish or Perish Press. Capítulo 6.
  163. Kobayashi, Shoshichi ; Nomizu, Katsumi (1996). Fundamentos de geometría diferencial . Vol. 2 (Nueva ed.). Wiley Interscience . pág. 293.   Capítulo XII Clases características
  164. Ahlfors, Lars (1966). Análisis complejo . McGraw-Hill. pág. 115. 
  165. Joglekar, SD (2005). Física matemática . Universities Press. pág. 166. ISBN  978-81-7371-422-1.
  166. Schey, HM (1996). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus . WW Norton. ISBN 0-393-96997-5.
  167. Yeo, Adrian (2006). Los placeres de pi, e y otros números interesantes . World Scientific Pub. pág. 21. ISBN  978-981-270-078-0.
  168. Ehlers, Jürgen (2000). Las ecuaciones de campo de Einstein y sus implicaciones físicas . Springer. pág. 7. ISBN  978-3-540-67073-5.
  169. 1 2 Gilbarg, D. ; Trudinger, Neil (1983). Ecuaciones diferenciales parciales elípticas de segundo orden . Nueva York: Springer. ISBN 3-540-41160-7.
  170. ^ Bronshteĭn y Semendiaev 1971 , págs. 191-192 . 
  171. Artin, Emil (1964). La función gamma . Serie Athena; temas selectos de matemáticas (1.ª ed.). Holt, Rinehart and Winston. 
  172. Evans, Lawrence (1997). Ecuaciones diferenciales parciales . AMS. pág. 615. 
  173. Bronshteĭn y 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). Historia de las matemáticas (2.ª  ed.). Wiley. ISBN 978-0-471-54397-8.
  • Bronshteĭn, Ilia ; Semendiaev, KA (1971). Una guía de matemáticas . Verlag Harri Deutsch . ISBN 978-3-87144-095-3.
  • Dym, H. ; McKean, HP (1972). Series e integrales de Fourier . Academic Press.
  • Eymard, Pierre; Lafon, Jean Pierre (2004). El número π . Traducido por Wilson, Stephen. American Mathematical Society. ISBN 978-0-8218-3246-2.Traducción inglesa de Autour du nombre π (en francés). Hermann. 1999.
  • Posamentier, Alfred S.; Lehmann, Ingmar (2004). π : Biografía del número más misterioso del mundo . Prometheus Books. ISBN 978-1-59102-200-8.
  • Remmert, Reinhold (2012). "Cap. 5 ¿Qué es π?" . En Heinz-Dieter Ebbinghaus; Hans Hermes; Federico Hirzebruch; Max Koecher; Klaus Mainzer; Jürgen Neukirch; Alejandro Prestel; Reinhold Remmert (eds.). Números . Saltador. ISBN 978-1-4612-1005-4.

Lecturas adicionales

  • Weisstein, Eric W. "Pi" . MathWorld .
  • Demostración de Lambert (1761) sobre la irracionalidad de π , disponible en línea . Archivado el 31 de diciembre de 2014 en Wayback Machine y analizado en BibNum . Archivado el 2 de abril de 2015 en Wayback Machine (PDF).
  • Motor de búsqueda de π : 2 mil millones de dígitos de π , e y √2 que se pueden buscar .
  • Aproximación de π mediante puntos de red y aproximación de π con rectángulos y trapecios (ilustraciones interactivas)