Pi (mathematical constant)

From Citizendium
Revision as of 00:20, 17 August 2007 by imported>Michael Hardy (→‎Rational approximations and continued fractions: And this makes _this_ section a little bit less stubby.)
Jump to navigation Jump to search

Pi, denoted by the lower-case Greek letter π, is a mathematical constant that is approximately equal to 3.14159. In Euclidean geometry, π represents the ratio between the circumference and the diameter of any circle, or equivalently, the ratio between a circle's area and the square of its radius. This ratio is also found in many other geometrical objects, such as spheres and cones. Pi has further uses in many other areas of mathematics.

Pi is an irrational number, which means that it cannot be expressed exactly as a ratio of integers, and transcendental, meaning that it does not satisfy any algebraic equation with rational coefficients. The latter property implies that is not constructible: in particular, the problem of squaring the circle in a finite number of steps using a compass and straightedge is impossible. Since is irrational, it cannot be written as a finite or periodically repeating decimal. The first 50 digits after the decimal point are

3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510 ...

Early geometrical study

The fact that the ratio of the circumference to the diameter of a circle is the same for all circles, and that it is slightly more than 3, was known to ancient Egyptian, Babylonian, Indian and Greek geometers. Preserved documents do not refer to the number explicitly, but contain approximations for as part of methods for calculating circumference or area. A Babylonian stone tablet from 1900 BC uses the proportion 25/8 = 3.125, and an Egyptian document from the same time gives the ratio . The ancient Indian text Shatapatha Brahmana gives as . All of these values differ from the true value by less than one percent. The Books of Kings (600 BC) appears to suggest , which is notably worse than other estimates available at the time, although it is disputed whether the text suggests an exact value.

Archimedes (287–212 BC), in whose honor is sometimes called Archimedes' constant, was the first to treat the number with mathematical rigor. He knew how to calculate the circumference of a regular polygon, and realized that a polygon inscribed in a circle has a smaller circumference than the circle whereas a circumscribed polygon has a greater circumference. By calculating the circumferences of two 96-sided polygons, one slightly smaller than a unit circle and the other slightly larger, he rigorously proved the bounds . Taking the average of the bounds yields the approximation . The method of Archimedes is the first known algorithm for calculating with arbitrary accuracy.

In the following centuries, most significant mathematical development took place in India and China. Around 480, the Chinese mathematician Zu Chongzhi gave the approximation and showed that , which would stand as the most accurate value for over the next 900 years.

Development of calculus

Proof of irrationality and transcendence

See proof that π is irrational.

Rational approximations and continued fractions

See proof that 22 over 7 exceeds π.

Computer calculations

The advent of digital computers in the 20th century led to an increased rate of new calculation records. John von Neumann used ENIAC to compute 2037 digits of in 1949, a calculation that took 70 hours. Additional thousands of decimal places were obtained in the following decades, with the million-digit milestone passed in 1973. Progress was not only due to faster computer hardware, but also the discovery of new algorithms for doing arithmetic. The discovery of the Karatsuba algorithm and the fast Fourier transform (FFT) in the 1960s facilitated multiplication and division of numbers with millions of digits. The ordinary "school book" method of multiplication requires operations to find the product of two -digit numbers, whereas the FFT is essentially linearithmic, using n log(n) log(log(n)) steps. A 1000-digit multiplication thus requires a few thousand calculations rather than a million.

Computer calculations of have also been aided by new formulas for found in the 20th century. In his study of modular functions, the Indian mathematician Srinivasa Ramanujan found many remarkable new formulas, such as the series

which gives eight decimals of π per term. Due to scarce distribution of Ramanujan's published work, it was however not widely known until around 1985 when William Gosper used it to calculate 17 million decimals of . Based on Ramanujan's ideas, Gregory and David Chudnovsky found a formula that delivers 14 digits per term. The Chudnovsky brothers used this formula to set several computing records in the end of the 1980s, including the first calculation of over one billion (1,011,196,691) decimals in 1989.

Series typically give a fixed number of digits for each term. In 1975, Richard Brent and Eugene Salamin independently discovered the Brent-Salamin algorithm in which the number of correct digits doubles with each step. The algorithm consists of setting

and iterating

until an and bn are close enough. Then the estimate for is given by

