Set
and for define
Then is the th convergent.
For a variable final tail , induction on , or multiplication of the continued-fraction matrices, gives
Indeed, the identity is immediate for , and replacing the tail by gives the recurrence above. Taking proves the formula.
The continued-fraction algorithm starts with . Rationalizing the successive remainders gives
and
The same remainder has returned, so the digits repeat. Therefore
From part (b), and . Eliminating the intervening odd-indexed convergent from the standard recurrence shows that either sequence or obeys
The initial even convergents are
Put . Since and , the sequence
satisfies the same recurrence. Its first two values are and , so
Taking norms in yields
This applies in particular whenever the original index is even.

Articles by others on the same topic (0)

There are currently no matching articles.