Put . The identityfollows by induction: multiplying the formula for by gives the two stated recurrences in the first column and in the second. The associated Möbius transformations , applied from the right to , show that the first-column ratio is the displayed positive generalized continued fraction.
Now set every . Taking determinants in the matrix identity givesConsequently adjacent convergents differ byThe recurrence and imply , so . The determinant signs show that the even convergents increase, the odd convergents decrease, and every even one is below every odd one. Their adjacent separation tends to zero, so both subsequences have a common limit . Since lies between each adjacent pair, the convergence of a positive simple continued fraction gives exactly
If all as well, the recurrence and initial values giveThe characteristic roots of are
and , henceTherefore . Moreover,Using yieldsandThis is the all-one continued fraction and Fibonacci ratios case.
and , henceTherefore . Moreover,Using yieldsandThis is the all-one continued fraction and Fibonacci ratios case.
Solved by gpt-5.6-sol high.
Codex Wiki