Pi

Jeśli średnica koła = 1, jego obwód wynosi Szablon:Pi

Szablon:Pi (czyt. pi), ludolfina, stała Archimedesa – stosunek obwodu koła (czyli długości okręgu) do długości jego średnicy; stosunek ten jest niezależny od wielkości koła, bowiem wszystkie koła są do siebie podobne. Liczba Szablon:Pi nazywana jest czasami stałą Archimedesa w uznaniu zasług Archimedesa z Syrakuz, który jako pierwszy badał własności i znaczenie w matematyce tej liczby; określenie ludolfina pochodzi od Ludolpha van Ceulena, który zyskał sławę, przedstawiając tę liczbę z dokładnością do 35 miejsc po przecinku. Grecy nie używali symbolu Szablon:Pi – wprowadził go dopiero William Jones, a spopularyzował Leonhard Euler.

Szablon:Znak Liczba Szablon:Pi z dokładnością do 204 miejsc po przecinku:

Szablon:Pi ≈ 3,141592 653589 793238 462643 383279 502884 197169 399375 105820 974944 592307 816406 286208 998628 034825 342117 067982 148086 513282 306647 093844 609550 582231 725359 408128 481117 450284 102701 938521 105559 644622 948954 930381 964428.

W praktyce korzysta się z przybliżonych wartości $3,14,$ rzadziej z przybliżeń dokładniejszych: 3,141592 albo w postaci ułamków zwykłych np. $\frac{22}{7}$ lub $\frac{355}{113}.$

Liczba Szablon:Pi jest stałą matematyczną, która pojawia się w wielu działach matematyki i fizyki.

Pojawia się w geometrii (np. we wzorach na pole koła oraz na pole powierzchni i objętość brył obrotowych), w analizie matematycznej (np. w wielu sumach szeregów liczbowych), we wzorze całkowym Cauchy’ego. Analiza matematyczna dostarcza wielu metod obliczania jej przybliżeń z dowolną dokładnością.

Oznaczenia liczby Szablon:Pi

W. Jones

L. Euler

Symbol Szablon:Pi wprowadził walijski matematyk i pisarz William Jones w monografii Synopsis Palmariorum Matheseos w 1706. Szablon:Pi jest pierwszą literą greckiego słowa περίμετρον – perimetron, czyli obwód.

Oznaczenie Szablon:Pi można znaleźć także w pracach matematyków Williama Oughtreda, Isaaca Barrowa i Davida Gregory’ego.

Ale jeszcze w 1734 r. Leonhard Euler w dziele De summis serierum reciprocarum używa oznaczenia $p;,$ używa też tego oznaczenia w napisanym już po wydaniu Analizy liście do Jamesa Stirlinga z 16 kwietnia 1738 r.

Podobnie Johann Bernoulli w liście napisanym do Eulera w 1739 r. używa oznaczenia $c$ dla liczby Szablon:Pi, jednak już w następnym liście do Eulera, z początku roku 1740, stosuje on oznaczenie Szablon:Pi.

Ostatecznie uznanie dla oznaczenia Szablon:Pi nastąpiło po wydaniu przez Eulera w 1737 roku dzieła Analiza. Euler używał tego oznaczenia również w Introductio in Analysin Infinitorum (1748). Prawdopodobnie znaczący wpływ na popularyzację symbolu Szablon:Pi miało jego pojawienie się w Mathematical Tables (1742) Henry’ego Sherwina.

Niektóre wzory zawierające Szablon:Pi

W geometrii

• $\pi r^2$ – pole koła o promieniu $r$
• $2\pi r$ – obwód okręgu o promieniu $r$
• $ab\pi$ – pole elipsy o półosiach równych $a$ i $b$
• $\frac{4}{3}\pi r^3$ – objętość kuli o promieniu $r$
• $4\pi r^2$ – powierzchnia kuli o promieniu $r$
• $\pi r^{2}H$ – objętość walca o wysokości $H$ i promieniu podstawy $r$
• Miara łukowa kąta półpełnego równa jest Szablon:Pi radianów

W analizie matematycznej

• $\zeta (2)=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\dots =\frac{{\pi }^2}{6}$ (Euler), $\zeta (4)=\frac{{\pi }^4}{90}$
• $\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}dx=\sqrt{\pi }$ (rozkład normalny)
• $n!\approx \sqrt{2\pi n}{\left(\frac{n}{e}\right)}^n$ (wzór Stirlinga)
• $e^{\pi i}+1=0$ (wzór Eulera)
• $\underset{0}{\overset{1}{\int }}\frac{1}{1+x^2}dx=\frac{\pi }{4},\underset{-1}{\overset{1}{\int }}\sqrt{1-x^2}dx=\frac{\pi }{2},\underset{-1}{\overset{1}{\int }}\frac{dx}{\sqrt{1-x^2}}=\pi$

druga z powyższych całek służy do obliczania powierzchni górnego półkoła jednostkowego, trzecia do obliczania długości górnego półokręgu jednostkowego.

W teorii liczb

