Math 2.0

Number theory Object

pi

Builds on Sine and cosineIntermediate value theoremDerivative of cosine

Description

The cosine function has exactly one zero in the interval [0,2][0, 2]. The number π\pi is twice this zero. So cos⁡(π/2)=0\cos(\pi/2) = 0, and π≈3.14159265.\pi \approx 3.14159265.

Remarks

A zero exists by the intermediate value theorem, since cos⁡0=1\cos 0 = 1 and cos⁡2<0\cos 2 < 0. It is unique because cos⁡\cos is strictly decreasing on [0,2][0, 2], by its derivative −sin⁡-\sin. With this definition, π\pi is the ratio of the circumference of a circle to its diameter, and the area of the unit disc. Mathlib defines Real.pi in the same way, as twice the zero of cos⁡\cos in [1,2][1, 2]. William Jones first used the letter π\pi for this ratio, in 1706. Around 250 BC, Archimedes approximated π\pi with regular polygons.

Reading path

To understand this page from the ground up, read these 56 pages in order. The foundations come first.

  1. Limit point of a set definition
  2. Local maximum definition
  3. Sequence definition
  4. Limit of a function definition
  5. Local minimum definition
  6. Real sequence definition
  7. Subsequence definition
  8. Continuity at a point definition
  9. Derivative definition
  10. Bounded sequence definition
  11. Cauchy sequence definition
  12. Geometric sequence definition
  13. Limit of a sequence definition
  14. Monotone sequence definition
  15. Series definition
  16. Continuous function definition
  17. Fermat's theorem on stationary points statement
  18. Limit superior definition
  19. Cauchy sequences are bounded statement
  20. Sum of a finite geometric series statement
  21. Monotone convergence theorem for sequences statement
  22. Every sequence has a monotone subsequence statement
  23. Convergent sequence definition
  24. Pointwise convergence definition
  25. Squeeze theorem statement
  26. Partial sum definition
  27. Power series definition
  28. Intermediate value theorem statement
  29. Bolzano–Weierstrass theorem statement
  30. The sequence r^n tends to zero for |r| < 1 example
  31. Radius of convergence definition
  32. Convergent series definition
  33. Uniform convergence definition
  34. Sine and cosine definition
  35. Boundedness theorem statement
  36. Cauchy criterion for sequences statement
  37. Uniform convergence on a set definition
  38. Absolute convergence definition
  39. A series of nonnegative terms converges iff its partial sums are bounded statement
  40. Series of functions definition
  41. Sum of a series definition
  42. Extreme value theorem statement
  43. Uniformly Cauchy sequence of functions definition
  44. Comparison test statement
  45. Geometric series example
  46. Rolle's theorem statement
  47. Root test statement
  48. Weierstrass M-test statement
  49. Mean value theorem statement
  50. Cauchy–Hadamard theorem statement
  51. Power series converge uniformly on smaller discs inside the radius of convergence statement
  52. Uniform convergence of derivatives allows term-by-term differentiation statement
  53. Term-by-term differentiation statement
  54. Power series are differentiable inside the radius of convergence statement
  55. Derivative of cosine statement
  56. pi object

Where this leads

16 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Pi, Definition
About this page
Tag0C1VYVNV2N
URIm2://0C1VYVNV2N
Aliasesarchimedes-constant
Kindobject
WritingW1 stated
MSC11Y60, 33B10
UsesSine and cosine, Intermediate value theorem, Derivative of cosine
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • section Invariants: a table of the main invariants (0 of 1)
  • edge instance_of out (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by

Results about this