Editing Simple continued fraction (section)

==Continued fraction expansion of {{pi}} and its convergents==
To calculate the convergents of [[pi|{{pi}}]] we may set {{math|''a''{{sub|0}} {{=}} ⌊{{pi}}⌋ {{=}} 3}}, define {{math|''u''{{sub|1}} {{=}} {{sfrac|1|{{pi}} − 3}} ≈ 7.0625}} and {{math|''a''{{sub|1}} {{=}} ⌊''u''{{sub|1}}⌋ {{=}} 7}}, {{math|''u''{{sub|2}} {{=}} {{sfrac|1|''u''{{sub|1}} − 7}} ≈ 15.9966}} and {{math|''a''{{sub|2}} {{=}} ⌊''u''{{sub|2}}⌋ {{=}} 15}}, {{math|''u''{{sub|3}} {{=}} {{sfrac|1|''u''{{sub|2}} − 15}} ≈ 1.0034}}. Continuing like this, one can determine the infinite continued fraction of {{pi}} as
:[3;7,15,1,292,1,1,...] {{OEIS|A001203}}.
The fourth convergent of {{pi}} is [3;7,15,1] = {{sfrac|355|113}} = 3.14159292035..., sometimes called [[Milü]], which is fairly close to the true value of {{pi}}.

Let us suppose that the quotients found are, as above, [3;7,15,1]. The following is a rule by which we can write down at once the convergent fractions which result from these quotients without developing the continued fraction.

The first quotient, supposed divided by unity, will give the first fraction, which will be too small, namely, {{sfrac|3|1}}. Then, multiplying the numerator and denominator of this fraction by the second quotient and adding unity to the numerator, we shall have the second fraction, {{sfrac|22|7}}, which will be too large. Multiplying in like manner the numerator and denominator of this fraction by the third quotient, and adding to the numerator the numerator of the preceding fraction, and to the denominator the denominator of the preceding fraction, we shall have the third fraction, which will be too small. Thus, the third quotient being 15, we have for our numerator {{nowrap|(22 × 15 {{=}} 330) + 3 {{=}} 333}}, and for our denominator, {{nowrap|(7 × 15 {{=}} 105) + 1 {{=}} 106}}. The third convergent, therefore, is {{sfrac|333|106}}. We proceed in the same manner for the fourth convergent. The fourth quotient being 1, we say 333 times 1 is 333, and this plus 22, the numerator of the fraction preceding, is 355; similarly, 106 times 1 is 106, and this plus 7 is 113.
In this manner, by employing the four quotients [3;7,15,1], we obtain the four fractions:
:{{sfrac|3|1}}, {{sfrac|22|7}}, {{sfrac|333|106}}, {{sfrac|355|113}}, ....

[[File:Continued fraction expansion of Pi .png|thumb|The following Maple code will generate continued fraction expansions of pi]]

To sum up, the pattern is
<small><math> \text{Numerator}_i = \text{Numerator}_{(i-1)} \cdot \text{Quotient}_i + \text{Numerator}_{(i-2)} </math>
<math> \text{Denominator}_i = \text{Denominator}_{(i-1)} \cdot \text{Quotient}_i + \text{Denominator}_{(i-2)} </math></small>

These convergents are alternately smaller and larger than the true value of {{pi}}, and approach nearer and nearer to {{pi}}. The difference between a given convergent and {{pi}} is less than the reciprocal of the product of the denominators of that convergent and the next convergent. For example, the fraction {{sfrac|22|7}} is greater than {{pi}}, but {{sfrac|22|7}} − {{pi}} is less than {{sfrac|1|7 × 106}}&nbsp;=&nbsp;{{sfrac|1|742}} (in fact, {{sfrac|22|7}} − {{pi}} is just more than {{sfrac|1|791}} = {{sfrac|1|7 × 113}}).

The demonstration of the foregoing properties is deduced from the fact that if we seek the difference between one of the convergent fractions and the next adjacent to it we shall obtain a fraction of which the numerator is always unity and the denominator the product of the two denominators. Thus the difference between {{sfrac|22|7}} and {{sfrac|3|1}} is {{sfrac|1|7}}, in excess; between {{sfrac|333|106}} and {{sfrac|22|7}}, {{sfrac|1|742}}, in deficit; between {{sfrac|355|113}} and {{sfrac|333|106}}, {{sfrac|1|11978}}, in excess; and so on. The result being, that by employing this series of differences we can express in another and very simple manner the fractions with which we are here concerned, by means of a second series of fractions of which the numerators are all unity and the denominators successively be the product of every two adjacent denominators. Instead of the fractions written above, we have thus the series:

:{{sfrac|3|1}} + {{sfrac|1|1 × 7}} − {{sfrac|1|7 × 106}} + {{sfrac|1|106 × 113}} − ...

The first term, as we see, is the first fraction; the first and second together give the second fraction, {{sfrac|22|7}}; the first, the second and the third give the third fraction {{sfrac|333|106}}, and so on with the rest; the result being that the series entire is equivalent to the original value.