Pi greco

Il pi greco è una costante matematica, indicata con la lettera greca  (pi), scelta in quanto iniziale di περιφέρεια (perifereia), circonferenza in greco.

Nella geometria piana il  viene definito come il rapporto tra la lunghezza della circonferenza e quella del suo diametro, o anche come l'area di un cerchio di raggio . Molti testi di analisi matematica moderni definiscono il  usando le funzioni trigonometriche: per esempio come il più piccolo numero strettamente positivo per cui  oppure il più piccolo numero che diviso per  annulla . Tutte queste definizioni sono equivalenti.

Il  è conosciuto anche come costante di Archimede (da non confondere con il numero di Archimede) e costante di Ludolph o numero di Ludolph. Il  non è una costante fisica o naturale, ma una costante matematica definita in modo astratto, indipendente da misure di carattere fisico.

Questo è il valore del  troncato alla 100ª cifra decimale:

3,14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 58209 74944 59230 78164 06286 20899 86280 34825 34211 70679

Proprietà 

Il  è un numero irrazionale, quindi non può essere scritto come quoziente di due valori interi, come dimostrato nel 1761 da Johann Heinrich Lambert. Inoltre è un numero trascendente (ovvero non è un numero algebrico): questo fatto è stato provato da Ferdinand von Lindemann nel 1882. Ciò significa che non ci sono polinomi con coefficienti razionali di cui  è radice, quindi è impossibile esprimere il  usando un numero finito di valori interi, di frazioni e di loro radici.

Questo risultato stabilisce l'impossibilità della quadratura del cerchio, cioè la costruzione con riga e compasso di un quadrato della stessa area di un dato cerchio.

Applicazioni

Geometria analitica 
Circonferenza di un cerchio o di una sfera di raggio :

Area di un cerchio di raggio :

 Area di un'ellisse di semiassi  e :

Volume di una sfera di raggio :

Superficie di una sfera di raggio :

Volume di un cilindro di altezza  e raggio :

 Superficie di un cilindro di altezza  e raggio :

 Angoli: 180 gradi equivalgono a  radianti.
Volume di un cono di altezza h e raggio r:

Analisi 
 Formula di Viète, 1593:

 Formula di Leibniz:

dalla quale si ricava che:

 Formula di Nilakantha

Una serie molto elegante, che fornisce direttamente le cifre decimali di .

 Formula di Madhava (circa 1400)

 Prodotto di Wallis:

Problema di Basilea, risolto da Eulero:

 Formula che usa la funzione zeta di Riemann:

Prodotto di Eulero, in cui il prodotto percorre tutti i numeri primi:

Integrale di Gauss:

Integrale di Eulero:

 Altri integrali definiti:

Integrale di Fresnel:

Funzione gamma:

Approssimazione di Stirling:

Funzione phi di Eulero:

Identità di Eulero, definita da Richard Feynman «la più notevole formula della matematica»:

 Prodotto infinito di Eulero con i numeri primi dispari:

dove al numeratore vi sono tutti i numeri primi dispari e al denominatore il multiplo di quattro più vicino al numeratore.

Una formula notevole che dimostra, come il prodotto di Eulero, la sorprendente relazione tra pi greco e i numeri primi. È però di convergenza molto lenta e quindi inadatta al calcolo dei decimali di .

 Formula basata sulla serie armonica, con "correzione" dei segni (Eulero, 1748)

 dove i segni si determinano come segue: il numero  ha segno positivo; i numeri primi della forma  hanno segno positivo; i numeri primi della forma  hanno segno negativo; per i numeri composti il segno è il prodotto dei segni dei singoli fattori.

Anche questa serie, pur molto notevole ed elegante, è di convergenza estremamente lenta. Occorre infatti sommare oltre 2 milioni di termini per ottenere due decimali esatti.
 Formula ricavata da quella di Taylor, sempre di Eulero:

dove n = 3. Più frazioni si aggiungono più il risultato è preciso.
Teorema dei residui:

 Frazione continua di Ramanujan:

