For a variable final tail , induction on , or multiplication of the continued-fraction matrices, givesIndeed, 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 givesandThe 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 obeysThe initial even convergents arePut . Since and , the sequencesatisfies the same recurrence. Its first two values are and , soTaking norms in yieldsThis applies in particular whenever the original index is even.
Articles by others on the same topic
There are currently no matching articles.