Pi
Pi is an irrational number (in fact, transcendental number, as proved by Lindemann in 1882) denoted by the Greek letter .
Contents
[hide]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
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
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.