• Prawdopodobieństwo tego, że dwie losowo wybrane liczby całkowite są liczbami względnie pierwszymi wynosi $\frac{6}{{\pi }^2}.$
• Średnia liczba sposobów na zapisanie liczby naturalnej jako sumy dwóch kwadratów liczb naturalnych, wynosi $\frac{\pi }{4}.$

W powyższych przypadkach prawdopodobieństwo i średnią rozpatruje się w sensie granicznym. Na przykład rozważamy prawdopodobieństwo dla zbioru liczb $\{1,2,3,\dots ,N\},$ a następnie obliczamy granicę przy $N$ dążącym do nieskończoności.

W fizyce

• zasada nieoznaczoności Heisenberga,

  $\mathrm{\Delta }x\mathrm{\Delta }p⩾\frac{h}{4\pi },\mathrm{\Delta }E\mathrm{\Delta }t⩾\frac{h}{4\pi }$

• równanie pola grawitacyjnego ogólnej teorii względności,

  $G_{\mu \nu }=\frac{8\pi G}{c^4}{T}_{\mu \nu }$

Często występujące przekształcenia Szablon:Pi

${\pi }^2=9,8696044010893586188344909998762\dots$

${\pi }^3=31,006276680299820175476315067101\dots$

$\sqrt{\pi }=1,7724538509055160272981674833411\dots$

Rozwinięcie Szablon:Pi w ułamek łańcuchowy

$\pi =[3;7,15,1,292,1,1,1,2,1,3,1,14,2,1,1,2,2,2,2,1,\dots ]$

Kilka początkowych reduktów tego ułamka:

$\frac{3}{1},\frac{22}{7},\frac{333}{106},\frac{355}{113},\frac{103993}{33102},\frac{104348}{33215},\dots$

Każdy z powyższych ułamków ma tę własność, że najlepiej przybliża liczbę Szablon:Pi spośród wszystkich ułamków o mianownikach nie większych od danego. Ponadto błąd bezwzględny tego przybliżenia jest mniejszy niż odwrotność kwadratu mianownika, np.

$|\pi -\frac{333}{106}|<\frac{1}{106^2}.$

Redukt $\frac{3}{1}$ był znany w najstarszych oszacowaniach liczby Szablon:Pi, redukt $\frac{22}{7}$ podał Archimedes.

Własności liczby Szablon:Pi

Z liczbą Szablon:Pi ludzie zetknęli się już w starożytności. Podczas praktycznych zajęć (budownictwo, rolnictwo, gospodarstwo domowe itp.) zauważyli, że stosunek obwodu koła do jego średnicy jest wartością stałą. Pierwsze źródła dowodzące świadomego korzystania z własności liczby Szablon:Pi pochodzą ze starożytnego Babilonu.

Podejście starożytnych uczonych do matematyki, w szczególności do liczby Szablon:Pi, było ściśle użytkowe, nie stosowano właściwie żadnej abstrakcji, a reguły matematyczne opisywane były prostymi przykładami użytkowymi, niezbędnymi w architekturze czy księgowości.

Wyniki Archimedesa

Metoda aproksymacji liczby Szablon:Pi zaproponowana przez Archimedesa

Archimedes (III w. p.n.e.) był pierwszym matematykiem badającym liczbę Szablon:Pi i jej znaczenie w matematyce.

Przede wszystkim znalazł metodę szacowania długości okręgu. W tym celu rozważał ciąg wielokątów foremnych opisanych na okręgu i wpisanych w okrąg. Opierając się na wprowadzonych w swoim dziele „O kuli i walcu” postulatach, wywiódł, że im więcej boków ma wielokąt foremny wpisany/opisany, tym jego obwód jest bliższy długości okręgu. Dawało to możliwość szacowania długości okręgu z dowolną dokładnością.

Przejście graniczne w tej konstrukcji opierało się na tym, co już wiedziano od czasów Eudoksosa, że dwie wielkości dowolnie bliskie sobie są równe. W dzisiejszym języku oznacza to analizę dwóch ciągów i ich granic: rosnącego ciągu obwodów wielokątów foremnych wpisanych $a_n=2n\sin \frac{\pi }{n}$ oraz malejącego ciągu obwodów wielokątów foremnych opisanych $b_n=2n\mathrm{tg}\frac{\pi }{n}.$ Dla tych ciągów zachodzą łatwe do stwierdzenia zależności:

$a_n<2\pi <b_n$ oraz $\lim {\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}{a}_n=\lim {\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}{b}_n.$

Wprawdzie przy użyciu ówczesnej aparatury rachunkowej metoda ta praktycznie nie nadawała się do wyznaczania przybliżeń liczby Szablon:Pi, jasno jednak pokazała, że Szablon:Pi jest granicą pewnych ciągów wielkości konstruowalnych (w sensie konstrukcji klasycznych).

W pracach „O wymierzaniu koła” i „O kuli i walcu” wykazał, że Szablon:Pi jest w istocie „stałą uniwersalną” geometrii w następującym sensie.

