Od enostavnega razmerja med obsegom in premerom kroga do ene od najglobjih skrivnosti v matematiki. Pet ravni — vsaka se začne od nič.
Začetniki začnejo pri 1. ravni — potrebuješ samo osnovnošolsko geometrijo. Vsaka naslednja raven gradi na prejšnji in razkrije globljo plast resnice o π.
Vzemi katerikoli krog. Izmeri njegov obseg — razdaljo vzdolž roba. Izmeri njegov premer — razdaljo skozi sredino. Razdeli obseg s premerom. Dobiš vedno isto število, ne glede na to, kako velik ali majhen je krog.
To število je π. Ni odvisno od enot, ne od velikosti, ne od ničesar drugega razen od same oblike kroga. Vsak krog — risba na papirju, luna, elektron v orbitali — nosi v sebi to isto skrivnost.
Obseg, premer in njuno razmerje se spremenijo — π ostane enak.
Beseda »razmerje« tu ni slučajna. π je razmerje — toda ne vsako razmerje je π. Kar naredi π posebno, odkrijemo šele globlje: π je iracionalno, kar pomeni, da ga ni mogoče natančno zapisati z ulomkom. Toda to je zgodba za 4. raven.
Krog ni edina oblika, ki vsebuje π. Površina kroga je π·r². Zakaj ravno π? Ker ko razrežemo krog na neskončno tanke trikotniške koščke in jih zložimo v pravokotnik, dobimo stranici π·r in r — in površina je njun zmnožek.
Krog je edina ravninska oblika, ki ima konstantno ukrivljenost — vsaka točka na robu je enako oddaljena od središča. Prav ta simetrija je razlog, da π nastopa pri krogu tako elegantno. Enačba x² + y² = r² — ki definira krog — vsebuje π skrito v svojih rešitvah. Ko rešujemo enačbe z x² in y², se π pojavi »avtomatično«, ker krožna simetrija ni posebnost kroga, ampak lastnost evklidske ravnine same.
Že 5000 let preden so matematiki dokazali, kaj π sploh je, so ga iskali. Vsaka civilizacija je vedela, da to razmerje obstaja. Nobena ga ni znala natančno izraziti. Ta stremljenje je ena od najdaljših matematičnih zgodb, kar jih poznamo.
Ko povečujemo število stranic, postajata meji tesnejši in tesnejši. Arhimed je z 96-kotnikom dosegel dve pravilni decimalni mesti — ročno, brez trigonometrije, ki ni bila izumljena. Metoda deluje, ker se n-kotnik s povečevanjem stranic približa krogu od znotraj in od zunaj hkrati.
π je iracionalno, kar pomeni, da ima neskončno decimalk brez ponavljajočega vzorca. Nobena količina računalniškega časa ne bo nikoli »dokončala« π. Vsaka nova decimalk, ki jo izračunamo, je resnično nova — ne ponovitev preteklega vzorca. Kljub temu ima iskanje decimalk praktično vrednost: preizkuša računalniško strojno opremo (napake v procesorjih se odkrijejo s takimi izračuni) in razvija algoritme za hitro aritmetiko z visoko natančnostjo, ki se uporabljajo v kriptografiji.
Arhimedova metoda je geometrična: krog ujamemo med dvema n-kotnikoma. V 17. in 18. stoletju je matematika odkrila pot povsem drugačno — aritmetično. Seštejemo enostavne ulomke — neskončno mnogo — in iz tega privrete π.
To ni samo praktičen trik. Je globoka resnica o tem, kako je π povezan s celimi in racionalnimi števili, iz katerih izhajamo — kljub temu da π sam ni racionalen.
Samo liha cela števila, izmenično plus in minus, pa vsakič delimo s 4 — in dobimo π. Gregory in Leibniz sta to neodvisno odkrila, a vrsta konvergira mučno počasi: za 10 pravilnih decimalk potrebujemo milijardo členov.
John Wallis je pred Leibnizom odkril, da je π/2 enako neskončnemu produktu ulomkov. Vzorec je eleganten: vsako sodo naravno število nastopi dvakrat — enkrat v števniku, enkrat v imenovalcu — in ulomki se menjavajo malo nad in malo pod 1.
Srinivasa Ramanujan — samouški matematik iz Indije, ki ni nikoli imel formalne izobrazbe — je v zvezek zapisal to formulo, ne da bi pojasnil, kako jo je dobil. Vsak člen doda osem pravilnih decimalk π. Danes osnova algoritmov, ki izračunajo bilijone decimalk. Ko je G. H. Hardy videl Ramanujanova pisma leta 1913, je takoj vedel, da gleda matematičnega genija.
| Člen k | Prispevek | Aproksimacija π | Napaka |
|---|
Leibnizova vrsta izhaja iz integrala arctangent funkcije: arctan(1) = π/4, in arctan(x) = x − x³/3 + x⁵/5 − ··· za |x| ≤ 1. Postavimo x = 1 in dobimo vrsto. Toda zakaj arctan(1) = π/4? Ker je tangens π/4 enak 1, in arctan je inverzna funkcija tangensa. Torej je celoten izvir v krožnih funkcijah — sinus in kosinus sta definirana s kotom v radianih, ki meri dolžino loka, ki vsebuje π. Vse ceste vodijo do π, ker je π v samem jedru krožne geometrije.
Do zdaj vemo, kaj π je (razmerje) in kako ga izračunamo (vrsta, produkt). Toda kje živi v svetu števil? To vprašanje se zdi filozofsko, je pa globoko matematično — in odgovor je presenetljiv.
Racionalno število je vsako, ki ga zapišemo kot p/q (celi števili). Racionalna števila imajo v decimalnem zapisu bodisi končno bodisi periodično neskončno decimalno razvrstitev (npr. 1/3 = 0,333... ali 22/7 = 3,142857142857...).
Johann Heinrich Lambert je leta 1761 dokazal, da π ni racionalno število. Dokaz je eleganten, a zahteva analizo. Ključni uvid: predpostavimo, da je tan(x) = p/q (racionalen), potem x ne more biti racionalen — razen za x = 0. Ker je tan(π/4) = 1 (racionalen), π/4 ne more biti racionalen, torej π ne more biti racionalen.
Najboljši racionalni priblizki π (imenovalec ≤ n). Vsi ulomki so le priblizki — nobeden ni enak π.
Biti iracionalen je malo. Obstajajo namreč iracionalna števila, ki so »rešitve« algebraičnih enačb s celimi koeficienti — imenujemo jih algebraična. √2 je iracionalen, toda je rešitev enačbe x² − 2 = 0. Zlato razmerje φ je iracionalno, toda rešitev enačbe x² − x − 1 = 0.
Transcendentno število ne zadosti nobeni takšni polinomski enačbi, ne glede na stopnjo in koeficiente. Ferdinand von Lindemann je leta 1882 dokazal, da je π transcendentno. S tem je hkrati rešil 2000 let star problem:
Kvadratura kroga je nemogoča. 2000 let so matematiki iskali način, kako z ravnilom in šestilom skonstruirati kvadrat, ki ima enako površino kot dani krog. Lindemann je dokazal, da to ni mogoče — ker bi takšna konstrukcija implicirala, da je π algebraično število. Ker ni, konstrukcija ne obstaja.
Transcendentna števila so v določenem smislu večina realnih števil — algebraičnih je le »šteto neskončno mnogo«, transcendentnih pa je »nešteto neskončno«. Kljub temu je za posamezno število dokazati transcendenco izredno težko. Za e^e tega še danes ne vemo.
Matematiki domnevajo, da je π normalno: vsaka cifra (0–9) se pojavi enako pogosto (10%), vsak par enako pogosto (1%), vsak trojček enako pogosto (0,1%)... Statistična analiza znanih decimalk to podpira: med prvimi bilijono decimalk se vsaka cifra pojavi natanko okrog 100 milijard krat. Toda tega nihče ne zna dokazati. Je π normalno? Ne vemo. Morda nikoli ne bomo vedeli — dokaz normalnosti zahteva vedenje o porazdelitvi, ki presega vse znane metode.
Zdaj vemo, kaj π je in kje živi v svetu števil. Toda narava π je skrivnostnejša, kot se zdi: π se pojavi daleč stran od krogov — v verjetnosti, fiziki, analizi. Ni le lastnost geometrije. Je zakorenjen v sami strukturi prostora in časa.
Georges-Louis Leclerc, grof Buffon, je leta 1777 postavil naslednje vprašanje: Črtamo vzporedne črte na tla, oddaljene ena od druge za dolžino l. Mečemo iglo dolžine l. Kolikšna je verjetnost, da igla prečka eno od črt?
Verjetnost vsebuje π. To pomeni: iz merjenja verjetnosti pridobimo π. Metajmo iglo večkrat — in π se bo počasi izoblikoval iz neskončne statistike.
Gaussova krivulja — »zvonasta krivulja«, ki opisuje napake meritev, višine ljudi, finančna tveganja — vsebuje π v svoji formuli:
Zakaj π? Ker integral e^(−x²) od −∞ do +∞ je natanko √π. To je Gaussov integral — eden od najelegantnejših rezultatov v matematiki, ki ga rešimo z ostroumnim trikom: kvadriramo integral in ga pretvorimo v polarno obliko, kar takoj vnese krog in s tem π.
Richard Feynman jo je imenoval »najlepša enačba v matematiki«. Petero najpomembnejših konstant matematike:
e (Eulerjeva konstanta, osnova naravnega logaritma), i (imaginarno število), π (razmerje kroga), 1 (osnova množenja), 0 (osnova seštevanja). Nihče jih ni »postavil skupaj« — iz Eulerjevega izreka e^(ix) = cos(x) + i·sin(x) ob x = π sledi takoj e^(iπ) = cos(π) + i·sin(π) = −1 + 0 = −1.
π in e se srečata v Eulerjevem izreku, ker sta oba zakoreninjena v eksponentni in krožni funkciji — ki sta, globoko gledano, ista stvar v kompleksni ravnini. Krog ni le geometrijska oblika; je fundamentalna pot eksponentne rasti v svetu kompleksnih števil.
Heisenbergovo načelo nedoločenosti: Δx · Δp ≥ ħ/2 = h/(4π). Planckova konstanta h vsebuje π, ker kvantni stanovi opisujejo oscilacije — in vsaka oscilacija je v bistvu krog. Einsteinova enačba polja Gμν = 8πG/c⁴ · Tμν vsebuje faktor 8π, ki izvira iz dejstva, da gravitacija v 3D prostoru razpada po inverznem kvadratu razdalje, površina sfere pa je 4πr² — kar vnese π v vsak gravitacijski zakon. π je torej ne le lastnost abstraktne matematike, ampak geometrije prostora samega.