ein Ausdruck der Form \begin{eqnarray}\begin{array}{l}{b}_{0}+\frac{\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{a}_{1}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,}{}\\ \,\,\,\,\,\,{b}_{1}+\frac{\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,a2\,\,\,\,\,\,\,\,\,\,\,\,\,}{}\\ \,\,\,\,\,\,\,\,\,{b}_{2}+\\ \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\ddots \\ \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\frac{{a}_{n-1}}{{b}_{n-1}+\frac{{a}_{n}}{{b}_{n}}}\\ \end{array}\end{eqnarray}

Genauer heißt der Ausdruck (1) endlicher Kettenbruch mit Anfangsglied b₀, Teilzählern a₁, …, a_n und Teilnennern b₁, …, b_n. Pringsheim führte dafür die suggestive Bezeichnung \begin{eqnarray}{b}_{0}+\frac{{a}_{1}|}{|{b}_{1}}+\frac{{a}_{2}|}{|{b}_{2}}+\ldots +\frac{{a}_{n}|}{|{b}_{n}}\end{eqnarray} ein. Denkt man sich einen solchen unendlich fortgesetzt, so daß die Teilzähler und die Teilnenner unendliche Folgen bilden, so spricht man von einem unendlichen Kettenbruch.

Nach Perron heißt ein endlicher oder unendlicher Kettenbruch regelmäßig, wenn die Teilzähler alle gleich 1 und die Teilnenner positive ganze Zahlen sind; nur das Anfangsglied b₀ darf eine beliebige ganze Zahl sein. Für regelmäßige Kettenbrüche führte Perron die Notation \begin{eqnarray}[{b}_{0},\,{b}_{1},\ldots,{b}_{n}]\end{eqnarray} ein, die durch [b₀] = b₀ und \begin{eqnarray}[{b}_{0},\,{b}_{1},\ldots,{b}_{n+1}]=[{b}_{0},\,{b}_{1},\ldots,{b}_{n-1,}{b}_{n}+\frac{1}{{b}_{n+1}}]\end{eqnarray} induktiv definiert ist.

Sind p_k und q_k gegeben durch \begin{eqnarray}\begin{array}{lll}{p}_{0}={b}_{0},\,\,\,\,\,\, & {p}_{1}={b}_{1}{b}_{0}+1,\,\,\, & {p}_{k}={b}_{k}{p}_{k-1}+{p}_{k-2},\\ {q}_{0}=1,\,\,\, & {q}_{1}={b}_{1},\,\,\, & {q}_{k}={b}_{k}{q}_{k-1}+{q}_{k-2},\end{array}\end{eqnarray} so gilt \begin{eqnarray}[{b}_{0},\,{b}_{1},\ldots,{b}_{n}]=\frac{{p}_{n}}{{q}_{n}}.\end{eqnarray}

Das bedeutet, daß der Euklidische Algorithmus, angewandt auf ein Paar r, s natürlicher Zahlen, sukzessive die Koeffizienten einer Darstellung des Quotienten r/s als regelmäßigen Kettenbruch erzeugt.

Der Kettenbruchalgorithmus verallgemeinert nun den Euklidischen Algorithmus dahingehend, daß er auch irrationalen reellen Zahlen einen regelmäßigen Kettenbruch zuordnet. Für beliebiges x ∈ ℝ setzt man zunächst x₀ = x und b₀ := ⌊x₀⌋, die größte ganze Zahl ≤ x₀. Sind x_k und b_k = ⌊x_k⌋ konstruiert, und ist x_k keine ganze Zahl, so setzt man \begin{eqnarray}{x}_{k+1}={({x}_{k}-{b}_{k})}^{-1}\end{eqnarray}

Sobald x_n eine ganze Zahl ist, bricht man die Konstruktion ab. Der Kettenbruchalgorithmus liefert so zunächst eine ganze Zahl b₀ und dann endlich oder unendlich viele natürliche Zahlen b_n ≥ 1. Sind b₀, …, b_n−1 konstruiert, so gilt \begin{eqnarray}x=[{b}_{0},\,{b}_{1},\ldots,{b}_{n+1},{x}_{n}].\end{eqnarray}

Hieraus folgt nun das älteste Irrationalitätskriterium:

Eine reelle Zahl x ist genau dann rational, wenn der Kettenbruchalgorithmus, angewandt auf x, nach endlich vielen Schritten abbricht.

Im Falle einer irrationalen Zahlx ∈ ℝ\ℚ produziert der Kettenbruchalgorithmus eine unendliche Folge (b_n)_n≥0 mit einem Anfangsglied b₀ ∈ ℤ und b_n ≥ 1 für n ≥ 1. Anhand dieses Kriteriums wurde die Existenz irrationaler Zahlen erstmals nachgewiesen (Goldener Schnitt).

Sei nun umgekehrt eine solche Folge (b_n) gegeben. Für n ≥ 0 nennt man die rationale Zahl \begin{eqnarray}{B}_{n}=[{b}_{0},\ldots,{b}_{n}]\end{eqnarray} den n-ten Näherungsbruch zum unendlichen Kettenbruch [b₀, b₁, …]. Diese Bezeichnung ist durch folgenden Konvergenzsatz gerechtfertigt:

Ist (b_n)_n≥0eine Folge ganzer Zahlen mit b_n ≥ 1 für n ≥ 1, so konvergiert die Folge der rationalen Zahlen (B_n)_n∈ℕgegen eine irrationale reelle Zahl. Dabei ist die Teilfolge mit geraden Indizes (B_2n) monoton aufsteigend, während die Teilfolge mit ungeraden Indizes (B_2n+1) monoton absteigt.

Ist die Folge (b_n) durch Anwendung des Kettenbruchalgorithmus auf eine Zahl x ∈ ℝ \ ℚ entstanden, so gilt lim_n→∞B_n = x.

Daher nennt man die Folge der Näherungsbrüche zu einer reellen Zahl x auch Kettenbruchentwicklung von x.

Für die Kettenbruchentwicklung einer reellen Zahl x gilt:

1. Sie ist eindeutig bestimmt, wenn man bei rationalen Zahlen x = [b₀, …, b_n] zusätzlich fordert, daß der letzte Koeffizient b_n ≥ 2 sei.
2. Sie wird genau dann periodisch, wenn x algebraisch vom Grad ≤ 2, also Wurzel einer quadratischen Gleichung mit rationalen Koeffizienten ist.
3. Ist \(\frac{{p}_{n}}{{q}_{n}}=[{b}_{0},\ldots,{b}_{n}]\)der (gekürzte) n-te Näherungsbruch, und ist\begin{eqnarray}\frac{p}{q}\ne \frac{{p}_{n}}{{q}_{n}}\,\,\,mit\,\,\,0\lt q\le {q}_{n},\end{eqnarray}so gilt\begin{eqnarray}|{p}_{n}-{q}_{n}x|\,\lt \,|p-qx|.\end{eqnarray}

Die letzte Aussage bedeutet, daß die Kettenbruchentwicklung in gewissem Sinn die beste Approximation einer irrationalen x durch rationale Zahlen liefert.