# Continued Fraction Expansion of Limit of Simple Infinite Continued Fraction equals Expansion Itself

## Theorem

Let Let $(a_n)_{n\geq 0}$ be a simple infinite continued fractions in $\R$.

Then $(a_n)_{n\geq 0}$ converges to an irrational number, whose continued fraction expansion is $(a_n)_{n\geq 0}$.

## Proof

By Simple Infinite Continued Fraction Converges to Irrational Number, the value of $(a_n)_{n\geq 0}$ exists and is irrational.

Let $(b_n)_{n\geq 0}$ be its continued fraction expansion.

By Continued Fraction Expansion of Irrational Number Converges to Number Itself, $(a_n)_{n\geq 0}$ and $(b_n)_{n\geq 0}$ have the same value.

The result will be achieved by the Second Principle of Mathematical Induction.

First we note that if $\left[{a_0, a_1, a_2, \ldots}\right] = \left[{b_0, b_1, b_2, \ldots}\right]$ then $a_0 = b_0$ since both are equal to the integer part of the common value.

This article, or a section of it, needs explaining.In particular: a result proving the aboveYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.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 `{{Explain}}` from the code. |

This is our basis for the induction.

Now suppose that for some $k \ge 1$, we have:

- $a_0 = b_0, a_1 = b_1, \ldots, a_k = b_k$.

Then all need to do is show that $a_{k+1} = b_{k+1}$.

Now:

- $\left[{a_0, a_1, a_2, \ldots}\right] = \left[{a_0, a_1, \ldots, a_k, \left[{a_{k+1}, a_{k+2}, \ldots}\right]}\right]$

and similarly

- $\left[{b_0, b_1, b_2, \ldots}\right] = \left[{b_0, b_1, \ldots, b_k, \left[{b_{k+1}, b_{k+2}, \ldots}\right]}\right]$.

This article, or a section of it, needs explaining.In particular: this needs to be provedYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.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 `{{Explain}}` from the code. |

As these have the same value and have the same first $k$ partial quotients, it follows that:

- $\left[{a_{k+1}, a_{k+2}, \ldots,}\right] = \left[{b_{k+1}, b_{k+2}, \ldots}\right]$.

But now $a_{k+1} = b_{k+1}$ as each is equal to the integer part of the value of this simple infinite continued fraction.

Hence the result.

$\blacksquare$