Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-4/12h/solution

Multiplying the matrices inductively gives columns and . Their determinant is , and writing gives
If , then for rationals near , factorization against the conjugate root gives ; rationals away from are handled by reducing . Finally , so the upper bound is at most . Unbounded partial quotients contradict the fixed lower bound for a quadratic irrational.

New to topics? Read the docs here!