Merge pull request #7 from AndreasFMueller/master

synch

10 files changed, 1127 insertions, 23 deletions

diff --git a/buch/chapters/060-integral/differentialkoerper.tex b/buch/chapters/060-integral/differentialkoerper.tex
index a071ae2..a112e33 100644
--- a/buch/chapters/060-integral/differentialkoerper.tex
+++ b/buch/chapters/060-integral/differentialkoerper.tex
@@ -15,6 +15,11 @@ Doch woher weiss man, dass es keine solche Funktion gibt, und
 was heisst überhaupt ``Stammfunktion in geschlossener Form''?
 In diesem Abschnitt wird daher ein algebraischer Rahmen entwickelt,
 in dem diese Frage sinnvoll gestellt werden kann.
+Das ultimative Ziel, welches aber erst in
+Abschnitt~\ref{buch:integral:section:risch} in Angriff genommen
+wird, ist ein Computer-Algorithmus, der Integrale in geschlossener
+Form findet oder beweist, dass dies für einen gegebenen Integranden
+nicht möglich ist.
 
 \input{chapters/060-integral/rational.tex}
 \input{chapters/060-integral/erweiterungen.tex}
diff --git a/buch/chapters/060-integral/diffke.tex b/buch/chapters/060-integral/diffke.tex
index 53b46ad..61badc8 100644
--- a/buch/chapters/060-integral/diffke.tex
+++ b/buch/chapters/060-integral/diffke.tex
@@ -5,16 +5,233 @@
 %
 \subsection{Differentialkörper und ihre Erweiterungen
 \label{buch:integral:subsection:diffke}}
+Die Ableitung wird in den Grundvorlesungen der Analysis jeweils
+als ein Grenzprozess eingeführt.
+Die praktische Berechnung von Ableitungen verwendet aber praktisch
+nie diese Definition, sondern fast ausschliesslich die rein algebraischen
+Ableitungsregeln.
+So wie die Wurzelfunktionen im letzten Abschnitt als algebraische
+Körpererweiterungen erkannt wurden, muss jetzt auch für die Ableitung
+eine rein algebraische Definition gefunden werden.
+Die entstehende Struktur ist der Differentialkörper, der in diesem
+Abschnitt definiert werden soll.
+
+%
+% Derivation
 %
 \subsubsection{Derivation}
-% Ableitungsaxiome
+Für die praktische Berechnung der Ableitung einer Funktion verwendet
+man in erster Linie die bekannten Rechenregeln.
+Dazu gehören für zwei Funktionen $f$ und $g$
+\begin{itemize}
+\item Linearität: $(\alpha f+\beta g)' = \alpha f' + \beta g'$ für
+Konstanten $\alpha$, $\beta$.
+\item Produktregel: $(fg)'=f'g+fg'$.
+\index{Produktregel}%
+\item Quotientenregel: $(f/g)' = (f'g-fg')/g^2$.
+\index{Quotientenregel}%
+\end{itemize}
+Die ebenfalls häufig verwendete Kettenregel $(f\circ g)' = (f'\circ g) g'$
+\index{Kettenregel}%
+für zusammengesetzte Funktionen wird später kaum benötigt, da wir
+Verkettungen durch Körpererweiterungen ersetzen wollen.
+Die Ableitung hat somit die rein algebraischen Eigenschaften
+einer Derivation gemäss folgender Definition.
 
-\subsubsection{Ableitungsregeln}
+\begin{definition}
+Sei $\mathscr{F}$ ein Körper.
+Eine {\em Derivation} ist eine lineare Abbildung
+\index{Derivation}%
+$D\colon \mathscr{F}\to\mathscr{F}$
+mit der Eigenschaft
+\[
+D(fg) = (Df)g+f(Dg).
+\]
+Ein {\em Differentialkörper} ist ein Körper mit einer Derivation.
+\index{Differentialkoerper@Differentialkörper}%
+\end{definition}
+
+Die Ableitung in einem Funktionenkörper ist eine Derivation,
+die sich zusätzlich dadurch auszeichnet, dass $Dx=x'=1$.
+Sie wird weiterhin mit dem Strich bezeichnet.
+
+%
 % Ableitungsregeln
