# Periodic Continued Fractions

A periodic continued fraction \([a_1;a_2,...]\) is periodic if the sequence eventually repeats, i.e there exists some \(m, n\) with \(a_{m + i} = a_{n+i}\) for all \(i \ge 0\). Our first example of a continued fraction, \([1;2,2,...]\), is periodic and turned out to be \(\sqrt{2}\). In fact:

**Theorem**: Any periodic continued fraction represents a root of a
quadratic equation with integer coefficients.

**Proof**: Let \(x_k = [a_k; a_{k+1}, ...]\).
For some \(m \lt n\) we have \(x_m = x_n\). Let \(p'_i , q'_i\) be the convergents
of \(x_n\). Then

thus \(x_m\) satisfies a quadratic equation with integer coefficients.

As \(x_1 = \frac{p_{m-1}x_m + p_{m-2}}{q_m-1 x_m +q_{m-2}}\) the same is true for \(x_1\).∎

The converse is also true:

**Theorem**: An irrational root of a \(a x^2 + b x + c = 0\) where \(a,b,c\) are
integers has a periodic continued fraction expansion.

**Proof**: Let \(x\) be an irrational root with continued fraction expansion
\([a_1; a_2, ...]\), and define \(x_k = [a_k; a_{k+1}, ...]\). Recall
\(x = \frac{x_k p_{k-1} + p_{k-2}}{x_k q_{k-1} + q_{k-2}}\), which we relabel
as

From results on the convergents we have

for some reals \(\epsilon , \eta\) of absolute value less than 1.

Substituting \( x = \frac{r z + s}{t z + u } \) into the quadratic gives \(A z^2 + B z + C = 0\) where

If we show \(A, B, C\) are bounded, that is, their magnitude is less than some positive integer depending only on \(x\), then \(z\) can be a solution of only a finite number of quadratic equations. Then as \(x\) is irrational, the continued fraction expansion is infinite, and since \(z\) can only take finitely many possible values, eventually the fraction repeats itself.

Firstly,

Using \(a x^2 + b x + c = 0\) and the triangle inequality yields

showing \(A\) is bounded. Replacing \(r,t\) with \(s, u\) shows \(C\) is bounded.

As for \(B\), we can either show \(4 A C - B^2 = 4 a c - b^2\) by direct computation or that

Since \(r/t, s/u\) are successive convergents, \(\epsilon\) and \(\eta\) are opposite in sign, so:

From the definitions of \(\epsilon\) and \(\eta\),

thus \(|\epsilon u/t - \eta t / u| = |r u - s t | = 1\), that is,

## Pure Periodicity

Suppose \(a = [a_1; a_2, ..., a_k, a_1, a_2, ..., a_k,...]\). Then \(a = \frac{p_k a + p_{k-1}}{q_k a + q_{k-1}}\) so \(a\) must be a root of

The left-hand side takes a negative value when \(x = 0\), and a positive value when \(x = -1\), thus there is root in \((-1, 0)\) and it is the conjugate of \(a\).

A positive root of a quadratic equation with integer coefficients is called
a *reduced quadratic surd* if it is greater than 1 and its conjugate lies in
\((-1, 0)\).

**Theorem**: A real \(a\) has a pure periodic fraction expansion if and only if
\(a\) is a reduced quadratic surd.

**Proof**: We have just seen the proof for one direction. As for the other, let
let \(f(x)\) be a quadratic equation for which \(a\) is reduced quadratic surd.
Let \(a = [a_1; a_2, ...]\). Define \(x_k = [a_k; a_{k+1}, ...]\),
Let \(y_1\) be the conjugate of \(a\).

Considering \(f(a_1+\frac{1}{x_2}) = 0\) gives a quadratic equation for \(x_2\). Let \(y_2\) be the other solution, the conjugate of \(x_2\). We have \(f(y_1) = 0\) and \(f(a_1 +\frac{1}{y_2}) = 0\). Since neither root is equal to \(x_1\), and quadratic equations have two roots, we have \(y_1 - \frac{1}{y_2} = a_1\). Since \(a_1 \ge 1\) and \(y_1 \gt 0\) we see \(-1 \lt y_2 \lt 0\), hence \(x_2\) is also a reduced quadratic surd. Inducting shows \(x_k\) is a reduced quadratic surd for all \(k\), and that \(y_k = a_k + \frac{1}{y_{k+1}}\).

Since \(0 \lt -y_k \lt 1\), this last equation implies \(a_k = \left\lfloor - \frac{1}{y_{k+1}} \right\rfloor\).

Now suppose the continued fraction expansion for \(a\) repeats at \(a_r = a_{r+k}\) for some \(k\) and \(r \gt 1\). Then \(x_r = x_{r+k}\) and \(y_r = y_{r+k}\), and hence \(a_{r-1} = a_{r+k-1}\). Repeating the argument gives \(a = [a_1; a_2,..., a_k, a_1, ...] ∎\)

**Corollary**: The continued fraction expansion of \(\sqrt{D}\) where \(D\) is
a nonsquare positive integer has the form
\([a_1; a_2, ..., a_k, a_2, ..., a_k, ...]\)

The same can be said for any positive real of the form \(\sqrt{D} + n\) where \(n\) is an integer and \(D\) is a nonsquare positive integer.

*blynn@cs.stanford.edu*💡