Periodic Continued Fractions

Summary: If the partial denominators of a simple continued fraction repeat with finite period, the continued fraction satisfies a polynomial equation of degree at most in itself — so its value is a quadratic irrational. Euler works through the single-letter case (, generating as runs over ), the two-letter case (which extends the catalog to every square root), and three- and four-letter cases (whose discriminants reduce to the two-letter case).

Sources: chapter18 (§376–§379).

Last updated: 2026-05-11


Why periodic CFs give quadratic irrationals (§376)

The key observation is that dropping leading periods does not change the value of a periodic continued fraction. If is purely periodic with period , then appears as a tail of itself, and the three-term recurrence turns this self-reference into a polynomial equation in of degree at most .

Euler’s archetypal example: satisfies

The convergents approximate with — error in the hundred-thousandths place after only six terms.

Single-letter period (§377)

For arbitrary , gives , so

Running through :

partial quotients

Convergence accelerates as grows: for the sixth convergent approximates with error .

This method handles exactly the square roots of — i.e., numbers that are the sum of two squares.

Two-letter period (§378)

To extend the method to all square roots Euler considers , which gives and

Choosing : , and the convergent sequence gives versus the true , error . (Euler’s approximation.)

Three- and four-letter periods (§379)

A three-letter period gives a quadratic with discriminant , which Euler observes is again a sum of two squares — so it does not produce square roots inaccessible to the two-letter method. The same goes for four-letter periods. So purely periodic CFs with periods do not enlarge the class of irrationals reachable, only re-parametrise it.

Modern statement (Lagrange’s theorem)

The collection of theorems §376–§379 together establish one direction of what is now called Lagrange’s theorem on periodic continued fractions (1770): a real number has a periodic simple continued fraction expansion if and only if it is a quadratic irrational. The converse direction — every quadratic irrational has a periodic CF — was not stated by Euler in the Introductio, but the §381 Euclidean-algorithm method gives a procedure for computing the CF expansion of any real number, and applied to in §381 Example II it recovers the pattern of §376.