dove  è il rapporto aureo ().

 Frazione continua generalizzata (o frazione frattale) di Ramanujan

 Formula che lega la costante di Eulero-Mascheroni e la funzione gamma, da cui deriva il pi greco:

 Data una semicirconferenza di raggio  con centro nell'origine del piano cartesiano,  è definibile come lunghezza in forma cartesiana esplicita su tutto il dominio della funzione che descrive la semicirconferenza:

Teoria dei numeri 
 La probabilità che due interi scelti a caso siano primi fra loro è di:  (≈60,8%)
 Il numero medio di modi in cui è possibile scrivere un intero positivo come somma di due quadrati perfetti è: .

Sistemi dinamici, teoria ergodica 
  per quasi tutti i reali  in  dove gli  sono iterazioni della mappa logistica per .

Probabilità e statistica 
Funzione di densità di probabilità nella distribuzione normale univariata:

Buffon fu il primo a scoprire un equivalente statistico del calcolo di , noto come ago di Buffon, ma non lo impiegò per stimare il numero.

Aerodinamica 
 La massima pendenza (teoria di Glauert) del tratto lineare della curva  (ovvero coefficiente di portanza diviso l'angolo di incidenza) per qualsiasi profilo alare bidimensionale sottile è .

Fisica 
 Periodo delle piccole oscillazioni del pendolo:

 Equazione di campo di Einstein della relatività generale:

 Forza di Coulomb:

 Principio di indeterminazione di Heisenberg:

La presenza di  in queste due ultime formule, però, è conseguenza della definizione adottata per le costanti fisiche  e .

Frazioni continue 
Come ogni numero irrazionale, π non può essere espresso come una frazione di due numeri interi, ma ammette una rappresentazione come frazione continua

Troncando la frazione continua in un qualunque punto si ottengono le approssimazioni razionali di π, di cui le prime sono 3, 22/7, 333/106 e 355/113, le approssimazioni di π più conosciute e storicamente usate. La frazione continua di π non è periodica (in quanto  π non è un numero irrazionale quadratico) né possiede una ovvia struttura, tuttavia vari matematici hanno scoperto delle rappresentazioni come frazioni continue generalizzate che seguono un chiaro schema:

 

ottenuta mediante la formula della frazione continua di Eulero applicata alla funzione  per ;

Approssimazioni numeriche 

A causa della sua natura trascendente, non ci sono espressioni finite che rappresentano . Di conseguenza i calcoli numerici devono usare approssimazioni del numero, troncandolo ad un numero ritenuto sufficiente di cifre significative. In molti casi basta 3,14; in ambito ingegneristico si usa spesso 3,1416 (cinque cifre significative) o 3,14159 (6 cifre significative).

Uno scriba egizio di nome Ahmes è lo scrittore del più antico testo conosciuto contenente un'approssimazione di , il papiro di Rhind, datato al XVII secolo a.C. e descrive il valore come 256/81 oppure 3,160.

Archimede elaborò un metodo con cui è possibile ottenere approssimazioni comunque buone di  e lo usò per dimostrare che è compreso tra 223/71 e 22/7 (la media dei due valori è circa 3,1419).

Il matematico cinese Liu Hui calcolò  come 3,141014 (scorretto dalla quarta cifra decimale) nel 263 e suggerì 3,14 come buona approssimazione.

Il matematico e astronomo cinese Zu Chongzhi calcolò nel V secolo  come compreso fra 3,1415926 e 3,1415927 e diede due approssimazioni di : 355/113 e 22/7.

Il matematico e astronomo iraniano Ghiyath al-Din Jamshid Mas'ud al-Kashi, 1350-1439, calcolò le prime 9 cifre in base 60 di , che sono equivalenti nella base decimale alle 16 cifre:

Il matematico tedesco Ludolph van Ceulen (1600 circa) calcolò i primi 35 decimali. Era così fiero del suo risultato che lo fece scrivere sulla sua lapide.

Il matematico e gesuita polacco Adam Adamandy Kochański espose in un suo trattato del 1685 una costruzione geometrica che consente di calcolare un valore approssimato di  corretto fino alla quarta cifra decimale.

Il matematico sloveno Jurij Vega nel 1789 calcolò le prime 140 cifre decimali di , di cui le prime 137 erano corrette, e mantenne il record mondiale per 52 anni, fino al 1841, quando William Rutherford calcolò 208 cifre decimali di cui le prime 152 erano corrette. Vega migliorò la formula proposta da John Machin nel 1706.

Altre possibili approssimazioni di :
 

Tuttavia, nessuna delle formule sopraelencate può fornire un efficiente metodo per l'approssimazione di . Per calcoli veloci, si può usare una formula come quella di Machin:

Insieme con lo sviluppo delle serie di Taylor per la funzione . Questa formula si può verificare facilmente usando le coordinate polari dei numeri complessi, partendo da:

Formule di questo genere sono note come formule di tipo Machin.

Sviluppi decimali molto lunghi di  sono calcolati tipicamente con l'algoritmo Gauss-Legendre e l'algoritmo Borwein; in passato era usato anche l'algoritmo Salamin-Brent, inventato nel 1976.

L'elenco del primo milione di cifre di  e di  si può trovare sul Progetto Gutenberg (vedi il collegamento esterno a fondopagina).

Nel dicembre 2002 il calcolo è arrivato a  cifre (), calcolate nel settembre 2002 da Yasumasa Kanada su un supercomputer Hitachi a 64 nodi con un terabyte di memoria principale, in grado di compiere 2 miliardi di operazioni per secondo, quasi il doppio del computer usato per il precedente record (206 miliardi di cifre).

Sono state usate le seguenti formule di tipo Machin:

K. Takano (1982).

 
F. C. W. Störmer (1896).

Approssimazioni così precise non sono in realtà utilizzate per nessuno scopo pratico, se non per provare le prestazioni di nuovi supercomputer o per analisi statistiche sulle cifre di .

Nel 1996 David H. Bailey, insieme a Peter Borwein e Simon Plouffe, scoprì una nuova formula per calcolare  come serie infinita:

 

Questa formula permette di calcolare facilmente la -esima cifra binaria o esadecimale di  senza dover calcolare tutte le cifre precedenti. Il sito web di Bailey  ne contiene l'implementazione in vari linguaggi di programmazione.

Alcune altre formule usate per calcolare stime di  sono:

 
da Newton ( indica il semifattoriale).

 
nota come prodotto infinito di Wallis.

 
nota come formula di Viète.

 
da Ramanujan.

 
da David Chudnovsky e Gregory Chudnovsky (algoritmo di Chudnovsky).

 
da Eulero.

 
nota come formula simmetrica

 

da Chebyshev

 
 

Altre formule d'approssimazione sono contenute nella tabella sottostante:

Storia 
I popoli antichi spesso utilizzavano modi indiretti per esprimere approssimativamente il rapporto tra la circonferenza e il diametro di un cerchio. I babilonesi usavano per  il valore di =3,125 (usato anche da Vitruvio): una tavoletta cuneiforme del XX secolo a.C., infatti, osserva che il rapporto fra la circonferenza e il perimetro di un esagono iscritto è 3600/3456, cioè 25/24. Nel Papiro di Rhind, invece, si dice che un cerchio con diametro 9 unità è equivalente a un quadrato di lato 8. In questo modo gli Egizi assumevano il valore di ()²=3,160.

Nell'Antico Testamento viene apparentemente affermato in modo non esplicito che  = 3. Si trova infatti scritto:

Il testo, però spiega poco dopo che il bordo si apriva "come il calice di un giglio" (presentava cioè quello che un moderno ingegnere chiamerebbe un "anello di irrigidimento" del bordo superiore), perciò il diametro misurato al bordo era ovviamente maggiore di quello della circonferenza esterna della vasca cilindrica, rendendo inaccurati questi dati per desumere un valore di pi greco "biblico".

Il primo ad approssimare scientificamente pi greco fu Archimede di Siracusa che nel III secolo a.C. utilizzò poligoni regolari inscritti e circoscritti a una circonferenza. Aumentando il numero di lati il rapporto tra il perimetro e l'area limita superiormente e inferiormente  (vedi anche metodo di esaustione). 

Utilizzando poligoni di 96 lati lo scienziato siracusano scoprì che  < π < .

Nel medioevo in India Brahmagupta utilizza il valore  mentre in Cina Zu Chongzhi utilizza  valore che si discosta meno di 0,3 milionesimi dal valore corretto.

Il metodo di Archimede verrà applicato fino all'epoca moderna. Nel 1610 Ludolph van Ceulen calcola le prime 35 cifre decimali di  utilizzando poligoni con più di 2 miliardi di lati. Ceulen, fiero di questo risultato, lo farà scrivere sulla sua tomba.

Sempre nell'epoca moderna vengono trovate importanti espressioni infinite:

formula di Viète:

formula di Leibniz:

prodotto di Wallis:

Nel XVIII secolo Eulero, risolvendo il problema di Basilea trovò un'altra elegante serie:

Sempre al matematico svizzero è dovuta l'identità di Eulero, talvolta considerata la formula matematica più bella che esista in quanto collega tra loro le più importanti costanti matematiche: , il numero di Nepero , l'unità immaginaria , lo 0 e l'1.

Queste formule, pur essendo di scarsa o nulla utilità nel calcolo della costante matematica, hanno un importante valore estetico e rivelano collegamenti inaspettati tra varie branche della matematica.

Eulero rese inoltre popolare il simbolo π, introdotto nel 1706 dal matematico inglese William Jones quando pubblicò A New Introduction to Mathematics, benché lo stesso simbolo fosse stato utilizzato in precedenza per indicare la circonferenza del cerchio. La notazione diventò di uso comune dopo che la utilizzò Eulero. In entrambi i casi  è la prima lettera di περίμετρος (perimetros), che significa «misura attorno» in greco. Inoltre il simbolo  venne usato all'inizio dallo stesso William Jones che nel 1706 lo usò in onore di Pitagora (l'iniziale di Pitagora nell'alfabeto greco è appunto Π, ma trattandosi di un numero si preferisce usare la minuscola). Tuttavia, ancora nel 1739 Eulero usava il simbolo .

Restava ancora in sospeso la questione della natura di : Johann Heinrich Lambert dimostrò nel 1761 che si trattava di un numero irrazionale (si dimostrava che l'arcotangente di un qualsiasi numero razionale è irrazionale); si veda la dimostrazione della irrazionalità di π. Adrien-Marie Legendre dimostrò nel 1794 l'irrazionalità di . Bisognerà tuttavia aspettare fino al 1882 per la dimostrazione, ad opera di Ferdinand von Lindemann, che  è un numero trascendente, ossia non può essere la radice di nessun polinomio a coefficienti razionali.

Quest'ultimo fatto dimostrava inequivocabilmente che la quadratura del cerchio tramite riga e compasso è impossibile.

Nel 1897 il matematico dilettante J. Goodwin propose nello stato dell'Indiana un incredibile disegno di legge volto a rendere possibile la quadratura del cerchio tramite il cambiamento del valore di pi greco. Il disegno prevedeva l'introduzione di una "nuova verità matematica" giacché "la regola ora in uso ... non funziona" ed "è opportuno che essa venga rifiutata come insufficiente e ingannevole per le applicazioni pratiche". La stravagante proposta di legge fu approvata all'unanimità dai 67 membri della Commissione per l'educazione. La proposta di legge fu affondata solo dopo il parere negativo del matematico Clarence Waldo, presente casualmente in Senato.

Ecco una breve cronologia essenziale della determinazione del valore di π:

Nell'antichità 
 XX secolo a.C.: i Babilonesi usano  per  (uguale a 3,125)
 XVII secolo a.C.: gli Egizi (Papiro di Rhind) usano π = ()2 = 3,1605
 XII secolo a.C.: i Cinesi usano 3 per 
 434 a.C.: Anassagora tenta la quadratura del cerchio con riga e compasso
 430 a.C.: Antifonte il sofista e Brisone di Eraclea esprimono il principio di esaustione
 335 a.C.: Dinostrato usa la quadratrice per quadrare il cerchio
 III secolo a.C.: Archimede, utilizzando l'esaustione e il metodo di compressione, calcola su poligoni di 96 lati che  < π <  e trova inoltre l'approssimazione π =  = 3,14163…
 I secolo a.C.: Vitruvio usa 
 II secolo d.C.: Tolomeo usa π =  = 3,14166…
 III secolo d.C.: Chang Hong usa π = , Wang Fau usa π =  e Liu Hui usa π =

Nel Medioevo 
 V secolo (450 circa): Zu Chongzhi scopre che 3,1415926 < π < 3,1415927 e utilizza il valore  = 3,1415929…
 VI secolo (530 circa): Aryabhata, in India, utilizza il valore =3,1416
 VII secolo (650 circa): Brahmagupta, in India, utilizza il valore =3,1623
 IX secolo: al Khwarizmi usa 3,1416
 1220: Leonardo Fibonacci usa il valore 3,141818
 1430: al Kashi calcola le prime 14 cifre di

Nell'età moderna 
 1573: Valenthus Otho calcola le prime 6 cifre di 
 1593: François Viète calcola 9 cifre di  e Adriaan van Roomen 16 cifre
 1596: Ludolph van Ceulen calcola 20 cifre di 
 1610: van Ceulen, 35 cifre
 1621: Willebrord Snell perfeziona il metodo di Archimede
 1654: Christiaan Huygens dimostra la validità del perfezionamento di Snell
 1655: John Wallis trova un prodotto infinito razionale per ; William Brouncker lo converte in una frazione continua
 1663: Muramatsu Shigekiyo in Giappone trova 7 cifre decimali esatte
 1665: Isaac Newton scopre il calcolo infinitesimale e calcola il  fino alla 16ª cifra decimale
 1671: James Gregory scopre le serie delle arcotangenti
 1674: Leibniz scopre la serie delle arcotangenti per 
 1699: Abraham Sharp, 72 cifre
 1700: Kōwa Seki in Giappone calcola 10 cifre
 1706: John Machin, 100 cifre
 1713: La Corte Cinese pubblica il Su-li Ching-yun e presenta le prime 19 cifre decimali di 
 1719: Thomas Fantet de Lagny calcola 127 cifre, di cui 112 sono corrette
 1723: Takebe Kenko in Giappone calcola 41 cifre
 1730: Kamata in Giappone calcola 25 cifre
 1734: Adottato da Eulero, l'uso del simbolo  si diffonde
 1739: Matsunaga, 50 cifre
 1748: Eulero pubblica l'Introductio in analysis infinitorium contenente il cosiddetto Teorema di Eulero e molte serie per  e 
 1761: Johann Heinrich Lambert prova che  è un numero irrazionale
 1775: Eulero deriva una serie di arcotangenti rapidamente convergenti e ipotizza che  possa essere trascendente

Nell'età contemporanea 
 1794 – Jurij Vega, 140 cifre, di cui 136 sono corrette
 1794 – Adrien-Marie Legendre dimostra che  (e quindi ) è irrazionale e considera la possibilità che  sia trascendente
 1841 – William Rutherford calcola 208 cifre, di cui 152 sono corrette
 1844 – Zacharias Dase calcola 200 cifre
 1847 – Thomas Clausen, 248 cifre
 1853 – Lehmann, 261 cifre
 1853 – William Rutherford, 440 cifre
 1855 – Richter, 500 cifre
 1874 – William Shanks, 707 cifre, ma solo 527 sono corrette
 1874 – Tseng Chi-hung calcola in Cina 100 cifre
 1882 – Ferdinand von Lindemann dimostra che  è trascendente.

 1947 - D. F. Ferguson: 620 cifre decimali, utilizzando una calcolatrice da tavolo
 gennaio 1947 - D. F. Ferguson: 710 cifre decimali (calcolatrice da tavolo)
 settembre 1947 – D. F. Ferguson: 808 cifre decimali (calcolatrice da tavolo)
 1949 – George Rietwiesner, John von Neumann e Nicholas Constantine Metropolis: 2037 cifre calcolate in 70 ore utilizzando l'ENIAC. Da questo momento in poi tutti i calcoli delle cifre di pi greco verranno effettuati utilizzando calcolatori elettronici.
 1954 – La marina statunitense calcolò 3089 cifre in 13 minuti alla presentazione del NORC, il supercomputer commissionato alla IBM
 1958 – "Paris Data Processing Center": 10 000 cifre calcolate in un'ora e 40 minuti utilizzando un IBM 704
 1961 – John Wrench e Daniel Shanks (nessuna parentela con William Shanks): 100 265 cifre in 8 ore e 43 minuti, con un IBM 7090
 1966 – "Paris Data Processing Center": 250 000 cifre di pi greco con un IBM 7030 Stretch
 1967 – "Paris Data Processing Center": 500 000 cifre con un computer CDC 6600
 1973 – Jean Guilloud e M. Bouyer: 1 000 000 di cifre calcolate in 23 ore e 18 minuti con il computer CDC 7600
 1976 – Eugene Salamin e Richard Brent svilupparono indipendentemente un algoritmo quadraticamente convergente per il calcolo del , algoritmo che poi risultò molto simile a quello per la valutazione degli integrali ellittici di Carl Friedrich Gauss
 1982 – Yoshiaki Tamura e Yasumasa Kanada: 8 388 608 cifre in meno di 30 ore con l'algoritmo di Gauss-Brent-Salamin, con un Hitachi M-280H
 1988 – Yasumasa Kanada: 201 326 000 cifre calcolate in 6 ore utilizzando un Hitachi S-820
 maggio 1989 – i fratelli David Chudnovsky e Gregory Chudnovsky: 480 000 000 di cifre
 giugno 1989 – David Chudnovsky e Gregory Chudnovsky: 535 339 270 di cifre
 luglio 1989 – Yasumasa Kanada: 536 870 898 di cifre
 agosto 1989 – David Chudnovsky e Gregory Chudnovsky: 1 011 196 691 di cifre (oltre 1 miliardo), su un IBM 3090
 19 novembre 1989 – Yasumasa Kanada e Yoskiaki Tamura: 1 073 740 799 di cifre (1,07 miliardi), HITAC S-3800/480
 18 maggio 1994 – David Chudnovsky e Gregory Chudnovsky: 4 044 000 000 di cifre (oltre 4 miliardi), utilizzando un computer domestico. Dettagli sconosciuti, record non verificato.
 26 giugno 1994 – Yasumasa Kanada e Daisuke Takahashi: 3 221 220 000 di cifre (3,22 miliardi)
 11 ottobre 1995 – Yasumasa Kanada e Daisuke Takahashi: 6 442 450 000 di cifre (6,44 miliardi)
 1997 – Yasumasa Kanada e Yoshiaki Tamura: 51 539 607 552 di cifre (51,5 miliardi) calcolate in poco più di 29 ore utilizzando un computer Hitachi SR2201
 5 aprile 1999 – Yasumasa Kanada e Daisuke Takahashi: 68 719 470 000 di cifre (68,72 miliardi)
 20 settembre 1999 - Yasumasa Kanada e Daisuke Takahaski:  di cifre (206,16 miliardi)

 2002 – Yasumasa Kanada: 1241,1 miliardi di cifre calcolate in 600 ore (25 giorni) con un Hitachi SR8000/MPP a 128 nodi.
 29 aprile 2009 – Daisuke Takahashi:  di cifre (2 576 miliardi) in 29,09 ore con un Supercomputer T2K Open a 640 nodi (velocità di ogni nodo: 147,2 GigaFLOPS), all'Università di Tsukuba a Tsukuba, in Giappone.
 31 dicembre 2009 – Fabrice Bellard: 2 699 999 990 000 di cifre (quasi 3000 miliardi) in 121 giorni di calcolo totali, utilizzando un computer domestico dotato di CPU Intel Core i7 da 2,97 GHz, 6 GB di RAM e 7,5 TB di memoria fissa composta da 5 hard disk Seagate Barracuda da 1,5 TB l'uno. Il calcolo è stato effettuato sfruttando l'algoritmo di Chudnovsky.
 2 agosto 2010 – Shigeru Kondo: 5 000 000 000 000 di cifre (5 000 miliardi) in 90 giorni di calcolo totali, utilizzando un computer domestico modificato, provvisto di 2 processori Intel Xeon X5680 da 3.33 GHz (12 core fisici, 24 con hyperthreading) e 96 GB di RAM DDR3 a 1066 MHz ottenuta unendo 12 banchi di RAM da 8 GB; per ottenere il risultato ha sfruttato l'applicazione y-cruncher, sviluppata da Alexander Yee, su un OS Microsoft Windows Server 2008.
 29 gennaio 2020 – Lo statunitense Timothy Mullican calcola  miliardi di cifre, impiegando 303 giorni per effettuare il calcolo tramite vari computer e server.
 agosto 2021 – Un gruppo di ricercatori svizzeri dell'università di scienze applicate Graubuenden ha annunciato che grazie ad un supercomputer ha calcolato 62800 miliardi di cifre in 108 giorni e 9 ore.

Questioni in sospeso 
La più pressante questione aperta su  riguarda il fatto che sia o meno normale, cioè se la frequenza con cui è presente ogni sequenza di cifre sia la stessa che ci si aspetterebbe se le cifre fossero completamente casuali. Questo deve essere vero in ogni base, non solo in base 10. Non sappiamo molto su questo; per esempio, non sappiamo nemmeno quali delle cifre 0, …, 9 ricorrano infinite volte nello sviluppo decimale di , benché sia chiaro che almeno due cifre devono ricorrere infinite volte, poiché in caso contrario  sarebbe razionale, mentre non lo è.

Bailey e Crandall dimostrarono nel 2000 che l'esistenza della sopramenzionata formula Bailey-Borwein-Plouffe e formule simili implica che la normalità in base  di  si deduce da una plausibile congettura della teoria del caos.

Non si sa neanche se  e il numero di Nepero  siano algebricamente indipendenti, sebbene Yuri Valentinovich Nesterenko abbia dimostrato l'indipendenza algebrica di {π, eπ, Γ(1/4)} nel 1996.

La natura di Pi greco 
Mentre nella geometria euclidea la somma degli angoli interni di un triangolo misurata in radianti è necessariamente uguale a , nelle geometrie non-euclidee la stessa somma può essere maggiore (geometria ellittica) o minore (geometria iperbolica) e il rapporto fra una circonferenza e il suo diametro può non essere . Questo non cambia la definizione di , piuttosto cambia la costante che appare nelle formule (che diventa un numero diverso da ). Quindi, in particolare,  non è legato alla forma dell'universo; è una costante matematica, non fisica.

La legge dell'Indiana su Pi greco 

Nel 1897, negli Stati Uniti d'America, fu presentato all'Assemblea generale dello stato dell'Indiana un disegno di legge, redatto dal matematico e fisico dilettante Edward (o Edwin) J. Goodwin, in cui l'autore si presentava come solutore dei problemi di trisezione dell'angolo, duplicazione del cubo e quadratura del cerchio (la cui impossibilità di soluzione era, all'epoca, già ampiamente dimostrata) e offriva alle scuole dello stato l'uso gratuito della sua "nuova verità matematica", da lui brevettata. Il testo non menzionava specificamente , ma dalle affermazioni in esso presenti potevano esserne dedotti diversi valori, tra loro contraddittori, tra cui quello di 3,2.

Il progetto superò varie fasi dell'iter legislativo, ma fu infine abbandonato quando venne presentato al Senato per la definitiva approvazione; il professor Clarence Abiathar Waldo, matematico e membro dell'Accademia delle scienze dell'Indiana, riportò in seguito di essere stato casualmente presente al Senato il giorno in cui il progetto di legge doveva essere discusso, e di aver "opportunamente istruito" al riguardo i senatori prima della discussione.

Influenze culturali 
Il 14 marzo si celebra il "giorno del pi greco", in quanto, nella sua scrittura anglosassone (3/14), esso ricorda l'approssimazione più comune di .: dal 2020 l'Unesco ha proclamato il 14 marzo come Giornata internazionale della matematica. In effetti pi greco è uno dei numeri irrazionali più famosi anche al di fuori dell'ambiente matematico, oltre a essere uno dei protagonisti indiscussi del panorama matematico. Un'altra data possibile per celebrare pi greco è il 22 luglio, in quanto 22/7 è una famosa frazione, nota fin dai tempi di Archimede, che approssima .

La popstar Kate Bush ha interamente dedicato al numero  il secondo brano (intitolato per l'appunto ) del suo ottavo album Aerial, del 2005, nel quale reciterebbe le sue prime 140 cifre. π 3,14 è inoltre il titolo del quinto album dei Rockets, del 1981. Anche altri musicisti e artisti in genere hanno dedicato alcune loro opere alla costante.

π - Il teorema del delirio è il titolo di un thriller del 1998 diretto dal regista Darren Aronofsky.

Nel film del 2012 Vita di Pi, diretto da Ang Lee, il protagonista, il giovane indiano Piscine Molitor Patel, per evitare di essere preso in giro con varie storpiature del suo nome, decide di abbreviarlo in Pi, soprannome che si pronuncia esattamente come ; per fare in modo che gli amici se ne ricordino, impara e trascrive a memoria molte cifre decimali di .

Tecniche mnemoniche 
È possibile utilizzare la seguente frase per ricordare le prime 19 cifre del numero pi greco, associando a ognuna delle parole il corrispondente numero di lettere che la compongono: "Ave, o Roma o Madre gagliarda di latine virtù che tanto luminoso splendore prodiga spargesti con la tua saggezza".

Note

Bibliografia 
 
 Petr Beckmann, A History of π. St. Martin's Press; 1971.
 
 David Blatner, Le gioie del π, Garzanti, Milano, 1999
 
 Jean-Paul Delahaye, L'affascinante numero π, Ghisetti e Corvi Editori, Milano, 2003, ISBN 88-8013-905-3
 

Sulla legge dell'Indiana
 "Indiana's squared circle" di Arthur E. Hallerberg (Mathematics Magazine, vol. 50 (1977), pp. 136–140).
 David Singmaster, "The legal values of pi" (Mathematical Intelligencer, vol. 7 (1985), pp. 69 – 72).

Voci correlate 

 Costante
 Costante matematica
 Calcolo di pi greco
 Cerchio
 Circonferenza
 Identità di Eulero
 Ago di Buffon
 Dimostrazione che 22/7 è maggiore di π
 Papiro di Rhind
 Quadratura del cerchio
 Giorno del Pi greco
 Prime 100000 cifre di Pi greco
 Punto di Feynman
 Dimostrazione della irrazionalità di π
 Definizione rigorosa del Pi greco in geometria euclidea

Altri progetti

Collegamenti esterni

Siti sulla storia di π 
 
 
 PlanetMath: Pi 
 
 
 Il pi greco? Non è soggetto a copyright dal Corriere della Sera

Siti con formule per calcolare π 
 Birth, growth and computation of pi  (articolo molto dettagliato)
 Pi Formulas su Wolfram Math World

Siti con le cifre di π