## You are here

Homepi

## Primary tabs

# pi

The symbol $\pi$ was first introduced by William Jones [7, 8] in 1706 to denote the ratio between the perimeter and the diameter on any given circle. In other words, dividing the perimeter of any circle by its diameter always gives the same answer, and this number is defined to be $\pi$. A 12-digit approximation of $\pi$ is given by $3.14159265358...$

Over human history there were many attempts to calculate this number precisely. One of the oldest approximations appears in the Rhind Papyrus (circa 1650 B.C.) where a geometrical construction is given where $(16/9)^{2}=3.1604\ldots$ is used as an approximation to $\pi$ although this was not explicitly mentioned.

It wasn’t until the Greeks that there were systematical attempts to calculate $\pi$. Archimedes [1], in the third century B.C. used regular polygons inscribed and circumscribed to a circle to approximate $\pi$: the more sides a polygon has, the closer to the circle it becomes and therefore the ratio between the polygon’s area between the square of the radius yields approximations to $\pi$. Using this method he showed that $223/71<\pi<22/7$ $(3.140845\ldots<\pi<3.142857\ldots)$.

Around the world there were also attempts to calculate $\pi$. Brahmagupta [1] gave the value of $\sqrt{10}=3.16227\ldots$ using a method similar to Archimedes’. Chinese mathematician Tsu Chung-Chih (ca. 500 A.D.) gave the approximation $355/113=3.141592920\ldots$.

Later, during the renaissance, Leonardo de Pisa (Fibonacci) [1] used 96-sideed regular polygons to find the approximation $864/275=3.141818\ldots$

For centuries, variations on Archimedes’ method were the only tool known, but Viète [1] gave in 1593 the formula

$\frac{2}{\pi}=\sqrt{\frac{1}{2}}\sqrt{\frac{1}{2}+\frac{1}{2}\sqrt{\frac{1}{2}% }}\sqrt{\frac{1}{2}+\frac{1}{2}\sqrt{\frac{1}{2}+\frac{1}{2}\sqrt{\frac{1}{2}}% }}\cdots$ |

which was the first analytical expression for $\pi$ involving infinite summations or products. Later with the advent of calculus many of these formulas were discovered. Some examples are Wallis’ [1] formula:

$\frac{\pi}{2}=\frac{2}{1}\cdot\frac{2}{3}\cdot\frac{4}{3}\cdot\frac{4}{5}\cdot% \frac{6}{5}\cdots$ |

and Leibniz’s formula,

$\frac{\pi}{4}=1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\frac{1}{9}-\frac{1}{11}+\cdots,$ |

obtained by developing $\arctan(\pi/4)$ using power series, and with some more advanced techniques,

$\pi=\sqrt{6\zeta(2)},$ |

found by determining the value of the Riemann Zeta function at $s=2$.

The Leibniz expression provides an alternate way to define $\pi$ (namely 4 times the limit of the series) and it is one of the formal ways to define $\pi$ when studying analysis in order to avoid the geometrical definition.

It is known that $\pi$ is not a rational number (quotient of two integers). Moreover, $\pi$ is not algebraic over the rationals (that is, it is a transcendental number). This means that no polynomial with rational coefficients can have $\pi$ as a root. Its irrationality implies that its decimal expansion (or any integer base for that matter) is not finite nor periodic.

# References

- 1 The MacTutor History of Mathematics archive, The MacTutor History of Mathematics Archive
- 2
*The ubiquitous $\pi$*[Dario Castellanos] Mathematics Magazine Vol 61, No. 2. April 1988. Mathematical Association of America.

- 3
A history of pi. [O’Connor and Robertson]
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Pi_through_the_ages.html

- 4
Pi chronology. [O’Connor and Robertson]
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Pi_chronology.html

- 5
Asian contributions to Mathematics. [Ramesh Gangolli]
http://www.pps.k12.or.us/depts-c/mc-me/be-as-ma.pdf

- 6
Archimedes’ approximation of pi. [Chuck Lindsey]
http://itech.fgcu.edu/faculty/clindsey/mhf4404/archimedes/archimedes.html

- 7 N. Higham, Handbook of writing for the mathematical sciences, Society for Industrial and Applied Mathematics, 1998.
- 8 The MacTutor History of Mathematics archive, William Jones

## Mathematics Subject Classification

01A40*no label found*01A32

*no label found*01A25

*no label found*01A20

*no label found*01A16

*no label found*51-00

*no label found*11-00

*no label found*22A22

*no label found*46L05

*no label found*82-00

*no label found*83-00

*no label found*81-00

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier

## Attached Articles

## Corrections

spelling by Mathprof ✓

counting by silverfish ✓

history MSC's by Wkbj79 ✓

spelling (attempts) by Wkbj79 ✓