Euklidische Geometrie

Biographie: Euklid von Alexandria

Leben

Euklid von Alexandria war ein griechischer Mathematiker. Unüblich für Gelehrte der damaligen Epoche, sind über ihn wenig biografische Informationen bekannt. Die wenigen vorhandenen Informationen stammen fast ausschließlich aus Berichten anderer Gelehrter seiner Zeit oder sogar erst denen späterer Jahrhunderte. Er lebte und wirkte vermutlich im 3. Jhd. v. Chr. im antiken Alexandria und war etwas jünger als die Schüler Platons. Er beschäftigte er sich mit allen Bereichen der damaligen Mathematik (AUFZÄHLEN?), vor allem aber mit der Geometrie und der Zahlentheorie, bspw. mit Primzahlen. Dabei baute er seine Geometrie, auf der Basis einiger weniger FÜNF Axiome auf. Diese Geometrie stellt die uns vertrauteste dar, sie erhielt erst mit der Entwicklung anderer Geometrien im XX Jahrhundert den Namen "Euklidische Geometrie" erhielt.

Quellen:

Werke

Unter seinen zahlreichen Werken befindet sich auch für diesen Artikel besonders relevante Buch "Elemente" (Stoicheia), eigentlich eine umfassende Sammlung von 13 Büchern (später auf 15 erweitert) des mathematischen Wissens der damaligen Zeit. Es ist eines der ersten Musterbeispiele für mathematische Strenge bei der Beweisführung und wurde über fast zwei Jahrtausende als Lehrbuch verwendet. Obwohl unklar ist, wie viele der tatsächlichen Beweise der Aussagen tatsächlich von Archimedes durchgeführt wurden, besteht seine Leistung v. a. in der umfassenden Sammlung vorhandener Erkenntnisse und deren kohärenter Darstellung.

/zeigt das Buch einen STRENG AXIOMATISCHEN Aufbau, d. h., dass sämtliche weitere Aussagen aus wenigen Grundannahmen generiert werden.

Axiome, Postulate, Definitionen

Im ersten Buch werden 23 Definitionen, 5 Axiome und 5 Postulate aufgeführt, da Euklid die Geometrie als eine deduktive Wissenschaft aufzubauen versuchte. Also gab er zuerst die folgenden unbeweisbaren Grundlagen:

23 Definitionen

• Punkt ist, was ohne Teil ist.
• Linie ist Länge ohne Breite.
• Die Enden einer Linie sind Punkte.
• Gerade ist eine Linie, die gleichmäßig zu den Punkten auf ihr liegt.
• Fläche ist, was nur Länge und Breite hat.
• Die Enden einer Fläche sind Linien.
• Ebene ist eine Fläche, die gleichmäßig zu den Strecken auf ihr liegt.
• Ebener Winkel ist die Neigung zweier Linien in einer Ebene, die sich treffen und nicht gerade fortsetzen.
• Sind die Linien Geraden, heißt der Winkel geradlinig.
• Bildet eine Gerade, auf eine andere Gerade gestellt, gleiche Nebenwinkel, so sind die beiden gleichen Winkel Rechte. Die Gerade heißt senkrecht zu der, auf die sie steht.
• Stumpf ist ein Winkel, der größer als ein Rechter ist.
• Spitz, wenn kleiner als ein Rechter.
• Grenze ist das, worin etwas endet.
• Figur ist, was von Grenzen umfasst wird.
• Kreis ist eine ebene Figur, von einer Linie umfasst, sodass alle Strecken, die vom einem Punkt im Inneren bis zur Linie laufen, einander gleich sind.
• Mittelpunkt des Kreises heißt der Punkt.
• Durchmesser des Kreises ist jede Strecke, die durch den Mittelpunkt geht und auf beiden Seiten vom Kreisumfang begrenzt ist; eine solche Strecke halbiert den Kreis.
• Halbkreis ist die vom Durchmesser und dem durch ihn abgeschnittenen Bogen umfasste Figur.
• Geradlinig sind von Strecken umfasste Figuren: Dreiseite bei 3 Strecken, Vierseite bei 4 Strecken, Vielseite bei mehr umfassenden Strecken.
• Unter den Dreiseiten hat das gleichseitige Dreieck drei gleiche Seiten, das gleichschenklige Dreieck nur zwei gleiche Seiten, das ungleichseitige Dreieck drei verschiedene Seiten.
• Unter den Dreiseiten gibt es auch das rechtwinklige Dreieck, das einen rechten Winkel hat, das stumpfwinklige Dreieck mit einem stumpfen Winkel und das spitzwinklige Dreieck, das 3 spitze Winkel hat.
• Unter den Vierseiten ist das Quadrat sowohl gleichseitig als rechtwinklig; ein Rechteck ist rechtwinklig, aber nicht gleichseitig; ein Rhombus ist gleichseitig, aber nicht rechtwinklig; ein Rhomboid hat gleiche Gegenseiten und Gegenwinkel, ohne rechtwinklig oder gleichseitig zu sein; die anderen Vierseite heißen Trapeze.
• Parallelen sind Geraden, die in derselben Ebene liegen und sich auch bei Verlängerung nach beiden Seiten ins Unendliche nicht treffen.

Quellen:

5 Axiome

• Dinge, die zu dem selben gleich sind, sind auch untereinander gleich.
• Wenn man zu gleichen Dingen Gleiches hinzufügt, sind die Ganzen gleich.
• Wenn man von gleichen Dingen Gleiches abzieht, sind die Reste gleich.
• Dinge, die einander decken, sind gleich.
• Das Ganze ist größer als ein Teil davon.