Stosunek obwodu koła do jego średnicy jest stały, ten stosunek jest właśnie liczbą Szablon:Pi. Podobnie stałe są stosunek pola powierzchni koła do kwadratu jego promienia, stosunek objętości walca i stożka do iloczynu wysokości i kwadratu promienia podstawy, stosunek powierzchni kuli do kwadratu jej promienia, stosunek objętości kuli do sześcianu jej promienia. Archimedes udowodnił, że dla wszystkich powyższych brył obrotowych stosunki te są współmierne i w każdym z nich pojawia się ta sama stała Szablon:Pi.

Stosując opracowaną przez Eudoksosa i rozwiniętą przez siebie metodę wyczerpywania, udowodnił m.in., że

• pole koła jest równe polu trójkąta prostokątnego, którego przyprostokątnymi są promień koła i rektyfikacja brzegu koła (czyli odpowiedniego okręgu),
• objętość walca jest równa objętości graniastosłupa prostego trójkątnego, w którym z jednego z wierzchołków wychodzą trzy wzajemnie prostopadłe krawędzie o długościach równych wysokości walca, promieniowi podstawy walca i rektyfikacji brzegu podstawy walca,
• objętość stożka jest równa $\frac{1}{3}$ objętości walca opisanego na stożku.

Stosując stworzoną przez siebie metodę sum całkowych, udowodnił także, że

• pole powierzchni kuli jest równe polu powierzchni bocznej walca opisanego na tej kuli,
• objętość kuli jest równa objętości walca opisanego na tej kuli, z którego wydrążono dwa stożki stykające się swoimi wierzchołkami i których podstawy pokrywają się z podstawami walca.

W dzisiejszym języku oznacza to wyprowadzenie przez Archimedesa wzorów na pola powierzchni i objętości wyżej omówionych brył. Dzisiaj oczywiście do tego służy rachunek całkowy. Współczesną kontynuacją powyższych wyników Archimedesa są wzory na pole powierzchni i objętość n-wymiarowej hiperkuli, w których to wzorach także pojawia się liczba Szablon:Pi w odpowiednich potęgach.

Niewymierność

Liczba Szablon:Pi jest niewymierna, czyli nie da się jej przedstawić w postaci ilorazu dwóch liczb całkowitych. Pierwszy dowód tej własności podał w 1761 roku Johann Heinrich Lambert, wykorzystując rozwinięcie funkcji $\mathrm{tg}x$ w ułamek łańcuchowy: Szablon:Wzór Większość podręczników prezentuje jednak inne dowody niewymierności $\pi ,$ między innymi oparte na późniejszym pomyśle Hermite’a.

Dowód niewymierności

Niech $\pi =\frac{p}{q}$ dla pewnych dodatnich liczb naturalnych $p$ i $q.$

Niech dla liczby naturalnej $n$ dane będą wielomiany

$f_n(x)=\frac{x^n(p-qx{)}^n}{n!}$

oraz

$F_n(x)=f(x)-f^{(2)}(x)+\dots +(-1{)}^n{f}^{(2n)}(x),$

gdzie $f_n^{(k)}(x)$ oznacza $k$-tą pochodną $f_n(x).$

Ponieważ wielomian $n!f_n(x)$ ma współczynniki całkowite oraz stopień równy $2n,$ wszystkie pochodne $f_n^{(i)}$ mają w $x=0$ wartości całkowite. Także dla $x=\pi$ wartości te są całkowite, gdyż $f(x)=f(\frac{p}{q}-x).$

Ponieważ

$\begin{array}{cc}\frac{\mathrm{d}}{\mathrm{d}x}({F_n}^{\prime }(x)\sin x-F_n(x)\cos x)& ={F_n}^{″}(x)\sin x+{F_n}^{\prime }(x)\cos x-{F_n}^{\prime }(x)\cos x+F_n(x)\sin x\\ & ={F_n}^{″}(x)\sin x+F_n(x)\sin x=f_n(x)\sin x,\end{array}$

to

$I_n=\underset{0}{\overset{\pi }{\int }}{f}_n(x)\sin x\mathrm{d}x=[{F_n}^{\prime }(x)\sin x-F_n(x)\cos x{]}_0^{\pi }=F_n(\pi )+F_n(0).$

Ponieważ liczby $f_n^{(i)}(0)$ i $f_n^{(i)}(\pi )$ są całkowite, całkowita jest więc wartość $F_n(\pi )+F_n(0).$ Z drugiej strony, dla $0<x<\pi$ zachodzi oszacowanie

$0<f_n(x)\sin x<\frac{{\pi }^n{p}^n}{n!}.$

Z dowolności $n$ i powyższego oszacowania, całka $I_n$ jest dowolnie mała, co prowadzi do sprzeczności.

Przestępność

Przybliżona konstrukcja Kochańskiego

Liczba Szablon:Pi jest liczbą przestępną, co w 1882 roku wykazał Ferdinand Lindemann. Oznacza to, że nie istnieje wielomian o współczynnikach wymiernych, którego Szablon:Pi jest pierwiastkiem. W rezultacie nie jest możliwe przedstawić Szablon:Pi w postaci wyrażenia zawierającego skończoną liczbę działań arytmetycznych i pierwiastków na liczbach całkowitych.

