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.
Solved by gpt-5.6-sol high.
Codex Wiki