Difference between revisions of "Pi"

Revision as of 22:37, 8 July 2009

Pi is an irrational number (in fact, transcendental number, as proved by Lindemann in 1882) denoted by the greek letter $\pi$ .

Definition

Pi is the ratio of the circumference (perimeter) of a given circle to its diameter. It is approximately equal to 3.141592653. The number pi is one of the most important constants in all of mathematics and appears in some of the most surprising places, such as in the sum $\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}$ . Some common fractional approximations for pi are $\frac{22}{7} \approx 3.14285$ and $\frac{355}{113} \approx 3.1415929$ .

The number pi often shows up in problems in number theory, particularly algebraic number theory. For example, many class number formulae involve pi.

Approximating pi

$\pi$ can be calculated in several ways, and it can also be approximated. One way to approximate $\pi$ is to inscribe a unit circle in a square of side length 2. Using a computer, random points are placed inside the square. Because the area of the circle is $\pi$ , and the area of the square is 4, the ratio of the amount of points inside the circle to the total number of points approximates $\frac{\pi}{4}$ . This can simply be multiplied by 4 to approximate $\pi$ .

One formula for pi is $4\left( \sum_{i = 0}^\infty (-1)^i \left(\frac{1}{2n+1}\right)\right)$ . This can be computed to the desired degree of accuracy.

Other interesting properties

Letting $\theta = \pi$ in Euler's identity gives $e^{\pi i} + 1 = 0$ , which is considered to be one of the most beautiful results in mathematics since it involves five of the greatest constants: e, pi, i, 1, and 0.

Proof that $\pi$ is not Liouvillian

In this section we'll outline the Beukers proof that $\pi$ is not Liouvillian, i.e., that $\left|\pi-\frac pq\right|\ge \frac 1{q^M}$ for large $q$ with some fixed positive $M$ . The best known value of $M$ is currently (June, 1993) $M=8.02$ and is due to Hata. This article can be read right after its parent article rational approximation of famous numbers, but an unexperienced reader may prefer to read the proof that ln 2 is not Liouvillian first.

Beukers' Proof

Preliminaries

Note that if $x$ is Liouvillian, then so is any rational multiple of any positive integer power of $x$ (this is a simple exercise we leave to the reader), so, it will suffice to show that $\frac{\pi^2}6$ is not Liouvillian.

Euler's identity

$\frac{\pi^2}6=\sum_{m=1}^{\infty}\frac 1{m^2}$

The Beukers integral

Consider the integrals $I(k,\ell):=\iint_{(0,1)\times(0,1)}\frac {x^ky^\ell}{1-xy}\,dx\,dy$ . Expanding $\frac 1{1-xy}=\sum_{j=0}^\infty x^jy^j$ and integrating term by term, we get $I(k,\ell)=\sum_{j=0}^{\infty}\frac1{(k+j+1)(\ell+j+1)}.$

If $k=\ell$ , we get the sum of all inverse squares starting with $\frac 1{(k+1)^2}$ , so in this case,

$I(k,\ell)=\frac {\pi^2}{6}-\frac 1{1^2}-\frac 1{2^2}-\dots-\frac 1{k^2}.$

On the other hand, if $k>\ell$ , we get

$I(k,\ell)=\frac 1{k-\ell}\sum_{j=0}^\infty\left[\frac 1{\ell+j+1}-\frac {1}{k+j+1}\right]=\frac 1{k-\ell}\left[\frac 1{\ell+1}+\frac 1{\ell+2}+\dots+\frac 1k\right]$

Similarly, if $\ell>k$ , we get

$I(k,\ell)=\frac 1{\ell-k}\left[\frac 1{k+1}+\frac 1{k+2}+\dots+\frac 1\ell\right]$

Let now $D_n$ be the least common multiple of $1,2,\dots,n$ . It follows immediately from the above formulae for $I(k,\ell)$ that for every polynomial $R(x,y)$ with integer coefficients whose degree in both $x$ and $y$ does not exceed $n$ , we have

$D_n^2\iint_{(0,1)\times(0,1)}\frac {R(x,y)}{1-xy}\,dx\,dy=P_n-Q_n\frac{\pi^2}{6}$ where $P_n,Q_n\in \mathbb Z$ .

The trick is to choose a polynomial $R(x,y)$ that makes the integral very small. We put

$R(x,y)=\frac 1{n!}(1-y)^n\left(\frac d{dx}\right)^n [x^n(1-x)^n].$

Note that $R(x,y)$ has integer coefficients as a product of two polynomials with integer coefficients.

Estimate of $D_n$

