Difference between revisions of "Pi"
Williamhu888 (talk | contribs) m |
(→The Beukers integral) |
||
(One intermediate revision by one other user not shown) | |||
Line 54: | Line 54: | ||
Note that <math>R(x,y)</math> has integer coefficients as a product of two polynomials with integer coefficients. | Note that <math>R(x,y)</math> has integer coefficients as a product of two polynomials with integer coefficients. | ||
− | |||
===Estimate of <math>D_n</math>=== | ===Estimate of <math>D_n</math>=== | ||
Line 71: | Line 70: | ||
===Estimate of <math>Q_n</math> and the end of the proof=== | ===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. | 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. | ||
+ | |||
+ | [[Category:Constants]] |
Latest revision as of 21:11, 16 September 2022
Pi is an irrational number (in fact, transcendental number, as proved by Lindemann in 1882) denoted by the Greek letter .
Contents
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 . Some common fractional approximations for pi are
and
.
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
can be calculated in several ways, and it can also be approximated. One way to approximate
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
, 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
. This can simply be multiplied by 4 to approximate
.
One formula for pi is . This can be computed to the desired degree of accuracy.
Other interesting properties
- Letting
in Euler's identity gives
, 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
is not Liouvillian
In this section we'll outline the Beukers proof that is not Liouvillian, i.e., that
for large
with some fixed positive
. The best known value of
is currently (June, 1993)
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 is Liouvillian, then so is any rational multiple of any positive integer power of
(this is a simple exercise we leave to the reader), so, it will suffice to show that
is not Liouvillian.
Euler's identity
The Beukers integral
Consider the integrals . Expanding
and integrating term by term, we get
If , we get the sum of all inverse squares starting with
, so in this case,
On the other hand, if , we get
Similarly, if , we get
Let now be the least common multiple of
. It follows immediately from the above formulae for
that for every polynomial
with integer coefficients whose degree in both
and
does not exceed
, we have
where
.
The trick is to choose a polynomial that makes the integral very small. We put
Note that has integer coefficients as a product of two polynomials with integer coefficients.
Estimate of ![$D_n$](//latex.artofproblemsolving.com/2/e/a/2eacbcb991af87d495f8689ac0e952b51317dbaa.png)
Since the largest possible power of a given prime that can divide one of the numbers
is
where
is the floor function, we have
where
is the number of primes not exceeding
. According to the prime number theorem, we have
, so
(The exact meaning of the
sign here is that, as
, the ratio of the
-th roots of the left and the right sides tends to
. Note also that we need the full strength of the prime number theorem here. The elementary Chebyshev's estimate
is no longer sufficient).
Estimates of the integral ![$\iint_{(0,1)\times(0,1)}\frac {R(x,y)}{1-xy}\,dx\,dy$](//latex.artofproblemsolving.com/8/e/3/8e3c0a4faa934ca8328a000ccf677c51ff7f6437.png)
Integrating times by parts with respect to
, we see that our integral equals
. We want to estimate
. The first remark is that it is attained on the diagonal
. It becomes clear if we rewrite the fraction as
and recall that for a fixed product
the minimum of the sum
is achieved when
. So, we need to find the maximum of
over the interval
. Taking the logarithmic derivative and solving the resulting quadratic equation
, we see that the maximum is attained at the point
and equals
. It means that the integral does not exceed
.
On the other hand, to estimate the integral from below, it suffices to notice that the integrand is at least for
. Thus, the integral is not much less than
.
A small miracle
The miracle that makes the proof work is that is strictly less than
(just check it on your calculator or prove it by hand yourself). Thus, for large
, the whole product
can be estimated from above and from below by the
-th powers of some constants strictly between
and
. Using the main theorem from the parent article, we see that it remains only to show that
grow not faster than some geometric progression.
Estimate of
and the end of the proof
Note that is just minus the product of
, which grows like
and the sum of the coefficients of the polynomial
at the products
with
. It follows that
does not exceed the sum of coefficients of
, which is
, times the maximal coefficient of
. But even the sum of the absolute values of the coefficients of this polynomial does not exceed
. So
grows not much faster than
and we are done.