Pi

Número, aproximadamente 3,14

El número π ( / p / ; escrito como " pi ") es una constante matemática que es la relación entre la circunferencia de un círculo y su diámetro , aproximadamente igual a 3,14159. El número π aparece en muchas fórmulas en matemáticas y física . Es un número irracional , lo que significa que no se puede expresar exactamente como una relación de dos números enteros, aunque se utilizan comúnmente fracciones como para aproximarlo . En consecuencia, su representación decimal nunca termina ni entra en un patrón que se repite permanentemente . Es un número trascendental , lo que significa que no puede ser una solución de una ecuación que involucra solo sumas, productos, potencias y números enteros finitos. La trascendencia de π implica que es imposible resolver el antiguo desafío de cuadrar el círculo con un compás y una regla . Los dígitos decimales de π parecen estar distribuidos aleatoriamente , [a] pero no se ha encontrado ninguna prueba de esta conjetura . 22 7 {\displaystyle {\tfrac {22}{7}}}

Durante miles de años, los matemáticos han intentado ampliar su comprensión de π , a veces calculando su valor con un alto grado de precisión. Las civilizaciones antiguas, incluidas la egipcia y la babilónica , requerían aproximaciones bastante precisas de π para 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 , fue descubierta un milenio después. [1] [2] 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. [3]

La invención del cálculo pronto condujo al cálculo de cientos de dígitos de π , suficientes para todos los cálculos científicos prácticos. Sin embargo, en los siglos XX y XXI, los matemáticos y los científicos informáticos han buscado nuevos enfoques que, cuando se combinan con un poder computacional creciente, extendieron la representación decimal de π a muchos billones de dígitos. [4] [5] 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 romper récords. [6] [7] Los extensos cálculos involucrados también se han utilizado para probar supercomputadoras , así como para realizar pruebas de estrés en el hardware de las computadoras de consumo.

Debido a que su definición se relaciona con el círculo, π se encuentra en muchas fórmulas en trigonometría y geometría , especialmente aquellas que se refieren a círculos, elipses y esferas. También se encuentra en fórmulas de otros temas de la ciencia, como la cosmología , los fractales , la termodinámica , la mecánica y el electromagnetismo . También aparece en áreas que tienen poco que ver con la geometría, como la teoría de números y la estadística , y en el análisis matemático moderno se puede definir sin ninguna referencia a la geometría. La ubicuidad de π lo convierte en una de las constantes matemáticas más conocidas dentro y fuera de la ciencia. Se han publicado varios libros dedicados a π , y los cálculos récord de los dígitos de π a menudo dan lugar a titulares de noticias.

Fundamentos

Nombre

El símbolo utilizado por los matemáticos para representar la relación entre la circunferencia de un círculo y su diámetro es la letra griega minúscula π , a veces escrita como pi. [8] En inglés, π se pronuncia como "pie" ( / p / PY ). [9] En el uso matemático, la letra minúscula π se distingue de su contraparte mayúscula y agrandada Π , que denota un producto de una secuencia , de manera análoga a cómo Σ denota suma .

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

Definición

Diagrama de un círculo, con el ancho indicado como diámetro y el perímetro indicado como circunferencia.
La longitud de la circunferencia de un círculo es un poco más de tres veces la de su diámetro. La razón exacta se llama π .

π se define comúnmente como la relación entre la circunferencia de un círculo C y su diámetro d : [10] π = C d {\displaystyle \pi ={\frac {C}{d}}}

La razón es constante, independientemente del tamaño del círculo. Por ejemplo, si un círculo tiene el doble del diámetro de otro círculo, también tendrá el doble de la circunferencia, conservando la razón . Esta definición de π hace uso implícito de la geometría plana (euclidiana) ; aunque la noción de círculo se puede extender a cualquier geometría curva (no euclidiana) , estos nuevos círculos ya no satisfarán la fórmula . [10] C d {\textstyle {\frac {C}{d}}} C d {\textstyle {\frac {C}{d}}} π = C d {\textstyle \pi ={\frac {C}{d}}}

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 independientemente de la geometría utilizando límites , un concepto en cálculo . [11] Por ejemplo, uno puede calcular directamente la longitud del arco de la mitad superior del círculo unitario, dada en coordenadas cartesianas por la ecuación , como la integral : [12] x 2 + y 2 = 1 {\textstyle x^{2}+y^{2}=1} π = 1 1 d x 1 x 2 . {\displaystyle \pi =\int _{-1}^{1}{\frac {dx}{\sqrt {1-x^{2}}}}.}

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

La integración ya no se utiliza 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 plan de estudios universitario, por lo que es deseable tener una definición de π que no dependa de este último. Una de esas definiciones, debida a Richard Baltzer [14] y popularizada por Edmund Landau [15], 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. [10] [12] [16] π es también 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 se pueden definir independientemente de la geometría como una serie de potencias [ 17] o como la solución de una ecuación diferencial [16] .

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

Una variación de la misma idea, haciendo uso de sofisticados conceptos matemáticos de topología y álgebra , es el siguiente teorema: [19] existe un único ( salvo automorfismo ) isomorfismo continuo del grupo R / Z de números reales bajo adición módulo enteros (el grupo del círculo ), sobre el grupo multiplicativo de números complejos de valor absoluto uno. El número π se define entonces como la mitad de la magnitud de la derivada de este homomorfismo. [20]

Irracionalidad y normalidad

π es un número irracional , lo que significa que no se puede escribir como el cociente de dos números enteros . Fracciones como 22/7 y355/113 se utilizan comúnmente para aproximar π , pero ninguna fracción común (razón de números enteros) puede ser su valor exacto. [21] Debido a que π es irracional, tiene un número infinito de dígitos en su representación decimal y no se establece en un patrón de dígitos que se repite infinitamente. Hay varias pruebas de que π es irracional ; generalmente requieren cálculo y se basan en la técnica de reductio ad absurdum . El grado en el 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 . [22]

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

Desde la llegada de las computadoras, se ha podido disponer de una gran cantidad de dígitos de π sobre los cuales realizar análisis estadísticos. Yasumasa Kanada ha realizado análisis estadísticos detallados sobre los dígitos decimales de π y los ha encontrado consistentes con la normalidad; por ejemplo, las frecuencias de los diez dígitos del 0 al 9 se sometieron a pruebas de significación estadística y no se encontró evidencia de un patrón. [24] Cualquier secuencia aleatoria de dígitos contiene subsecuencias arbitrariamente largas que parecen no aleatorias, por 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 π . [25] Esto también se llama el "punto de Feynman" en el folclore matemático , en honor a Richard Feynman , aunque no se conoce ninguna conexión con Feynman.

Trascendencia

Diagrama de un cuadrado y un círculo, ambos con área idéntica; la longitud del lado del cuadrado es la raíz cuadrada de pi
Como π es un número trascendental , no es posible cuadrar el círculo 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 , como . [26] [c] x 5 120 x 3 6 + x = 0 {\textstyle {\frac {x^{5}}{120}}-{\frac {x^{3}}{6}}+x=0}

La trascendencia de π tiene dos consecuencias importantes: primero, π no puede expresarse utilizando cualquier combinación finita de números racionales y raíces cuadradas o raíces n -ésimas (como o ). Segundo, dado que ningún número trascendental puede construirse con compás y regla , no es posible " cuadrar el círculo ". En otras palabras, es imposible construir, utilizando solo compás y regla, un cuadrado cuya área sea exactamente igual al área de un círculo dado. [27] La ​​cuadratura de un círculo fue uno de los problemas de geometría importantes de la antigüedad clásica . [28] Los matemáticos aficionados en los tiempos modernos a veces han intentado cuadrar el círculo y afirman haber tenido éxito, a pesar del hecho de que es matemáticamente imposible. [29] [30] 31 3 {\displaystyle {\sqrt[{3}]{31}}} 10 {\displaystyle {\sqrt {10}}}

Fracciones continuas

Como número irracional, π no se puede representar como una fracción común . Pero cada número, incluido π , se puede representar mediante una serie infinita de fracciones anidadas, denominada fracción continua : π = 3 + 1 7 + 1 15 + 1 1 + 1 292 + 1 1 + 1 1 + 1 1 + {\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 }}}}}}}}}}}}}}}

Truncando la fracción continua en cualquier punto se obtiene una aproximación racional para π ; las primeras cuatro de estas son 3 , 22/7 ,333/106 , y355/113 . Estos números se encuentran entre las aproximaciones históricas más conocidas y más 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. [31] Debido a que π es trascendental, por definición no es algebraico y, por lo tanto, no puede ser un irracional cuadrático . Por lo tanto, π no puede tener una fracción continua periódica . Aunque la fracción continua simple para π (mostrada arriba) tampoco exhibe ningún otro patrón obvio, [32] [33] varias fracciones continuas generalizadas sí lo hacen, como: [34] π = 3 + 1 2 6 + 3 2 6 + 5 2 6 + 7 2 6 + = 4 1 + 1 2 2 + 3 2 2 + 5 2 2 + = 4 1 + 1 2 3 + 2 2 5 + 3 2 7 + {\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}}}

La mitad de éstas se debe al matemático de mediados del siglo XVII William Brouncker , véase § Fórmula de Brouncker .

Valor aproximado y dígitos

Algunas aproximaciones de pi incluyen:

  • Números enteros : 3
  • Fracciones : Las fracciones aproximadas incluyen (en orden de precisión creciente )22/7 ,333/106 ,355/113 ,52163/16604 ,103993/33102 ,104348/33215 , y245850922/78256779 . [31] (La lista son 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... [35] (ver OEIS : A000796 )

Dígitos en otros sistemas numéricos

  • Los primeros 48 dígitos binarios ( base 2) (llamados bits ) son 11.0010 0100 0011 1111 0110 1010 1000 1000 1000 0101 1010 0011... (ver OEIS : A004601 )
  • Los primeros 36 dígitos del sistema ternario (base 3) son 10.010 211 012 222 010 211 002 111 110 221 222 220... (ver OEIS : A004602 )
  • Los primeros 20 dígitos en hexadecimal (base 16) son 3.243F 6A88 85A3 08D3 1319... [36] (ver OEIS : A062964 )
  • Los primeros cinco dígitos sexagesimales (base 60) son 3; 8, 29, 44, 0, 47 [37] (ver OEIS : A060707 )

Números complejos e 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 catetos del triángulo etiquetados con las funciones seno y coseno.
La asociación entre potencias imaginarias del número e y puntos del círculo unitario centrado en el origen en el plano complejo está 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: [38] donde i es la unidad imaginaria que satisface . 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 : [39] 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. La configuración 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: [39] [40] z = r ( cos φ + i sin φ ) , {\displaystyle z=r\cdot (\cos \varphi +i\sin \varphi ),} i 2 = 1 {\displaystyle i^{2}=-1} e i φ = cos φ + i sin φ , {\displaystyle e^{i\varphi }=\cos \varphi +i\sin \varphi ,} φ = π {\displaystyle \varphi =\pi } e i π + 1 = 0. {\displaystyle e^{i\pi }+1=0.}

Hay n números complejos diferentes z que satisfacen , y estos se denominan " raíces n -ésimas de la unidad " [41] y se dan mediante la fórmula: z n = 1 {\displaystyle z^{n}=1} e 2 π i k / n ( k = 0 , 1 , 2 , , n 1 ) . {\displaystyle e^{2\pi ik/n}\qquad (k=0,1,2,\dots ,n-1).}

Historia

Antigüedad

Las aproximaciones más conocidas para la datación de π antes de la era común tenían una precisión de dos decimales; esto se mejoró en las matemáticas chinas, en particular a mediados del primer milenio, hasta una precisión de siete decimales. Después de esto, no se hicieron más avances hasta finales del período medieval.

Las primeras aproximaciones escritas de π se encuentran en Babilonia y Egipto, ambas con un margen de error del uno por ciento respecto del valor real. En Babilonia, una tablilla de arcilla que data de 1900 a 1600 a. C. contiene una declaración geométrica que, por implicación, trata a π como 25/8  = 3,125. [42] En Egipto, el Papiro Rhind , que data de alrededor de 1650 a. C. pero que fue copiado de un documento que data de 1850 a. C., tiene una fórmula para el área de un círculo que trata a π como . [33] [42] 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. [43] En los Shulba Sutras de las matemáticas indias , que datan de una tradición oral del primer o segundo milenio a. C., se dan aproximaciones que se han interpretado de diversas formas como aproximadamente 3,08831, 3,08833, 3,004, 3 o 3,125. [44] ( 16 9 ) 2 3.16 {\textstyle {\bigl (}{\frac {16}{9}}{\bigr )}^{2}\approx 3.16}

La era de la aproximación poligonal

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

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 , que implementaba el método de agotamiento . [45] Este algoritmo poligonal dominó durante más de 1000 años y, como resultado, a π a veces se lo denomina la constante de Arquímedes. [46] 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 ). [47] Límite superior de Arquímedes de22/7 puede haber llevado a una creencia popular generalizada de que π es igual a22/7 . [48] Alrededor de 150 d. C., el científico greco-romano Ptolomeo , en su Almagesto , dio un valor para π de 3,1416, que pudo haber obtenido de Arquímedes o de Apolonio de Perge . [49] [50] Los matemáticos que usaban algoritmos poligonales alcanzaron 39 dígitos de π en 1630, un récord que solo se rompió en 1699 cuando se usaron series infinitas para alcanzar 71 dígitos. [51]

