Lagrange's Theorem. The infinite simple continued fraction of an irrational number is periodic if and only if this number is a quadratic irrational.
Solution
Proof. Let the simple continued fraction of be periodic, so that
Now let
Then
and from Theorem 10.9, it follows that
where and are convergents of . Since the simple continued fraction of is infinite, is irrational, and from (10.13) we have
so that is a quadratic irrational. Now note that
so that from Theorem 10.9 we have
where and are convergents of . Since is a quadratic irrational, Lemma 10.2 tells us that is also a quadratic irrational (we know that is irrational because it has an infinite simple continued fraction expansion).
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.