Continued Fraction for 1 + sqrt(2)
Continued fractions offer a window into the structure of irrational numbers, connecting simple recurrences to elegant infinite expansions. In this HSC Extension 2 problem, we combine algebraic manipulation with the limiting behaviour of recursive sequences to uncover the classic continued fraction for . By working through the steps, you'll learn to identify fixed points, rationalise denominators, and translate recursive definitions into their continued fraction form — skills that are invaluable for tackling advanced proofs.
Problem Statement
Let .
- Show that .
- Define and for . Assuming for some positive limit , prove that .
- Show that .
- Hence deduce that
Hints
Attempt the proof independently first. Focus on the key theorem, algebraic transformation, or contradiction setup that links the hypothesis to the target conclusion.
Solutions
(i) Since , we have . We isolate the radical and square both sides to obtain a quadratic equation:
(ii) Because the sequence converges, its limit must satisfy the recurrence relation obtained by letting . If , then also . Taking limits in
gives
So
By part (i), satisfies the same quadratic. The roots are , and since , we get
(iii) Using , we rationalise the denominator by multiplying by :
(iv) The recursive definition builds the continued fraction stepwise, so the limit is the infinite continued fraction. The recursion generates
Hence its limit is exactly
By part (ii), this limit is , so part (iii) gives
Takeaways
- Limit Method: Infinite continued fractions are handled by defining finite approximations and taking a limit
- Fixed Point Idea: A convergent recursive sequence often leads to an equation satisfied by its limit
- Quadratic Link: The continued fraction for comes from solving a simple quadratic
- Representation: This gives a classic infinite continued fraction expansion for
Further Readings
If you found this proof interesting, be sure to check out these relevant HSC booklets to sharpen your reasoning skills: HSC Proofs, HSC Vectors, HSC Complex Numbers