Since the largest possible power of a given prime $p\le n$ that can divide one of the numbers $1,2,\dots,n$ is $\left\lfloor\frac{\log n}{\log p}\right\rfloor$ where $\lfloor\cdot\rfloor$ is the floor function, we have $D_n=\prod_{p\mathrm{\ prime,}\,p\le n}p^{\left\lfloor\frac{\log n}{\log p}\right\rfloor}\approx n^{\pi(n)}$ where $\pi(n)$ is the number of primes not exceeding $n$ . According to the prime number theorem, we have $\pi(n)\approx \frac n{\log n}$ , so $D_n\approx e^n.$ (The exact meaning of the $\approx$ sign here is that, as $n\to\infty$ , the ratio of the $n$ -th roots of the left and the right sides tends to $1$ . Note also that we need the full strength of the prime number theorem here. The elementary Chebyshev's estimate $D_n\le n^{\sqrt n}\cdot 4^n$ is no longer sufficient).

Estimates of the integral $\iint_{(0,1)\times(0,1)}\frac {R(x,y)}{1-xy}\,dx\,dy$

Integrating $n$ times by parts with respect to $x$ , we see that our integral equals $\iint_{(0,1)\times(0,1)}\left[\frac {x(1-x)y(1-y)}{1-xy}\right]^n\,\frac {dx\,dy}{1-xy}$ . We want to estimate $\max_{0<x,y<1}\frac {x(1-x)y(1-y)}{1-xy}$ . The first remark is that it is attained on the diagonal $x=y$ . It becomes clear if we rewrite the fraction as $\frac {xy(1-x-y+xy)}{1-xy}$ and recall that for a fixed product $xy$ the minimum of the sum $x+y$ is achieved when $x=y$ . So, we need to find the maximum of $\frac {x^2(1-x)^2}{1-x^2}=\frac {x^2(1-x)}{1+x}$ over the interval $(0,1)$ . Taking the logarithmic derivative and solving the resulting quadratic equation $\frac 2x-\frac 1{1-x}-\frac 1{1+x}=0$ , we see that the maximum is attained at the point $x=\frac{\sqrt 5-1}{2}$ and equals $\frac{5\sqrt 5-11}2$ . It means that the integral does not exceed $\left(\frac{5\sqrt 5-11}2\right)^n I(0,0)\approx \left(\frac{5\sqrt 5-11}2\right)^n$ .

On the other hand, to estimate the integral from below, it suffices to notice that the integrand is at least $\frac 4{81}$ for $\frac 1 3\le x,y\le\frac 2 3$ . Thus, the integral is not much less than $\left(\frac 4{81}\right)^n$ .

A small miracle

The miracle that makes the proof work is that $e^2\cdot\frac{5\sqrt 5-11}2$ is strictly less than $1$ (just check it on your calculator or prove it by hand yourself). Thus, for large $n$ , the whole product $D_n^2\iint_{(0,1)\times(0,1)}\frac {R(x,y)}{1-xy}\,dx\,dy$ can be estimated from above and from below by the $n$ -th powers of some constants strictly between $0$ and $1$ . Using the main theorem from the parent article, we see that it remains only to show that $Q_n$ grow not faster than some geometric progression.

Estimate of $Q_n$ and the end of the proof

Note that $Q_n$ is just minus the product of $D_n^2$ , which grows like $e^{2n}$ and the sum of the coefficients of the polynomial $R(x,y)$ at the products $x^ky^k$ with $k=0,\dots,n$ . It follows that $|Q_n|$ does not exceed the sum of coefficients of $(1-y)^n$ , which is $2^n$ , times the maximal coefficient of $\frac 1{n!}\left(\frac d{dx}\right)^n[x^n(1-x)^n]$ . But even the sum of the absolute values of the coefficients of this polynomial does not exceed $8^n$ . So $|Q_n|$ grows not much faster than $(16e^2)^n$ and we are done.

@@ Line 71: / Line 71: @@
 ===Estimate of <math>Q_n</math> and the end of the proof===
 Note that <math>Q_n</math> is just minus the product of <math>D_n^2</math>, which grows like <math>e^{2n}</math> and the sum of the coefficients of the polynomial <math>R(x,y)</math> at the products <math>x^ky^k</math> with <math>k=0,\dots,n</math>. It follows that <math>|Q_n|</math> does not exceed the sum of coefficients of <math>(1-y)^n</math>, which is <math>2^n</math>, times the maximal coefficient of <math>\frac 1{n!}\left(\frac d{dx}\right)^n[x^n(1-x)^n]</math>. But even the sum of the absolute values of the coefficients of this polynomial does not exceed   <math>8^n</math>. So <math>|Q_n|</math> grows not much faster than <math>(16e^2)^n</math> and we are done.
-== See Also ==
-* [[Circle]]
-[[Category:Constants]]
-the first 10,000 digits of pi are: 3.141592653589793238462643383279502884197169399375105820974944592307\
-816406286208998628034825342117067982148086513282306647093844609550582231725359\
-408128481117450284102701938521105559644622948954930381964428810975665933446128\
-475648233786783165271201909145648566923460348610454326648213393607260249141273\
-724587006606315588174881520920962829254091715364367892590360011330530548820466\
-521384146951941511609433057270365759591953092186117381932611793105118548074462\
-379962749567351885752724891227938183011949129833673362440656643086021394946395\
-224737190702179860943702770539217176293176752384674818467669405132000568127145\
-263560827785771342757789609173637178721468440901224953430146549585371050792279\
-689258923542019956112129021960864034418159813629774771309960518707211349999998\
-372978049951059731732816096318595024459455346908302642522308253344685035261931\
-188171010003137838752886587533208381420617177669147303598253490428755468731159\
-562863882353787593751957781857780532171226806613001927876611195909216420198938\
-095257201065485863278865936153381827968230301952035301852968995773622599413891\
-249721775283479131515574857242454150695950829533116861727855889075098381754637\
-464939319255060400927701671139009848824012858361603563707660104710181942955596\
-198946767837449448255379774726847104047534646208046684259069491293313677028989\
-152104752162056966024058038150193511253382430035587640247496473263914199272604\
-269922796782354781636009341721641219924586315030286182974555706749838505494588\
-586926995690927210797509302955321165344987202755960236480665499119881834797753\
-566369807426542527862551818417574672890977772793800081647060016145249192173217\
-214772350141441973568548161361157352552133475741849468438523323907394143334547\
-762416862518983569485562099219222184272550254256887671790494601653466804988627\
-232791786085784383827967976681454100953883786360950680064225125205117392984896\
-084128488626945604241965285022210661186306744278622039194945047123713786960956\
-364371917287467764657573962413890865832645995813390478027590099465764078951269\
-468398352595709825822620522489407726719478268482601476990902640136394437455305\
-068203496252451749399651431429809190659250937221696461515709858387410597885959\
-772975498930161753928468138268683868942774155991855925245953959431049972524680\
-845987273644695848653836736222626099124608051243884390451244136549762780797715\
-691435997700129616089441694868555848406353422072225828488648158456028506016842\
-739452267467678895252138522549954666727823986456596116354886230577456498035593\
-634568174324112515076069479451096596094025228879710893145669136867228748940560\
-101503308617928680920874760917824938589009714909675985261365549781893129784821\
-682998948722658804857564014270477555132379641451523746234364542858444795265867\
-821051141354735739523113427166102135969536231442952484937187110145765403590279\
-934403742007310578539062198387447808478489683321445713868751943506430218453191\
-048481005370614680674919278191197939952061419663428754440643745123718192179998\
-391015919561814675142691239748940907186494231961567945208095146550225231603881\
-930142093762137855956638937787083039069792077346722182562599661501421503068038\
-447734549202605414665925201497442850732518666002132434088190710486331734649651\
-453905796268561005508106658796998163574736384052571459102897064140110971206280\
-439039759515677157700420337869936007230558763176359421873125147120532928191826\
-186125867321579198414848829164470609575270695722091756711672291098169091528017\
-350671274858322287183520935396572512108357915136988209144421006751033467110314\
-126711136990865851639831501970165151168517143765761835155650884909989859982387\
-345528331635507647918535893226185489632132933089857064204675259070915481416549\
-859461637180270981994309924488957571282890592323326097299712084433573265489382\
-391193259746366730583604142813883032038249037589852437441702913276561809377344\
-403070746921120191302033038019762110110044929321516084244485963766983895228684\
-783123552658213144957685726243344189303968642624341077322697802807318915441101\
-044682325271620105265227211166039666557309254711055785376346682065310989652691\
-862056476931257058635662018558100729360659876486117910453348850346113657686753\
-249441668039626579787718556084552965412665408530614344431858676975145661406800\
-700237877659134401712749470420562230538994561314071127000407854733269939081454\
-664645880797270826683063432858785698305235808933065757406795457163775254202114\
-955761581400250126228594130216471550979259230990796547376125517656751357517829\
-666454779174501129961489030463994713296210734043751895735961458901938971311179\
-042978285647503203198691514028708085990480109412147221317947647772622414254854\
-540332157185306142288137585043063321751829798662237172159160771669254748738986\
-654949450114654062843366393790039769265672146385306736096571209180763832716641\
-627488880078692560290228472104031721186082041900042296617119637792133757511495\
-950156604963186294726547364252308177036751590673502350728354056704038674351362\
-222477158915049530984448933309634087807693259939780541934144737744184263129860\
-809988868741326047215695162396586457302163159819319516735381297416772947867242\
-292465436680098067692823828068996400482435403701416314965897940924323789690706\
-977942236250822168895738379862300159377647165122893578601588161755782973523344\
-604281512627203734314653197777416031990665541876397929334419521541341899485444\
-734567383162499341913181480927777103863877343177207545654532207770921201905166\
-096280490926360197598828161332316663652861932668633606273567630354477628035045\
-077723554710585954870279081435624014517180624643626794561275318134078330336254\
-232783944975382437205835311477119926063813346776879695970309833913077109870408\
-591337464144282277263465947047458784778720192771528073176790770715721344473060\
-570073349243693113835049316312840425121925651798069411352801314701304781643788\
-518529092854520116583934196562134914341595625865865570552690496520985803385072\
-242648293972858478316305777756068887644624824685792603953527734803048029005876\
-075825104747091643961362676044925627420420832085661190625454337213153595845068\
-772460290161876679524061634252257719542916299193064553779914037340432875262888\
-963995879475729174642635745525407909145135711136941091193932519107602082520261\
-879853188770584297259167781314969900901921169717372784768472686084900337702424\
-291651300500516832336435038951702989392233451722013812806965011784408745196012\
-122859937162313017114448464090389064495444006198690754851602632750529834918740\
-786680881833851022833450850486082503930213321971551843063545500766828294930413\
-776552793975175461395398468339363830474611996653858153842056853386218672523340\
-283087112328278921250771262946322956398989893582116745627010218356462201349671\
-518819097303811980049734072396103685406643193950979019069963955245300545058068\
-550195673022921913933918568034490398205955100226353536192041994745538593810234\
-395544959778377902374216172711172364343543947822181852862408514006660443325888\
-569867054315470696574745855033232334210730154594051655379068662733379958511562\
-578432298827372319898757141595781119635833005940873068121602876496286744604774\
-649159950549737425626901049037781986835938146574126804925648798556145372347867\
-330390468838343634655379498641927056387293174872332083760112302991136793862708\
-943879936201629515413371424892830722012690147546684765357616477379467520049075\
-715552781965362132392640616013635815590742202020318727760527721900556148425551\
-879253034351398442532234157623361064250639049750086562710953591946589751413103\
-482276930624743536325691607815478181152843667957061108615331504452127473924544\
-945423682886061340841486377670096120715124914043027253860764823634143346235189\
-757664521641376796903149501910857598442391986291642193994907236234646844117394\
-032659184044378051333894525742399508296591228508555821572503107125701266830240\
-292952522011872676756220415420516184163484756516999811614101002996078386909291\
-603028840026910414079288621507842451670908700069928212066041837180653556725253\
-256753286129104248776182582976515795984703562226293486003415872298053498965022\
-629174878820273420922224533985626476691490556284250391275771028402799806636582\
-548892648802545661017296702664076559042909945681506526530537182941270336931378\
-517860904070866711496558343434769338578171138645587367812301458768712660348913\
-909562009939361031029161615288138437909904231747336394804575931493140529763475\
-748119356709110137751721008031559024853090669203767192203322909433467685142214\
-477379393751703443661991040337511173547191855046449026365512816228824462575916\
-333039107225383742182140883508657391771509682887478265699599574490661758344137\
-522397096834080053559849175417381883999446974867626551658276584835884531427756\
-879002909517028352971634456212964043523117600665101241200659755851276178583829\
-204197484423608007193045761893234922927965019875187212726750798125547095890455\
-635792122103334669749923563025494780249011419521238281530911407907386025152274\
-299581807247162591668545133312394804947079119153267343028244186041426363954800\
-044800267049624820179289647669758318327131425170296923488962766844032326092752\
-496035799646925650493681836090032380929345958897069536534940603402166544375589\
-004563288225054525564056448246515187547119621844396582533754388569094113031509\
-526179378002974120766514793942590298969594699556576121865619673378623625612521\
-632086286922210327488921865436480229678070576561514463204692790682120738837781\
-423356282360896320806822246801224826117718589638140918390367367222088832151375\
-560037279839400415297002878307667094447456013455641725437090697939612257142989\
-467154357846878861444581231459357198492252847160504922124247014121478057345510\
-500801908699603302763478708108175450119307141223390866393833952942578690507643\
-100638351983438934159613185434754649556978103829309716465143840700707360411237\
-359984345225161050702705623526601276484830840761183013052793205427462865403603\
-674532865105706587488225698157936789766974220575059683440869735020141020672358\
-502007245225632651341055924019027421624843914035998953539459094407046912091409\
-387001264560016237428802109276457931065792295524988727584610126483699989225695\
-968815920560010165525637568

Page

Toolbox