# Basic Results

**Theorem**: Let \(a\) be a nonnegative real. If \(a\) is irrational, it has a
unique simple continued fraction expansion. Otherwise there are exactly
two expansions representing \(a\), namely \([a_1,...,a_{n-1},a_n, 1]\)
and \([a_1,...,a_{n-1},a_n + 1]\).

**Proof**: Let \(x_i = [a_i; a_{i+1}, ...]\) for all \(i\). Then

By inductive assumption \(a_1, ..., a_{i-1}\) are uniquely determined.

We have \(x_{i+1} \ge 1\) since \(a_{i+1}\) is a positive integer. If \(x_{i+1} \gt 1\), then \(a_i = \lfloor x_i \rfloor\) and uniqueness of \(a_i\) follows by induction. Otherwise \(x_{i+1} = 1\) and the fraction must terminate here. Then \(a\) is rational and we could discard \(a_{i+1}\) and add one to \(a_i\).∎

Actually there’s a hole in the proof. We neglected to rule out that an infinite continued fraction cannot approach a rational. We show this once we derive some bounds.

Define \(x_i\) as in the proof. Then by induction,

Observe that to convert a rational \(p/q\) to a simple continued fraction, we perform Euclid’s algortihm on \(p\) and \(q\). The quotients become the continued fraction sequence.

The recurrence relation of continued fractions is also related to division with remainder in the Euclid’s algorithm.

**Theorem**: Let \(a, b\) be coprime. If
\(a/b\) is expanded into a continued fraction, then \(q_{n-1}, p_{n-1}\) is
a solution of \(a x- b y = (-1)^n\) where \(n\) is the number of convergents.

**Proof**: We have \(p_n = a, q_n =b\) and
\(p_k q_{k-1} - q_k p_{k-1} = (-1)^k\) for all \(k\).∎

**Lemma**: For any distinct rationals \(p/q\) and \(p'/q'\), the sequence

is strictly increasing, or strictly decreasing for any nonnegative real \(x\).

**Proof**: Calculation shows the sign of \(p q' - p'q\) determines the direction
of the sequence.∎

Visualizing the graph of \(y = \frac{p x + p'}{q x + q'}\) for nonnegative \(x\) is instructive. We have part of a hyperbola with \(y\)-intercept \(y = p'/q'\) at \(x = 0\), and \(y \rightarrow p/q\) as \(x \rightarrow \infty\). By considering the derivative, \(y\) either monotonically increases or decreases, implying the last lemma.

Sequences of convergents for \(\alpha\) describe sequences of graphs whose ranges for nonnegative \(x\) are successively narrower and approach the horizontal line \(y = \alpha\). On each graph, there is a unique \(x \ge 0\) for which \(y = \alpha\).

*blynn@cs.stanford.edu*💡