+%
+\subsubsection{Ableitungsregeln}
+Die Definition einer Derivation macht keine Aussagen über Quotienten,
+diese kann man aber aus den Eigenschaften einer Derivation sofort
+ableiten.
+Wir schreiben $q=f/g$ für $f,g\in\mathscr{F}$, dann ist $f=qg$.
+Nach der Kettenregel gilt
+\(
+f'=q'g+qg'
+\).
+Substituiert man darin $q=f/g$ und löst nach $q'$ auf, erhält man
+\[
+f'=q'g+\frac{fg'}{g}
+\qquad\Rightarrow\qquad
+q'=\frac1{g}\biggl(f'-\frac{fg'}{g}\biggr)
+=
+\frac{f'g-fg'}{g^2}.
+\]
 
-\subsubsection{Konstantenkörper}
+
+%
 % Konstantenkörper
+%
+\subsubsection{Konstantenkörper}
+Die Ableitung einer Konstanten verschwindet.
+Beim Hinzufügen von Funktionen zu einem Funktionenkörper können weitere
+Konstanten hinzukommen, ohne dass dies auf den ersten Blick sichtbar wird.
+Zum Beispiel enthält $\mathbb{Q}(x,\!\sqrt{x+\pi})$ wegen
+$(\!\sqrt{x+\pi})^2-x=\pi$ auch die Konstante $\pi$.
+Eine Derivation ermöglicht dank des nachfolgenden Satzes auch,
+solche Konstanten zu erkennen.
+
+\begin{satz}
+Sei $\mathscr{F}$ ein Körper und $D$ eine Derivation in $\mathscr{F}$.
+Dann ist die Menge $C=\{a\in\mathscr{F}\;|\;Da=0\}$ ein Körper.
+\end{satz}
+
+\begin{proof}[Beweis]
+Es muss gezeigt werden, dass Summe und Produkt von Element von $C$ 
+wieder in $C$ liegen.
+Wenn $Da=Db=0$, dann ist $D(a+b)=Da+Db=0$, also ist $a+b\in C$.
+Für das Produkt gilt $D(ab)=(Da)b+a(Db)=0b+a0=0$, also ist auch
+$ab\in C$.
+\end{proof}
+
+Die Menge $C$ heisst der {\em Konstantenkörper} von $\mathscr{F}$.
+\index{Konstantenkörper}%
+
+%
+% Ableitung algebraischer Elemente
+%
+\subsubsection{Ableitung und algebraische Körpererweiterungen}
+Die Rechenregeln in einem Differentialkörper $\mathscr{F}$ legen auch die
+Ableitung eines algebraischen Elements fest.
+Sei $m(z)=m_0+m_1z+\ldots+m_{n-1}z^{n-1}+z^n$ das Minimalpolynom eines
+über $\mathscr{F}$ algebraischen Elements $f$.
+Aus $m(f)=0$ folgt durch Ableiten
+\[
+0
+=
+m(f)'
+=
+m_0'
++
+(m_1'f+m_1f')
++
+(m_2'f + m_12f'f)
++
+\ldots
++
+(m_{n-1}'f^{n-1} + m_{n-1} (n-1)f'f^{n-2})
++
+nf'f^{n-1}.
+\]
+Zusammenfassen der Ableitung $f'$ auf der linken Seite liefert die
+Gleichung
+\[
+f'(
+m_1+2m_2f+\ldots+(n-1)m_{n-1}f^{n-2}+nf^{n-1}
+)
+=
+m_0' + m_1'f + m_2'f^2 + \ldots + m_{n-1}'f^{n-1} + f^n,
+\]
+aus der
+\[
+f'
+=
+\frac{
+m_0' + m_1'f + m_2'f^2 + \ldots + m_{n-1}'f^{n-1} + f^n
+}{
+m_1+2m_2f+\ldots+(n-1)m_{n-1}f^{n-2}+nf^{n-1}
+}
+\]
+als Element von $\mathscr{F}(g)$ berechnet werden kann.
+Die Ableitungsoperation lässt sich somit auf die Körpererweiterung
+$\mathscr{F}(f)$ fortsetzen.
+
+\begin{beispiel}
+Das über $\mathbb{Q}(x)$ algebraische Element $y=\sqrt{ax^2+bx+c}$
+hat das Minimalpolynom
+\[
+m(z)
+=
+z^2 - [ax^2+bx+c]
+\in
+\mathbb{Q}(x)[z]
+\]
+mit Koeffizienten $m_0 = ax^2+bx+c,$ $m_1=0$ und $m_2=1$.
+Es hat die Ableitung
+\[
+y'
+= 
+\frac{m_0'}{2m_2y}
+=
+\frac{
+2ax+b
+}{
+2y
+}
+\in
+\mathbb{Q}(x,y)
+\]
+wegen $m_0'=2ax+b$.
+\end{beispiel}
+
+\begin{definition}
+Eine differentielle Körpererweiterung ist eine Körpererweiterung
+$\mathscr{K}\subset\mathscr{F}$ von Differentialkörpern derart, dass
+die Ableitungen $D_{\mathscr{K}}$ in $\mathscr{K}$
+und $D_{\mathscr{F}}$ in $\mathscr{F}$ übereinstimmen:
+\(
+D_{\mathscr{K}}g= D_{\mathscr{F}} g
+\)
+für alle $g\in\mathscr{K}$.
+\end{definition}
 
+%
+% Logarithmus und Exponantialfunktion
+%
 \subsubsection{Logarithmus und Exponentialfunktion}
-% Logarithmus und Exponentialfunktion
+Die Exponentialfunktion und der Logarithmus sind nicht algebraisch
+über $\mathbb{Q}(x)$, sie lassen sich nicht durch eine algebraische
+Gleichung charakterisieren.
+Sie zeichnen sich aber durch besondere Ableitungseigenschaften aus.
+Die Theorie der gewöhnlichen Differentialgleichungen garantiert,
+dass eine Funktion durch eine Differentialgleichung und Anfangsbedingungen
+festgelegt ist.
+\label{buch:integral:expundlog}
+Für die Exponentialfunktion und der Logarithmus haben die 
+Ableitungseigenschaften
+\[
+\exp'(x) = \exp(x)
+\qquad\text{und}\qquad
+x \log'(x) = 1.
+\]
+\index{Exponentialfunktion}%
+\index{Logarithmus}%
+In der algebraischen Beschreibung eines Funktionenkörpers gibt es
+das Konzept des Wertes einer Funktion an einer bestimmten Stelle nicht.
+Somit können keine Anfangsbedingungen vorgegeben werden.
+Da die Gleichung für $\exp$ linear sind, sind Vielfache einer Lösung wieder
+Lösungen,
+insbesondere ist mit $\exp(x)$ auch $a\exp(x)$ eine Lösung.
+Die Gleichung für $\log$ ist nicht linear, aber es ist
+$\log'(x) = 1/x$, $\log$ ist eine Stammfunktion von $1/x$, die
+nur bis auf eine Konstante bestimmt ist.
+Tatsächlich gilt
+\[
+x(\log(x)+a)'
+=
+x\log(x) + xa' = x\log(x)=1,
+\]
+die Funktion $\log(x)+a$ ist also auch eine Lösung für den Logarithmus.
+
+Die Eigenschaft, dass die Exponentialfunktion die Umkehrfunktion
+des Logarithmus ist, lässt sich mit den Mitteln eines Differentialkörpers
+nicht ausdrücken.
 
diff --git a/buch/chapters/060-integral/elementar.tex b/buch/chapters/060-integral/elementar.tex
index 2962178..fd5f051 100644
--- a/buch/chapters/060-integral/elementar.tex
+++ b/buch/chapters/060-integral/elementar.tex
@@ -5,3 +5,210 @@
 %
 \subsection{Elementare Funktionen
 \label{buch:integral:subsection:elementar}}
+Etwas allgemeiner kann man sagen, dass in den
+Beispielen~\eqref{buch:integration:risch:eqn:integralbeispiel2}
+algebraische Erweiterungen von $\mathbb{Q}(x)$ und Erweiterungen
+um Logarithmen oder Exponentialfunktionen vorgekommen sind.
+Die Stammfunktionen verwenden dieselben Funktionen oder höchstens
+Erweiterungen um Logarithmen von Funktionen, die man schon im
+Integranden gesehen hat.
+
+%
+% Exponentielle und logarithmische Funktione
+%
+\subsubsection{Exponentielle und logarithmische Funktionen}
+In Abschnitt~\ref{buch:integral:subsection:diffke} haben wir
+bereits die Exponentialfunktion $e^x$ und die Logarithmusfunktion 
+$\log x$ charakterisiert als eine Körpererweiterung durch 
+Elemente, die der Differentialgleichung
+\[
+\exp' = \exp
+\qquad\text{und}\qquad
+\log' = \frac{1}{x}
+\]
+genügen.
+Für die Stammfunktionen, die in 
+Abschnitt~\ref{buch:integral:subsection:logexp}
+gefunden wurden, sind aber Logarithmusfunktionen nicht von
+$x$ sondern von beliebigen über $\mathbb{Q}$ algebraischen Elementen
+nötig.
+Um zu verstehen, wie wir diese Funktion als Körpererweiterung erhalten
+könnten, betrachten wir die Ableitung einer Exponentialfunktion
+$\vartheta(x) = \exp(f(x))$ und eines
+Logarithmus 
+$\psi(x) = \log(f(x))$, wie man sie mit der Kettenregel
+berechnet hätte:
+\begin{align*}
+\vartheta'(x)
+&=\exp(f(x)) \cdot f'(x)
+&
+\psi'(x)
+&=
+\frac{f'(x)}{f(x)}
+\quad\Leftrightarrow\quad
+f(x)\psi'(x)
+=
+f'(x).
+\end{align*}
+Dies motiviert die folgende Definition
+
+\begin{definition}
+\label{buch:integral:def:explog}
+Sei $\mathscr{F}$ ein Differentialklörper und $f\in\mathscr{F}$.
+Ein Exponentialfunktion von $f$ ist ein $\vartheta\in \mathscr{F}$mit
+$\vartheta' = \vartheta f'$.
+Ein Logarithmus von $f$ ist ein $\vartheta\in\mathscr{F}$ mit
+$f\vartheta'=f'$.
+\end{definition}
+
+Für $f=x$ mit $f'=1$ reduziert sich die 
+Definition~\ref{buch:integral:def:explog}
+auf die Definition der Exponentialfunktion $\exp(x)$ und
+Logarithmusfunktion $\log(x)$ auf Seite~\pageref{buch:integral:expundlog}.
+
+
+%
+%
+%
+\subsubsection{Transzendente Körpererweiterungen}
+Die Wurzelfunktionen haben wir früher als algebraische Erweiterungen
+eines Differentialkörpers erkannt.
+Die logarithmischen und exponentiellen Elemente gemäss
+Definition~\ref{buch:integral:def:explog} sind nicht algebraisch.
+
+\begin{definition}
+\label{buch:integral:def:transzendent}
+Sei $\mathscr{F}\subset\mathscr{G}$ eine Körpererweiterung und
+$\vartheta\in\mathscr{G}$.
+$\vartheta$ heisst {\em transzendent}, wenn $\vartheta$ nicht
+algebraisch ist.
+\end{definition}
+
+\begin{beispiel}
+Die Funktion $f = e^x + e^{2x} + e^{x/2}$ ist sicher transzendent,
+in diesem Beispiel zeigen wir, dass es mindestens drei verschiedene
+Möglichkeiten gibt, eine Körpererweiterung von $\mathbb{Q}(x)$ zu
+konstruieren, die $f$ enthält.
+
+Erste Möglichkeit: $f=\vartheta_1 + \vartheta_2 + \vartheta_3$ mit
+$\vartheta_1=e^x$,
+$\vartheta_2=e^{2x}$
+und
+$\vartheta_3=e^{x/2}$.
+Jedes der Elemente $\vartheta_i$ ist exponentiell über $\mathbb{Q}(x)$ und 
+$f$ ist in
+\[
+\mathbb{Q}(x)
+\subset
+\mathbb{Q}(x,\vartheta_1)
+\subset
+\mathbb{Q}(x,\vartheta_1,\vartheta_2)
+\subset
+\mathbb{Q}(x,\vartheta_1,\vartheta_2,\vartheta_3)
+\ni
+f.
+\]
+Jede dieser Körpererweiterungen ist transzendent.
+
+Zweite Möglichkeit: $\vartheta_1=e^x$ ist exponentiell über 
+$\mathbb{Q}(x)$ und $\mathbb{Q}(x,\vartheta_1)$ enthält wegen
+\[
+(\vartheta_1^2)'
+=
+2\vartheta_1\vartheta_1'
+=
+2\vartheta_1^2,
+\]
+somit ist $\vartheta_1^2=\vartheta_2$ eine Exponentialfunktion von $2x$
+über $\mathbb{Q}(x)$.
+Das Element $\vartheta_3=e^{x/2}$ ist zwar auch exponentiell über
+$\mathbb{Q}(x)$, es ist aber auch eine Nullstelle des Polynoms
+$m(z)=z^2-[\vartheta_1]$.
+Die Erweiterung
+$\mathbb{Q}(x,\vartheta_1)\subset\mathbb{Q}(x,\vartheta_1,\vartheta_3)$
+ist eine algebraische Erweiterung, die
+$f=\vartheta_1 + \vartheta_1^2+\vartheta_3$ enthält.
+
+Dritte Möglichkeit: $\vartheta_3=e^{x/2}$ ist exponentiell über
+$\mathbb{Q}(x)$.
+Die transzendente Körpererweiterung
+\[
+\mathbb{Q}(x) \subset \mathbb{Q}(x,\vartheta_3)
+\]
+enthält das Element
+$f=\vartheta_3^4+\vartheta_3^2 + \vartheta_3 $.
+\end{beispiel}
+
+Das Beispiel zeigt, dass man nicht sagen kann, dass eine Funktion
+ausschliesslich in einer algebraischen oder transzendenten Körpererweiterung
+zu finden ist. 
+Vielmehr gibt es für die gleiche Funktion möglicherweise verschiedene
+Körpererweiterungen, die alle die Funktion enthalten können.
+
+%
+% Elementare Funktionen
+%
+\subsubsection{Elementare Funktionen}
+Die Stammfunktionen~\eqref{buch:integration:risch:eqn:integralbeispiel2}
+können aufgebaut werden, indem man dem Körper $\mathbb{Q}(x)$ schrittweise
+sowohl algebraische wie auch transzendente Elemente hinzufügt,
+wie in der folgenden Definition, die dies für abstrakte
+Differentialkörpererweiterungen formuliert.
+
+\begin{definition}
+Eine Körpererweiterung $\mathscr{F}\subset\mathscr{G}$ heisst 
+{\em transzendente elementare Erweiterung}, wenn 
+$\mathscr{G} = \mathscr{F}(\vartheta_1,\dots,\vartheta_n)$ und
+jedes der Element $\vartheta_i$ transzendent und logarithmisch oder
+exponentiell ist über
+$\mathscr{F}_{i-1}=\mathscr{F}(\vartheta_1,\dots,\vartheta_{i-1})$.
+Die Körpererweiterung $\mathscr{F}\subset\mathscr{G}$ heisst
+{\em elementare Erweiterung}, wenn 
+$\mathscr{G} = \mathscr{F}(\vartheta_1,\dots,\vartheta_n)$ und
+jedes Element $\vartheta_i$ ist entweder logarithmisch, exponentiell
+oder algebraisch über $\mathscr{F}_{i-1}$.
+\end{definition}
+
+Die Funktionen, die als akzeptable Stammfunktionen für das Integrationsproblem
+in Betracht kommen, sind also jene, die in einer geeigneten elementaren
+Erweiterung des von $\mathbb{Q}(x)$ liegen.
+Ausserdem können auch noch weitere Konstanten nötig sein, sowohl
+algebraische Zahlen wie auch Konstanten wie $\pi$ oder $e$.
+
+\begin{definition}
+Sei $\mathscr{K}(x)$ der Differentialklörper der rationalen Funktionen
+über dem Konstantenkörper $\mathscr{K}\supset\mathbb{Q}$, der in $\mathbb{C}$
+enthalten ist.
+Ist $\mathscr{F}\supset \mathscr{K}(x)$ eine transzendente elementare 
+Erweiterung von $\mathscr{K}(x)$, dann heisst $\mathscr{F}$
+ein Körper von {\em transzendenten elementaren Funktionen}.
+Ist $\mathscr{F}$ eine elementare Erweiterung von $\mathscr{K}(x)$, dann
+heisst $\mathscr{F}$ ein Körper von {\em elementaren Funktionen}.
+\end{definition}
+
+\subsubsection{Das Integrationsproblem}
+Die elementaren Funktionen enthalten alle Funktionen, die sich mit
+arithmetischen Operationen, Wurzeln, Exponentialfunktionen, Logarithmen und
+damit auch mit trigonometrischen und hyperbolischen Funktionen und ihren
+Umkehrfunktionen aus den rationalen Zahlen, der unabhängigen Variablen $x$ 
+und möglicherweise einigen zusätzlichen Konstanten aufbauen lassen.
+Sei also $f$ eine Funktion in einem Körper von elementaren
+Funktionen
+\[
+\mathscr(F)
+=
+\mathbb{Q}(\alpha_1,\dots,\alpha_l)(x,\vartheta_1,\dots,\vartheta_n).
+\]
+Eine elementare Stammfunktion ist eine Funktion $F=\int f$ in einer
+elementaren Körpererweiterung
+\[
+\mathscr{G}
+=
+\mathbb{Q}(\alpha_1,\dots,\alpha_l,\dots,\alpha_{l+k})
+(x,\vartheta_1,\dots,\vartheta_n,\dots,\vartheta_{n+m})
+\]
+mit $F'=f$.
+Das Ziel ist, $F$ mit Hilfe eines Algorithmus zu bestimmen.
+
+
+
diff --git a/buch/chapters/060-integral/erweiterungen.tex b/buch/chapters/060-integral/erweiterungen.tex
index f88f6e3..9138f3e 100644
--- a/buch/chapters/060-integral/erweiterungen.tex
+++ b/buch/chapters/060-integral/erweiterungen.tex
@@ -5,8 +5,339 @@
 %
 \subsection{Körpererweiterungen
 \label{buch:integral:subsection:koerpererweiterungen}}
+Das Beispiel des Körpers $\mathbb{Q}(\!\sqrt{2})$ auf Seite
+\pageref{buch:integral:beispiel:Qsqrt2} illustriert eine Möglichkeit,
+einen kleinen Körper zu vergrössern.
+Das Prinzip ist verallgemeinerungsfähig und soll in diesem Abschnitt
+erarbeitet werden.
+
 %
 % algebraische Zahl-Erweiterungen
+\subsubsection{Algebraische Erweiterungen}
+Der Körper $\mathbb{Q}(\!\sqrt{2})$ entsteht aus dem Körper $\mathbb{Q}$
+dadurch, dass man die Zahl $\sqrt{2}$ hinzufügt und alle erlaubten
+arithmetischen Operationen zulässt.
+Die Darstellung von Elementen von $\mathbb{Q}(\!\sqrt{2})$ als
+$a+b\sqrt{2}$ ist möglich, weil die Zahl $\alpha=\sqrt{2}$ die 
+algebraische Relation
+\[
+\alpha^2-2 = \sqrt{2}^2 -2 = 0
+\]
+erfüllt.
+Voraussetzung für diese Aussage ist, dass es die Zahl $\sqrt{2}$ in einem
+geeigneten grösseren Körper gibt. 
+Die reellen oder komplexen Zahlen bilden einen solchen Körper.
+Wir verallgemeinern diese Situation wie folgt.
+
+\begin{definition}
+Ist $K$ ein Körper, dann heisst ein Körper $L$ mit $K\subset L$ ein
+{\em Erweiterungskörper} von $K$.
+\index{Erweiterungskoerper@Erweiterungskörper}
+\end{definition}
+
+\begin{definition}
+\label{buch:integral:definition:algebraisch}
+Sei $K\subset L$ eine Körpererweiterung.
+Das Element $\alpha\in L$ heisst {\em algebraisch} über $K$, wenn es
+ein Polynom $p(x)\in K[x]$ gibt derart, dass $\alpha$ eine Nullstelle
+von $p(x)$ ist, also gibt mit $p(\alpha)=0$.
+Das normierte Polynom $m(x)$ geringsten Grades, welches $m(\alpha)=0$
+erfüllt, heisst das {\em Minimalpolynom} von $\alpha$.
+\index{Minimalpolynom}%
+\end{definition}
+
+Man sagt auch $\alpha$ ist algebraisch vom Grad $n$, wenn das Minimalpolynom
+den Grad $n$ hat.
+Wenn $\alpha\ne 0$ algebraisch ist, dann ist auch $1/\alpha$ algebraisch,
+wie das folgende Argument zeigt.
+Für das Minimalpolynom $m(x)$ von $\alpha$, ist $m(\alpha)=0$.
+Teilt man diese Gleichung durch $\alpha^n$ teilt, erhält man 
+\[
+m_0\frac{1}{\alpha^n}
++
+m_1\frac{1}{\alpha^{n-1}}
++
+\ldots
++
+m_{n-1}\frac{1}{\alpha}
++
+1
+=
+0,
+\]
+das Polynom
+\[
+\hat{m}(x)
+=
+m_0x^n + m_1x^{n-1} + \ldots m_{n-1} x + 1
+\in
+K[x]
+\]
+hat also $\alpha^{-1}$ als Nullstelle.
+Das Polynom $\hat{m}(x)$ beweist daher, dass $\alpha^{-1}$ algebraisch ist.
+
+Die Zahl $\sqrt{2}\in\mathbb{R}$ ist also algebraisch über $\mathbb{Q}$
+und jede andere Quadratwurzel von Elementen von $\mathbb{Q}$ ist
+ebenfalls algebraisch über $\mathbb{Q}$.
+Auch der Körper $\mathbb{Q}(\alpha)$ kann für jede andere Quadratwurzel
+auf die genau gleiche Art wie für $\sqrt{2}$ konstruiert werden.
+
+\begin{definition}
+\label{buch:integral:definition:algebraischeerweiterung}
+Sei $K\subset L$ eine Körpererweiterung und $\alpha\in L$ ein algebraisches
+Element mit Minimalpolynom $m(x)\in K[x]$.
+Dann heisst die Menge
+\begin{equation}
+K(\alpha)
+=
+\{
+a_0 + a_1\alpha + \ldots +a_n\alpha^n
+\;|\;
+a_i\in K
+\}
+\label{buch:integral:eqn:algelement}
+\end{equation}
+mit $n=\deg m(x) - 1$ der durch {\em Adjunktion} oder Hinzufügen
+von $\alpha$ erhaltene Erweiterungsköper.
+\end{definition}
+
+Wieder muss nur überprüft werden, dass jedes Produkt oder jeder
+Quotient von Ausdrücken der Form~\eqref{buch:integral:eqn:algelement}
+wieder in diese Form gebracht werden kann.
+Dazu sei
+\[
+m(x)
+=
+m_0+m_1x + m_2x^2
++\ldots +m_{n-1}x^{n-1} + x^n
+\]
+das Minimalpolynom von $\alpha$.
+Die Gleichung $m(\alpha)=0$ kann nach $\alpha^n$ aufgelöst werden und
+liefert
+\[
+\alpha^n = -m_0 - m_1\alpha - m_2\alpha^2 -\ldots -m_{n-1}\alpha^{n-1}.
+\]
+Damit kann jede Potenz von $\alpha$ mit einem Exponenten grösser als $n$
+in eine Linearkombination von Potenzen mit kleineren Exponenten
+reduziert werden.
+Ein Polynom in $\alpha$ kann also immer auf die
+Form~\eqref{buch:integral:eqn:algelement}
+gebracht werden.
+
+Es muss aber noch gezeigt werden, dass auch der Kehrwert eines Elements
+der Form~\eqref{buch:integral:eqn:algelement} in dieser Form geschrieben
+werden kann.
+Sei also $a(\alpha)$ so ein Element, dann sind die beiden Polynome
+$a(x)$ und $m(x)$ teilerfremd, der grösste gemeinsame Teiler ist $1$.
+Mit dem erweiterten euklidischen Algorithmus kann man zwei Polynome
+$s(x)$ und $t(x)$ finden derart, dass $s(x)a(x)+t(x)m(x)=1$.
+Setzt man $\alpha$ für $x$ ein, verschwindet das Minimalpolynom und
+es bleibt
+\[
+s(\alpha)a(\alpha) = 1
+\qquad\Rightarrow\qquad
+s(\alpha) = \frac{1}{a(\alpha)}.
+\]
+Damit ist $s(\alpha)$ eine Darstellung von $1/a(\alpha)$ in der 
+Form~\eqref{buch:integral:eqn:algelement}.
+
+%
+% Komplexe Zahlen
+%
+\subsubsection{Komplexe Zahlen}
+Die imaginäre Einheit $i$ hat die Eigenschaft, dass $i^2=-1$, insbesondere
+ist sie Nullstelle des Polynoms $m(x)=x^2+1\in\mathbb{Q}[x]$.
+Die Menge $\mathbb{Q}(i)$ ist daher eine algebraische Körpererweiterung
+von $\mathbb{Q}$ bestehend aus den komplexen Zahlen mit rationalem
+Real- und Imaginärteil.
+
+%
+% Transzendente Körpererweiterungen
+%
+\subsubsection{Transzendente Erweiterungen}
+Nicht alle Zahlen in $\mathbb{R}$ sind algebraisch.
+Lindemann bewies 1882 einen allgemeinen Satz, aus dem folgt,
+dass $\pi$ und $e$ nicht algebraisch sind, es gibt also
+kein Polynom mit rationalen Koeffizienten, welches $\pi$
+oder $e$ als Nullstelle hat.
+
+\begin{definition}
+Eine Zahl $\alpha\in L$ in einer Körpererweiterung $K\subset L$ 
+heisst {\em transzendent}, wenn $\alpha$ nicht algebraisch ist,
+wenn es also kein Polynom in $K[x]$ gibt, welches $\alpha$ als
+Nullstelle hat.
+\end{definition}
+
+Die Zahlen $\pi$ und $e$ sind also transzendent.
+Eine andere Art, diese Eigenschaft zu beschreiben ist zu sagen,
+dass die Potenzen
+\[
+1=\pi^0, \pi, \pi^2,\pi^3,\dots
+\]
+linear unabhängig sind.
+Gäbe es nämlich eine lineare Abhängigkeit, dann gäbe es Koeffizienten
+$l_i$ derart, dass
+\[
+l_0 + l_1\pi^1 + l_2\pi^2 + \ldots + l_{n-1}\pi^{n-1} + l_{n}\pi^n = l(\pi)=0,
+\]
+und damit wäre dann ein Polynom gefunden, welches $\pi$ als Nullstelle hat.
+
+Selbstverstländlich kann man zu einem transzendenten Element $\alpha$
+immer noch einen Körper konstruieren, der alle Zahlen enthält, welche man
+mit den arithmetischen Operationen aus $\alpha$ bilden kann.
+Man kann ihn schreiben als
+\[
+K(\alpha)
+=
+\biggl\{
+\frac{p(\alpha)}{q(\alpha)}
+\;\bigg|\;
+p(x),q(x)\in K[x] \wedge p(x)\ne 0
+\biggr\},
+\]
+aber die Vereinfachungen zur
+Form~\eqref{buch:integral:eqn:algelement}, die bei einem algebraischen
+Element $\alpha$ möglich waren, können jetzt nicht mehr durchgeführt
+werden.
+$K\subset K(\alpha)$ ist zwar immer noch eine Körpererweiterung, aber
+$K(\alpha)$ ist nicht mehr ein endlichdimensionaler Vektorraum.
+Die Körpererweiterung $K\subset K(\alpha)$ heisst {\em transzendent}.
+
+%
 % rationale Funktionen als Körpererweiterungen
+%
+\subsubsection{Rationale Funktionen als Körpererweiterung}
+Die unabhängige Variable wird bei Rechnen so behandelt, dass die
+Potenzen alle linear unabhängig sind.
+Dies ist die Grundlage für den Koeffizientenvergleich.
+Der Körper der rationalen Funktion $K(x)$
+ist also eine transzendente Körpererweiterung von $K$.
+
+%
 % Erweiterungen mit algebraischen Funktionen 
 %
+\subsubsection{Algebraische Funktionen}
+Für das Integrationsproblem möchten wir nicht nur rationale Funktionen
+verwenden können, sondern auch Wurzelfunktionen.
+Wir möchten also zum Beispiel auch mit der Funktion $\sqrt{ax^2+bx+c}$
+und allem, was man mit arithmetischen Operationen daraus machen kann,
+arbeiten können.
+Eine Körpererweiterung, die $\sqrt{ax^2+bx+c}$ enthält, enthält auch
+alles, was man daraus bilden kann.
+Doch wie bekommen wir die Funktion $\sqrt{ax^2+bx+c}$ in den Körper?
+
+Die Art und Weise, wie man Wurzeln in der Schule kennenlernt ist als
+eine neue Operation, die zu einer Zahl die Quadratwurzel liefert.
+Diese Idee, den Körper mit einer weiteren Funktion anzureichern,
+führt über nicht auf eine nützliche neue algebraische Struktur.
+Wir dürfen daher $\sqrt{ax^2+bx+c}$ nicht als die Zusammensetzung
+einer einzelnen neuen Funktion $\sqrt{\phantom{A}}$ mit
+einem Polynom betrachten.
+
+Die Wurzel $\sqrt{ax^2+bx+c}$ ist aber auch die Nullstelle des Polynoms
+\[
+p(z)
+=
+z^2 - [ax^2+bx+c]
+\in
+K(x)[z]
+\]
+mit Koeffizienten in $K(x)$.
+Die eckigen Klammern sollen helfen, die Koeffizienten in $K(x)$
+zu erkennen.
+Die Funktion $\sqrt{ax^2+bx+c}$ ist also algebraisch über $K(x)$.
+Einen Funktionenkörper, der die Funktion enthält, kann man also erhalten,
+indem man den Körper $K(x)$ um das über $K(x)$ algebraische Element
+$y=\sqrt{ax^2+bx+c}$ zu $K(x,y)=K(x,\sqrt{ax^2+bx+c}$ erweitert.
+Wurzelfunktion werden daher nicht als Zusammensetzungen, sondern als
+algebraische Erweiterungen eines Funktionenkörpers betrachtet.
+
+%
+% Konjugation
+%
+\subsubsection{Konjugation}
+Die komplexen Zahlen sind die algebraische Erweiterung der reellen Zahlen
+um die Nullstelle $i$ des Polynoms $m(x)=x^2+1$.
+Die Zahl $-i$ ist aber auch eine Nullstelle von $m(x)$, die mit algebraischen
+Mitteln nicht von $i$ unterscheidbar ist.
+Die komplexe Konjugation $a+bi\mapsto a-bi$ vertauscht die beiden 
+\index{Konjugation, komplexe}%
+\index{komplexe Konjugation}%
+Nullstellen des Minimalpolynoms.
+
+Ähnliches gilt für die Körpererweiterung $\mathbb{Q}(\!\sqrt{2})$.
+$\sqrt{2}$ und $\sqrt{2}$ sind beide Nullstellen des Minimalpolynoms
+$m(x)=x^2-2$, die mit algebraischen Mitteln nicht unterschiedbar sind.
+Sie haben zwar verschiedene Vorzeichen, doch ohne eine Ordnungsrelation
+können diese nicht unterschieden werden.
+\index{Ordnungsrelation}%
+Eine Ordnungsrelation zwischen rationalen Zahlen lässt sich zwar
+definieren, aber die Zahl $\sqrt{2}$ ist nicht rational, es braucht
+also eine zusätzliche Annahme, zum Beispiel die Identifikation von
+$\sqrt{2}$ mit einer reellen Zahl in $\mathbb{R}$, wo der Vergleich
+möglich ist.
+
+Auch in $\mathbb{Q}(\!\sqrt{2})$ ist die Konjugation
+$a+b\sqrt{2}\mapsto a-b\sqrt{2}$ eine Selbstabbildung, die
+die Körperoperationen respektiert.
+
+Das Polynom $m(x)=x^2-x-1$ hat die Nullstellen
+\[
+\frac12 \pm\sqrt{\biggl(\frac12\biggr)^2+1}
+=
+\frac{1\pm\sqrt{5}}{2}
+=
+\left\{
+\bgroup
+\renewcommand{\arraystretch}{2.20}
+\renewcommand{\arraycolsep}{2pt}
+\begin{array}{lcl}
+\displaystyle
+\frac{1+\sqrt{5}}{2} &=& \phantom{-}\varphi \\
+\displaystyle
+\frac{1-\sqrt{5}}{2} &=& \displaystyle-\frac{1}{\varphi}.
+\end{array}
+\egroup
+\right.
+\]
+Sie erfüllen die gleiche algebraische Relation $x^2=x+1$.
+Sie sind sowohl im Vorzeichen wie auch im absoluten Betrag 
+verschieden, beides verlangt jedoch eine Ordnungsrelation als
+Voraussetzung, die uns fehlt.
+Aus beiden kann man mit rationalen Operationen $\sqrt{5}$ gewinnen,
+denn
+\[
+\sqrt{5}
+=
+4\varphi-1
+=
+-4\biggl(-\frac{1}{\varphi}\biggr)^2-1
+\qquad\Rightarrow\qquad
+\mathbb{Q}(\!\sqrt{5})
+=
+\mathbb{Q}(\varphi)
+=
+\mathbb{Q}(-1/\varphi).
+\]
+Die Abbildung $a+b\varphi\mapsto a-b/\varphi$ ist eine Selbstabbildung
+des Körpers $\mathbb{Q}(\!\sqrt{5})$, welche die beiden Nullstellen 
+vertauscht.
+
+Dieses Phänomen gilt für jede algebraische Erweiterung.
+Die Nullstellen des Minimalpolynoms, welches die Erweiterung
+definiert, sind grundsätzlich nicht unterscheidbar.
+Mit der Adjunktion einer Nullstelle enthält der Erweiterungskörper
+auch alle anderen.
+Sind $\alpha_1$ und $\alpha_2$ zwei Nullstellen des Minimalpolynoms,
+dann definiert die Abbildung $\alpha_1\mapsto\alpha_2$ eine Selbstabbildung,
+die die Nullstellen permutiert.
+
+Die algebraische Körpererweiterung
+$\mathbb{Q}(x)\subset \mathbb{Q}(x,\sqrt{ax^2+bx+c})$
+ist nicht unterscheidbar von
+$\mathbb{Q}(x)\subset \mathbb{Q}(x,-\!\sqrt{ax^2+bx+c})$.
+Für das Integrationsproblem bedeutet dies, dass alle Methoden so
+formuliert werden müssen, dass die Wahl der Nullstellen auf die
+Lösung keinen Einfluss haben.
+
+
diff --git a/buch/chapters/060-integral/logexp.tex b/buch/chapters/060-integral/logexp.tex
index 7cbb906..e0efab2 100644
--- a/buch/chapters/060-integral/logexp.tex
+++ b/buch/chapters/060-integral/logexp.tex
@@ -3,7 +3,7 @@
 %
 % (c) 2022 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschlue
 %
-\subsection{Log-Exp-Notation für elementare Funktionen
+\subsection{Log-Exp-Notation für trigonometrische und hyperbolische Funktionen
 \label{buch:integral:subsection:logexp}}
 Die Integration rationaler Funktionen hat bereits gezeigt, dass
 eine Stammfunktion nicht immer im Körper der rationalen Funktionen
@@ -13,15 +13,134 @@ $\log(x-\alpha)$ hinzuzufügen.
 
 Es können jedoch noch ganz andere neue Funktionen auftreten, wie die
 folgende Zusammenstellung einiger Stammfunktionen zeigt:
-\begin{align*}
+\begin{equation}
+\begin{aligned}
 \int\frac{dx}{1+x^2}
 &=
-\arctan x
+\arctan x,
 \\
-\end{align*}
-
-
+\int \cos x\,dx
+&=
+\sin x,
+\\
+\int\frac{dx}{\sqrt{1-x^2}}
+&=
+\arcsin x,
+\\
+\int
+\operatorname{arcosh} x\,dx
+&=
+x \operatorname{arcosh} x - \sqrt{x^2-1}.
+\end{aligned}
+\label{buch:integration:risch:allgform}
+\end{equation}
+In der Stammfunktion treten Funktionen auf, die auf den ersten
+Blick nichts mit den Funktionen im Integranden zu tun haben.
 
+\subsubsection{Trigonometrische und hyperbolische Funktionen}
+Die trigonometrischen und hyperbolichen Funktionen
+in~\eqref{buch:integration:risch:allgform}
+lassen sich alle durch Exponentialfunktionen ausdrücken.
+So gilt
+\begin{equation}
+\begin{aligned}
+\sin x &= \frac{1}{2i}\bigl( e^{ix} - e^{-ix}\bigr),
+&
+&\qquad&
+\cos x &= \frac{1}{2}\bigl( e^{ix} + e^{-ix}\bigr),
+\\
+\sinh x &= \frac12\bigl( e^x - e^{-x} \bigr),
+&
+&\qquad&
+\cosh x &= \frac12\bigl( e^x + e^{-x} \bigr).
+\end{aligned}
+\label{buch:integral:risch:trighyp}
+\end{equation}
+Nach Multiplikation mit $e^{ix}$ bzw.~$e^{x}$ entsteht eine
+quadratische Gleichung in $e^{ix}$ bzw.~$e^{x}$.
+Die Lösungsformel für quadratische Gleichungen erlaubt daher, $e^{ix}$
+bzw.~$e^{x}$ zu finden und damit auch die Umkehrfunktionen.
+Die Rechnung ergibt
+\begin{equation}
+\begin{aligned}
+\arcsin y
+&=
+\frac{1}{i}\log\bigl(
+iy\pm\sqrt{1-y^2}
+\bigr),
+&
+&\qquad&
+\arccos y
+&=
+\log\bigl(
+y\pm \sqrt{y^2-1}
+\bigr),
+\\
+\operatorname{arsinh}y
+&=
+\log\bigl(
+y \pm \sqrt{1+y^2}
+\bigr),
+&
+&\qquad&
+\operatorname{arcosh} y
+&=
+\log\bigl(
+y\pm \sqrt{y^2-1}
+\bigr).
+\end{aligned}
+\label{buch:integral:risch:trighypinv}
+\end{equation}
+Alle Funktionen, die man aus dem elementaren Analysisunterricht
+kennt, können also mit Hilfe von Exponentialfunktionen und Logarithmen
+geschrieben werden.
+Man nennt dies die $\log$-$\exp$-Notation der trigonometrischen
+und hyperbolischen Funktionen.
+\index{logexpnotation@$\log$-$\exp$-Notation}%
 
+\subsubsection{$\log$-$\exp$-Notation}
+Wendet man die Substitutionen
+\eqref{buch:integral:risch:trighyp}
+und
+\eqref{buch:integral:risch:trighypinv}
+auf die Integrale
+\eqref{buch:integration:risch:allgform}
+an, entstehen die Beziehungen
+\begin{equation}
+\begin{aligned}
+\int\frac{1}{1+x^2}
+&=
+\frac12i\bigl(
+\log(1-ix) - \log(1+ix)
+\bigr),
+\\
+\int\bigl(
+{\textstyle\frac12}
+e^{ix}
++
+{\textstyle\frac12}
+e^{-ix}
+\bigr)
+&=
+-{\textstyle\frac12}ie^{ix}
++{\textstyle\frac12}ie^{-ix},
+\\
+\int
+\frac{1}{\sqrt{1-x^2}}
+&=
+-i\log\bigl(ix+\sqrt{1-x^2}),
+\\
+\int \log\bigl(x+\sqrt{x^2-1}\bigr)
+&=
+x\log\bigl(x+\sqrt{x^2-1}\bigr) - \sqrt{x^2-1}.
+\end{aligned}
+\label{buch:integration:risch:eqn:integralbeispiel2}
+\end{equation}
+Die in den Stammfuntionen auftretenden Funktionen treten entweder
+schon im Integranden auf oder sind Logarithmen von solchen
+Funktionen.
+Zum Beispiel hat der Nenner im ersten Integral die Faktorisierung
+$1+x^2=(1+ix)(1-ix)$, in der Stammfunktion findet man die Logarithmen
+der Faktoren.
 
 
diff --git a/buch/chapters/060-integral/rational.tex b/buch/chapters/060-integral/rational.tex
index 19f2ad9..0ca164d 100644
--- a/buch/chapters/060-integral/rational.tex
+++ b/buch/chapters/060-integral/rational.tex
@@ -5,4 +5,199 @@
 %
 \subsection{Rationale Funktionen und Funktionenkörper
 \label{buch:integral:subsection:rational}}
+Welche Funktionen sollen als Antwort auf die Frage nach einer Stammfunktion
+akzeptiert werden?
+Polynome in der unabhängigen Variablen $x$ sollten sicher dazu gehören,
+also alles, was man mit Hilfe der Multiplikation, Addition und Subtraktion
+aus Koeffizienten zum Beispiel in den rationalen Zahlen $\mathbb{Q}$ und
+der unabhängigen Variablen aufbauen kann.
+Doch welche weiteren Operationen sollen zugelassen werden und was lässt
+sich über die entstehende Funktionenmenge aussagen?
+
+\subsubsection{Körper}
+Die kleinste Zahlenmenge, in der alle arithmetischen Operationen soweit
+sinnvoll durchgeführt werden können, ist die Menge $\mathbb{Q}$ der
+rationalen Zahlen.
+Etwas formaler ist eine solche Menge, in der die Arithmetik uneingeschränkt
+ausgeführt werden kann, ein Körper gemäss der folgenden Definition.
+\index{Korper@Körper}%
+
+\begin{definition}
+\label{buch:integral:definition:koerper}
+Eine {\em Körper} ist eine Menge $K$ mit zwei Verknüpfungen $+$, die Addition,
+und $\cdot$, die Multiplikation,
+welche die folgenden Eigenschaften haben.
+\begin{center}
+\renewcommand{\tabcolsep}{0pt}
+\begin{tabular}{p{68mm}p{4mm}p{68mm}}
+%Eigenschaften der
+Addition:
+\begin{enumerate}[{\bf A}.1)]
+\item assoziativ: $(a+b)+c=a+(b+c)$
+für alle $a,b,c\in K$
+\item kommutativ: $a+b=b+a$
+für alle $a,b\in K$
+\item Neutrales Element der Addition: es gibt ein Element $0\in K$ mit
+der Eigenschaft $a+0=a$ für alle $a\in K$
+\item Additiv inverses Element: zu jedem Element $a\in K$ gibt es das Element
+$-a$ mit der Eigenschaft $a+(-a)=0$.
+\end{enumerate}
+&&%
+%Eigenschaften der
+Multiplikation:
+\begin{enumerate}[{\bf M}.1)]
+\item assoziativ: $(a\cdot b)\cdot c=a\cdot (b\cdot c)$
+für alle $a,b,c\in K$
+\index{Assoziativgesetz}%
+\index{assoziativ}%
+\item kommutativ: $a\cdot b=b\cdot a$
+für alle $a,b\in K$
+\index{Kommutativgesetz}%
+\index{kommutativ}%
+\item Neutrales Element der Multiplikation: es gibt ein Element $1\in K$ mit
+der Eigenschaft $a\cdot 1 =a$ für alle $a\in K$
+\index{neutrales Element}%
+\item Multiplikativ inverses Element: zu jedem Element
+\index{inverses Element}%
+$a\in K^*=K\setminus\{0\}$
+gibt es das Element $a^{-1}$ mit der Eigenschaft $a\cdot a^{-1}=1$.
+\index{Einheitengruppe}%
+\index{Gruppe der invertierbaren Elemente}%
+\end{enumerate}
+\end{tabular}
+\end{center}
+\vspace{-22pt}
+Ausserdem gilt das Distributivgesetz: für alle $a,b,c\in K$ gilt
+$a\cdot(b+c)=a\cdot b + a\cdot c$.
+\index{Disitributivgesetz}%
+Die Menge $K^*$ heisst auch die {\em Einheitengruppe} oder die
+{\em Gruppe der invertierbaren Elemente} des Körpers.
+\end{definition}
+
+Das Assoziativgesetz {\bf A}.1 besagt, dass Summen mit beliebig
+vielen Termen ohne Klammern geschrieben werden kann, weil es nicht
+darauf ankommt, in welcher Reihenfolge die Additionen ausgeführt werden.
+Ebenso für das Assoziativgesetz {\bf M}.1 der Multiplikation.
+Die Kommutativgesetze {\bf A}.2 und {\bf M}.2 implizieren, dass man
+nicht auf die Reihenfolge der Summanden oder Faktoren achten muss.
+Das Distributivgesetz schliesslich besagt, dass man Produkte ausmultiplizieren
+oder gemeinsame Faktoren ausklammern kann, wie man es in der Schule
+gelernt hat.
+
+Die rellen Zahlen $\mathbb{R}$ und die komplexen Zahlen $\mathbb{C}$
+bilden ebenfalls einen Körper, die von den rationalen Zahlen geerbten
+Eigenschaften der Verknüpfungen setzen sich auf $\mathbb{R}$ und
+$\mathbb{C}$ fort.
+Es lassen sich allerdings auch Zahlkörper zwischen $\mathbb{Q}$ und
+$\mathbb{R}$ konstruieren, wie das folgende Beispiel zeigt.
+
+\begin{beispiel}
+\label{buch:integral:beispiel:Qsqrt2}
+Die Menge
+\[
+\mathbb{Q}(\!\sqrt{2})
+=
+\{
+a+b\sqrt{2}
+\;|\;
+a,b\in \mathbb{Q}
+\}
+\]
+ist eine Teilmenge von $\mathbb{R}$.
+Die Rechenoperationen haben alle verlangten Eigenschaften, wenn gezeigt
+werden kann, dass Produkte und Quotienten von Zahlen in $\mathbb{Q}(\!\sqrt{2})$
+wieder in $\mathbb{Q}(\!\sqrt{2})$ sind.
+Dazu rechnet man
+\begin{align*}
+(a+b\sqrt{2})
+(c+d\sqrt{2})
+&=
+ac + 2bd + (ad+bc)\sqrt{2} \in \mathbb{Q}(\!\sqrt{2})
+\intertext{und}
+\frac{a+b\sqrt{2}}{c+d\sqrt{2}}
+&=
+\frac{a+b\sqrt{2}}{c+d\sqrt{2}}
+\cdot
+\frac{c-d\sqrt{2}}{c-d\sqrt{2}}
+=
+\frac{ac-2bd +(-ad+bc)\sqrt{2}}{c^2-2d^2}
+\\
+&=
+\underbrace{\frac{ac-2bd}{c^2-2d^2}}_{\displaystyle\in\mathbb{Q}}
++
+\underbrace{\frac{-ad+bc}{c^2-2d^2}}_{\displaystyle\in\mathbb{Q}}
+\sqrt{2}
+\in \mathbb{Q}(\!\sqrt{2}).
+\qedhere
+\end{align*}
+\end{beispiel}
+
+%
+% Rationale Funktionen
+%
+\subsubsection{Rationalen Funktionen}
+Die als Antworten auf die Frage nach einer Stammfunktion akzeptablen
+Funktionen sollten alle rationalen Zahlen sowie die unabhängige
+Variable $x$ enthalten.
+Ausserdem sollte man beliebige arithmetische Operationen mit
+diesen Ausdrücken durchführen können.
+Mit Addition, Subtraktion und Multiplikation entstehen aus den
+rationalen Zahlen und der unabhängigen Variablen die Polynome $\mathbb{Q}[x]$
+(siehe auch Abschnitt~\ref{buch:potenzen:section:polynome}).
+
+
+\begin{definition}
+Die Menge
+\[
+\mathbb{Q}(x)
+=
+\biggl\{
+\frac{p(x)}{q(x)}
+\;\bigg|\;
+p(x),q(x)\in\mathbb{Q}[x]
+\wedge
+q(x)\ne 0
+\biggr\},
+\]
+bestehend aus allen Quotienten von Polynomen, deren Nenner nicht
+das Nullpolynom ist, heisst der Körper der {\em rationalen Funktionen}
+\index{rationale Funktion}%
+mit Koeffizienten in $\mathbb{Q}$.
+\end{definition}
+
+Die Definition erlaubt, dass der Nenner Nullstellen hat, die sich in
+Polen der Funktion äussern.
+Die Eigenschaften eines Körpers sind sicher erfüllt, wenn wir uns
+nur davon überzeugen können,
+dass die arithmetischen Operationen nicht aus dieser Funktionenmenge
+herausführen.
+Dazu muss man nur verstehen, dass die Operation des gleichnamig Machens 
+zweier Brüche auch für Nenner funktioniert, die Polynome sind, und die
+Summe wzeier Brüche von Polynomen wieder in einen Bruch von Polynomen
+umwandelt.
+
+%
+% Warum rationale Zahlen?
+%
+\subsubsection{Warum die Beschränkung auf rationale Zahlen?}
+Aus mathematischer Sicht gibt es gute Gründe, Analysis im Körper $\mathbb{R}$
+oder $\mathbb{C}$ zu betreiben.
+Da Ableitung und Integral als Grenzwerte definiert sind, stellt diese
+Wahl des Körpers sicher, dass die Grenzwerte auch tatsächlich existieren.
+Der Fundamentalsatz der Algebra garantiert, dass über $\mathbb{C}$
+jedes Polynome in Linearfaktoren zerlegt werden kann.
+
+Der Einfachheit der Analyse in $\mathbb{R}$ oder $\mathbb{C}$ steht
+die Schwierigkeit gegenüber, beliebige Elemente von $\mathbb{R}$ in
+einem Computer exakt darzustellen.
+Für Brüche in $\mathbb{Q}$ gibt es eine solche Darstellung durch
+Paare von Ganzzahlen, wie sie die GNU Multiprecision Arithmetic Library
+\cite{buch:gmp} realisiert.
+Irrationale Zahlen dagegen können nur exakt gehandhabt werden, wenn
+man im wesentlichen symbolisch mit ihnen rechnet. 
+Die Grundlage dafür wird in
+Abschnitt~\ref{buch:integral:subsection:koerpererweiterungen}
+gelegt.
+
+
 
diff --git a/buch/chapters/060-integral/risch.tex b/buch/chapters/060-integral/risch.tex
index 1ba746a..2080ce8 100644
--- a/buch/chapters/060-integral/risch.tex
+++ b/buch/chapters/060-integral/risch.tex
@@ -6,6 +6,18 @@
 \section{Der Risch-Algorithmus
 \label{buch:integral:section:risch}}
 \rhead{Risch-Algorithmus}
+Die Lösung des Integrationsproblem für $\mathbb{Q}(x)$ und für
+$\mathbb{Q}(x,y)$ mit $y=\!\sqrt{ax^2+bx+c}$ hat gezeigt, dass
+ein Differentialkörper genau die richtige Bühne für dieses Unterfangen
+sein dürfte.
+Die Stammfunktionen konnten in einem Erweiterungskörper gefunden
+werden, der ein paar Logarithmen hinzugefügt worden sind.
+Tatsächlich lässt sich in diesem Rahmen sogar ein Algorithmus
+formulieren, der in einem noch zu definierenden Sinn ``elementare''
+Funktionen als Stammfunktionen finden kann oder beweisen kann, dass
+eine solche nicht existiert.
+Dieser Abschnitt soll einen Überblick darüber geben.
+
 \input{chapters/060-integral/logexp.tex}
 \input{chapters/060-integral/elementar.tex}
 
diff --git a/buch/chapters/060-integral/sqrat.tex b/buch/chapters/060-integral/sqrat.tex
index 20f1ef7..787cfc9 100644
--- a/buch/chapters/060-integral/sqrat.tex
+++ b/buch/chapters/060-integral/sqrat.tex
@@ -331,13 +331,14 @@ Letzteres wird im nächsten Abschnitt berechnet.
 % Das Integral von $1/y$
 %
 \subsubsection{Das Integral von $1/y$}
-Eine Stammfunktion von $1/y$ kann mit etwas Geschick bekannten
-Interationstechnikgen gefunden werden.
+Eine Stammfunktion von $1/y$ kann mit etwas Geschick mit den 
+Interationstechniken gefunden werden, die man in einem Analysis-Kurs
+lernt.
 Durch Ableitung der Funktion
 \[
 F
 =
-\frac{1}{\sqrt{a}}\log\biggl(x+\frac{b}{2a}+\frac{y}{\sqrt{y}}\biggr)
+\frac{1}{\sqrt{a}}\log\biggl(x+\frac{b}{2a}+\frac{y}{\sqrt{a}}\biggr)
 \]
 kann man nachprüfen, dass $F$ eine Stammfunktion von $1/y$ ist,
 also
@@ -345,7 +346,7 @@ also
 \int
 \frac{1}{y}
 =
-\frac{1}{\sqrt{a}}\log\biggl(x+\frac{b}{2a}+\frac{y}{\sqrt{y}}\biggr).
+\frac{1}{\sqrt{a}}\log\biggl(x+\frac{b}{2a}+\frac{y}{\sqrt{a}}\biggr).
 \end{equation}
 
 %
@@ -458,7 +459,7 @@ Form
 =
 v_0 +
 C
-\log\biggl(x+\frac{b}{2a}+\frac{y}{\sqrt{y}}\biggr)
+\log\biggl(x+\frac{b}{2a}+\frac{y}{\sqrt{a}}\biggr)
 +
 \sum_{i=1}^n c_i
 \log v_i,
@@ -471,7 +472,7 @@ die bei der Berechnung der Integrale \eqref{buch:integral:sqrat:eqn:2teart}
 auftreten.
 Insbesondere liefert die Rechnung eine Körpererweiterung von
 $\mathcal{K}(x,y)$ um die logarithmische Funktionen
-$\log(x+b/2a+y/\sqrt{y})$ und $\log v_i$, in der $R(x,y)$ eine
+$\log(x+b/2a+y/\!\sqrt{y})$ und $\log v_i$, in der $R(x,y)$ eine
 Stammfunktion hat.
 
 
diff --git a/buch/chapters/110-elliptisch/lemniskate.tex b/buch/chapters/110-elliptisch/lemniskate.tex
index 0df27a7..f750a82 100644
--- a/buch/chapters/110-elliptisch/lemniskate.tex
+++ b/buch/chapters/110-elliptisch/lemniskate.tex
@@ -20,7 +20,9 @@ elliptischen Funktionen hergestellt werden.
 \caption{Bogenlänge und Radius der Lemniskate von Bernoulli.
 \label{buch:elliptisch:fig:lemniskate}}
 \end{figure}
-Die Lemniskate von Bernoulli ist die Kurve vierten Grades mit der Gleichung
+Die {\em Lemniskate von Bernoulli} ist die Kurve vierten Grades
+mit der Gleichung
+\index{Lemniskate von Bernoulli}%
 \begin{equation}
 (X^2+Y^2)^2 = 2a^2(X^2-Y^2).
 \label{buch:elliptisch:eqn:lemniskate}
@@ -161,13 +163,14 @@ Parameters $k$.
 
 Die Länge des rechten Blattes der Lemniskate wird mit $\varpi$ bezeichnet
 und hat den numerischen Wert
-\[
+\begin{equation}
 \varpi
 =
 2\int_0^1\sqrt{\frac{1}{1-t^4}}\,dt
 =
 2.6220575542.
-\]
+\label{buch:elliptisch:eqn:varpi}
+\end{equation}
 $\varpi$ ist auch als die {\em lemniskatische Konstante} bekannt.
 \index{lemniskatische Konstante}%
 Der Lemniskatenbogen zwischen dem Nullpunkt und $(1,0)$ hat die Länge
@@ -179,7 +182,7 @@ $\varpi/2$.
 \subsection{Bogenlängenparametrisierung}
 Die Lemniskate mit der Gleichung
 \[
-(X^2+X^2)^2=2(X^2-X^2)
+(X^2+Y^2)^2=2(X^2-Y^2)
 \]
 (der Fall $a=1$ in \eqref{buch:elliptisch:eqn:lemniskate})
 kann mit Jacobischen elliptischen Funktionen
@@ -332,7 +335,8 @@ Dies bedeutet, dass die Bogenlänge zwischen den Parameterwerten $0$ und $s$
 =
 s,
 \]
-der Parameter $t$ ist also ein Bogenlängenparameter.
+der Parameter $t$ ist also ein Bogenlängenparameter, man darf also
+$s=t$ schreiben.
 
 Die mit dem Faktor $1/\sqrt{2}$ skalierte Standard-Lemniskate mit der
 Gleichung
@@ -355,10 +359,9 @@ y(t)
 \end{equation}
 
 \subsection{Der lemniskatische Sinus und Kosinus}
-Der Sinus Berechnet die Gegenkathete zu einer gegebenen Bogenlänge des
+Der Sinus berechnet die Gegenkathete zu einer gegebenen Bogenlänge des
 Kreises, er ist die Umkehrfunktion der Funktion, die der Gegenkathete
 die Bogenlänge zuordnet.
-
 Daher ist es naheliegend, die Umkehrfunktion von $s(r)$ in 
 \eqref{buch:elliptisch:eqn:lemniskatebogenlaenge}
 den {\em lemniskatischen Sinus} zu nennen mit der Bezeichnung
@@ -368,6 +371,13 @@ Der Kosinus ist der Sinus des komplementären Winkels.
 Auch für die lemniskatische Bogenlänge $s(r)$ lässt sich eine
 komplementäre Bogenlänge definieren, nämlich die Bogenlänge zwischen
 dem Punkt $(x(r), y(r))$ und $(1,0)$.
+Da die Bogenlänge zwischen $(0,0)$ und $(1,0)$ in
+in \eqref{buch:elliptisch:eqn:varpi} bereits bereichnet wurde.
+ist sie $\varpi/2-s$.
+Der {\em lemniskatische Kosinus} ist daher
+$\operatorname{cl}(s) = \operatorname{sl}(\varpi/2-s)$
+Graphen des lemniskatische Sinus und Kosinus sind in
+Abbildung~\label{buch:elliptisch:figure:slcl} dargestellt.
 
 Da die Parametrisierung~\eqref{buch:elliptisch:lemniskate:bogenlaenge}
 eine Bogenlängenparametrisierung ist, darf man $t=s$ schreiben.
diff --git a/buch/chapters/references.bib b/buch/chapters/references.bib
index 17ef273..32a86ec 100644
--- a/buch/chapters/references.bib
+++ b/buch/chapters/references.bib
@@ -111,3 +111,10 @@
 	publisher = { Addison-Wesley }
 }
 
+@online{buch:gmp,
+	title = {GNU Multiprecision Arithmetic Library},
+	DAY = 26,
+	MONTH = 5,
+	YEAR = 2022,
+	url = {https://de.wikipedia.org/wiki/GNU_Multiple_Precision_Arithmetic_Library}
+}