Maths Olympiad Prep

Library / /427 of 520

Number theory Difficulty 6.8 National olympiad Prove it

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 α\alpha be periodic, so that
α=[a0;a1,a2,,aN1,aN,aN+1,,aN+k]\alpha=\left[a_{0} ; a_{1}, a_{2}, \ldots, a_{N-1}, \overline{a_{N}, a_{N+1}, \ldots, a_{N+k}}\right]

Now let
β=[aN;aN+1,,aN+k]\beta=\left[\overline{a_{N} ; a_{N+1}, \ldots, a_{N+k}}\right]

Then
β=[aN;aN+1,,aN+k,β]\beta=\left[a_{N} ; a_{N+1}, \ldots, a_{N+k}, \beta\right]
and from Theorem 10.9, it follows that
β=βpk+pk1βqk+qk1\beta=\frac{\beta p_{k}+p_{k-1}}{\beta q_{k}+q_{k-1}}
where pk/qkp_{k} / q_{k} and pk1/qk1p_{k-1} / q_{k-1} are convergents of [aN;aN+1,,aN+k]\left[a_{N} ; a_{N+1}, \ldots, a_{N+k}\right]. Since the simple continued fraction of β\beta is infinite, β\beta is irrational, and from (10.13) we have
qkβ2+(qk1pk)βpk1=0q_{k} \beta^{2}+\left(q_{k-1}-p_{k}\right) \beta-p_{k-1}=0
so that β\beta is a quadratic irrational. Now note that
α=[a0;a1,a2,,aN1,β]\alpha=\left[a_{0} ; a_{1}, a_{2}, \ldots, a_{N-1}, \beta\right]
so that from Theorem 10.9 we have
α=βpN1+pN2βqN1+qN2\alpha=\frac{\beta p_{N-1}+p_{N-2}}{\beta q_{N-1}+q_{N-2}}
where pN1/qN1p_{N-1} / q_{N-1} and pN2/qN2p_{N-2} / q_{N-2} are convergents of [a0;a1,a2,,aN1]\left[a_{0} ; a_{1}, a_{2}, \ldots, a_{N-1}\right]. Since β\beta is a quadratic irrational, Lemma 10.2 tells us that α\alpha is also a quadratic irrational (we know that α\alpha 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.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.