En la antigua China , los valores de π incluían 3,1547 (alrededor del año 1 d. C.), (100 d. C., aproximadamente 3,1623) y 10 {\displaystyle {\sqrt {10}}} 142/45 (Siglo III, aproximadamente 3,1556). [52] Alrededor del año 265 d. C., elmatemático del Reino Wei Liu Hui creó un algoritmo iterativo basado en polígonos y lo utilizó con un polígono de 3072 lados para obtener un valor de π de 3,1416. [53] [54] Liu inventó más tarde 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. [53] El matemático chino Zu Chongzhi , alrededor del 480 d. C., calculó quey sugirió las aproximacionesy, que denominó Milü (''ratio cercano'') y Yuelü ("ratio aproximado"), respectivamente, utilizando el algoritmo de Liu Hui aplicado a un polígono de 12.288 lados. Con un valor correcto para sus siete primeros dígitos decimales, este valor siguió siendo la aproximación más precisa de π disponible durante los siguientes 800 años. [55] 3.1415926 < π < 3.1415927 {\displaystyle 3.1415926<\pi <3.1415927} π 355 113 = 3.14159292035... {\textstyle \pi \approx {\frac {355}{113}}=3.14159292035...} π 22 7 = 3.142857142857... {\textstyle \pi \approx {\frac {22}{7}}=3.142857142857...}

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

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 con lados, [58] [59] que se mantuvo como el récord mundial durante unos 180 años. [60] El matemático francés François Viète en 1579 logró nueve dígitos con un polígono de lados. [60] El matemático flamenco Adriaan van Roomen llegó a 15 decimales en 1593. [60] En 1596, el matemático holandés Ludolph van Ceulen alcanzó los 20 dígitos, un récord que luego aumentó a 35 dígitos (como resultado, π fue llamado el "número ludolfo" en Alemania hasta principios del siglo XX). [61] El científico holandés Willebrord Snellius alcanzó los 34 dígitos en 1621, [62] y el astrónomo austríaco Christoph Grienberger llegó a los 38 dígitos en 1630 utilizando 10 40 lados. [63] Christiaan Huygens pudo llegar a 10 decimales en 1654 utilizando un método ligeramente diferente equivalente a la extrapolación de Richardson . [64] [65] 3 × 2 28 {\textstyle 3\times 2^{28}} 3 × 2 17 {\textstyle 3\times 2^{17}}

Serie infinita

