# Definition:Pi/Definition 1

## Definition

The real number **$\pi$ (pi)** is an irrational number (see proof here) whose value is approximately $3.14159\ 26535\ 89793\ 23846\ 2643 \ldots$

Take a circle in a plane whose circumference is $C$ and whose radius is $r$.

Then $\pi$ can be defined as $\pi = \dfrac C {2r}$.

This page has been identified as a candidate for refactoring of medium complexity.In particular: Include the below in a discussion on tau: $\tau = 2 \pi$Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

(It can be argued that $\pi = \dfrac C d$, where $d$ is the circle's diameter, is a simpler and more straightforward definition. However, the radius is, in general, far more immediately "useful" than the diameter, hence the above more usual definition in terms of circumference and radius.)

## Uniqueness of Pi

This page has been identified as a candidate for refactoring of medium complexity.In particular: Rewrite this section to be coherent and banish it to another page.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

Note that $\pi$ is defined on a per-circle basis. For each circle with its own circumference $C$ and diameter $d$, $\pi$ is defined as the ratio between the two. It is conceivable, then, that $\pi$ has a different value for each circle. It is also true, however, that All Circles are Similar and thus proportional in size. Thus, the value of $\pi$ is consistent between any two circles, and the constancy of $\pi$ is proven.

## Decimal Expansion

The decimal expansion of $\pi$ starts:

- $\pi \approx 3 \cdotp 14159 \, 26535 \, 89793 \, 23846 \, 26433 \, 83279 \, 50288 \, 41971 \ldots$

## Binary Expansion

The binary expansion of $\pi$ starts:

- $\pi \approx 11 \cdotp 00100 \, 10000 \, 11111 \, 1011 \ldots$

## Also see

## Sources

- 1986: David Wells:
*Curious and Interesting Numbers*... (previous) ... (next): $3 \cdotp 14159 \, 26535 \, 89793 \, 23846 \, 26433 \, 83279 \, 50288 \, 41972 \ldots$ - 1997: David Wells:
*Curious and Interesting Numbers*(2nd ed.) ... (previous) ... (next): $3 \cdotp 14159 \, 26535 \, 89793 \, 23846 \, 26433 \, 83279 \, 50288 \, 41971 \ldots$ - 2008: Ian Stewart:
*Taming the Infinite*... (previous) ... (next): Chapter $2$: The Logic of Shape: Archimedes