Next: Some Propositions and Lemmas Up: Families of Continued Fractions Previous: Unverified Families

# The Fundamental Correspondence

The method that Bernstein, Levesque, and Rhin used to verify that a certain set of partial quotients were produce by their families relied on mathematical induction, but it was algebraically complicated. The method used to prove the theorems in Section , which is largely used and developed by Madden, makes the process of verifying that a certain set of partial quotients comes from a given family less complicated and less time consuming. The method accomplishes this by taking advantage of the fundamental correspondence between continued fractions and matrices, which is stated in the following theorem.

Theorem 4   If x is a real number whose continued fraction expansion is , then

where Pk/Qk is the kth convergent of x.

For the remainder of the report, let denote the matrix product

At first, this correspondence between continued fractions and matrices might not seem to be very useful, but when it is used in conjunction with fractional linear transformations, it becomes a powerful tool for the continued fractions of surds. Let denote the fractional linear transformation associated with , where

In general, the relationship between continued fractions and fractional linear transformations is the following.

Theorem 5   if and only if .

Now that this theorem has been established, it is possible to prove a proposition that is of prime importance in the the study of the continued fractions of pure quadratic irrationals.

Next: Some Propositions and Lemmas Up: Families of Continued Fractions Previous: Unverified Families
mcenter
2000-01-06