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):
* Explizite Koordinatengleichung: Eine der Koordinaten wird durch die anderen ausgedrückt.
:Beispiel (Ebene im Raum):
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 darzustellen.
* Parametergleichung: Der Ortsvektor eines Punktes ist durch einen vektoriellen Rechenausdruck gegeben, der einen oder mehrere Parameter enthält.
:Beispiel (Gerade im Raum):
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: Richtungsvektor, also ein Vektor, dessen Richtung parallel zur Geraden ist.
Kurven zweiter Ordnung in der Ebene
Durch eine (implizite Koordinaten-)Gleichung zweiten Grades
:
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 -, - und -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 Ebenen auffassen und Koordinatengleichungen dieser beiden Ebenen (siehe unten) verwenden, um die Gerade eindeutig festzulegen.
* Parametergleichung:
Die Gleichung hat also dieselbe Form wie im zweidimensionalen Fall.
Ebenen im Raum
* Koordinatengleichung (implizit):
Diesen Typ der Ebenengleichung bezeichnet man als Normal(en)form, da der Vektor senkrecht (normal) zur Ebene steht.
* Parametergleichung:
ist der Ortsvektor eines beliebigen Punktes der Ebene; und sind Richtungsvektoren, also Vektoren parallel zur Ebene.Abstand zweier paralleler Ebenen im Raum siehe Rheudsche Abstandsregel.
Flächen zweiter Ordnung im Raum
Die allgemeine Koordinatengleichung zweiten Grades
:
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
:
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:
:
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
:.
:
Bestimmung der Schnittmenge zweier Punktmengen
Die Bestimmung der Schnittmenge zweier Punktmengen (z.B. des Schnittpunkts zweier Geraden) läuft auf das Lösen eines 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
:.
Dabei ist der Ortsvektor eines beliebigen Punktes des Unterraumes; die Vektoren 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:
:
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

