Analytische Geometrie

Die analytische Geometrie ist ein Teilgebiet der Geometrie, das algebraische Hilfsmittel (vor allem aus der linearen Algebra) zur Lösung geometrischer Probleme bereitstellt. Sie ermöglicht es in vielen Fällen, geometrische Aufgabenstellungen rein rechnerisch zu lösen, ohne die Anschauung zu Hilfe zu nehmen.

Geometrie, die ihre Sätze ohne Bezug zu einem Zahlensystem begründet, entweder aus der Anschauung heraus oder auf einer axiomatischen Grundlage, wird demgegenüber als synthetische Geometrie bezeichnet.

In der Physik und anderen Naturwissenschaften werden Verfahren der analytischen Geometrie eingesetzt, etwa bei der Beschreibung von Planetenbahnen. Ursprünglich befasste sich die analytische Geometrie nur mit Fragestellungen der ebenen und der räumlichen (euklidischen) Geometrie. Analytische Geometrie im allgemeinen Sinn beschreibt affine Räume beliebiger Dimension über beliebigen Körpern.

Entscheidendes Hilfsmittel der analytischen Geometrie ist ein Koordinatensystem. In der Praxis verwendet man meist ein kartesisches Koordinatensystem. Für manche einfache Fragestellungen, etwa die Bestimmung von Geradenschnittpunkten, die Untersuchung von Geraden auf Parallelität oder die Berechnung von Teilverhältnissen würde allerdings schon ein schiefwinkliges Koordinatensystem ausreichen. Unverzichtbar ist ein kartesisches Koordinatensystem, wenn Abstände oder Winkel berechnet werden sollen.

Ein Punkt wird beschrieben durch zwei oder mehr reelle Zahlen (Koordinaten). Gleichwertig verwendet man den so genannten Ortsvektor des Punktes, das ist der Verbindungsvektor des Ursprungs des Koordinatensystems mit dem gegebenen Punkt; die Koordinaten dieses Vektors (meist untereinander geschrieben) stimmen mit den Punktkoordinaten (meist nebeneinander notiert) überein.

Kompliziertere geometrische Gebilde wie Geraden, Ebenen, Kreise, Kugeln usw. werden als Punktmengen aufgefasst und durch Gleichungen beschrieben. Dabei kann es sich um Koordinatengleichungen oder um Parametergleichungen handeln:

Implizite Koordinatengleichung: Ein von den Koordinaten (x, y, ...) abhängiger Rechenausdruck wird gleich 0 gesetzt.

Beispiel (Gerade der Zeichenebene):

2x-3y+7 \, = \, 0

Explizite Koordinatengleichung: Eine der Koordinaten wird durch die anderen ausgedrückt.

Beispiel (Ebene im Raum):

z \, = \, 2x-5y+3

Explizite Koordinatengleichungen haben den Nachteil, dass man oft Fallunterscheidungen durchführen muss; so ist es beispielsweise in der Ebene unmöglich, eine Parallele zur y-Achse in der Form

y = mx+t

darzustellen.

Parametergleichung: Der Ortsvektor eines Punktes ist durch einen vektoriellen Rechenausdruck gegeben, der einen oder mehrere Parameter enthält.

Beispiel (Gerade im Raum):

\vec{X} = \begin{pmatrix}2\\-4\\-3\end{pmatrix} + \lambda \begin{pmatrix}-2\\0\\5\end{pmatrix}

Die zusammengefassten Koordinaten von Punkten bilden im ebenen Fall geordnete Paare, im räumlichen Fall geordnete Tripel, allgemein geordnete n-Tupel von Zahlen. Heute werden solche Koordinatentupel in aller Regel als Vektoren aufgefasst. Viele Rechnungen der analytischen Geometrie werden durch die Methoden der Vektorrechnung vereinheitlicht und vereinfacht. Obwohl die gesamte analytische Geometrie ohne Vektoren erfunden wurde und natürlich immer noch ohne Vektoren praktiziert werden kann und umgekehrt der Vektorraum als ein abstrakt-algebraisches Konstrukt ohne geometrischen Bezug definiert werden kann, erscheint die Verwendung von Vektoren in kartesischen Koordinatensystemen so natürlich, dass "Lineare Algebra und Analytische Geometrie" in der Sekundarstufe II und im mathematisch-physikalisch-technischen Grundstudium allgemein als ein Kurs unterrichtet werden.

Analytische Geometrie der Ebene