5 Postulate

• Von einem Punkt zu einem anderen Punkt kann man eine Strecke ziehen.
• Man kann eine Strecke zu einer Geraden verlängern.
• Man kann einen Kreis mit jedem gegebenen Radius und jedem gegebenen Mittelpunkt ziehen.
• Alle rechten Winkel sind einander gleich.
• Wenn bei einer Geraden, die zwei andere Geraden schneidet, die Summe der beiden Innenwinkel (Nachbarwinkel) an der gleichen Seite kleiner ist als die Summe von zwei rechten Winkeln, so werden sich die beiden Geraden auf der Seite schneiden, an der sich diese beiden Winkel befinden.

Quellen:

Das 5. Postulat

Skizze des 5.Postulats; α+β < 180

Das oben aufgeführte 5. Postulat ist auch unter dem Namen ”Parallelenaxiom“ oder auch ”Parallelenproblem“ bekannt und wurde jahrhundertelang in der Mathematik diskutiert. Es sticht unter den anderen Axiomen und Postulaten deutlich durch seine Komplexität und Länge hervor. Aus diesem Grund wurde vielfach versucht, es mittels der anderen Annahmen herzuleiten und es somit aus der Liste der Postulate zu streichen und als Präposition einzufügen. Das Parallenaxiom wurde unter anderen durch John Playfair folgendermaßen korrigiert:

Durch einen gegebenen Punkt außerhalb einer gegebenen Geraden verläuft genau eine Gerade, die parallel zu dieser ist.

Weitere äquivalente Aussagen sind:

• Die Summe der Winkel eines Dreiecks ergibt 180°. (Prop. I.32 Euklid)
  

  Skizze des Parallelaxioms nach Playfair
• Gegeben sei ein beliebiges Dreieck ABC und eine Strecke DE . Dann gibt es ein Dreieck DEF das ähnlich ist zum Dreieck ABC . (John Wallis)

Euklids Propositionen aus Postulaten/Axiomen

1. Beispiel 2. Beispiel (3. Beispiel)

Hilberts Umformulierung

David Hilbert

David Hilbert (1862-1943) gilt als einer der bedeutendsten Mathematiker der Neuzeit. Er beschäftigte sich hauptsächlich mit der axiomatischen Grundlegung der Geometrie, Problemen der Zahlentheorie sowie Fragen der Relativitätstheorie. Im Jahr 1900 stellte er auf dem Internationalen Mathematikerkongress in Paris seine 23 berühmten Probleme vor, die viel Beachtung eregten, jedoch teilweise bis heute ungelöst sind. Eine Beispiel einer Lösung der Probleme ist der Gödelsche Unvollständigkeitssatz. Dieser zeigt allerdings unter anderem, dass die von Hilbert angestrebte vollständige Axiomatisierung der Mathematik nicht gänzlich erfüllbar ist.

Axiomsystem der euklidische Geometrie

Euklids Elemente blieben bis Ende des 19. Jahrhunderts das allgemeine Standardwerk der axiomatischen Geometrie. Mit dem Aufkommen der Logik und Mengenlehre entstand jedoch die Notwendigkeit eines Zugangs, welcher strengeren Anforderungen genügt. Erste Vorarbeiten lieferten Pasch und Peano, den großen Durchbruch erzielt jedoch Hilbert. Mit den Grundlagen der Geometrie (1899) entwickelte er einen modernen axiomatischen Zugang für die euklidische Geometrie, welcher beispielgebend für axiomatische Theorien in der Mathematik wurde und die moderne Mathematik stark beeinflusste.

Im Gegensatz zu Euklid verzichtet Hilbert auf die explizite Definition von grundlegenden Begriffen (Punkte, Geraden, ...), stattdessen werden diese und ihrer Beziehungen implizit durch Axiome beschrieben:

Wir denken drei verschiedene Systeme von Dingen: die Dinge des ersten Systems nennen wir Punkte [...]; die Dinge des zweiten Systems nennen wir Gerade[...]; die Dinge des dritten Systems nennen wir Ebenen [...]; Wir denken die Punkte, Geraden, Ebenen in gewissen gegenseitigen Beziehungen und bezeichnen diese Beziehungen durch Worte wie „liegen“, „zwischen“, „parallel“, „congruent“, „stetig“; die genaue und vollständige Beschreibung dieser Beziehungen erfolgt durch die Axiome der Geometrie.

Die Axiome der Geometrie gliedern sich in fünf voneinander unabhängige Gruppen:

I. Axiome der Verknüpfung

II. Axiome der Anordnung

III. Axiom der Parallelen (Euklidisches Axiom)

IV. Axiome der Kongurenz

V. Axiom der Stetigkeit (Archimedisches Axiom)

Ein konkretes Modell für dieses Axiomsystems liefert das kartesische Koordinatensystem, welches beweist, dass das System widerspruchsfrei ist. Tatsächlich ist jede Ebene, die den Axiomen genügt, isomorph zum kartesischen Modell. Somit legt das Hilbert’sche Axiomensystem die klassische ebene Geometrie bis auf Isomorphie fest. Damit zeigt sich auch, dass die oben beschriebene, ebene axiomatische Geometrie und die ebene analytische Geometrie äquivalente Beschreibungen der ebenen (euklidischen) Geometrie liefern.

Autorinnen

Hannah Maya Pompetzki, Lea Homann, Sophia Künzig, Isabel Giray