Przestępność liczby Szablon:Pi oznacza, że niemożliwa jest kwadratura koła, czyli klasyczna konstrukcja (linijką i cyrklem) kwadratu o powierzchni równej powierzchni danego koła, gdyż współrzędne wszystkich punktów, które mogą być skonstruowane w taki sposób, należą do zbioru liczb nazywanych liczbami algebraicznymi. Konstrukcja klasyczna pozwala jedynie znaleźć rozwiązania przybliżone (tzw. konstrukcje przybliżone). Powiązanym, również niemożliwym do rozwiązania problemem, jest problem rektyfikacji okręgu, do którego również istnieją konstrukcje przybliżone, z których za jedną z najprostszych uchodzi konstrukcja Adama Adamandego Kochańskiego.

Historia obliczeń wartości Szablon:Pi

Przybliżanie liczby Szablon:Pi w starożytności

Babilończycy uważali, że obwód koła niewiele różni się od obwodu sześciokąta wpisanego w niego i przyjmowali $\pi \approx 3,$ Świadczą o tym niemal wszystkie teksty utrwalone na glinianych tabliczkach i poruszające te problemy. Tylko jedna tabliczka (datowana na lata 1900–1680 p.n.e.) zawiera obliczenia sugerujące stosowanie przybliżenia $\pi \approx 3\frac{1}{8}=3,125.$

Na pochodzącym sprzed 1650 r. p.n.e. egipskim papirusie Rhinda, autorstwa królewskiego skryby (według niektórych źródeł tylko kopisty oryginału) Ahmesa, zatytułowanym Wprowadzenie do wiedzy o wszystkich istniejących rzeczach można znaleźć rozwiązania zadań matematycznych zawierające m.in. odniesienia do wartości liczby Szablon:Pi, przybliżanej wartością $\frac{4^4}{3^4}=3,1604\dots$

W biblijnej Drugiej Księdze Kronik (Biblia Tysiąclecia, rozdział 4, werset 2) pochodzące z V–IV w. p.n.e. można znaleźć słowa:

Następnie sporządził odlew okrągłego „morza” o średnicy dziesięciu łokci, o wysokości pięciu łokci i o obwodzie trzydziestu łokci.

Wynika z nich, że w Starym Testamencie, podobnie jak w źródłach babilońskich, przyjmowano oszacowanie $\pi \approx 3.$

Archimedes w III w. p.n.e. oszacował liczbę Szablon:Pi z dokładnością do dwóch miejsc po przecinku. Użył do tego metody bazującej na zależnościach geometrycznych, metody pozwalającą oszacowywać Szablon:Pi z (teoretycznie) dowolną dokładnością, przez następne wieki była metodą najlepszą, często niezależnie od prac Archimedesa wykorzystywaną przez późniejszych matematyków. Wynikiem jego pracy było podanie przedziału, w jakim mieści się liczba Szablon:Pi: $\pi \in (3\frac{10}{71};3\frac{1}{7}).$ Archimedes uzyskał ten wynik, wyznaczając długości boków dwóch 96-kątów foremnych – opisanego na okręgu i wpisanego w ten sam okrąg. Następnie obliczył średnią arytmetyczną obwodów tych wielokątów, otrzymując przybliżenie długości okręgu. Obliczenia były bardzo żmudne i czasochłonne. Mimo wielkich wysiłków Archimedesowi nie udało się dokonać analogicznych obliczeń dla 192-kątów, co pozwoliłoby mu wyznaczyć wartość ludolfiny z jeszcze większą dokładnością.

Przybliżanie liczby Szablon:Pi w średniowieczu

Liu Hui, chiński matematyk żyjący w III wieku naszej ery, metodą Archimedesa dla wieloboków o 3072 bokach ustalił przybliżoną wartość liczby Szablon:Pi na 3,1415.

Zu Chongzhi, chiński cesarski astronom około 500 roku n.e. podał dwa przybliżenia liczby Szablon:Pi – wcześniejsze – $\pi \approx \frac{22}{7},$ oraz późniejsze, wynoszące $\frac{355}{113},$ które do XV wieku było najlepszym znanym ludzkości przybliżeniem wartości liczby Szablon:Pi (na szczególną uwagę zasługuje łatwość jego zapamiętania: 11-33-55). Wartości te zanotowano w pochodzących z tego okresu kronikach dworskich. Użył on metody Archimedesa, lecz najprawdopodobniej nie miał dostępu do jego prac.

Brahmagupta, hinduski matematyk, sto lat później (około 600 r.n.e.), podał inne przybliżenie wartości Szablon:Pi – $\sqrt{10}\approx 3,162\dots ,$ stosując własności 12, 24, 48 i 96-boków, których długości obwodów wynosiły odpowiednio

$\sqrt{9,56},\sqrt{9,81},\sqrt{9,86},\sqrt{9,87}.$

W rzeczywistości

${\pi }^2\approx 9,8696.$