Punkte in der Ebene

Jeder Punkt P der Ebene wird durch zwei Koordinaten beschrieben, z.B. P(2|-1,5). Die Koordinaten nennt man üblicherweise (in dieser Reihenfolge) die x-Koordinate (auch: Abszisse) und die y-Koordinate (auch: Ordinate). Gebräuchlich sind auch die Bezeichnungen $x_1$ und $x_2$ .

Punktkoordinaten.PNG

Geraden in der Ebene

Koordinatengleichung (implizit): $n_x x + n_y y + n_0 \, = \, 0$

Man spricht auch von der Normal(en)form der Geradengleichung, da der Vektor $\begin{pmatrix}n_x\\n_y\end{pmatrix}$ senkrecht (normal) zur Geraden steht.

Parametergleichung: $\vec{X} = \vec{A} + \lambda \vec{u}$

ParGlGerade.png

Dabei ist $\vec{A}$ der Ortsvektor eines beliebigen Punktes der Geraden; $\vec{u}$ ist ein so genannter Richtungsvektor, also ein Vektor, dessen Richtung parallel zur Geraden ist.

Kurven zweiter Ordnung in der Ebene

Durch eine (implizite Koordinaten-)Gleichung zweiten Grades

A x^2 + B y^2 + C xy + D x + E y + F \, = \, 0

ist im Allgemeinen ein Kegelschnitt gegeben. Je nach den Werten der Koeffizienten kann es sich dabei um eine Ellipse (Spezialfall: Kreis), eine Parabel oder eine Hyperbel handeln.

Analytische Geometrie des euklidischen Raumes

Punkte im Raum

Jeder Punkt P des Raumes ist durch drei Koordinaten bestimmt, z.B. P(4|-0,5|-3). Die Koordinaten werden (in dieser Reihenfolge) als x-, y- und z-Koordinate oder als $x_1$ -, $x_2$ - und $x_3$ -Koordinate bezeichnet.

Geraden im Raum

Koordinatengleichungen: Geraden im Raum können nicht durch eine einzige Koordinatengleichung beschrieben werden. Man kann eine Gerade aber stets als Durchschnitt (Schnittmenge) zweier Ebenen auffassen und Koordinatengleichungen dieser beiden Ebenen (siehe unten) verwenden, um die Gerade eindeutig festzulegen.

Parametergleichung: $\vec{X} = \vec{A} + \lambda \vec{u}$

Die Gleichung hat also dieselbe Form wie im zweidimensionalen Fall.

Ebenen im Raum

Koordinatengleichung (implizit): $n_x x + n_y y + n_z z + n_0 \, = \, 0$

Diesen Typ der Ebenengleichung bezeichnet man als Normal(en)form, da der Vektor $\begin{pmatrix}n_x\\n_y\\n_z\end{pmatrix}$ senkrecht (normal) zur Ebene steht.

Parametergleichung: $\vec{X} = \vec{A} + \lambda \vec{u} + \mu \vec{v}$

ParGlEbene.png

$\vec{A}$ ist der Ortsvektor eines beliebigen Punktes der Ebene; $\vec{u}$ und $\vec{v}$ sind Richtungsvektoren, also Vektoren parallel zur Ebene.

Flächen zweiter Ordnung im Raum

Die allgemeine Koordinatengleichung zweiten Grades

A x^2 + B y^2 + C z^2 + D xy + E xz + F yz + G x + H y + I z + J \, = \, 0

beschreibt eine Fläche zweiter Ordnung. Die wichtigsten Spezialfälle sind:
Ellipsoid, elliptisches Paraboloid, hyperbolisches Paraboloid, einschaliges Hyperboloid, zweischaliges Hyperboloid, Kegel, elliptischer Zylinder, parabolischer Zylinder, hyperbolischer Zylinder

Typische Aufgabenstellungen der analytischen Geometrie

(noch sehr unvollständig)

Inzidenz-Überprüfung

Hier geht es darum festzustellen, ob ein gegebener Punkt zu einer gegebenen Punktmenge (etwa zu einer Geraden) gehört. Als Beispiel soll die Gerade mit der expliziten Koordinatengleichung

y = 2 \cdot x - 3

betrachtet werden.

Der Punkt P(2|1) ist Element dieser Geraden (d.h. umgangssprachlich: er liegt auf dieser Geraden), wie man durch Einsetzen der Koordinaten x=2 und y=1 erkennt:

