Archimedes constant π
Set
todo Requirements
definiendum | $\pi:=V_2(1)$ |
Discussion
The constant $\pi$ is defined as the volume of the disc of radius $1$, where the underlying metric space is taken to be the two dimensional Euclidean space $\mathbb E^2$.
- $\pi = 3.14159\dots\approx \frac{22}{7}$
Reference
Wikipedia: Pi,List of formulae involving π