W 1400 roku hinduski matematyk Madhava jako pierwszy w historii do obliczenia wartości Szablon:Pi użył ciągów nieskończonych. W istocie odkrył on wzór, do którego Leibniz i Gregory (autorstwo przypisuje się obu) doszli w 1674. Natomiast pierwszym z Europejczyków, który użył metody aproksymacji Szablon:Pi przy pomocy ciągów nieskończonych był John Wallis, który w 1656 roku w dziele Arithmetica infinitorum podał bardzo zgrabny – aczkolwiek niezbyt użyteczny – wzór na Szablon:Pi. Od tego czasu do obliczania wartości Szablon:Pi zaczęto używać ciągów nieskończonych – zazwyczaj przy pomocy rozwinięcia funkcji arcus sinus lub arcus tangens w szereg potęgowy.

Ludolph van Ceulen, stosując jeszcze metodę Archimedesa, obliczył wartość Szablon:Pi z dokładnością do 20 miejsc po przecinku i opublikował wynik w dziele Van den Circkel (1596). Według biografów Ceulen większość swojego życia poświęcił próbom coraz lepszego przybliżenia Szablon:Pi, zwanej niekiedy od jego imienia Ludolfiną, pod koniec życia podając Szablon:Pi z dokładnością do 35 miejsc po przecinku (użył do tego wieloboku o $2^{62}$ bokach) – wartość ta została wyryta na jego płycie nagrobkowej.

Przybliżanie liczby Szablon:Pi w czasach nowożytnych

Z biegiem lat uzyskiwano coraz lepsze przybliżenia wartości Szablon:Pi sięgające kilkuset miejsc po przecinku. W 1853 William Rutherford podał liczbę Pi z dokładnością 440 miejsc po przecinku. Rekordzistą w ręcznych obliczeniach liczby Pi jest William Shanks, któremu w 1874 udało się uzyskać 707 miejsc po przecinku. Zajęło mu to 15 lat. Później okazało się, że 180 ostatnich cyfr obliczył błędnie (wynik, który uznano za prawidłowy uwzględnia 527 miejsc po przecinku). W 1946 roku Ferguson podał wartość Szablon:Pi do 620. miejsca po przecinku. W końcowych obliczeniach wspomagał się już kalkulatorem. Od 1949, kiedy to przy pomocy komputera ENIAC obliczono 2038 miejsc po przecinku, dokładniejsze aproksymacje liczby Szablon:Pi uzyskiwano już tylko przy użyciu komputerów. We wrześniu 1999 roku obliczono Szablon:Pi z dokładnością 2,0615·10¹¹ miejsc po przecinku. Dokonał tego Takahasi przy pomocy komputera Hitachi SR8000.

31 grudnia 2009 r. Fabrice Bellard ogłosił, że udało mu się obliczyć Szablon:Pi z dokładnością do 2700 miliardów cyfr. Obliczenia ze sprawdzeniem zajęły 131 dni, do obliczeń użyto komputera z procesorem Intel Core i7 (2,93 GHz) i 6 GB RAM. Sam zapis binarny liczby zajmuje około 1,12 TB.

W październiku 2011 Alexander J. Yee i Shigeru Kondo uzyskali dokładność ok. 10 bilionów (10¹³) miejsc po przecinku. Obliczenia zajęły 371 dni.

W październiku 2014 anonimowa osoba o nicku houkouonchi uzyskała dokładność ok. 13,3 biliona miejsc po przecinku. Obliczenia zajęły 208 dni, a sprawdzanie 182 godziny.

W listopadzie 2016 Peter Trueb uzyskał dokładność ok. 22,5 biliona miejsc po przecinku przy pomocy programu y-cruncher. Obliczenia zajęły 105 dni, a sama liczba zajęła ok. 120 TB miejsca.

W styczniu 2020 Timothy Mullican uzyskał dokładność 50 bilionów miejsc po przecinku przy pomocy programu y-cruncher. Obliczenia zajęły 303 dni, a sama liczba zajęła ok. 281 TB miejsca.

Niezależnie od algorytmów znajdujących coraz lepsze przybliżenia liczby pi opracowano metody obliczania pojedynczych bardzo odległych cyfr w rozwinięciu dziesiętnym liczby pi. Np. w roku 2010 obliczono cyfrę będącą na 2 000 000 000 000 000 miejscu po przecinku w rozwinięciu dziesiętnym liczby pi i wynosi ona zero. Obliczenia trwały 23 dni na 1000 maszynach.

Wzory do obliczania liczby Szablon:Pi

Wzory wolno zbieżne

Poniższe metody są wolno zbieżne

• François Viète, 1593:

$\frac{\sqrt{2}}{2}\cdot \frac{\sqrt{2+\sqrt{2}}}{2}\cdot \frac{\sqrt{2+\sqrt{2+\sqrt{2}}}}{2}\cdot \dots =\frac{2}{\pi }$

• Leibniz:

$\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{2n+1}=\frac{1}{1}-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\frac{1}{9}-\dots =\frac{\pi }{4}$

• Leonhard Euler, 1735:

$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^2}=\frac{1}{1}+\frac{1}{4}+\frac{1}{9}+\frac{1}{16}+...=\frac{{\pi }^2}{6}$

• John Wallis, 1655:

$\prod _{n=1}^{\mathrm{\infty }}\frac{2n}{2n-1}\cdot \frac{2n}{2n+1}=\frac{2}{1}\cdot \frac{2}{3}\cdot \frac{4}{3}\cdot \frac{4}{5}\cdot \frac{6}{5}\cdot \frac{6}{7}\cdot \frac{8}{7}\cdot \frac{8}{9}\dots =\frac{\pi }{2}$ (wzór Wallisa)