A mere 25 iterations gives 45 million correct decimals of . A similar algorithm that quadruples the accuracy in each step has been found by Jonathan and Peter Borwein. The methods have been used by Yasumasa Kanada and team to set most of the calculation records since 1980, up to a calculation of 206,158,430,000 decimals of in 1999. The current record is 1,241,100,000,000 decimals, set by Kanada and team in 2002. Although most of Kanada's previous records were set using the Brent-Salamin algorithm, the 2002 calculation made use of two Machin-like formulas that were slower but crucially reduced memory consumption. The calculation was performed on a 64-node Hitachi supercomputer with 1 terabyte of main memory, capable of carrying out 2 trillion operations per seconds.

Aside from prestige, enormous calculations are useful for testing the integrity and performance of supercomputers. Pi calculation is a popular benchmark for personal computer hardware and arbitrary-precision arithmetic software as well. With optimized calculating software, a modern (2006) home computer can calculate a million digits of in a few seconds and a billion digits in a few hours.

Properties of π's digits

It appears that 's digits are "random", although it is not entirely easy to define the "randomness" of a number. The most important measure besides irrationality is perhaps normality: if a number is normal, all digits appear equally often in its decimal expansion, and all subsequences of digits appear equally often. Further, this should hold in every base, such as binary (in which begins 11.0010010000111111...). A popular statement is that if is normal, then, for example, every work by Shakespeare can be found encoded somewhere in the digits of . This seems likely, but no proof that is normal has been found. It is not even known whether any single digit, such as "1", appears infinitely many times in the decimal expansion of . The value of calculated by Kanada in 2002 shows that the first trillion digits of are statistically random, but a finite calculation says nothing about the infinitely many digits that follow.

Another definition of randomness is that there should be no "simple formula" for the nth digit of . Although there are simple formulas for , the calculations required to produce explicit digits are not so simple. Computational complexity theory allows the difficulty to be expressed quantitatively: the time needed to calculate n digits of on a Turing machine using the best known algorithm is proportional to n (log(n)2 log(log(n)). It is conjectured that computing the -th digit of cannot be done significantly faster than in a time proportional to n: such a method could be said to be a "simple formula" for the digits of .

The closest thing to a simple formula for the digits of is the BBP formula, found in 1995 by Simon Plouffe together with David H. Bailey and Peter Borwein. The formula,

allows the nth individual hexadecimal or binary digit of to be extracted in n log(n) time, which is significantly faster than calculating all the first n digits and extracting the last one in the result. Between 1998 and 2000, the distributed computing project PiHex used a modification of the BBP formula due to Fabrice Bellard to compute the quadrillionth (1,000,000,000,000,000th) binary digit of , which turned out to be 0. The BBP formula has led to theoretical progress as well: it has been used to show that a plausible conjecture from chaos theory would imply that is normal in binary.

Unfortunately, the BBP formula does not allow one to extract decimal digits of . Although decimal BBP-type formulas are known for some other mathematical constants, it has been proved that no BBP-type formula exists for . There could still exist some completely different scheme for quickly extracting isolated decimals of , however. Decimal digit-extraction algorithms have in fact been constructed, but they are slower than calculating all the first n digits of and throwing away the first n − 1 ones. A spigot algorithm that generates the decimal digits of one by one, rather than computing a fixed number of digits in one large calculation, was found by Stanley Rabinowitz and Stan Wagon in 1995. Again, this algorithm is however slower than fast methods for calculating a fixed amount of decimals at once.

Areas of mathematics where π appears

Relation to other constants

Although itself is transcendental, it is not easy to determine whether many of the other well known transcendental numbers (such as ) are algebraically independent from . It is, for example, not known whether and are algebraically independent. It is known by the Lindemann–Weierstrass theorem that at least one of and is transcendental, but not which one or whether both are. By contrast, the Gelfond-Schneider theorem implies that is transcendental, and Yuri Nesterenko proved in 1996 that both and the gamma function value are algebraically independent from .

Another open problem concerns the value of the so-called zeta constants, which are the Riemann zeta function evaluated at the integers. Euler proved that ζ(2) = π2/6 and that ζ(n) is a rational multiple of πn whenever n is an even number. For example,

Although it may seem plausible that ζ(n) is a multiple of πn also when n is odd, no such formula has been found. The special case ζ(3) ≈ 1.20205 is called Apéry's constant since it was proved irrational by Roger Apéry in 1977.

Pi in culture

See also

References