Euklidische Geometrie

Die euklidische Geometrie wurde drei Jahrhunderte v. Chr. von Euklid von Alexandria entwickelt und war lange Zeit die vorherrschende Geometrie. Aber was genau macht sie eigentlich aus?

"Geometrien, in denen jeweils genau eine Parallele existiert, heißen euklidisch. Geometrien in denen dies nicht der Fall ist, nennt man nicht-euklidisch." aus https://www.antike-griechische.de/Euklid.pdf, dort sind auch einige andere ganz schöne Formulierungen.

Biographie: Euklid von Alexandria

Leben

Euklid von Alexandria war ein griechischer Mathematiker. Unüblich für Gelehrte der damaligen Epoche, ist wenig über seine Biographie 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 Museion des antiken Alexandria. Er beschäftigte er sich mit allen Bereichen der damaligen Mathematik, vor allem aber mit der Geometrie und der Zahlentheorie, bspw. mit Primzahlen. Dabei baute er seine Geometrie, auf der Basis von fünf Axiomen und wenigen anderen Definitionen, Postulaten und Propositionen auf.

Diese Geometrie ist die uns vertrauteste Art, die Welt alltäglich zu sehen. Sie erhielt erst mit der Entwicklung anderer Geometrien im 19. Jahrhundert den Namen Euklidische Geometrie, innerhalb derer bspw. die euklidischen Räume und ihre Variationen. Auch andere mathematische Strukturen, Sätze und Beweise sind nach ihm benannt, wie etwa das Verfahren des Euklidischen Algorithmus zum Ermitteln des größten gemeinsamen Teilers zweier Zahlen ([math] ggT [/math]), der euklidische Höhen- und Kathetensatz für rechtwinklige Dreiecke und der Satz von Euklid als Beweis dafür, dass es unendlich viele Primzahlen gibt. Weitere von ihm entwickelte Verfahren umfassen u. a. auch eine geometrische Konstruktion von [math]\Phi[/math].

Schriftwerke

Euklids Werke umfassen nicht nur das, was wir heutzutage unter Mathematik verstehen, sondern auch andere damals im Rahmen der Mathematik behandelte Bereiche wie etwa die Astronomie, Musiktheorie und Optik. Für diese Bereiche stehen die Werke Phainomena, Optika, sowie Die Teilung des Kanon. Seine sieben mathematischen Werke sind Die Elemente, Data, Porisma, Pseudaria, Über die Teilung von Figuren, Oberflächenörter, Kegelschnitte). Nicht alle seiner Bücher sind überliefert, einige gelten als verschollen, andere Werke werde ihm fälschlicherweise zugeschrieben.

Unter den überlieferten Arbeiten befindet sich auch für diesen Artikel besonders relevante Buch "Elemente" (Stoicheia), eigentlich eine Sammlung von 13 Büchern (später von anderen Mathematikern auf 15 erweitert). Die Elemente sind eine umfassende, wenn auch nicht allumfassende Darstellung des mathematischen Wissens der damaligen Zeit. Zusammengetragen werden nicht nur Euklids eigene Arbeit, sondern auch die Erkenntnisse anderer griechischer Mathematiker. Zudem ist das Buch eines der ersten Musterbeispiele für mathematische Strenge bei der deduktiven Beweisführung und wurde über fast zwei Jahrtausende als Standardwerk und Lehrbuch zugleich verwendet. In diesem Rahmen besaß es annähernd den Verbreitungsgrad der Bibel. Seine Leistung besteht aus der strukturierten, bearbeiteten Sammlung des Wissens und ihrer kohärenten Darstellung.

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.[1]

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 unter Voraussetzung der übrigen Axiome sind:

• Die Summe der Winkel eines Dreiecks ergibt 180°. (Prop. I.32 Euklid)
• Gegeben sei ein beliebiges Dreieck ABC und eine Strecke DE . Dann gibt es ein Dreieck DEF das ähnlich ist zum Dreieck ABC . (John Wallis)

Skizze des Parallelaxioms nach Playfair

k

https://de.wikipedia.org/wiki/Hyperbolische_Geometrie

Die Diskussion um das Parallelenaxiom wurde erst im 19.Jahrhundert insbesondere durch Carl Friedrich Gauß, Lobatschewski und Bolyai beigelegt. Sie behaupteten, dass das dieses nicht bewiesen werden kann und entwickelten unabhängig voneinander eine neue nichteuklidische Geometrie. Diese verwendet alle Annahmen Euklids mit Ausnahme des 5. Postulats.

Hyperbolische Geometrie

Hyperbolisches Axiom: Es gibt mehrere zu einer Geraden g parallele Geraden, die durch einen Punkt P verlaufen, welcher nicht auf g liegt.

Elliptische Geometrie

Es gibt keine zu einer Geraden g parallele Geraden, die durch einen Punkt P verlaufen, welcher nicht auf g liegt.

Im ebenen Fall gibt es zu einer gegebenen Geraden g und einem Punkt P, der außerhalb von g liegt, keine Gerade g', die parallel zu g liegt.

Euklids Propositionen aus Postulaten/Axiomen

https://mathcs.clarku.edu/~djoyce/elements/bookI/propI17.html benutzen für Proposition 17 aus Buch 1 ?

UMFASSENDE SAMMLUNG VON BEWEISEN AUS BUCH1 DER ELEMENTE: https://mathcs.clarku.edu/~djoyce/elements/bookI/

Proposition 1.5

Im gleichschenkligen Dreieck sind die Winkel an der Grundlinie einander gleich, und werden die anderen beiden, gleichen Seiten verlängert, so sind auch die Winkel unterhalb der Grundlinie einander gleich.

Skizze von Prop.1.5 und Beweis

Beweis

Sei ABC ein gleichschenkliges Dreieck (d.h. AB = AC). Zu zeigen ist nun: ∠(ABC)=∠(BCA) und ∠(CBD)=∠(ECB).

Nun wird einige vorbereitende Konstruktion benötigt (In Skizze schon eingezeichnet):

• Verlängere AB zu AD und AC zu AE. (Post. 2)
• Wähle auf BD einen Punkt F beliebig. (Def. 4)
• Trage auf AE die kürzere gerade Linie AG=AF ab. (Prop. 3)
• Konstruiere von C nach F die gerade Linie CF und von B nach G BG. (Post. 1)

Schritt 1:

• Da gilt AF=AG, folgt ∠(AF,AG)=∠(AB,AC)=∠(GAF) und also CF = BG. (mit Prop. 4)
• Dann ist wieder mit Prop.4. ACF = ABG, ∠(FCA) = ∠(ABG) und ∠(AGB) = ∠(AFC)

Schritt 2:

• Da AF = AG ist auch BF = CG (Ax. 3). Dann gilt auch mit Schritt 1 ∠(BFC)=∠(BGC).
• BCF = BCG, ∠(CBF) = ∠(GCB) und ∠(FCB) = ∠(CBG). (Prop.4)

Schritt 3:

• Es ist ∠(ABG) = ∠(ABC) + ∠(CBG), ∠(FCA) = ∠(ABC) + ∠(FCB) = ∠(BCA) + ∠(FCB).
• Dann ist ∠(ABC) = ∠(BCA) (Ax. 3)
• Weiter ist ∠(CBF) = ∠(CBD).
• Dann ist ∠(GCB) = ∠(CBD).
• Es ist ∠(ECB) = ∠(GCB).
• Also ∠(CBD) = ∠(ACB) und die Proposition ist bewiesen.[2]

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