Wzory szybko zbieżne

Synopsis palmariorum mathesos, fragment

Do szybkich obliczeń komputerowych stosuje się przybliżenie wynikające z tożsamości:

$\frac{\pi }{4}=4\mathrm{arctg}\frac{1}{5}-\mathrm{arctg}\frac{1}{239}$

Funkcję arcus tangens należy rozwinąć w szereg Taylora. Twórcą tej formuły jest angielski matematyk John Machin (1680–1751).

Szybko zbieżne formuły postaci: $\frac{\pi }{4}=\sum _n^N{a}_n\mathrm{arctg}\frac{1}{b_n}$ podały również inne osoby, m.in.:

• S. Klingenstierna (1730):

$\frac{\pi }{4}=8\mathrm{arctg}\frac{1}{10}-\mathrm{arctg}\frac{1}{239}-4\mathrm{arctg}\frac{1}{515}$

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

$\frac{\pi }{4}=44\mathrm{arctg}\frac{1}{57}+7\mathrm{arctg}\frac{1}{239}-12\mathrm{arctg}\frac{1}{682}+24\mathrm{arctg}\frac{1}{12943}$

• K. Takano (1982):

$\frac{\pi }{4}=12\mathrm{arctg}\frac{1}{49}+32\mathrm{arctg}\frac{1}{57}-5\mathrm{arctg}\frac{1}{239}+12\mathrm{arctg}\frac{1}{110443}$

Zbiór innych formuł typu zaproponowanego przez Machina można znaleźć np. na stronie „Numbers, constants and computation”.

Inne metody

• Newton:

$\frac{\pi }{2}=\sum _{k=0}^{\mathrm{\infty }}\frac{k!}{(2k+1)!!}=1+\frac{1}{3}(1+\frac{2}{5}(1+\frac{3}{7}(1+\frac{4}{9}(1+\dots ))))$

• Ramanujan:

$\frac{1}{\pi }=\frac{2\sqrt{2}}{9801}\sum _{k=0}^{\mathrm{\infty }}\frac{(4k)!(1103+26390k)}{(k!{)}^{4}396^{4k}}$

Wzór ten wyróżnia dokładność, która wzrasta 100 milionów razy wraz z dodaniem kolejnego składnika sumy.

• David Chudnovsky i Gregory Chudnovsky:

$\frac{1}{\pi }=12\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k(6k)!(13591409+545140134k)}{(3k)!(k!{)}^{3}640320^{3k+3/2}}$

• Bailey-Borwein-Plouffe (BBP, 1997)

$\sum _{k=0}^{\mathrm{\infty }}\frac{1}{16^k}(\frac{4}{8k+1}-\frac{2}{8k+4}-\frac{1}{8k+5}-\frac{1}{8k+6})=\pi$

Każdy składnik sumy jest równocześnie kolejną cyfrą szesnastkowego rozwinięcia liczby Szablon:Pi, co pozwala na zrównoleglenie pracy np. na superkomputerach.

Ułamki łańcuchowe

Istnieją także rozwinięcia w ułamki łańcuchowe:

• William Brouncker (ok. 1600)

$1+\frac{1^2}{2+\frac{3^2}{2+\frac{5^2}{2+\frac{7^2}{2+\dots }}}}=\frac{4}{\pi }$

• Leonhard Euler (ok. 1755)

$1+\frac{2}{3+\frac{1\cdot 3}{4+\frac{3\cdot 5}{4+\frac{5\cdot 7}{4+\dots }}}}=\frac{\pi }{2}$

Szacowanie liczby Szablon:Pi przy pomocy całek

Przy pomocy całki Riemanna można dowodzić szacowań liczby Szablon:Pi przez pewne liczby wymierne. Jednym z przykładów jest zależność znaleziona przez Dalzella:

$0<\underset{0}{\overset{1}{\int }}\frac{x^4(1-x{)}^4}{1+x^2}\text{d}x=\frac{22}{7}-\pi ,$

z której wynika, że $\frac{22}{7}>\pi .$ Zachodzi ponadto

$\frac{1}{1260}=\underset{0}{\overset{1}{\int }}\frac{x^4(1-x{)}^4}{2}\text{d}x<\underset{0}{\overset{1}{\int }}\frac{x^4(1-x{)}^4}{1+x^2}\text{d}x<\underset{0}{\overset{1}{\int }}\frac{x^4(1-x{)}^4}{1}\text{d}x=\frac{1}{630},$

skąd wynika, iż

$\frac{22}{7}-\frac{1}{630}<\pi <\frac{22}{7}-\frac{1}{1260}.$

Długość krzywej sparametryzowanej wzorem $\frac{\sin x}{\sqrt{2-2\cos x}},$ gdzie $x\in ⟨0,\frac{\pi }{10^n}⟩,$ przy $n$ dąży do nieskończoności, pomnożona razy $10^n$ daje

