Continued Fraction Expansion of Pi/Convergents

From ProofWiki
Jump to navigation Jump to search

Theorem

The convergents of the continued fraction expansion to $\pi$ (pi) are:

$3, \dfrac {22} 7, \dfrac {333} {106}, \dfrac {355} {113}, \dfrac {103993} {33102}, \dfrac {104348} {33215}$

The numerators form sequence A002485 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).

The denominators form sequence A002486 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


These best rational approximations are accurate to $0, 2, 4, 6, 9, 9, 9, 10, 11, 11, 12, 13, \ldots$ decimals.

This sequence is A114526 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


Zu Chongzhi Fraction

The Zu Chongzhi fraction is an exceptionally accurate approximation to $\pi$ (pi):

$\pi \approx \dfrac {355} {113}$

whose decimal expansion is:

$\pi \approx 3 \cdotp 14159 \, 292$

This sequence is A068079 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


Proof


This theorem requires a proof.
In particular: Calculation needed
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
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 {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.


Historical Note

The convergents of the continued fraction expansion to $\pi$ (pi) were calculated from $\dfrac {103 \, 993} {33 \, 102}$ up to $\dfrac {1 \, 019 \, 514 \, 486 \, 099 \, 146} {324 \, 521 \, 540 \, 032 \, 945}$ by Johann Heinrich Lambert.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Continued_Fraction_Expansion_of_Pi/Convergents&oldid=555960"