1 = 2 \cdot 2 - 3

Der Punkt S(4|2) hingegen ist nicht Element dieser Geraden (liegt nicht auf der Geraden). Für x=4 und y=2 gilt nämlich

2 \neq 2 \cdot 4 - 3

Gerade_als_Punktmenge.PNG

Bestimmung der Schnittmenge zweier Punktmengen

Die Bestimmung der Schnittmenge zweier Punktmengen (z.B. des Schnittpunkts zweier Geraden) läuft auf das Lösen eines Gleichungssystems hinaus. Je nachdem, in welcher Form die beiden Punktmengen beschrieben werden, variiert das Verfahren ein wenig:

Fall 1: Beide Punktmengen sind durch Koordinatengleichungen gegeben.

In diesem Fall wird die Schnittmenge durch die Gesamtheit der Koordinatengleichungen beschrieben.

Fall 2: Beide Punktmengen sind durch Parametergleichungen gegeben.

Die Schnittmenge erhält man durch Gleichsetzen der rechten Seiten dieser Gleichungen.

Fall 3: Eine der Punktmengen ist durch eine Koordinatengleichung gegeben, die andere durch eine Parametergleichung.

In diesem Fall setzt man die einzelnen Koordinaten der vektoriellen Parametergleichung in die Vektorgleichung ein.

Verallgemeinerung: Analytische Geometrie eines beliebigen affinen Raumes

Die Konzepte der analytischen Geometrie lassen sich dadurch verallgemeinern, dass man Koordinaten aus einem beliebigen Körper sowie beliebige Dimensionen zulässt.

Ist V ein Vektorraum über einem Körper K und R ein zu V gehöriger affiner Raum, so lässt sich ein k-dimensionaler Unterraum von R beschreiben durch die Parametergleichung

\vec{X} = \vec{A} + \lambda_1 \vec{v_1} + \ldots + \lambda_k \vec{v_k}

Dabei ist $\vec{A}$ der Ortsvektor eines beliebigen Punktes des Unterraumes; die Vektoren $\vec{v_1}, \ldots, \vec{v_k}$ sind linear unabhängige Vektoren, also eine Basis des Untervektorraums von V, der zum betrachteten Unterraum von R gehört.

Für k = 1 handelt es sich um die Gleichung einer Geraden, für k = 2 um die Gleichung einer Ebene. Ist k um 1 kleiner als die Dimension von R bzw. V, so spricht man von einer Hyperebene.

In Analogie zu den Kurven zweiter Ordnung (Kegelschnitten) der ebenen Geometrie und zu den Flächen zweiter Ordnung der räumlichen Geometrie betrachtet man im n-dimensionalen affinen Raum auch so genannte Quadriken, das sind Hyperflächen zweiter Ordnung (mit der Dimension n-1), die durch Koordinatengleichungen zweiten Grades definiert sind:

\sum_{i=1}^n \sum_{j=1}^n A_{ij} x_i x_j + \sum_{i=1}^n B_i x_i + C = 0

Geschichtliches

Die analytische Geometrie wurde von dem französischen Mathematiker und Philosophen René Descartes begründet. Wesentliche Erweiterungen sind Leonhard Euler zu verdanken, der sich insbesondere mit den Kurven bzw. Flächen zweiter Ordnung befasste. Die Entwicklung der Vektorrechnung (unter anderem durch Hermann Graßmann) ermöglichte die heute übliche Vektorschreibweise.

David Hilbert hat nachgewiesen, dass die dreidimensionale analytische Geometrie vollständig äquivalent ist zu der (synthetischen) euklidischen Geometrie in der von ihm präzisierten Form. In praktischer Hinsicht ist sie dieser weit überlegen. In der ersten Hälfte des 20. Jahrhunderts wurde deshalb die Ansicht vertreten, Geometrie in der Art, wie sie seit Euklid gelehrt wurde, sei nur noch von geschichtlichem Interesse.

N. Bourbaki ging sogar noch einen Schritt weiter: Er verzichtete ganz auf geometrische Begriffsbildungen wie Punkt, Gerade usw. und hielt mit Behandlung der Linearen Algebra alles Nötige für gesagt. Dabei wird natürlich – wie stets bei Bourbaki – von den Bedürfnissen der angewandten Mathematik völlig abgesehen.

Siehe auch

Formelsammlung Analytische Geometrie, Geradengleichung, Ebenengleichung, Kreisgleichung