$\pi =\underset{0}{\overset{\pi /10^n}{\int }}\frac{\sqrt{9-\cos x}}{2\sqrt{2}}dx\cdot 10^n.$

Kultura Szablon:Pi

Liczba Pi

Liczba Szablon:Pi ma swoich licznych wielbicieli. Obchodzą oni [[Dzień Liczby Pi|Dzień Liczby Szablon:Pi]] (14 marca; amerykański sposób zapisu tej daty to „3/14”) oraz dzień aproksymacji Szablon:Pi (22 lipca) (europejski sposób zapisu daty to „22/7”, od $\frac{22}{7}\approx 3,1428$).

Tworzone są też wierszyki i opowiadania, w których długość każdego kolejnego słowa jest równa kolejnej cyfrze w rozwinięciu dziesiętnym liczby Szablon:Pi (zob. Pi-emat).

Niemcom w zapamiętaniu aproksymacji Szablon:Pi uzyskanej przez van Ceulena może być pomocny wiersz napisany przez Clemensa Brentano, który jest przypuszczalnie pierwszym tego typu tekstem:

Nie, o Gott, o guter, verliehst Du meinem Hirne die Kraft mächtige Zahlreihn dauernd verkettet bis in die spaetere Zeit getreu zu merken. Drum hab ich Ludolph mir zu Lettern umgeprägt.

Nigdy, o dobry Boże, nie użyczysz mi mocy spamiętania po wsze czasy potężnego, ze sobą trwale sprzężonego szeregu cyfr. Dlatego przyswoiłem sobie ludolfinę w słowach. (przekład Witolda Rybczyńskiego)

Pierwszym polskim tekstem tego typu jest wiersz Kazimierza Cwojdzińskiego z 1930 roku, zamieszczony w październikowym wydaniu czasopisma „Parametr”, poświęconemu nauczaniu matematyki. Należy jednak pamiętać, że tekst powstał przed reformą ortografii z 1936 roku. Wtedy pisano „nie ma” w znaczeniu „nie posiada” i „niema” w znaczeniu „nie jest”.

Kuć i orać w dzień zawzięcie,

Bo plonów niema bez trudu!

Złocisty szczęścia okręcie,

Kołyszesz...

Kuć! My nie czekajmy cudu.

Robota to potęga ludu!

Rymowany wiersz, w którym liczba liter w kolejnych wyrazach odpowiada rozwinięciu dziesiętnemu liczby pi do 20 miejsca po przecinku:

Kto w mgłę i słotę wagarować ma ochotę?

Chyba ten który ogniście zakochany, odziany wytwornie

Gna do nóg Bogdanki paść kornie

Limeryk (limerypinoid) Marcina Orlińskiego wykorzystuje 26 miejsc po przecinku:

Jan C. Dors z Pucka (Pomorskie)

na omyłki takie jak „Dorsz” reagował wstrząsem.

Bluzgał, zapieniał się:

„Ja już odpocząć chcę!

Błagam! Ja jestem Dors, nic nie plączcie!”

Wiersz pozwala zapamiętać 32 cyfry składające się na liczbę pi:

Kto w mózg i głowę natłoczyć by chciał cyfer moc,

Ażeby liczenie ludolfiny trudnej spamiętać móc,

To nam zastąpić musi słówka te litery suma,

Tak one trwalej się do pamięci wszystkie wsuną.

Inne przykłady:

Jaś o kole z werwą dyskutuje

bo dobrze temat ten czuje

zastąpił ludolfinę słowami wierszyka

czy Ty już odgadłeś, skąd zmiana ta wynika?

Kto i bada i liczy,

Myśliciel to wielki.

Mylić się zwykł jednakże

Matematyk wszelki.

Oto i wiem i pomnę doskonale…

Kto z woli i myśli zapragnie Pi spisać cyfry, ten zdoła

Oto limeryk opublikowany kiedyś w miesięczniku „Delta”:

Raz w maju, w drugą niedzielę

Pi liczył cyfry pan Felek.

Pomnożył, wysumował,

Cyferki zanotował,

Ale ma ich niewiele...

Są nawet wiersze białe:

Źle w mgle i snach bolejącym do wiedzy progu iść.

Kolejny, dłuższy przykład, w formie inwokacji do bogini pamięci (myślnik po „pauza” zastępuje zero):

Daj, o pani, o boska Mnemozyno, pi liczbę, którą też zowią ponętnie Ludolfiną, pamięci przekazać tak, by jej dowolnie oraz szybko do pomocy użyć; gdy się problemu nie da inaczej rozwiązać, pauza – to zastąpić liczbami. Witold Rybczyński w miesięczniku „Problemy” (nr 8/1949)

Jest to wersja poprawiona. Pierwotnie tekst zawierał błąd „zadania” zamiast „problemu”, czyli 7 zamiast 8 na 27 miejscu.

Najbardziej znany przykład angielski jest autorstwa sir Jamesa Jeansa:

How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics!

Jakże chciałbym się napić, czegoś mocnego oczywiście, po trudnych wykładach dotyczących mechaniki kwantowej!

Po francusku:

Que j’aime a faire apprendre un nombre utile aux sages. Immortel Archimede, artiste ingenieux, qui de ton ton jugement put prise la valeur! Pour moi ton problème eut de pareils avantages.