Comparación de la convergencia de varias series infinitas históricas para π . S n es la aproximación después de tomar n términos. Cada subgráfico subsiguiente amplía el área sombreada horizontalmente 10 veces. (haga clic para ver 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 usaban técnicas geométricas. [66] Aunque las series infinitas fueron explotadas para π sobre todo 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. [67] [68] Alrededor de 1500 d. C., Nilakantha Somayaji presentó en verso sánscrito una descripción escrita de una serie infinita que podía usarse para calcular π en Tantrasamgraha . [67] Las series se presentan sin prueba, pero las pruebas se presentan en una obra posterior, Yuktibhāṣā , de alrededor de 1530 d. C. Se describen varias series infinitas, incluidas las series del seno (que Nilakantha atribuye a Madhava de Sangamagrama ), del coseno y de la arcotangente, que ahora se denominan a veces series de Madhava . La serie de la arcotangente se denomina a veces serie de Gregory o serie de Gregory-Leibniz. [67] Madhava utilizó series infinitas para estimar π con 11 dígitos alrededor de 1400. [69]

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 se utiliza más típicamente en los cálculos de π ): [70] [71] [72] 2 π = 2 2 2 + 2 2 2 + 2 + 2 2 {\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 producto Wallis , también un producto infinito: [70] π 2 = ( 2 1 2 3 ) ( 4 3 4 5 ) ( 6 5 6 7 ) ( 8 7 8 9 ) {\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 }

Un retrato formal de un hombre, con cabello largo.
Isaac Newton utilizó series infinitas para calcular π hasta 15 dígitos, escribiendo más tarde: "Me avergüenza decirte a cuántas cifras llevé estos cálculos". [73]

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 , que condujo al desarrollo de muchas series infinitas para aproximar π . El propio Newton utilizó una serie de arcoseno para calcular una aproximación de 15 dígitos de π en 1665 o 1666, escribiendo: "Me avergüenza decirles a cuántas cifras llevé estos cálculos, ya que no tenía otro negocio en ese momento". [73]

En 1671, James Gregory y, de forma independiente, Leibniz en 1673, descubrieron la expansión de la serie de Taylor para el arcotangente : [67] [74] [75] arctan z = z z 3 3 + z 5 5 z 7 7 + {\displaystyle \arctan z=z-{\frac {z^{3}}{3}}+{\frac {z^{5}}{5}}-{\frac {z^{7}}{7}}+\cdots }

Esta serie, a veces llamada serie de Gregory-Leibniz , es igual a cuando se evalúa con . [75] Pero para , converge de manera imprácticamente lenta (es decir, se aproxima a la respuesta muy gradualmente), y se necesitan aproximadamente diez veces más términos para calcular cada dígito adicional. [76] π 4 {\textstyle {\frac {\pi }{4}}} z = 1 {\displaystyle z=1} z = 1 {\displaystyle z=1}

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

En 1706, John Machin utilizó la serie de Gregory-Leibniz para producir un algoritmo que convergía mucho más rápido: [3] [78] [79] π 4 = 4 arctan 1 5 arctan 1 239 . {\displaystyle {\frac {\pi }{4}}=4\arctan {\frac {1}{5}}-\arctan {\frac {1}{239}}.}

Machin alcanzó los 100 dígitos de π con esta fórmula. [80] Otros matemáticos crearon variantes, ahora conocidas como fórmulas similares a Machin , que se usaron para establecer varios récords sucesivos para calcular dígitos de π . [81] [80]

Isaac Newton aceleró la convergencia de la serie de Gregory-Leibniz en 1684 (en un trabajo inédito; otros descubrieron el resultado de forma independiente): [82]

arctan x = x 1 + x 2 + 2 3 x 3 ( 1 + x 2 ) 2 + 2 4 3 5 x 5 ( 1 + x 2 ) 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, incluida la que utilizó para calcular 20 dígitos de π en una hora. [83] π 4 = 5 arctan 1 7 + 2 arctan 3 79 , {\textstyle {\tfrac {\pi }{4}}=5\arctan {\tfrac {1}{7}}+2\arctan {\tfrac {3}{79}},}

Las fórmulas de tipo 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 un dispositivo de cálculo. [84]

En 1844, Zacharias Dase estableció un récord al emplear una fórmula similar a la de Machin para calcular 200 decimales de π en su cabeza a instancias del matemático alemán Carl Friedrich Gauss . [85]

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 hizo que todos los dígitos siguientes fueran incorrectos. Aunque calculó 100 dígitos adicionales en 1873, lo que elevó el total a 707, su error anterior hizo que todos los dígitos nuevos también fueran incorrectos. [86]

Tasa de convergencia

Algunas series infinitas para π convergen más rápido que otras. Dada la elección entre 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álculo necesario para calcular π con cualquier precisión dada. [87] Una serie infinita simple para π es la serie de Gregory-Leibniz : [88] π = 4 1 4 3 + 4 5 4 7 + 4 9 4 11 + 4 13 {\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 añaden a la suma los términos individuales de esta serie infinita, el total se va acercando gradualmente a π y, con una cantidad suficiente de términos, puede acercarse a π tanto como se desee. Sin embargo, converge con bastante lentitud: después de 500.000 términos, produce solo cinco dígitos decimales correctos de π . [89]

Una serie infinita para π (publicada por Nilakantha en el siglo XV) que converge más rápidamente que la serie de Gregory-Leibniz es: [90] [91] π = 3 + 4 2 × 3 × 4 4 4 × 5 × 6 + 4 6 × 7 × 8 4 8 × 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:

Serie infinita para πDespués del 1er términoDespués del segundo semestreDespués del tercer trimestreDespués del 4º trimestreDespués del quinto trimestreConverge a:
π = 4 1 4 3 + 4 5 4 7 + 4 9 4 11 + 4 13 + {\displaystyle \pi ={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}+\cdots } 4.00002.6666...3.4666...2.8952...3.3396 ...π = 3,1415 ...
π = 3 + 4 2 × 3 × 4 4 4 × 5 × 6 + 4 6 × 7 × 8 {\displaystyle \pi ={3}+{\frac {4}{2\times 3\times 4}}-{\frac {4}{4\times 5\times 6}}+{\frac {4}{6\times 7\times 8}}-\cdots } 3.00003.1666 ...3.1333 ...3.1452 ...3.1396 ...

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 produce 14 dígitos decimales correctos por término. [87]

Irracionalidad y trascendencia

No todos los avances matemáticos relacionados con π apuntaban a 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 más tarde contribuyó al desarrollo y estudio de la función zeta de Riemann : [92]

π 2 6 = 1 1 2 + 1 2 2 + 1 3 2 + 1 4 2 + {\displaystyle {\frac {\pi ^{2}}{6}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots }

En 1768, el científico suizo Johann Heinrich Lambert demostró que π es irracional , lo que significa que no es igual al cociente de dos números enteros. [21] La prueba de Lambert explotó una representación de fracción continua de la función tangente. [93] El matemático francés Adrien-Marie Legendre demostró en 1794 que π 2 también es irracional. En 1882, el matemático alemán Ferdinand von Lindemann demostró que π es trascendental , [94] confirmando una conjetura hecha tanto por Legendre como por Euler. [95] [96] Hardy y Wright afirman que "las pruebas fueron posteriormente modificadas y simplificadas por Hilbert, Hurwitz y otros escritores". [97]

Adopción del símboloπ

En los primeros usos, la letra griega π se utilizaba para denotar el semiperímetro ( semiperipheria en latín) de un círculo [8] y se combinaba en proporciones con δ (para diámetro o semidiámetro) o ρ (para radio ) para formar constantes circulares. [98] [99] [100] [101] (Antes de eso, los matemáticos a veces usaban letras como c o p en su lugar. [102] ) El primer uso registrado es " " de Oughtred , para expresar la relación entre la periferia y el diámetro en las ediciones de 1647 y posteriores de Clavis Mathematicae . [103] [102] Barrow también usó " " para representar la constante 3,14... , [104] mientras que Gregory usó " " en su lugar para representar 6,28...  . [105] [100] δ . π {\displaystyle \delta .\pi } π δ {\textstyle {\frac {\pi }{\delta }}} π ρ {\textstyle {\frac {\pi }{\rho }}}

El primer uso conocido de la letra griega π sola 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 su obra de 1706 Synopsis Palmariorum Matheseos ; o, una nueva introducción a las matemáticas . [3] [106] La letra griega aparece en la p. 243 en la frase " Periferia ( π )", calculada para un círculo con radio uno. Sin embargo, Jones escribe que sus ecuaciones para π son de la "pluma lista del verdaderamente ingenioso Sr. John Machin ", lo que lleva a la especulación de que Machin puede haber empleado la letra griega antes que Jones. [102] La notación de Jones no fue adoptada inmediatamente por otros matemáticos, y la notación fraccionaria todavía se usaba hasta 1767. [98] [107] 1 2 {\textstyle {\tfrac {1}{2}}}

Euler comenzó a utilizar la forma de una sola letra a partir de su Ensayo explicando las propiedades del aire de 1727 , aunque utilizó π = 6,28... , la relación entre la periferia y el radio, en este y algunos escritos posteriores. [108] [109] Euler utilizó por primera vez π = 3,14... en su obra de 1736 Mechanica , [110] y continuó en su obra ampliamente leída de 1748 Introductio in analysin infinitorum (escribió: "en aras de la brevedad escribiremos este número como π ; por lo tanto, π es igual a la mitad de la circunferencia de un círculo de radio 1 "). [111] Debido a que Euler mantuvo una intensa correspondencia con otros matemáticos de 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 , [102] aunque la definición todavía variaba entre 3,14... y 6,28... hasta 1761. [112]

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

La era de la informática y los algoritmos iterativos

El algoritmo iterativo de Gauss-Legendre :
Inicializar Iterar Luego se obtiene una estimación para π mediante a 0 = 1 , b 0 = 1 2 , t 0 = 1 4 , p 0 = 1. {\displaystyle \textstyle a_{0}=1,\quad b_{0}={\frac {1}{\sqrt {2}}},\quad t_{0}={\frac {1}{4}},\quad p_{0}=1.} a n + 1 = a n + b n 2 , b n + 1 = a n b n , {\displaystyle \textstyle a_{n+1}={\frac {a_{n}+b_{n}}{2}},\quad \quad b_{n+1}={\sqrt {a_{n}b_{n}}},} t n + 1 = t n p n ( a n a n + 1 ) 2 , p n + 1 = 2 p n . {\displaystyle \textstyle t_{n+1}=t_{n}-p_{n}(a_{n}-a_{n+1})^{2},\quad \quad p_{n+1}=2p_{n}.} π ( a n + b n ) 2 4 t n . {\displaystyle \textstyle \pi \approx {\frac {(a_{n}+b_{n})^{2}}{4t_{n}}}.}

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 usando una calculadora de escritorio. [113] Usando una serie infinita de tangente inversa (arctan), un equipo dirigido por George Reitwiesner y John von Neumann ese mismo año logró 2037 dígitos con un cálculo que tomó 70 horas de tiempo de computadora en la computadora ENIAC . [114] [115] El récord, siempre basado en una serie arctan, fue roto repetidamente (3089 dígitos en 1955, [116] 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. [114]

Dos desarrollos adicionales alrededor de 1980 aceleraron una vez más la capacidad de calcular π . Primero, el descubrimiento de nuevos algoritmos iterativos para calcular π , que eran mucho más rápidos que las series infinitas; y segundo, la invención de algoritmos de multiplicación rápida que podían multiplicar números grandes muy rápidamente. [117] Tales 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. [118] Incluyen el algoritmo Karatsuba , la multiplicación de Toom-Cook y los métodos basados ​​en la transformada de Fourier . [119]

Los algoritmos iterativos fueron publicados de forma independiente en 1975-1976 por el físico Eugene Salamin y el científico Richard Brent . [120] Estos evitan la dependencia de series infinitas. Un algoritmo iterativo repite un cálculo específico, cada iteración utiliza las salidas de los pasos anteriores como entradas, y produce un resultado en cada paso que converge al valor deseado. El enfoque fue inventado en realidad más de 160 años antes por Carl Friedrich Gauss , en lo que ahora se denomina el método de la media aritmética-geométrica (método AGM) o algoritmo de Gauss-Legendre . [120] Según lo modificado por Salamin y Brent, también se lo conoce como el algoritmo 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 Brent-Salamin duplica el número de dígitos en cada iteración. En 1984, los hermanos John y Peter Borwein produjeron un algoritmo iterativo que cuadruplica el número de dígitos en cada paso; y en 1987, uno que aumenta el número de dígitos cinco veces en cada paso. [121] Los métodos iterativos fueron utilizados por el matemático japonés Yasumasa Kanada para establecer varios récords de cálculo de π entre 1995 y 2002. [122] Esta rápida convergencia tiene un precio: los algoritmos iterativos requieren significativamente más memoria que las series infinitas. [122]

Motivos para la computaciónπ

A medida que los matemáticos descubrieron nuevos algoritmos y aparecieron las computadoras, la cantidad 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 π a miles y millones de dígitos. [123] Este esfuerzo puede atribuirse en parte a la compulsión humana de romper récords, y tales logros con π a menudo aparecen en los titulares de todo el mundo. [124] [125] 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 en sí, proporcionar datos para evaluar la aleatoriedad de los dígitos de π . [126]

Serie rápidamente convergente

Retrato fotográfico de un hombre
Srinivasa Ramanujan , trabajando aislado en la India, produjo muchas series innovadoras para calcular π .

Las calculadoras π modernas no utilizan exclusivamente algoritmos iterativos. En los años 1980 y 1990 se descubrieron nuevas series infinitas que son tan rápidas como los algoritmos iterativos, pero son más simples y consumen menos memoria. [122] 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. [127] Una de sus fórmulas, basada en ecuaciones modulares , es 1 π = 2 2 9801 k = 0 ( 4 k ) ! ( 1103 + 26390 k ) k ! 4 ( 396 4 k ) . {\displaystyle {\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{k!^{4}\left(396^{4k}\right)}}.}

Esta serie converge mucho más rápidamente que la mayoría de las series arctan, incluida la fórmula de Machin. [128] Bill Gosper fue el primero en utilizarla para los avances en el cálculo de π , estableciendo un récord de 17 millones de dígitos en 1985. [129] Las fórmulas de Ramanujan anticiparon los algoritmos modernos desarrollados por los hermanos Borwein ( Jonathan y Peter ) y los hermanos Chudnovsky . [130] La fórmula de Chudnovsky desarrollada en 1987 es 1 π = 10005 4270934400 k = 0 ( 6 k ) ! ( 13591409 + 545140134 k ) ( 3 k ) ! k ! 3 ( 640320 ) 3 k . {\displaystyle {\frac {1}{\pi }}={\frac {\sqrt {10005}}{4270934400}}\sum _{k=0}^{\infty }{\frac {(6k)!(13591409+545140134k)}{(3k)!\,k!^{3}(-640320)^{3k}}}.}

Produce alrededor de 14 dígitos de π por término [131] y se ha utilizado para varios cálculos de π que establecieron récords, incluido el primero en superar los mil millones (10 9 ) dígitos en 1989 por los hermanos Chudnovsky, 10 billones (10 13 ) dígitos en 2011 por Alexander Yee y Shigeru Kondo, [132] y 100 billones de dígitos por Emma Haruka Iwao en 2022. [133] Para fórmulas similares, consulte también la serie Ramanujan-Sato .

En 2006, el matemático Simon Plouffe utilizó el algoritmo de relación entera PSLQ [134] para generar varias fórmulas nuevas para π , conforme a la siguiente plantilla: donde q es e π (la constante de Gelfond), k es un número impar y a , b , c son ciertos números racionales que Plouffe calculó. [135] π k = n = 1 1 n k ( a q n 1 + b q 2 n 1 + c q 4 n 1 ) , {\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),}

Métodos de Monte Carlo

Los métodos de Monte Carlo , que evalúan los resultados de múltiples ensayos aleatorios, se pueden utilizar para crear aproximaciones de π . [136] La aguja de Buffon es una de esas técnicas: si una aguja de longitud se deja caer n veces sobre una superficie en la que se dibujan líneas paralelas separadas t unidades, y si x de esas veces se detiene cruzando una línea ( x  > 0), entonces se puede aproximar π basándose en los conteos: [137] π 2 n x t . {\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 al azar en el cuadrado. La relación entre los puntos dentro del círculo y el número total de puntos será aproximadamente igual a π/4 . [138]

Cinco paseos aleatorios de 200 pasos. La media muestral de | W 200 | es μ = 56/5 , por lo que 2(200) μ −2 ≈ 3,19 está dentro de 0,05 de  π .

Otra forma de calcular π usando probabilidad es comenzar con un recorrido 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 recorrido aleatorio asociado es tal 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 [139] W n = k = 1 n X k {\displaystyle W_{n}=\sum _{k=1}^{n}X_{k}} π = lim n 2 n E [ | W n | ] 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 a continuación.

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

Algoritmos de espiga

En 1995 se descubrieron dos algoritmos que abrieron nuevas vías de investigación sobre π . Se denominan algoritmos de espita porque, como el agua que gotea de una espita , producen dígitos individuales de π que no se reutilizan después de su cálculo. [141] [142] Esto contrasta con las series infinitas o los algoritmos iterativos, que retienen y utilizan todos los dígitos intermedios hasta que se produce el resultado final. [141]

Los matemáticos Stan Wagon y Stanley Rabinowitz produjeron un algoritmo spigot simple en 1995. [142] [143] [144] Su velocidad es comparable a los algoritmos arctan, pero no tan rápida como los algoritmos iterativos. [143]

Otro algoritmo de espiga, el algoritmo de extracción de dígitos BBP , fue descubierto en 1995 por Simon Plouffe: [145] [146] π = k = 0 1 16 k ( 4 8 k + 1 2 8 k + 4 1 8 k + 5 1 8 k + 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 anteriores. [145] Se pueden extraer dígitos binarios individuales de dígitos hexadecimales individuales, y se pueden extraer dígitos octales de uno o dos dígitos hexadecimales. Una aplicación importante de los algoritmos de extracción de dígitos es validar nuevas reclamaciones de cálculos de registros π : después de que se reclama un nuevo registro, 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. [132]

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 cuatrillón (10 15 th) de π , que resultó ser 0. [147] 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 cuatrillón (2×10 15 th), que también resulta ser cero. [148]

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

Papel y caracterizaciones en las matemáticas

Debido a que π está estrechamente relacionado con el círculo, se lo encuentra en muchas fórmulas de los campos de la geometría y la trigonometría, particularmente aquellas que se refieren a 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 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 π por el área sombreada. El área del círculo unitario es π .

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

  • La circunferencia de un círculo con radio r es r .
  • El área de un círculo con radio r es π r 2 .
  • El área de una elipse con semieje mayor a y semieje menor b es π ab .
  • El volumen de una esfera con radio r es4/3 π r 3 .
  • El área superficial de una esfera con radio r es r 2 .

Algunas de las fórmulas anteriores son casos especiales del volumen de la bola n -dimensional y el área de 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 ancho constante . Por el teorema de Barbier , toda curva de ancho constante tiene un perímetro igual a π por su ancho. El triángulo de Reuleaux (formado por la intersección de tres círculos cuyos lados son los radios de un triángulo equilátero ) tiene el área más pequeña posible para su ancho y el círculo la más grande. También existen curvas no circulares suaves e incluso algebraicas de ancho constante. [151]

Las integrales definidas que describen la circunferencia, el área o el volumen de formas 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 se da por: [152] 1 1 1 x 2 d x = π 2 . {\displaystyle \int _{-1}^{1}{\sqrt {1-x^{2}}}\,dx={\frac {\pi }{2}}.}

En esa integral, la función representa la altura sobre el eje de un semicírculo (la raíz cuadrada es una consecuencia del teorema de Pitágoras ), y la integral calcula el área debajo del semicírculo. 1 x 2 {\displaystyle {\sqrt {1-x^{2}}}} x {\displaystyle x}

La existencia de tales integrales hace de π un período algebraico . [153]

Unidades de ángulo

Diagrama que muestra gráficos de funciones.
Las funciones seno y coseno se repiten con período 2 π .

Las funciones trigonométricas se basan en ángulos y los matemáticos generalmente utilizan radianes como unidades de medida. π juega un papel importante en los ángulos medidos en radianes, que se definen de modo 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 . [154]

Las funciones trigonométricas comunes tienen períodos que son múltiplos de π ; por ejemplo, el seno y el coseno tienen período 2 π , [155] por lo que para cualquier ángulo θ y cualquier entero k , [155] sin θ = sin ( θ + 2 π k )  and  cos θ = cos ( θ + 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 de las matemáticas y las ciencias 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 se puede modelar como el gráfico 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 , o . Por lo tanto, λ es un valor propio del operador de segunda derivada , y está restringido por la teoría de Sturm-Liouville para 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 ν = π . [156] f ( x ) + λ f ( x ) = 0 {\displaystyle f''(x)+\lambda f(x)=0} f ( t ) = λ f ( x ) {\displaystyle f''(t)=-\lambda f(x)} f f {\displaystyle f\mapsto f''}

El valor π es, de hecho, el menor de tales valores del número de onda, y está asociado con el modo fundamental de vibración de la cuerda. Una forma de mostrar esto es estimando la energía , que satisface la desigualdad de Wirtinger : [157] para una función con f (0) = f (1) = 0 y f , f ambas integrables al cuadrado , tenemos: 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, usando la caracterización variacional del valor propio. Como consecuencia, π es el valor singular más pequeño del operador derivada en el espacio de funciones en [0, 1] que se desvanecen en ambos puntos finales (el espacio de Sobolev ). f : [ 0 , 1 ] C {\displaystyle f:[0,1]\to \mathbb {C} } π 2 0 1 | f ( x ) | 2 d x 0 1 | f ( x ) | 2 d x , {\displaystyle \pi ^{2}\int _{0}^{1}|f(x)|^{2}\,dx\leq \int _{0}^{1}|f'(x)|^{2}\,dx,} H 0 1 [ 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 contada por Lord Kelvin : [158] aquellas tierras que bordeaban el mar y que la reina Dido podía encerrar por todos sus 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 y la igualdad se logra claramente para el círculo, ya que en ese caso A = π r 2 y P = 2π r . [159] 4 π A P 2 , {\displaystyle 4\pi A\leq P^{2},}

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 así también el papel de π en muchos fenómenos físicos, por ejemplo los de la teoría del potencial clásica . [160] [161] [162] En dos dimensiones, la desigualdad crítica de Sobolev es para f una función suave con soporte compacto en R 2 , es el gradiente de f , y y se refieren respectivamente a la L 2 y L 1 -norma . La desigualdad de Sobolev es equivalente a la desigualdad isoperimétrica (en cualquier dimensión), con las mismas constantes óptimas. 2 π f 2 f 1 {\displaystyle 2\pi \|f\|_{2}\leq \|\nabla f\|_{1}} f {\displaystyle \nabla f} f 2 {\displaystyle \|f\|_{2}} f 1 {\displaystyle \|\nabla f\|_{1}}

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 de n dimensiones. Específicamente, π es la constante más grande tal que para todos los subconjuntos convexos G de R n de diámetro 1, y funciones integrables al cuadrado u en G de media cero. [163] 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. π ( G | u | 2 ) 1 / 2 ( G | u | 2 ) 1 / 2 {\displaystyle \pi \leq {\frac {\left(\int _{G}|\nabla u|^{2}\right)^{1/2}}{\left(\int _{G}|u|^{2}\right)^{1/2}}}}

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 . Se trata de la transformada integral , que convierte una función integrable de valor complejo f en la recta real en la función definida como: f ^ ( ξ ) = f ( x ) e 2 π i x ξ d x . {\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 involucrar a π en algún lugar . Sin embargo, la anterior es la definición más canónica, ya que proporciona el único operador unitario en L 2 que también es un homomorfismo algebraico de L 1 a L . [164]

El principio de incertidumbre de Heisenberg también contiene el número π . El principio de incertidumbre proporciona un límite inferior preciso sobre el grado en que es posible localizar una función tanto en el espacio como en la frecuencia: con nuestras convenciones para la transformada de Fourier, ( x 2 | f ( x ) | 2 d x ) ( ξ 2 | f ^ ( ξ ) | 2 d ξ ) ( 1 4 π | f ( x ) | 2 d x ) 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 de la incertidumbre en las observaciones simultáneas de posición y momento de un sistema mecánico cuántico se analiza a continuación. 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 . [165]

Integrales gaussianas

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

Los campos de probabilidad y estadística utilizan frecuentemente la distribución normal como un modelo simple para fenómenos complejos; por ejemplo, los científicos generalmente suponen que el error de observación en la mayoría de los experimentos sigue una distribución normal. [166] 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 π : [167] f ( x ) = 1 σ 2 π e ( x μ ) 2 / ( 2 σ 2 ) . {\displaystyle f(x)={1 \over \sigma {\sqrt {2\pi }}}\,e^{-(x-\mu )^{2}/(2\sigma ^{2})}.}

El factor de 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 desprende de un cambio de variables en la integral gaussiana : [167] que dice que el área bajo la curva de campana básica en la figura es igual a la raíz cuadrada de π . 1 2 π {\displaystyle {\tfrac {1}{\sqrt {2\pi }}}} e u 2 d u = π {\displaystyle \int _{-\infty }^{\infty }e^{-u^{2}}\,du={\sqrt {\pi }}}

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

Topología

Uniformización de la cuártica de Klein , 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 , por 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 . En concreto, si una superficie compacta Σ tiene una curvatura de Gauss K , entonces donde χ (Σ) es la característica de Euler , que es un número entero. [170] Un ejemplo es el área superficial 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 tanto, hemos reproducido la fórmula para el área superficial de una esfera de radio 1. Σ K d A = 2 π χ ( Σ ) {\displaystyle \int _{\Sigma }K\,dA=2\pi \chi (\Sigma )} A ( S ) = S 1 d A = 2 π 2 = 4 π {\displaystyle A(S)=\int _{S}1\,dA=2\pi \cdot 2=4\pi }

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 . [171]

Fórmula integral de Cauchy

Las funciones analíticas complejas pueden visualizarse como una colección de líneas de corriente y equipotenciales, sistemas de curvas que se cortan en ángulos rectos. 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 es interior a γ , entonces [172] γ d z z z 0 = 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 prueba estándar de este resultado utiliza el teorema de Morera , que implica que la integral es invariante bajo la homotopía de la curva, de modo que puede deformarse en un círculo y luego integrarse explícitamente en coordenadas polares. De manera más general, es cierto que si una curva cerrada rectificable γ no contiene z 0 , entonces la integral anterior es i multiplicada por 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 γ : [173] 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 del residuo , que si g ( z ) es una función meromórfica en la región encerrada por γ y es continua en un entorno de γ , entonces donde la suma es de los residuos en los polos de g ( z ) . γ f ( z ) z z 0 d z = 2 π i f ( z 0 ) {\displaystyle \oint _{\gamma }{f(z) \over z-z_{0}}\,dz=2\pi if(z_{0})} γ g ( z ) d z = 2 π i Res ( g , a k ) {\displaystyle \oint _{\gamma }g(z)\,dz=2\pi i\sum \operatorname {Res} (g,a_{k})}

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 , [174] la ley de Gauss , las ecuaciones de Maxwell e incluso las ecuaciones de campo de Einstein . [175] [176] Quizás el ejemplo más simple de esto es 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 encierra la fuente: El factor de es necesario para asegurar que es la solución fundamental de la ecuación de Poisson en : [177] donde es la función delta de Dirac . Φ ( x ) = 1 2 π log | x | . {\displaystyle \Phi (\mathbf {x} )={\frac {1}{2\pi }}\log |\mathbf {x} |.} 1 / 2 π {\displaystyle 1/2\pi } Φ {\displaystyle \Phi } R 2 {\displaystyle \mathbb {R} ^{2}} Δ Φ = δ {\displaystyle \Delta \Phi =\delta } δ {\displaystyle \delta }

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: [177] que tiene el volumen bidimensional (es decir, el área) de la esfera unitaria 2 en el denominador. Φ ( x ) = 1 4 π | x | , {\displaystyle \Phi (\mathbf {x} )=-{\frac {1}{4\pi |\mathbf {x} |}},}

Curvatura total

Esta curva tiene una curvatura total de 6 π y un índice/número de giro de 3, aunque solo tiene un número de bobinado de 2 aproximadamente p .

En el estudio matemático de la geometría diferencial de las curvas , la curvatura total de una curva plana sumergida es la integral de la curvatura a lo largo de una curva tomada con respecto a la longitud del arco :

a b k ( s ) d s = 2 π N . {\displaystyle \int _{a}^{b}k(s)\,ds=2\pi N.}
La curvatura total de una curva cerrada es siempre un múltiplo entero de 2 π , donde N se denomina índice de la curva o número de giro ; es el número de giro del vector tangente unitario respecto al origen o, equivalentemente, el grado del mapa respecto al círculo unitario que asigna a cada punto de la curva el vector de velocidad unitario en ese punto. Este mapa es similar al mapa de Gauss para superficies.

La función gamma y la aproximación de Stirling

Gráfico de la función gamma en el eje real

La función factorial es el producto de todos los números enteros positivos hasta n . La función gamma extiende el concepto de factorial (normalmente definido sólo para números enteros no negativos) a todos los números complejos, excepto los números enteros reales negativos, con la identidad . Cuando la función gamma se evalúa en semienteros, el resultado contiene π . Por ejemplo, y . [178] n ! {\displaystyle n!} Γ ( n ) = ( n 1 ) ! {\displaystyle \Gamma (n)=(n-1)!} Γ ( 1 / 2 ) = π {\displaystyle \Gamma (1/2)={\sqrt {\pi }}} Γ ( 5 / 2 ) = 3 π 4 {\textstyle \Gamma (5/2)={\frac {3{\sqrt {\pi }}}{4}}}

La función gamma se define por su desarrollo del producto de Weierstrass : [179] donde γ es la constante de Euler–Mascheroni . Evaluada en z = 1/2 y elevada al cuadrado, la ecuación Γ(1/2) 2 = π se reduce a la fórmula del producto de Wallis. La función gamma también está conectada con la función zeta de Riemann y las identidades para el determinante funcional , en el que la constante π juega un papel importante. Γ ( z ) = e γ z z n = 1 e z / n 1 + z / n {\displaystyle \Gamma (z)={\frac {e^{-\gamma z}}{z}}\prod _{n=1}^{\infty }{\frac {e^{z/n}}{1+z/n}}}

La función gamma se utiliza para calcular el volumen V n ( r ) de la bola n -dimensional de radio r en el espacio euclidiano n -dimensional, y el área superficial S n −1 ( r ) de su límite, la esfera ( n −1)-dimensional : [180] V n ( r ) = π n / 2 Γ ( n 2 + 1 ) r n , {\displaystyle V_{n}(r)={\frac {\pi ^{n/2}}{\Gamma \left({\frac {n}{2}}+1\right)}}r^{n},} S n 1 ( r ) = n π n / 2 Γ ( n 2 + 1 ) r n 1 . {\displaystyle S_{n-1}(r)={\frac {n\pi ^{n/2}}{\Gamma \left({\frac {n}{2}}+1\right)}}r^{n-1}.}

Además, de la ecuación funcional se deduce que 2 π r = S n + 1 ( r ) V n ( r ) . {\displaystyle 2\pi r={\frac {S_{n+1}(r)}{V_{n}(r)}}.}

La función gamma se puede utilizar para crear una aproximación simple a la función factorial n ! para n grande : que se conoce como aproximación de Stirling . [181] De manera equivalente, n ! 2 π n ( n e ) n {\textstyle n!\sim {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}} π = lim n e 2 n n ! 2 2 n 2 n + 1 . {\displaystyle \pi =\lim _{n\to \infty }{\frac {e^{2n}n!^{2}}{2n^{2n+1}}}.}

Como aplicación geométrica de la aproximación de Stirling, sea Δ n el símplex estándar en el espacio euclidiano de n dimensiones, y ( n  + 1)Δ n el símplex que tiene todos sus lados ampliados por un factor de n  + 1 . Entonces Vol ( ( n + 1 ) Δ n ) = ( n + 1 ) n n ! e n + 1 2 π n . {\displaystyle \operatorname {Vol} ((n+1)\Delta _{n})={\frac {(n+1)^{n}}{n!}}\sim {\frac {e^{n+1}}{\sqrt {2\pi n}}}.}

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

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

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

La función zeta de Riemann ζ ( s ) se utiliza en muchas áreas de las matemáticas. Cuando se evalúa en s = 2 se puede escribir como ζ ( 2 ) = 1 1 2 + 1 2 2 + 1 3 2 + {\displaystyle \zeta (2)={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots }

Encontrar una solución simple para esta serie infinita fue un famoso problema en matemáticas llamado el problema de Basilea . Leonhard Euler lo resolvió en 1735 cuando demostró que era igual a π 2 /6 . [92] El resultado de Euler conduce al resultado de la teoría de números de que la probabilidad de que dos números aleatorios sean primos entre sí (es decir, que no tengan factores compartidos) es igual a 6/π 2 . [183] ​​[184] Esta probabilidad se basa en la observación de que la probabilidad de que cualquier número sea divisible por un primo p es 1/ p (por ejemplo, cada séptimo entero es divisible por 7). Por lo tanto, la probabilidad de que dos números sean divisibles por este primo es 1/ p 2 , y la probabilidad de que al menos uno de ellos no lo sea es 1 − 1/ p 2 . Para primos distintos, estos eventos de divisibilidad son mutuamente independientes; por lo tanto, la probabilidad de que dos números sean primos entre sí está dada por un producto sobre todos los primos: [185] p ( 1 1 p 2 ) = ( p 1 1 p 2 ) 1 = 1 1 + 1 2 2 + 1 3 2 + = 1 ζ ( 2 ) = 6 π 2 61 % . {\displaystyle {\begin{aligned}\prod _{p}^{\infty }\left(1-{\frac {1}{p^{2}}}\right)&=\left(\prod _{p}^{\infty }{\frac {1}{1-p^{-2}}}\right)^{-1}\\[4pt]&={\frac {1}{1+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+\cdots }}\\[4pt]&={\frac {1}{\zeta (2)}}={\frac {6}{\pi ^{2}}}\approx 61\%.\end{aligned}}}

Esta probabilidad se puede utilizar junto con un generador de números aleatorios para aproximar π utilizando un enfoque de Monte Carlo. [186]

La solución del problema de Basilea implica que la cantidad derivada geométricamente π está conectada de manera profunda con la distribución de 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, es la 3-variedad hiperbólica SL 2 ( R ) / SL 2 ( Z ) . [187]

La función zeta también satisface la ecuación funcional de Riemann, que involucra π así como la función gamma: ζ ( s ) = 2 s π s 1   sin ( π s 2 )   Γ ( 1 s )   ζ ( 1 s ) . {\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 π se puede obtener a partir del determinante funcional del oscilador armónico . Este determinante funcional se puede calcular mediante una expansión del producto y es equivalente a la fórmula del producto de Wallis. [188] El cálculo se puede reformular en mecánica cuántica , específicamente el enfoque variacional del espectro del átomo de hidrógeno . [189]

Serie 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 intensivo de esta maquinaria. [190]

La constante π también aparece de forma natural en las series de Fourier de funciones periódicas . Las funciones periódicas son funciones del grupo T = R / Z de partes fraccionarias de números reales. La descomposición de Fourier muestra que una función de valor complejo f en T puede escribirse como una superposición lineal infinita de caracteres unitarios de T. Es decir, homomorfismos de grupo continuos desde T hasta el grupo circular U (1) de números complejos de módulo unitario. Es un teorema que cada carácter de T es uno de los exponenciales complejos . e n ( x ) = e 2 π i n x {\displaystyle e_{n}(x)=e^{2\pi inx}}

Existe un carácter único en T , hasta la conjugación compleja, que es un isomorfismo de grupo. Utilizando la medida de Haar en el grupo del círculo, la constante π es la mitad de la magnitud de la derivada de Radon–Nikodym de este carácter. Los otros caracteres tienen derivadas cuyas magnitudes son múltiplos enteros positivos de 2 π . [20] Como resultado, la constante π es el único número tal que el grupo T , equipado con su medida de Haar, es dual de Pontrjagin para la red de múltiplos enteros de 2 π . [191] Esta es una versión de la fórmula de suma de Poisson unidimensional .

Formas modulares y funciones theta

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

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

Las formas modulares son funciones holomorfas en el semiplano superior que se caracterizan por sus propiedades de transformación bajo el grupo modular (o sus diversos subgrupos), una red en el grupo . Un ejemplo es la función theta de Jacobi , que es un tipo de forma modular llamada forma de Jacobi . [192] Esto a veces se escribe en términos del nomo . S L 2 ( Z ) {\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )} S L 2 ( R ) {\displaystyle \mathrm {SL} _{2}(\mathbb {R} )} θ ( z , τ ) = n = e 2 π i n z + i π n 2 τ {\displaystyle \theta (z,\tau )=\sum _{n=-\infty }^{\infty }e^{2\pi inz+i\pi n^{2}\tau }} q = e π i τ {\displaystyle q=e^{\pi i\tau }}

La constante π es la única constante que hace que la función theta de Jacobi sea una forma automórfica , lo que significa que se transforma de una manera específica. Ciertas identidades se cumplen para todas las formas automórficas. Un ejemplo es que implica que θ se transforma como una representación bajo el grupo discreto de Heisenberg . Las formas modulares generales y otras funciones theta también involucran a π , una vez más debido al teorema de Stone–von Neumann . [192] θ ( z + τ , τ ) = e π i τ 2 π i z θ ( z , τ ) , {\displaystyle \theta (z+\tau ,\tau )=e^{-\pi i\tau -2\pi iz}\theta (z,\tau ),}

Teoría de la distribución y del potencial de Cauchy

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

La distribución de Cauchy es una función de densidad de probabilidad . La probabilidad total es igual a uno, debido a la integral: g ( x ) = 1 π 1 x 2 + 1 {\displaystyle g(x)={\frac {1}{\pi }}\cdot {\frac {1}{x^{2}+1}}} 1 x 2 + 1 d x = π . {\displaystyle \int _{-\infty }^{\infty }{\frac {1}{x^{2}+1}}\,dx=\pi .}

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

La distribución de Cauchy juega un papel importante en la teoría del potencial porque es la medida de Furstenberg más simple , el núcleo de Poisson clásico asociado con un movimiento browniano en un semiplano. [193] Las funciones armónicas conjugadas y, por lo tanto, también la transformada de Hilbert están asociadas con las asintóticas del núcleo de Poisson. La transformada de Hilbert H es la transformada integral dada por el valor principal de Cauchy de la integral singular H f ( t ) = 1 π f ( x ) d x x t . {\displaystyle Hf(t)={\frac {1}{\pi }}\int _{-\infty }^{\infty }{\frac {f(x)\,dx}{x-t}}.}

La constante π es el único factor normalizador (positivo) tal que H define una estructura compleja lineal en el espacio de Hilbert de funciones de valores reales integrables al cuadrado en la línea real. [194] La transformada de Hilbert, como la transformada de Fourier, se puede caracterizar puramente en términos de sus propiedades de transformación en el espacio de Hilbert L 2 ( R ) : hasta un factor de normalización, es el único operador lineal acotado que conmuta con dilataciones positivas y anticonmuta con todas las reflexiones de la línea real. [195] La constante π es el único factor normalizador que hace que esta transformación sea unitaria.

En el conjunto de Mandelbrot

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

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

Geometría proyectiva

Sea V el conjunto de todas las funciones reales dos veces diferenciables que satisfacen la ecuación diferencial ordinaria . Entonces V es un espacio vectorial real bidimensional , con dos parámetros correspondientes a un par de condiciones iniciales para la ecuación diferencial. Para cualquier , sea la función de evaluación, que asocia a cada una el valor de la función f en el punto real t . Entonces, para cada t , el núcleo de es un subespacio lineal unidimensional de V . Por lo tanto define una función desde la línea real hasta la línea proyectiva real . Esta función es periódica, y la cantidad π puede caracterizarse como el período de esta función. [198] Esto es notable porque la constante π , en lugar de 2 π , aparece naturalmente en este contexto. f : R R {\displaystyle f:\mathbb {R} \to \mathbb {R} } f ( x ) + f ( x ) = 0 {\displaystyle f''(x)+f(x)=0} t R {\displaystyle t\in \mathbb {R} } e t : V R {\displaystyle e_{t}:V\to \mathbb {R} } f V {\displaystyle f\in V} e t ( f ) = f ( t ) {\displaystyle e_{t}(f)=f(t)} e t {\displaystyle e_{t}} t ker e t {\displaystyle t\mapsto \ker e_{t}} R P ( V ) {\displaystyle \mathbb {R} \to \mathbb {P} (V)}

Matemáticas fuera de la ley

Describir fenómenos físicos

Aunque no es una constante física , π aparece rutinariamente en ecuaciones que describen principios fundamentales del universo, a menudo debido a la relación de π con el círculo y con los sistemas de coordenadas esféricas . Una fórmula simple del campo de la mecánica clásica da el período aproximado T de un péndulo simple de longitud L , que oscila con una pequeña amplitud ( g es la aceleración gravitacional de la Tierra ): [199] T 2 π L g . {\displaystyle T\approx 2\pi {\sqrt {\frac {L}{g}}}.}

Una de las fórmulas clave de la mecánica cuántica es el principio de incertidumbre de Heisenberg , que muestra que la incertidumbre en la medición de la posición (Δ x ) y el momentop ) de una partícula no pueden ser arbitrariamente pequeños al mismo tiempo (donde h es la constante de Planck ): [200] Δ x Δ p h 4 π . {\displaystyle \Delta x\,\Delta p\geq {\frac {h}{4\pi }}.}

El hecho de que π sea aproximadamente igual a 3 influye en la relativamente larga vida útil del ortopositronio . La vida útil inversa al orden más bajo en la constante de estructura fina α es [201] donde m e es la masa del electrón. 1 τ = 2 π 2 9 9 π m e α 6 , {\displaystyle {\frac {1}{\tau }}=2{\frac {\pi ^{2}-9}{9\pi }}m_{\text{e}}\alpha ^{6},}

π está presente en algunas fórmulas de ingeniería estructural, como la fórmula de pandeo derivada por Euler, que proporciona la carga axial máxima F que una columna larga y delgada de longitud L , módulo de elasticidad E y momento de inercia de área I puede soportar sin pandearse: [202] F = π 2 E I L 2 . {\displaystyle F={\frac {\pi ^{2}EI}{L^{2}}}.}

El campo de la dinámica de fluidos contiene π en la ley de Stokes , que aproxima la fuerza de fricción F ejercida sobre objetos pequeños y esféricos de radio R , que se mueven con velocidad v en un fluido con viscosidad dinámica η : [203] F = 6 π η R v . {\displaystyle F=6\pi \eta Rv.}

En electromagnetismo, la constante de permeabilidad al vacío μ 0 aparece en las ecuaciones de Maxwell , que describen las propiedades de los campos eléctricos y magnéticos y de la radiación electromagnética . Antes del 20 de mayo de 2019, se definía exactamente como μ 0 = 4 π × 10 7  H/m 1.2566370614 × 10 6  N/A 2 . {\displaystyle \mu _{0}=4\pi \times 10^{-7}{\text{ H/m}}\approx 1.2566370614\ldots \times 10^{-6}{\text{ N/A}}^{2}.}

Memorizar dígitos

La pifilología es la práctica de memorizar grandes cantidades de dígitos de π , [204] y los récords mundiales los mantiene el Libro Guinness de los Récords . El récord de memorización de dígitos de π , certificado por el Libro Guinness de los Récords, es de 70.000 dígitos, recitado en la India por Rajveer Meena en 9 horas y 27 minutos el 21 de marzo de 2015. [205] En 2006, Akira Haraguchi , un ingeniero japonés jubilado, afirmó haber recitado 100.000 decimales, pero el Libro Guinness de los Récords no verificó esta afirmación. [206]

Una técnica común es memorizar una historia o un poema en el que las longitudes de las palabras representan los dígitos de π : la primera palabra tiene tres letras, la segunda palabra tiene una, la tercera tiene cuatro, la cuarta tiene una, la quinta tiene cinco, y así sucesivamente. Estas ayudas para la memorización se denominan mnemotecnia . Un ejemplo temprano de una mnemotecnia para pi, ideada originalmente por el científico inglés James Jeans , es "Cómo quiero una bebida, alcohólica por supuesto, después de las pesadas conferencias que involucran mecánica cuántica". [204] Cuando se usa un poema, a veces se lo denomina piem . [207] Se han compuesto poemas para memorizar π en varios idiomas además del inglés. [204] Los memorizadores de π que baten récords generalmente no se basan en poemas, sino que usan métodos como recordar patrones numéricos y el método de loci . [208]

Algunos autores han utilizado los dígitos de π para establecer una nueva forma de escritura restringida , donde se requiere que las longitudes de las palabras representen los dígitos de π . La Cadenza Cadaéica contiene los primeros 3835 dígitos de π de esta manera, [209] y el libro completo Not a Wake contiene 10.000 palabras, cada una representando un dígito de π . [210]

Pi Pie en la Universidad de Delft
Un pastel de pi. Muchos pasteles son circulares, y "pie" y π son homófonos , lo que hace que el nombre de "pie" sea un tema frecuente de juegos de palabras con pi .

Quizás debido a la simplicidad de su definición y su presencia omnipresente en las fórmulas, π ha sido representado en la cultura popular más que otras construcciones matemáticas. [211]

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

En la novela de Carl Sagan de 1985, Contacto , se sugiere que el creador del universo enterró un mensaje en lo profundo de los dígitos de π . Esta parte de la historia fue omitida en la adaptación cinematográfica de la novela. [213] [214] Los dígitos de π también se han incorporado a la letra de la canción "Pi" del álbum Aerial de 2005 de Kate Bush . [215] En el episodio de Star Trek de 1967 " Wolf in the Fold ", una computadora fuera de control es contenida al recibir instrucciones de "Calcular hasta el último dígito el valor de π ". [47]

En los Estados Unidos, el Día de Pi cae el 14 de marzo (escrito 3/14 en el estilo estadounidense), y es popular entre los estudiantes. [47] π y su representación digital son utilizados a menudo por los autodenominados " geeks de las matemáticas " para bromas internas entre grupos de mentalidad matemática y tecnológica. Una ovación universitaria atribuida de diversas formas al Instituto Tecnológico de Massachusetts o al Instituto Politécnico Rensselaer incluye "3.14159". [216] [217] El Día de Pi en 2015 fue particularmente significativo porque la fecha y la hora 3/14/15 9:26:53 reflejaban muchos más dígitos de Pi. [218] [219] En partes del mundo donde las fechas se indican comúnmente en formato día/mes/año, el 22 de julio representa el "Día de aproximación de Pi", ya que 22/7 = 3.142857. [220]

Algunos han propuesto reemplazar π por τ = 2 π , [221] argumentando que τ , como el número de radianes en una vuelta o la relación entre la circunferencia de un círculo y su radio, es más natural que π y simplifica muchas fórmulas. [222] [223] Este uso de τ no ha llegado a las matemáticas convencionales, [224] pero desde 2010 ha llevado a la gente a celebrar el Día de Dos Pi o el Día de Tau el 28 de junio. [225]

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

En la cultura informática

En la cultura contemporánea de Internet , las personas y las organizaciones rinden homenaje con frecuencia al número π . Por ejemplo, el científico informático Donald Knuth dejó que los números de versión de su programa TeX se acercaran a π . Las versiones son 3, 3.1, 3.14, etc. [227]

Muchos lenguajes de programación incluyen π para su uso en programas. De manera similar, τ se ha agregado a varios lenguajes de programación como una constante predefinida. [228] [229]

Véase también

Referencias

Notas explicativas

  1. ^ En particular, se conjetura que π es un número normal , lo que implica un tipo específico de aleatoriedad estadística en sus dígitos en todas las bases.
  2. ^ La integral específica que utilizó Weierstrass fue [13] π = d x 1 + x 2 . {\displaystyle \pi =\int _{-\infty }^{\infty }{\frac {dx}{1+x^{2}}}.}
  3. ^ El polinomio que se muestra son los primeros términos de la expansión de la serie de Taylor de la función seno .

Citas

  1. ^ Andrews, Askey y Roy 1999, pág. 59.
  2. ^ Gupta, RC (1992). "Sobre el término restante en la serie de Madhava-Leibniz". Ganita Bharati . 14 (1–4): 68–71.
  3. ^ abc Jones, William (1706). Sinopsis Palmariorum Matheseos. Londres: J. Wale. pp. 243, 263. p. 263: Hay otras varias maneras de hallar las longitudes o áreas de líneas curvas o planos particulares , que pueden facilitar mucho la práctica; como por ejemplo, en el círculo , el diámetro es a la circunferencia como 1 a 3,14159, etc. = π . Esta serie (entre otras para el mismo propósito y extraídas del mismo principio) la recibí del excelente analista y mi muy estimado amigo el Sr. John Machin ; y por medio de ella, el número de Van Ceulen , o el del Art. 64.38. puede examinarse con toda la facilidad y rapidez deseables.
    16 5 4 239 ¯ 1 3 16 5 3 4 239 3 ¯ + 1 5 16 5 5 4 239 5 ¯ , & 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.=}

    Reimpreso en Smith, David Eugene (1929). "William Jones: El primer uso de π para la razón del círculo". Un libro de consulta sobre matemáticas . McGraw-Hill. págs. 346-347.

  4. ^ "πe billón de dígitos de π". pi2e.ch . Archivado desde el original el 6 de diciembre de 2016.
  5. ^ Haruka Iwao, Emma (14 de marzo de 2019). «Pi en el cielo: cálculo de un número récord de 31,4 billones de dígitos de la constante de Arquímedes en Google Cloud». Google Cloud Platform . Archivado desde el original el 19 de octubre de 2019. Consultado el 12 de abril de 2019 .
  6. ^ Arndt y Haenel 2006, pág. 17.
  7. ^ Bailey, David H.; Plouffe, Simon M.; Borwein, Peter B.; Borwein, Jonathan M. (1997). "La búsqueda de PI". The Mathematical Intelligencer . 19 (1): 50–56. CiteSeerX 10.1.1.138.7085 . doi :10.1007/BF03024340. ISSN  0343-6993. S2CID  14318695. 
  8. ^ ab Oughtred, William (1652). Theorematum in libris Archimedis de sphaera et cylindro declarario (en latín). Excudebat L. Lichfield, Veneunt apud T. Robinson. δ . π  :: semidiámetro. semiperiferia
  9. ^ "pi". Dictionary.reference.com. 2 de marzo de 1993. Archivado desde el original el 28 de julio de 2014 . Consultado el 18 de junio de 2012 .
  10. ^ abc Arndt & Haenel 2006, pág. 8.
  11. ^ Apostol, Tom (1967). Cálculo . Vol. 1 (2.ª ed.). Wiley. pág. 102. Desde un punto de vista lógico, esto no es satisfactorio en la etapa actual porque aún no hemos discutido el concepto de longitud de arco.
  12. ^ abc Remmert 2012, pág. 129.
  13. ^ Remmert 2012, pág. 148.
    Weierstrass, Karl (1841). "Darstellung einer analytischen Function einer complexen Veränderlichen, deren absolutista 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–66.
  14. ^ 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.
  15. ^ Landau, Edmundo (1934). Einführung in die Differentialrechnung und Integralrechnung (en alemán). Noordoff. pag. 193.
  16. ^ de Rudin, Walter (1976). Principios del análisis matemático . McGraw-Hill. pág. 183. ISBN 978-0-07-054235-8.
  17. ^ Rudin, Walter (1986). Análisis real y complejo . McGraw-Hill. pág. 2.
  18. ^ Ahlfors, Lars (1966). Análisis complejo . McGraw-Hill. pág. 46.
  19. ^ Bourbaki, Nicolás (1981). Topología general . Saltador. §VIII.2.
  20. ^ ab Bourbaki, Nicolas (1979). Fonctions d'une variable réelle (en francés). Saltador. §II.3.
  21. ^ ab Arndt y Haenel 2006, pág. 5.
  22. ^ Salikhov, V. (2008). "Sobre la medida de irracionalidad de pi". Encuestas matemáticas rusas . 53 (3): 570–572. Código Bibliográfico :2008RuMaS..63..570S. doi :10.1070/RM2008v063n03ABEH004543. ISSN  0036-0279. S2CID  250798202.
  23. ^ Arndt y Haenel 2006, págs. 22-23.
  24. ^ Arndt y Haenel 2006, págs. 22, 28–30.
  25. ^ Arndt y Haenel 2006, pág. 3.
  26. ^ Arndt y Haenel 2006, pág. 6.
  27. ^ Posamentier y Lehmann 2004, pag. 25
  28. ^ Eymard y Lafon 2004, pág. 129
  29. ^ Beckmann, Peter (1989) [1974]. Historia de Pi . St. Martin's Press. pág. 37. ISBN 978-0-88029-418-8.
  30. ^ Schlager, Neil; Lauer, Josh (2001). La ciencia y su época: comprensión del significado social del descubrimiento científico . Gale Group. ISBN 978-0-7876-3933-4Archivado desde el original el 13 de diciembre de 2019 . Consultado el 19 de diciembre de 2019 ., pág. 185.
  31. ^ ab Eymard y Lafon 2004, pág. 78
  32. ^ Arndt y Haenel 2006, pág. 33.
  33. ^ ab Mollin, RA (1999). "Gemas de fracción continua". Nieuw Archief voor Wiskunde . 17 (3): 383–405. SEÑOR  1743850.
  34. ^ Lange, LJ (mayo de 1999). "Una elegante fracción continua para π ". The American Mathematical Monthly . 106 (5): 456–458. doi :10.2307/2589152. JSTOR  2589152.
  35. ^ Arndt y Haenel 2006, pág. 240.
  36. ^ Arndt y Haenel 2006, pág. 242.
  37. ^ Kennedy, ES (1978). "Abu-r-Raihan al-Biruni, 973–1048". Revista de Historia de la Astronomía . 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 (1964). Episodes from the Early History of Mathematics. New Mathematical Library. Vol. 13. Nueva York: Random House. p. 125. ISBN. 978-0-88385-613-0Archivado desde el original el 29 de noviembre de 2016.
  38. ^ Abramson 2014, Sección 8.5: Forma polar de números complejos.
  39. ^ ab Bronshteĭn y Semendiaev 1971, p. 592
  40. ^ Maor, Eli (2009). E: La historia de un número . Princeton University Press. pág. 160. ISBN 978-0-691-14134-3.
  41. ^ Andrews, Askey y Roy 1999, pág. 14.
  42. ^ ab Arndt y Haenel 2006, pág. 167.
  43. ^ Herz-Fischler, Roger (2000). La forma de la Gran Pirámide. Wilfrid Laurier University Press. pp. 67–77, 165–166. ISBN 978-0-88920-324-2Archivado desde el original el 29 de noviembre de 2016 . Consultado el 5 de junio de 2013 .
  44. ^ Plofker, Kim (2009). Matemáticas en la India . Princeton University Press. pág. 27. ISBN 978-0691120676.
  45. ^ Arndt y Haenel 2006, pág. 170.
  46. ^ Arndt y Haenel 2006, págs. 175, 205.
  47. ^ abc Borwein, Jonathan M. (2014). "La vida de π : desde Arquímedes hasta ENIAC y más allá". En Sidoli, Nathan; Van Brummelen, Glen (eds.). Desde Alejandría, pasando por Bagdad: encuestas y estudios en las ciencias matemáticas de la antigua Grecia y la Edad Media islámica en honor a JL Berggren . Heidelberg: Springer. págs. 531–561. doi :10.1007/978-3-642-36736-6_24. ISBN . 978-3-642-36735-9.Señor 3203895  .
  48. ^ Arndt y Haenel 2006, pág. 171.
  49. ^ Arndt y Haenel 2006, pág. 176.
  50. ^ Boyer y Merzbach 1991, pág. 168.
  51. ^ Arndt & Haenel 2006, págs. 15–16, 175, 184–186, 205. Grienberger logró 39 dígitos en 1630; Sharp, 71 dígitos en 1699.
  52. ^ Arndt y Haenel 2006, págs. 176-177.
  53. ^ Véase Boyer y Merzbach 1991, pág. 202
  54. ^ Arndt y Haenel 2006, pág. 177.
  55. ^ Arndt y Haenel 2006, pág. 178.
  56. ^ Arndt y Haenel 2006, pág. 179.
  57. ^ ab Arndt y Haenel 2006, pág. 180.
  58. ^ Azarian, Mohammad K. (2010). "al-Risāla al-muhītīyya: Un resumen". Revista de Ciencias Matemáticas de Missouri . 22 (2): 64–85. doi : 10.35834/mjms/1312233136 .
  59. ^ O'Connor, John J.; Robertson, Edmund F. (1999). "Ghiyath al-Din Jamshid Mas'ud al-Kashi". Archivo de Historia de las Matemáticas de MacTutor . Archivado desde el original el 12 de abril de 2011. Consultado el 11 de agosto de 2012 .
  60. ^ abc Arndt & Haenel 2006, pág. 182.
  61. ^ Arndt y Haenel 2006, págs. 182-183.
  62. ^ Arndt y Haenel 2006, pág. 183.
  63. Grienbergerus, Christophorus (1630). Elementa Trigonometrica (PDF) (en latín). Archivado desde el original (PDF) el 1 de febrero de 2014.Su evaluación fue 3,14159 26535 89793 23846 26433 83279 50288 4196 < π < 3,14159 26535 89793 23846 26433 83279 50288 4199.
  64. ^ Brezinski, C. (2009). "Algunos pioneros de los métodos de extrapolación". En Bultheel, Adhemar ; Cools, Ronald (eds.). El nacimiento del análisis numérico. World Scientific. págs. 1–22. doi :10.1142/9789812836267_0001. ISBN 978-981-283-625-0.
  65. ^ Yoder, Joella G. (1996). "Siguiendo los pasos de la geometría: el mundo matemático de Christiaan Huygens". De Zeventiende Eeuw . 12 : 83–93 - vía Biblioteca digital de literatura holandesa .
  66. ^ Arndt y Haenel 2006, págs. 185-191
  67. ^ abcd Roy, Ranjan (1990). «El descubrimiento de la fórmula de la serie para π por Leibniz, Gregory y Nilakantha» (PDF) . Revista de Matemáticas . 63 (5): 291–306. doi :10.1080/0025570X.1990.11977541. Archivado desde el original (PDF) el 14 de marzo de 2023. Consultado el 21 de febrero de 2023 .
  68. ^ Arndt y Haenel 2006, págs. 185-186.
  69. ^ Joseph, George Gheverghese (1991). La cresta del pavo real: raíces no europeas de las matemáticas. Princeton University Press. pág. 264. ISBN 978-0-691-13526-7.
  70. ^ ab Arndt y Haenel 2006, pág. 187.
  71. ^ OEIS : A060294
  72. ^ Vieta, Francisco (1593). Variorum de rebus mathematicis responsorum. vol. VIII.
  73. ^ ab Arndt & Haenel 2006, p. 188. Newton citado por Arndt.
  74. ^ Horvath, Miklos (1983). «Sobre la cuadratura leibniziana del círculo» (PDF) . Annales Universitatis Scientiarum Budapestiensis (Sectio Computatorica) . 4 : 75–83.
  75. ^ ab Eymard y Lafon 2004, págs. 53–54
  76. ^ Cooker, MJ (2011). «Fórmulas rápidas para series alternas lentamente convergentes» (PDF) . Mathematical Gazette . 95 (533): 218–226. doi :10.1017/S0025557200002928. S2CID  123392772. Archivado desde el original (PDF) el 4 de mayo de 2019. Consultado el 23 de febrero de 2023 .
  77. ^ Arndt y Haenel 2006, pág. 189.
  78. ^ Tweddle, Ian (1991). "John Machin y Robert Simson sobre series tangentes inversas para π ". Archivo de Historia de las Ciencias Exactas . 42 (1): 1–14. doi :10.1007/BF00384331. JSTOR  41133896. S2CID  121087222.
  79. ^ Arndt y Haenel 2006, págs. 192-193.
  80. ^ de Arndt & Haenel 2006, págs. 72-74
  81. ^ Lehmer, DH (1938). "On Arccotangent Relations for π" (PDF) . American Mathematical Monthly . 45 (10): 657–664 Publicado por: Mathematical Association of America. doi :10.1080/00029890.1938.11990873. JSTOR  2302434. Archivado desde el original (PDF) el 7 de marzo de 2023 . Consultado el 21 de febrero de 2023 .
  82. ^ Roy, Ranjan (2021) [1.ª ed. 2011]. Series y productos en el desarrollo de las matemáticas . Vol. 1 (2.ª ed.). Cambridge University Press. págs. 215-216, 219-220.

    Newton, Isaac (1971). Whiteside, Derek Thomas (ed.). Los documentos matemáticos de Isaac Newton . Vol. 4, 1674–1684. Cambridge University Press. págs. 526–653.

  83. ^ Sandifer, Ed (2009). "Estimación de π" (PDF) . Cómo lo hizo Euler .Reimpreso en How Euler Did Even More . Asociación Matemática de Estados Unidos. 2014. págs. 109–118.

    Euler, Leonhard (1755). "§2.2.30". Institutiones Calculi Differentialis (en latín). Academiae Imperialis Scientiarium Petropolitanae. pag. 318. E 212.

    Euler, Leonhard (1798) [escrito en 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.

    Chien-Lih, Hwang (2004). "88.38 Algunas observaciones sobre el método de arcotangentes para el cálculo de π ". Mathematical Gazette . 88 (512): 270–278. doi :10.1017/S0025557200175060. S2CID  123532808.

    Chien-Lih, Hwang (2005). "89.67 Una derivación elemental de la serie de Euler para la función arcotangente". Mathematical Gazette . 89 (516): 469–470. doi :10.1017/S0025557200178404. S2CID  123395287.

  84. ^ Arndt y Haenel 2006, págs. 192-196, 205.
  85. ^ Arndt y Haenel 2006, págs. 194-196
  86. ^ Hayes, Brian (septiembre de 2014). "Lápiz, papel y Pi". American Scientist . Vol. 102, núm. 5. pág. 342. doi :10.1511/2014.110.342 . Consultado el 22 de enero de 2022 .
  87. ^ ab Borwein, JM; Borwein, PB (1988). "Ramanujan y Pi". Scientific American . 256 (2): 112–117. Código Bibliográfico :1988SciAm.258b.112B. doi :10.1038/scientificamerican0288-112.
    Arndt & Haenel 2006, págs. 15–17, 70–72, 104, 156, 192–197, 201–202
  88. ^ Arndt y Haenel 2006, págs. 69–72.
  89. ^ Borwein, JM; Borwein, PB; Dilcher, K. (1989). "Pi, números de Euler y expansiones asintóticas". American Mathematical Monthly . 96 (8): 681–687. doi :10.2307/2324715. hdl : 1959.13/1043679 . JSTOR  2324715.
  90. ^ Arndt y Haenel 2006, Fórmula 16.10, p. 223.
  91. ^ Wells, David (1997). Diccionario Penguin de números curiosos e interesantes (edición revisada). Penguin. pág. 35. ISBN 978-0-14-026149-3.
  92. ^ ab Posamentier y Lehmann 2004, pág. 284
  93. ^ Lambert, Johann, "Mémoire sur quelques propriétés remarquables des quantités trascendentantes circulaires et logarithmiques", reimpreso en Berggren, Borwein & Borwein 1997, págs. 129-140
  94. ^ Lindemann, F. (1882). "Über die Ludolph'sche Zahl". Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin . 2 : 679–682.
  95. ^ Arndt y Haenel 2006, pág. 196.
  96. ^ Hardy y Wright 1938 y 2000: 177 La nota al pie § 11.13–14 hace referencia a la prueba de Lindemann que aparece en Math. Ann . 20 (1882), 213–225.
  97. ^ cf Hardy y Wright 1938 y 2000:177, nota al pie § 11.13–14. Las pruebas de que e y π son trascendentales se pueden encontrar en las páginas 170–176. Citan dos fuentes de las pruebas en Landau 1927 o Perron 1910; véase la "Lista de libros" en las páginas 417–419 para las citas completas.
  98. ^ ab Cajori, Florian (2007). Una historia de las notaciones matemáticas: vol. II. Cosimo, Inc., págs. 8-13. ISBN 978-1-60206-714-1. la relación entre la longitud de un círculo y su diámetro se representaba en forma fraccionaria mediante el uso de dos letras... JA Segner... en 1767, representó 3,14159... por δ : π , como lo hizo Oughtred más de un siglo antes
  99. ^ Schepler, HC (1950) "La cronología de Pi" Mathematics Magazine . 23 .
    Parte 1. Ene/Feb. (3): 165–170. doi :10.2307/3029284.
    Parte 2. Mar/Abr. (4): 216-228. doi :10.2307/3029832.
    Parte 3. May/Jun. (5): 279-283. doi :10.2307/3029000.

    Véase p. 220: William Oughtred utilizó la letra π para representar la periferia (es decir, la circunferencia) de un círculo.
  100. ^ ab Smith, David E. (1958). Historia de las matemáticas. Courier Corporation. pág. 312. ISBN 978-0-486-20430-7.
  101. ^ Archibald, RC (1921). "Notas históricas sobre la relación e −( π /2) = i i ". The American Mathematical Monthly . 28 (3): 116–121. doi :10.2307/2972388. JSTOR  2972388. Es notable que estas letras nunca se usan por separado, es decir, π no se usa para 'Semiperiferia'
  102. ^ abcd Arndt y Haenel 2006, pág. 166.
  103. ^ Véase, por ejemplo, Oughtred, William (1648). Clavis Mathematicæ [ La clave de las matemáticas ] (en latín). Londres: Thomas Harper. p. 69.(Traducción al español: Oughtred, William (1694). Clave de las matemáticas. J. Salusbury.)
  104. ^ Barrow, Isaac (1860). "Lecture XXIV". En Whewell, William (ed.). The mathematics works of Isaac Barrow (en latín). Universidad de Harvard. Prensa de la Universidad de Cambridge. pág. 381.
  105. ^ Gregorio, David (1695). "Ad Reverendum Virum D. Henricum Aldrich STT Decanum Aedis Christi Oxoniae" (PDF) . Transacciones filosóficas (en latín). 19 (231): 637–652. Código Bib : 1695RSPT...19..637G. doi : 10.1098/rstl.1695.0114 . JSTOR  102382.
  106. ^ Arndt & Haenel 2006, p. 165: Un facsímil del texto de Jones está en Berggren, Borwein & Borwein 1997, pp. 108-109.
  107. ^ Segner, Joannes Andreas (1756). Cursus Mathematicus (en latín). Halae Magdeburgicae. pag. 282. Archivado desde el original el 15 de octubre de 2017 . Consultado el 15 de octubre de 2017 .
  108. ^ Euler, Leonhard (1727). "Tentamen explicationis phaenomenorum aeris" (PDF) . Commentarii Academiae Scientiarum Imperialis Petropolitana (en latín). 2 : 351. E007. Archivado (PDF) desde el original el 1 de abril de 2016 . Consultado el 15 de octubre de 2017 . Sumatur pro ratione radios ad peripheriem, I : πTraducción al español por Ian Bruce Archivado el 10 de junio de 2016 en Wayback Machine : " π se toma como la relación entre el radio y la periferia [nótese que en este trabajo, el π de Euler es el doble de nuestro π .]"
  109. ^ Euler, Leonhard (1747). Enrique, Carlos (ed.). Lettres inédites d'Euler à d'Alembert. Bullettino di Bibliografia e di Storia delle Scienze Matematiche e Fisiche (en francés). vol. 19 (publicado en 1886). pag. 139. E858. Coche, así que π la circonference d'un círculo, dout le rayon est = 1Traducción al inglés en Cajori, Florian (1913). "Historia de los conceptos exponencial y logarítmico". The American Mathematical Monthly . 20 (3): 75–84. doi :10.2307/2973441. JSTOR  2973441. Sea π la circunferencia (!) de un círculo de radio unitario
  110. ^ Euler, Leonhard (1736). "Cap. 3 Proposición 34 Cor. 1". Mechanica sive motus scientia analytice exposita. (cum tabulis) (en latín). vol. 1. Academiae scientiarum Petrópolis. pag. 113. E015. Denota 1: π rationem diametri ad peripheriamTraducción al español por Ian Bruce Archivado el 10 de junio de 2016 en Wayback Machine  : "Sea 1: π la relación entre el diámetro y la circunferencia"
  111. ^ Euler, Leonhard (1922). Leonhardi Euleri ópera omnia. 1, Ópera matemática. Volumen VIII, Leonhardi Euleri introductio in analysin infinitorum. Tomus primus / ediderunt Adolf Krazer et Ferdinand Rudio (en latín). Lipsae: BG Teubneri. págs. 133-134. E101. Archivado desde el original el 16 de octubre de 2017 . Consultado el 15 de octubre de 2017 .
  112. ^ Segner, Johann Andreas von (1761). Cursus Mathematicus: Elementorum Analyseos Infinitorum Elementorum Analyseos Infinitorvm (en latín). Renger. pag. 374. Si autem π ​​notet peripheriam circuli, cuius diámetro eſt 2
  113. ^ Arndt y Haenel 2006, pág. 205.
  114. ^ ab Arndt y Haenel 2006, pág. 197.
  115. ^ Reitwiesner, George (1950). "Una determinación ENIAC de pi y e hasta 2000 decimales". Tablas matemáticas y otras ayudas para el cálculo . 4 (29): 11–15. doi :10.2307/2002695. JSTOR  2002695.
  116. ^ Nicholson, JC; Jeenel, J. (1955). "Algunos comentarios sobre un cálculo NORC de π". Math. Tabl. Aids. Comp . 9 (52): 162–164. doi :10.2307/2002052. JSTOR  2002052.
  117. ^ Arndt y Haenel 2006, págs. 15-17.
  118. ^ Arndt y Haenel 2006, pág. 131.
  119. ^ Arndt y Haenel 2006, págs. 132, 140.
  120. ^ ab Arndt y Haenel 2006, pág. 87.
  121. ^ Arndt & Haenel 2006, pp. 111 (5 veces), pp. 113–114 (4 veces). Para obtener detalles sobre los algoritmos, consulte 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.
  122. ^ abc Bailey, David H. (16 de mayo de 2003). "Algunos antecedentes sobre el cálculo reciente de Pi en Canadá" (PDF) . Archivado (PDF) desde el original el 15 de abril de 2012. Consultado el 12 de abril de 2012 .
  123. ^ Arndt y Haenel 2006, págs. 17-19
  124. ^ Schudel, Matt (25 de marzo de 2009). "John W. Wrench, Jr.: El matemático tenía gusto por Pi". The Washington Post . p. B5.
  125. ^ Connor, Steve (8 de enero de 2010). "La gran pregunta: ¿cuán cerca hemos llegado de conocer el valor preciso de pi?". The Independent . Londres. Archivado desde el original el 2 de abril de 2012. Consultado el 14 de abril de 2012 .
  126. ^ Arndt y Haenel 2006, pág. 18.
  127. ^ Arndt y Haenel 2006, págs. 103-104
  128. ^ Arndt y Haenel 2006, pág. 104
  129. ^ Arndt y Haenel 2006, págs. 104, 206
  130. ^ Arndt y Haenel 2006, págs. 110-111
  131. ^ Eymard y Lafon 2004, pág. 254
  132. ^ ab Bailey, David H. ; Borwein, Jonathan M. (2016). "15.2 Registros computacionales". Pi: La próxima generación, un libro de consulta sobre la historia reciente de Pi y su computación . Springer International Publishing. pág. 469. doi :10.1007/978-3-319-32377-0. ISBN 978-3-319-32375-6.
  133. ^ Cassel, David (11 de junio de 2022). "Cómo Emma Haruka Iwao de Google ayudó a establecer un nuevo récord para Pi". The New Stack .
  134. ^ PSLQ significa suma parcial de mínimos cuadrados.
  135. ^ Plouffe, Simon (abril de 2006). «Identidades inspiradas en los Cuadernos de Ramanujan (parte 2)» (PDF) . Archivado (PDF) desde el original el 14 de enero de 2012. Consultado el 10 de abril de 2009 .
  136. ^ Arndt y Haenel 2006, pág. 39
  137. ^ Ramaley, JF (octubre de 1969). "El problema de los fideos de Buffon". The American Mathematical Monthly . 76 (8): 916–918. doi :10.2307/2317945. JSTOR  2317945.
  138. ^ Arndt y Haenel 2006, págs. 39–40
    Posamentier y Lehmann 2004, pág. 105
  139. ^ Grünbaum, B. (1960). "Constantes de proyección". Transacciones de la American Mathematical Society . 95 (3): 451–465. doi : 10.1090/s0002-9947-1960-0114110-9 .
  140. ^ Arndt y Haenel 2006, págs. 43
    Posamentier y Lehmann 2004, págs. 105-108
  141. ^ desde Arndt & Haenel 2006, págs. 77–84.
  142. ^ ab Gibbons, Jeremy (2006). "Algoritmos de espiga no acotados para los dígitos de pi" (PDF) . The American Mathematical Monthly . 113 (4): 318–328. doi :10.2307/27641917. JSTOR  27641917. MR  2211758.
  143. ^ ab Arndt y Haenel 2006, pág. 77.
  144. ^ Rabinowitz, Stanley; Wagon, Stan (marzo de 1995). "Un algoritmo de espiga para los dígitos de Pi". American Mathematical Monthly . 102 (3): 195–203. doi :10.2307/2975006. JSTOR  2975006.
  145. ^ desde Arndt & Haenel 2006, págs. 117, 126–128.
  146. ^ Bailey, David H. ; Borwein, Peter B. ; Plouffe, Simon (abril de 1997). "Sobre el cálculo rápido de varias constantes polilogarítmicas" (PDF) . Matemáticas de la computación . 66 (218): 903–913. Código Bibliográfico :1997MaCom..66..903B. CiteSeerX 10.1.1.55.3762 . doi :10.1090/S0025-5718-97-00856-9. S2CID  6109631. Archivado (PDF) desde el original el 22 de julio de 2012. 
  147. ^ Arndt & Haenel 2006, p. 20
    Fórmula de Bellard en: Bellard, Fabrice . "Una nueva fórmula para calcular el enésimo dígito binario de pi". Archivado desde el original el 12 de septiembre de 2007 . Consultado el 27 de octubre de 2007 .
  148. ^ Palmer, Jason (16 de septiembre de 2010). «Pi record shared as team finds two-quadrillionth digit» (El récord de Pi se rompió cuando el equipo encontró el dígito dos cuatrillón). BBC News . Archivado desde el original el 17 de marzo de 2011. Consultado el 26 de marzo de 2011 .
  149. ^ Plouffe, Simon (2022). "Una fórmula para el n- ésimo dígito decimal o binario de π y potencias de π ". arXiv : 2201.12601 [math.NT].
  150. ^ Bronshteĭn y Semendiaev 1971, págs.200, 209
  151. ^ Martini, Horst; Montejano, Luis; Oliveros, Déborah (2019). Cuerpos de ancho constante: una introducción a la geometría convexa con aplicaciones . Birkhäuser. doi :10.1007/978-3-030-03868-7. ISBN 978-3-030-03866-3. Sr.  3930585. S2CID  127264210.

    Véase el teorema de Barbier, Corolario 5.1.1, pág. 98; triángulos de Reuleaux, págs. 3, 10; curvas suaves como una curva analítica debida a Rabinowitz, § 5.3.3, págs. 111-112.

  152. ^ Herman, Edwin; Strang, Gilbert (2016). "Sección 5.5, Ejercicio 316". Cálculo . Vol. 1. OpenStax . pág. 594.
  153. ^ Kontsevich, Maxim; Zagier, Don (2001), Engquist, Björn; Schmid, Wilfried (eds.), "Períodos", Mathematics Unlimited — 2001 and Beyond , Berlín, Heidelberg: Springer, págs. 771–808, doi :10.1007/978-3-642-56478-9_39, ISBN 978-3-642-56478-9, consultado el 23 de septiembre de 2024
  154. ^ Abramson 2014, Sección 5.1: Ángulos.
  155. ^ ab Bronshteĭn y Semendiaev 1971, págs. 210-211
  156. ^ Hilbert, David ; Courant, Richard (1966). Métodos de física matemática, volumen 1 . Wiley. págs. 286–290.
  157. ^ Dym y McKean 1972, pág. 47.
  158. ^ Thompson, William (1894). "Problemas isoperimétricos". Nature Series: Conferencias y discursos populares . II : 571–592.
  159. ^ Chavel, Isaac (2001). Desigualdades isoperimétricas . Cambridge University Press.
  160. ^ 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. 
  161. ^ L. Esposito; C. Nitsch; C. Trombetti (2011). "Mejores constantes en desigualdades de Poincaré para dominios convexos". arXiv : 1110.2960 [math.AP].
  162. ^ 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. 
  163. ^ Payne, LE; Weinberger, HF (1960). "Una desigualdad de Poincaré óptima para dominios convexos". Archivo de Mecánica Racional y Análisis . 5 (1): 286–292. Bibcode :1960ArRMA...5..286P. doi :10.1007/BF00252910. ISSN  0003-9527. S2CID  121881343.
  164. ^ Folland, Gerald (1989). Análisis armónico en el espacio de fases . Princeton University Press. pág. 5.
  165. ^ ab 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.
  166. ^ Feller, W. Introducción a la teoría de la probabilidad y sus aplicaciones, vol. 1 , Wiley, 1968, págs. 174-190.
  167. ^ ab Bronshteĭn y Semendiaev 1971, págs. 106-107, 744, 748
  168. ^ Dym y McKean 1972, sección 2.7.
  169. ^ Stein, Elias ; Weiss, Guido (1971). Análisis de Fourier en espacios euclidianos . Princeton University Press. pág. 6.; Teorema 1.13.
  170. ^ Spivak, Michael (1999). Una introducción completa a la geometría diferencial . Vol. 3. Publish or Perish Press.; Capítulo 6.
  171. ^ Kobayashi, Shoshichi; Nomizu, Katsumi (1996). Fundamentos de geometría diferencial . Vol. 2 (Nueva edición). Wiley Interscience . pág. 293.; Capítulo XII Clases características
  172. ^ Ahlfors, Lars (1966). Análisis complejo . McGraw-Hill. pág. 115.
  173. ^ Joglekar, SD (2005). Física matemática . Universities Press. pág. 166. ISBN 978-81-7371-422-1.
  174. ^ Schey, HM (1996). Div, Grad, Curl y todo eso: un texto informal sobre cálculo vectorial . WW Norton. ISBN 0-393-96997-5.
  175. ^ Yeo, Adrian (2006). Los placeres de pi, e y otros números interesantes . World Scientific Pub. p. 21. ISBN 978-981-270-078-0.
  176. ^ Ehlers, Jürgen (2000). Ecuaciones de campo de Einstein y sus implicaciones físicas . Springer. pág. 7. ISBN. 978-3-540-67073-5.
  177. ^ ab Gilbarg, D.; Trudinger, Neil (1983), Ecuaciones diferenciales parciales elípticas de segundo orden , Nueva York: Springer, ISBN 3-540-41160-7
  178. ^ Bronshteĭn y Semendiaev 1971, págs. 191-192
  179. ^ Artin, Emil (1964). La función gamma . Serie Athena; temas selectos de matemáticas (1.ª ed.). Holt, Rinehart y Winston.
  180. ^ Evans, Lawrence (1997). Ecuaciones diferenciales parciales . AMS. pág. 615.
  181. ^ Bronshteĭn y Semendiaev 1971, p. 190
  182. ^ Benjamin Nill; Andreas Paffenholz (2014). "Sobre el caso de igualdad en la conjetura del volumen de Erhart". Avances en geometría . 14 (4): 579–586. arXiv : 1205.1270 . doi :10.1515/advgeom-2014-0001. ISSN  1615-7168. S2CID  119125713.
  183. ^ Arndt y Haenel 2006, págs. 41-43
  184. ^ Este teorema fue demostrado por Ernesto Cesáro en 1881. Para una demostración más rigurosa que la intuitiva e informal que se da aquí, véase Hardy, GH (2008). An Introduction to the Theory of Numbers . Oxford University Press. Teorema 332. ISBN 978-0-19-921986-5.
  185. ^ Ogilvy, CS ; Anderson, JT (1988). Excursiones en la teoría de números . Dover Publications Inc., págs. 29-35. ISBN 0-486-25778-9.
  186. ^ Arndt y Haenel 2006, pág. 43
  187. ^ Platonov, Vladimir; Rapinchuk, Andrei (1994). Grupos algebraicos y teoría de números . Academic Press. págs. 262–265.
  188. ^ Sondow, J. (1994). "Continuación analítica de la función zeta de Riemann y valores en números enteros negativos mediante la transformación de series de Euler". Actas de la American Mathematical Society . 120 (2): 421–424. CiteSeerX 10.1.1.352.5774 . doi :10.1090/s0002-9939-1994-1172954-7. S2CID  122276856. 
  189. ^ T. Friedmann; CR Hagen (2015). "Derivación mecánica cuántica de la fórmula de Wallis para pi". Journal of Mathematical Physics . 56 (11): 112101. arXiv : 1510.07813 . Bibcode :2015JMP....56k2101F. doi :10.1063/1.4930800. S2CID  119315853.
  190. ^ Tate, John T. (1950). "Análisis de Fourier en cuerpos numéricos y funciones zeta de Hecke". En Cassels, JWS; Fröhlich, A. (eds.). Teoría algebraica de números (Proc. Instructional Conf., Brighton, 1965) . Thompson, Washington, DC. pp. 305–347. ISBN 978-0-9502734-2-6.Sr. 0217026  .
  191. ^ Dym y McKean 1972, capítulo 4.
  192. ^ ab Mumford, David (1983). Tata Lectures on Theta I. Boston: Birkhauser. págs. 1–117. ISBN 978-3-7643-3109-2.
  193. ^ Port, Sidney; Stone, Charles (1978). Movimiento browniano y teoría del potencial clásico . Academic Press. pág. 29.
  194. ^ Titchmarsh, E. (1948). Introducción a la teoría de las integrales de Fourier (2.ª ed.). Universidad de Oxford: Clarendon Press (publicado en 1986). ISBN 978-0-8284-0324-5.
  195. ^ Stein, Elias (1970). Integrales singulares y propiedades de diferenciabilidad de funciones . Princeton University Press.;Capítulo II.
  196. ^ ab Klebanoff, Aaron (2001). «Pi en el conjunto de Mandelbrot» (PDF) . Fractals . 9 (4): 393–402. doi :10.1142/S0218348X01000828. Archivado desde el original (PDF) el 27 de octubre de 2011. Consultado el 14 de abril de 2012 .
  197. ^ Peitgen, Heinz-Otto (2004). Caos y fractales: nuevas fronteras de la ciencia . Springer. pp. 801–803. ISBN. 978-0-387-20229-7.
  198. ^ Ovsienko, V.; Tabachnikov, S. (2004). "Sección 1.3". Geometría diferencial proyectiva antigua y nueva: de la derivada schwarziana a la cohomología de los grupos de difeomorfismos . Cambridge Tracts in Mathematics. Cambridge University Press. ISBN 978-0-521-83186-4.
  199. ^ Halliday, David; Resnick, Robert; Walker, Jearl (1997). Fundamentos de física (quinta edición). John Wiley & Sons. pág. 381. ISBN 0-471-14854-7.
  200. ^ Urone, Paul Peter; Hinrichs, Roger (2022). "29.7 Probabilidad: el principio de incertidumbre de Heisenberg". Física universitaria 2.ª ed . OpenStax .
  201. ^ Itzykson, C. ; Zuber, J.-B. (1980). Teoría cuántica de campos (edición de 2005). Mineola, NY: Dover Publications. ISBN 978-0-486-44568-7. OCLC  61200849  .
  202. ^ Low, Peter (1971). Teoría clásica de estructuras basada en la ecuación diferencial . Cambridge University Press. pp. 116–118. ISBN 978-0-521-08089-7.
  203. ^ Batchelor, GK (1967). Introducción a la dinámica de fluidos . Cambridge University Press. pág. 233. ISBN 0-521-66396-2.
  204. ^ abc Arndt y Haenel 2006, págs. 44-45
  205. ^ "La mayoría de los lugares Pi memorizados" Archivado el 14 de febrero de 2016 en Wayback Machine , Guinness World Records.
  206. ^ Otake, Tomoko (17 de diciembre de 2006). «¿Cómo puede alguien recordar 100.000 números?». The Japan Times . Archivado desde el original el 18 de agosto de 2013. Consultado el 27 de octubre de 2007 .
  207. ^ Danesi, Marcel (enero de 2021). "Capítulo 4: Pi en la cultura popular". Pi ( π ) en Naturaleza, Arte y Cultura . Rodaballo. pag. 97. doi : 10.1163/9789004433397. ISBN 9789004433373.S2CID224869535  .
  208. ^ Raz, A.; Packard, MG (2009). "Una porción de pi: un estudio exploratorio de neuroimagen sobre la codificación y recuperación de dígitos en un memorista superior". Neurocase . 15 (5): 361–372. doi :10.1080/13554790902776896. PMC 4323087 . PMID  19585350. 
  209. ^ Keith, Mike . «Cadaeic Cadenza Notes & Commentary». Archivado desde el original el 18 de enero de 2009. Consultado el 29 de julio de 2009 .
  210. ^ Keith, Michael; Diana Keith (17 de febrero de 2010). Not A Wake: A dream corbodying (pi)'s digits fully for 10,000 decimals [No es un despertar: un sueño que incorpora los dígitos de (pi) por completo durante 10 000 decimales] . Vinculum Press. ISBN 978-0-9630097-1-5.
  211. ^ Por ejemplo, Pickover llama a π "la constante matemática más famosa de todos los tiempos", y Peterson escribe: "De todas las constantes matemáticas conocidas, sin embargo, pi sigue atrayendo la mayor atención", citando el perfume π de Givenchy , Pi (película) y el Día de Pi como ejemplos. Véase: 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. Espectro MAA. Asociación Matemática de Estados Unidos. pág. 17. ISBN 978-0-88385-537-9Archivado desde el original el 29 de noviembre de 2016.
  212. ^ Posamentier y Lehmann 2004, pag. 118
    Arndt y Haenel 2006, pág. 50
  213. ^ Arndt y Haenel 2006, pág. 14
  214. ^ Polster, Burkard ; Ross, Marty (2012). Math Goes to the Movies . Prensa de la Universidad Johns Hopkins. págs. 56-57. ISBN 978-1-421-40484-4.
  215. ^ Gill, Andy (4 de noviembre de 2005). "Review of Aerial". The Independent . Archivado desde el original el 15 de octubre de 2006. la satisfacción casi autista del matemático obsesivo-compulsivo fascinado por "Pi" (que ofrece la oportunidad de escuchar a Bush cantar lentamente grandes fragmentos del número en cuestión, de varias docenas de dígitos)
  216. ^ Rubillo, James M. (enero de 1989). "Desintegrarlos". El profesor de matemáticas . 82 (1): 10. JSTOR  27966082.
  217. ^ Petroski, Henry (2011). Título El alfabeto de un ingeniero: fragmentos del lado más suave de una profesión. Cambridge University Press. pág. 47. ISBN 978-1-139-50530-7.
  218. ^ "¡Feliz Día de Pi! Mira estos impresionantes videos de niños recitando 3.14". USAToday.com . 14 de marzo de 2015. Archivado desde el original el 15 de marzo de 2015 . Consultado el 14 de marzo de 2015 .
  219. ^ Rosenthal, Jeffrey S. (febrero de 2015). "Pi Instant". Math Horizons . 22 (3): 22. doi :10.4169/mathhorizons.22.3.22. S2CID  218542599.
  220. ^ Griffin, Andrew. «Día de Pi: por qué algunos matemáticos se niegan a celebrar el 14 de marzo y no observan el día de los postres». The Independent . Archivado desde el original el 24 de abril de 2019. Consultado el 2 de febrero de 2019 .
  221. ^ Freiberger, Marianne; Thomas, Rachel (2015). "Tau – el nuevo π". Numericon: Un viaje a través de las vidas ocultas de los números . Quercus. pág. 159. ISBN 978-1-62365-411-5.
  222. ^ Abbott, Stephen (abril de 2012). "Mi conversión al tauísmo" (PDF) . Math Horizons . 19 (4): 34. doi :10.4169/mathhorizons.19.4.34. S2CID  126179022. Archivado (PDF) desde el original el 28 de septiembre de 2013.
  223. ^ Palais, Robert (2001). "π Is Wrong!" (PDF) . The Mathematical Intelligencer . 23 (3): 7–8. doi :10.1007/BF03026846. S2CID  120965049. Archivado (PDF) desde el original el 22 de junio de 2012.
  224. ^ "La vida de Pi no corre peligro: los expertos ignoran la campaña para reemplazarla por Tau". Telegraph India . 30 de junio de 2011. Archivado desde el original el 13 de julio de 2013.
  225. ^ "Olvídense del Día Pi. Deberíamos estar celebrando el Día Tau | Noticias de Ciencia" . Consultado el 2 de mayo de 2023 .
  226. ^ Arndt y Haenel 2006, págs. 211-212
    Posamentier y Lehmann 2004, págs. 36-37 Hallerberg, Arthur (mayo de 1977). "El círculo cuadrado de Indiana". Revista de matemáticas . 50 (3): 136-140. doi :10.2307/2689499. JSTOR  2689499.
  227. ^ Knuth, Donald (3 de octubre de 1990). «El futuro de TeX y Metafont» (PDF) . TeX Mag . 5 (1): 145. Archivado (PDF) desde el original el 13 de abril de 2016. Consultado el 17 de febrero de 2017 .
  228. ^ "PEP 628 – Agregar math.tau".
  229. ^ "Crate tau" . Consultado el 6 de diciembre de 2022 .

Fuentes generales y citadas

  • Abramson, Jay (2014). Precálculo. OpenStax .
  • Andrews, George E.; Askey, Richard; Roy, Ranjan (1999). Funciones especiales. Cambridge: University Press. ISBN 978-0-521-78988-2.
  • Arndt, Jörg; Haenel, Christoph (2006). Pi desatado. Springer-Verlag. ISBN 978-3-540-66572-4. Recuperado el 5 de junio de 2013 .Traducción al español de Catriona y David Lischka.
  • Berggren, Lennart; Borwein, Jonathan ; Borwein, Peter (1997). Pi: un libro de consulta . Springer-Verlag. ISBN 978-0-387-20571-7.
  • Boyer, Carl B.; Merzbach, Uta C. (1991). Una historia de las matemáticas (2.ª edición). 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 de Fourier e integrales . Prensa académica.
  • 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). π: Una 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.

Lectura adicional

  • Weisstein, Eric W. "Pi". MathWorld .
  • Demostración de Lambert (1761) de la irracionalidad de π , 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 π 2 mil millones de dígitos de búsqueda de π , e y 2
  • Aproximación de π mediante puntos de red y aproximación de π con rectángulos y trapecios (ilustraciones interactivas)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Pi&oldid=1251983070"