Po rosyjsku:

Раз и шутя, и скоро пожелаешь пи узнать число – так знаешь

Popularny jest także następujący wierszyk:

How I wish I could recollect Pi easily today!

Jakże bym chciał dzisiaj łatwo przypomnieć sobie Pi!

Popularny jest również polski wierszyk:

Był i jest, i wieki chwalonym ów będzie, który kół obwód średnicą wymierzył; sławcie Archimeda, aby ów mąż wszędzie imię sławne na zawsze jako syn Muz dzierżył.

Wśród polskich sposobów na mnemotechniczne zapamiętanie jest również okolicznościowy wierszyk, który powstał z okazji Mistrzostw Świata w Piłce Nożnej w Argentynie w 1978 roku

„Już i Lato i Deyna strzelili do bramki obcej dwa karne. Lubański dostrzegł mistrza Szarmacha, gdy on tak wypuścił cios szacha, że zdobyć musi cel gry, krzyknął Gol na Mundial Argentyna”. (30 cyfr po przecinku).

Liczba Szablon:Pi była inspiracją wielu artystów i reżyserów. Darren Aronofsky poruszył jej temat w swoim filmie Pi. W literaturze Pi jest imieniem bohatera powieści Yanna Martela – Życie Pi oraz tematem jednego z wierszy Wisławy Szymborskiej. Rozwinięcie binarne liczby Szablon:Pi (jako zaszyfrowana informacja dotycząca sensu wszechświata) odgrywa kluczową rolę w zakończeniu znanej powieści s-f Kontakt Carla Sagana. Fascynacja Szablon:Pi jako kluczem czy ważnym elementem „wiedzy tajemnej” bywa obecna w wielu paranaukowych czy ezoterycznych sektach i stowarzyszeniach, poczynając od XVIII w. W szczególności Bóg objawia swoje imię Mojżeszowi jako „Jestem, który jestem” w 3 rozdziale, 14 i 15 wierszu Księgi Wyjścia ($\pi \approx 3.1415\dots$).

W latach 80. XX w. w Polsce emitowany był telewizyjny program edukacyjny przeznaczony dla dzieci i młodzieży pt. Przybysze z Matplanety, w którym jednym z bohaterów był nieśmiały i tchórzliwy Pi.

Księga Guinnessa zawiera listę ludzi, którzy zapamiętali najwięcej cyfr liczby Szablon:Pi. Aby ją zapamiętać, korzystają często z mnemotechniki GSP i pałacu pamięci. Światowy potwierdzony rekord w zapamiętaniu ciągu cyfr liczby Szablon:Pi należy aktualnie do Hindusa Rajveera Meeny, który 21 marca 2015 roku podał ją z dokładnością do 70 tysięcy miejsc po przecinku. Według serwisu Pi World Ranking List, rekord ten w tym samym roku został pobity przez Hindusa Suresha Kumara Sharmę, który 21 października 2015 roku wyrecytował 70 030 cyfr rozwinięcia liczby Szablon:Pi. Nieoficjalny światowy rekord należy do Japończyka Akiry Haraguchi, który w październiku 2006 roku podał ją z dokładnością do 100 tysięcy miejsc po przecinku, bijąc własny rekord 83 431 cyfr po przecinku z lipca 2005 roku. Starszy oficjalny rekord należał do Chińczyka Lu Chao, który powtórzył ponad 67 tysięcy znaków po przecinku.

Upamiętnienie

W 2022 skrzyżowaniu ulic Konstruktorskiej i Suwak w dzielnicy Mokotów w Warszawie nadano nazwę rondo Liczby π.

Zobacz też

• Dzień Liczby Pi
• tożsamość Eulera

Linki zewnętrzne

Polskojęzyczne

• Szablon:Otwarty dostęp Tomasz Rożek, Skąd się wzięła liczba Pi, kanał „Nauka. To lubię” na YouTube, 14 marca 2021 [dostęp 2021-03-15].
• Szablon:Pismo Delta

Anglojęzyczne

• E-tekst z projektu Gutenberg zawierający rozwinięcie liczby Szablon:Pi długości 10⁶ miejsc po przecinku: http://www.gutenberg.org/etext/50 Szablon:Lang
• J.J. O’Connor and E.F. Robertson: A history of Pi. Projekt Mac Tutor: http://www-history.mcs.st-andrews.ac.uk/history/HistTopics/Pi_through_the_ages.html Szablon:Lang
• Szablon:MathWorld
• Jak obliczyć wartość pi Szablon:Lang
• Szablon:Cytuj
• Znajdź swoją ulubioną liczbę w liczbie Pi Szablon:Lang
• Szablon:Cytuj
• Szablon:Otwarty dostęp Reynaldo Lopes, The infinite life of pi, kanał TED-Ed na YouTube, 10 lipca 2013 [dostęp 2024-08-22].
• Szablon:Otwarty dostęp When Pi is Not 3.14, kanał PBS Infinite Series na YouTube, 5 stycznia 2017 [dostęp 2024-08-24].
• Pi Digits Generator, betafcc na GitHub