You are on page 1of 22

Euklid und Hilbert: Die Grundlegung der Geometrie

Leonard J. Konrad

Inhaltsverzeichnis
0 Einleitung 1 Euklid: Die Elemente 1.1 1.2 Werk und Leben Euklids . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Das erste Buch der Elemente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ¨ 1.2.1 Ubersicht . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.2 1.2.3 1.2.4 1.2.5 Die Definitionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Die Postulate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Die Axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Die Konstruktion des gleichseitigen Dreiecks . . . . . . . . . . . . . . . . 2 4 4 5 5 5 6 7 8 13 15

¨ 2 Die Uberlieferungsgeschichte der Elemente 3 David Hilbert: Die Grundlagen der Geometrie 3.1 3.2 3.3 3.4

Einordnung des Werkes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Die Grundlagen der Geometrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 ¨ Ubersicht u ¨ber die Axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Ausgew¨ ahlte Textstellen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

1

muss aber zugleich erkennen. erster hellenistischer Regent Agyptens nach den griechischen ” Feldz¨ ugen unter Alexander dem Großen. die sich in das Trivium mit Grammatik. so berichtet Proklos. Mit Hilbert und seinen Grundlagen der Geometrie von 1899 schließt sich der Kreis. Ptolemaios. Rhetorik und Logik sowie das Quadrivium mit Arithmetik. die die Probleme. Die Geometrie und damit auch die Elemente Euklids haben stets eine große Rolle in der schulischen Ausbildung eingenommen. und das rigorose Vorgehen.kein leichtes Unterfangen darstellt und dass es auch ¨ f¨ ur einen bedeutenden Mann wie den K¨ onig Agyptens keinen anderen Weg gibt. erkennt damit die Leistung Euklids als Autor des Hauptwerks der Geometrie an. die Antwort Euklids auf die Frage Ptolemaios I. insbesondere in der Entwicklung der Geometrie. Dies war. l¨ ost und sich nicht nur mit Einzelargumenten auseinandersetzt. Bereits in der Antike etabliert sich ein fester Kanon von F¨ achern. Auch zu den beiden anderen F¨ achern des Quadriviums gibt es Werke von Euklid. Wichtige Grundlagen der Arithmetik und der Geometrie finden sich in den Elementen und sorgen daf¨ ur. Musik und Astronomie aufteilen. die sogenanntes Artes Liberales.. Die herausragende Leistung. und seit der Erfindung des Buchdruckes geh¨ oren sie auch zu den meistverbreiteten Werken. Sp¨ atestens seit den mittelalterlichen lateinischen ¨ Ubersetzungen ist der Siegeszug der Elemente in der Schule nicht aufzuhalten.Kapitel 0 Einleitung “Es gibt keinen K¨ onigsweg zur Geometrie”. Er vollendet. Geometrie. das sich mit euklidischen oder einer anderen Geometrie befasst. ob es einen leichteren Weg zur Geometrie g¨ abe als das Studi¨ um der Elemente“. dass diese ein wichtiges Schulwerk werden. was Euklid mit den Elementen begonnen hat und liefert eine fundierte Darstellung der Geometrie. dass das Verst¨ andnis der Geometrie -wie auch der gesamten Mathematik. Jahrhundert hinein gab es kein weiteres Werk vom Rang der Elemente. das Euklid vor u ¨ber 2000 Jahren niedergeschrieben hat. Noch heute findet sich vieles im schulischen Mathematikunterricht wieder. 2 . die heute seinen Namen tr¨ agt. Bis ins 19. Neben der großen Rolle Euklids in der schulischen Ausbildung hat er auch eine nie unbestrittene Bedeutung in der Mathematikgeschichte. ganze Teilgebiete der Mathematik systematisch darzustellen. die im Laufe der Zeit zum Vorschein kamen. diente als Vorbild f¨ ur die nachfolgenden Mathematiker und Naturwissenschaftler. jeden Schritt von der ersten Aussage nach dem Setzen eines sinnvollen Axiomensystems bis zur letzten Proposition zu beweisen.

wie Hilbert mit seiner Vorlage umgeht. Hilbert selbst bezieht sich noch im Vorwort auf das u ¨ber 2000 Jahre alte Werk und liefert letztlich eine verbesserte Darstellung der euklidischen Geometrie. die mittel¨ alterliche Uberlieferung bis zu den ersten gedruckten Ausgaben. ebenso wenig eine in die Grundlagen Hilberts. dass die Axiome Euklids unvollst¨ andig sind. Wir wollen aber auch aufzeigen. Es soll auch keine Geometriegeschichte anhand dieser beiden Eckpfeiler dargestellt werden. um zu zeigen.Es finden sich auch in der Darstellung Parallelen zu den Elementen. Der erste ist den Elementen Euklids gewidmet. wo sich Schwachstellen im Vorgehen Euklids befinden. dass sich vieles in teilweise ver¨ anderter Form wiederfindet. Diese Arbeit gliedert sich in drei Abschnitte. Diese Arbeit soll die Leistung Euklids bei der Grundlegung der Geometrie hervorheben und sie dabei mit der Hilbertschen Neufassung vergleichen. die exemplarisch f¨ ur den Stil im gesamten Werken stehen. Axiome und Beweise aussehen. und wie diese von Hilbert sp¨ ater umgangen werden. Anhand der ersten Proposition zeigen wir dann. wie Euklid vorgeht und wie seine Definitionen. Neben einem knappen ¨ Uberblick sollen auch in diesem Abschnitt ausgew¨ ahlte Textstellen untersucht werden. Es soll keine grundlegende Einf¨ uhrung in die Elemente Euklids gegeben werden. Dabei soll ein kurzer Uberblick geboten werden u ¨ber die antiken Kommentare. 3 . Nach einer kurzen Einf¨ uhrung in Leben und Werk stellen wir die verschiedenen Abschnitte im ersten Buch anhand ausgew¨ ahlter Textstellen dar. Zuletzt wollen wir das Axiomensystem Hilberts mit dem Euklids vergleichen und werden dabei sehen. die noch nicht zur logischen Strenge gereift sind. Wir wollen dabei ganz besonders auf das Axiomensystem zu Beginn der beiden Werke und deren Darstellung eingehen. Es soll gezeigt werden. ¨ Der zweite Abschnitt stellt die wichtigsten Aspekte der Uberlieferungsgeschichte der Elemente ¨ dar.

Kapitel 1 Euklid: Die Elemente 1. in denen die Axiomatisierung der ebenen Geometrie behandelt wird. Proklos 4 . • Buch 11-13: Raumgeometrie. Chr. Nach dieser Grundlegung folgt dann die eigentliche Theorie. dass Euklid zur Regierungszeit von Ptolemaios I. (367-283 v. • Buch 7-9: Zahlentheorie. Sie liefern eine fundierte Darstellung der mathematischen Teilgebiete Geometrie und Arithmetik und bestehen aus 13 B¨ uchern. Ursachen oder Prinzipien u ¨bersetzt werden kann. die lediglich unter Zuhilfenahme von den Aussagen bewiesen werden. Die Quellen und Vorbilder Euklids sind nicht oder nur in Fragmenten u ¨berliefert. d. Unser Augenmerk soll auf dem ersten Buch liegen. Er war um etwa 300 v. was etwa mit Elemente. Chr. das vor allem durch seine umfangreiche Bibliothek bekannt war. die bereits bewiesen oder durch das Axiomensystem zu Grunde gelegt worden sind. wie etwa u ¨ber Musiktheorie. die sich dabei wie folgt gliedern: • Buch 1-6: Ebene Geometrie. Proklos berichtet davon.1 Werk und Leben Euklids ¨ Uber das Leben Euklids ist nicht viel bekannt.h. verschiedene Propositionen oder Konstruktionsanleitungen. Astronomie oder Optik. auch verweist Archimedes (287-212 v.) in seinen Werken auf ihn.) gelebt hat. Von Euklid stammen neben den Elementen weitere mathematisch-naturwissenschaftliche Werke. wobei nicht sein gesamtes Oeuvre erhalten ist. Chr. vermutlich am neu gegr¨ undeten Museion. insbesondere auf den ersten Abschnitten. • Buch 10: Geometrie inkommensurabler Gr¨ oßen. in Alexandria t¨ atig. Der griechische Originaltitel lautet στ oιχ ˜ ια. Die Elemente stellen aber unbestritten sein Hauptwerk dar. Jeder Abschnitt beginnt mit den f¨ ur das jeweilige Teilgebiet notwendigen Definitionen und Axiomen. das berichtet Pappus.

Was jedoch seine große Leistung war. Winkelsumme (27-32).2. – Parallelogramme (33-45). – Parallelen. Er berichtet darin auch.liefert in seinem antiken Euklidkommentar eine knappe Entwicklung der Geometrie bis Euklid.2. Diese sollen die Objekte definieren. 1. m¨ oglicherweise standen ihm damals diese Texte noch zur Verf¨ ugung. was keine Teile hat. was ¨berpr¨ wirklich von Euklid stammt bzw. 3. Ein Punkt ist. dass Euklid viele S¨ atze von Eudoxos und Theatetus u ¨bernommen habe. – Satz des Pythagoras (46-48). 4. Axiome und Postulate f¨ ur die ebene Geometrie. – Geometrie ohne Parallelen (1-26). inwieweit diese Aussagen stimmen. 1. ist sein Bestreben nach einem logisch stringenten Aufbau seiner Elemente. Die Enden einer Linie sind Punkte. Das erste Buch der Elemente gliedert sich wie folgt: • Definitionen (1-23). 5 . was er nur u ¨bernommen hat. Eine Linie breitenlose L¨ ange. Es ist heute aber kaum u ufbar. • Axiome (1-9). 1. • Postulate (1-5).1 Das erste Buch der Elemente ¨ Ubersicht Zu Beginn des ersten Buches werden die grundlegenden Definitionen. soweit wir das heute feststellen k¨ onnen. Eine gerade Linie (Strecke) ist eine solche. das Thema der ersten f¨ unf B¨ ucher. und auch damit schwer feststellbar. Im Folgenden wollen wir die einzelnen Abschnitte untersuchen und zu ausgew¨ ahlten Stellen Anmerkungen machen. das es wohl.2 Die Definitionen Zu Beginn stehen die Definitionen der ebenen Geometrie. die anschließend behandelt werden. die zu den Punkten auf ihr gleichm¨ aßig liegt. bis dahin noch nicht gegeben hat.2 1. 2. • Propositionen (1-48). eingef¨ uhrt.

wenn wir die Probleme in den Beweisen betrachten. eine Linie etwas eindimensionales. Das Ph¨ anomen. wie etwas aussieht. (Euklid. dass es eine intuitive Vorstellung der ebenen Geometrie gibt und es damit eindeutig erscheint. was nur L¨ ange und Breite hat. Definitionen 1-5 und 20) Mit diesen ersten Definitionen versucht Euklid. Man k¨ onnte. 4. dass etwas anschaulich klar ist und daher nicht genau oder gar nicht erkl¨ art wird. 6 . Es ist auff¨ allig. Andere sind ziemlich eindeutig. Gefordert soll sein: 1. also Forderungen.und damit in gewissem Maße sinnvoll“ ist. dies mit Hilfe des Dimensionsbegriffes erkl¨ aren. Diese Intuition kann aber irref¨ uhren und keine unabh¨ angige Definition ersetzen. wird uns noch begegnen. diese Objekte mit Hilfe von Ausdr¨ ucken zu erkl¨ aren. Elemente. 3. Es sind jedoch nicht alle Definitionen so unklar. ohne sie im einzelnen zu u ufen ¨berpr¨ oder zu erw¨ ahnen. 20. da er alles in der Praxis anwenden kann.4 sehen werden. sei an dieser Stelle offen gelassen. die aber in ihren Eigenschaften nat¨ urlich mit den intuitiven Objekten u ¨bereinstimmen. Eine Fl¨ ache ist. 2. Daß man eine begrenzte gerade Linie zusammenh¨ angend gerade verl¨ angern kann. allerdings fehlt uns auch hier die Definitionen des Dimensionsbegriffes. vern¨ unftig gew¨ ahlt werden und d¨ urfen sich nicht widersprechen. die von der Geometrie gefordert werden und damit als wahr angenommen werden. wissen wir u ¨ber einen Punkt nicht mehr als ohne diese Definition. So lange wir nicht wissen. um dies etwas zu erleuchten. Daß alle rechten Winkel einander gleich sind.5. dass Euklid zwar all diese Definitionen zu Beginn bringt. Aussagen. die an die Geometrie gestellt werden. ” m¨ ussen die Postulate wie auch die Axiome (und entsprechend nat¨ urlich auch die Definitionen). Von den dreiseitigen Figuren ist ein gleichseitiges Dreieck jede mit drei gleichen Seiten. Hilbert. das eben keine Teile hat. Daß man mit jedem Mittelpunkt und Abstand den Kreis zeichnen kann.3 Die Postulate Nach den 23 Definitionen folgen f¨ unf Postulate. in denen verschiedene Figuren wie der Kreis oder das Dreieck definiert werden. die selbst wieder einer Definition bed¨ urfen. Damit die Geometrie der beobachtbaren Realit¨ at m¨ oglichst entspricht -inwieweit das w¨ unschenswert ist. Daß man von jedem Punkt nach jedem Punkt die Strecke ziehen kann. Ein Punkt ist etwas nulldimensionales. was ein Punkt oder eine Gerade ist. eine ebene Fl¨ ache etwas zweidimensionales. 1. Ebensowenig verdeutlicht eine breitenlose L¨ ange den Begriff Linie. jedoch sp¨ ater nicht auf die problematischen zur¨ uckgreift. Buch 1. Die Widerspruchsfreiheit der Postulate und Axiome setzt Euklid stillschweigend voraus. Auftreten kann diese Ungenauigkeit dadurch. was ein Teil ist bzw. Das Problem scheint sich ihm nicht zu stellen. wie wir in Abschnitt 3.2. vermeidet die konkrete Definition der Objekte und beschr¨ ankt sich auf abstrakte Objekte.

Ebenso haben sich Proklus. (Euklid. sind die Ganzen gleich. Bolya und Lobatschweski schließlich ver¨ offentlichten dann unabh¨ angig voneinander ihre Ausf¨ uhrungen u ¨ber dieses Thema und zeigten damit die Existenz nichteuklidischer Geometrien. w¨ urden wir die Postulate und Axiome zusammen als Axiome bezeichnen. Wenn von Gleichem Gleiches weggenommen wird. (Euklid. auf der die Winkel liegen. Axiom 1) 7 . dem die Euklidische Geometrie ihren Namen verdankt und das seine eigene Geschichte hat. Und daß.4 Die Axiome Eine weitere Gruppe der zu Grunde gelegten Aussagen stellen die Axiome dar. 1. Hilbert zeigt im Anschluss an die Axiomengruppe III. Lambert und Legendre vergeblich daran versucht. Elemente. Nasiraddin at-Tusi. 1. daß innen auf derselben Seite entstehende Winkel zusammen kleiner als zwei Rechte werden. dass die Winkelsumme im Dreieck zwei rechten Winkeln entspricht. Dennoch hat auch die Aufteilung Euklids eine gewisse Systematik. bei der die Postulate und Axiome nach ihrer Bedeutung aufgeteilt sind. Gauß schließlich erkannte. 2. Wenn Gleichem Gleiches hinzugef¨ ugt wird. Buch 1. Ausf¨ uhrbares wie die Konstruktion mit Zirkel und Lineal dar. Verst¨ andlicher ist das bei der ¨ aquivalenten Aussage. impliziert auch die Invarianz von Figuren unter Translationen. Borelli. die Axiomen hingegen pr¨ azisieren den Begriff gleich“. so unscheinbar es auch aussieht. dass dieses Axiom von seinen anderen abh¨ angt. dass das Parallelenpostulat von den u angig ist und dass auch unter Weg¨brigen wirklich unabh¨ nahme des Postulats eine sinnvolle Geometrie entsteht. Elemente. die zusammen kleiner als zwei Rechte sind. Proklos versucht die Eindeutigkeit in seinem Kommentar zu beweisen. ” Unter heutigem Gesichtspunkt. Postulate 1-5) Die ersten drei Postulate sind im wesentlich die Forderung. obwohl diese Eigenschaft in Proposition 4 des ersten Buches ben¨ otigt wird. Tabit ibn Qurra. Insbesondere die ersten vier Postulate stellen etwas Beobachtbares bzw. 3. muss es aber als Axiom hinzuf¨ ugen. Das vierte Postulat kann man statt zu den Postulaten auch zu den Axiomen z¨ ahlen. sind die Reste gleich. dann die zwei geraden Linien bei Verl¨ angerung ins Unendliche sich treffen auf der Seite. Was demselben gleich ist. wenn eine gerade Linie beim Schnitt mit zwei geraden Linien bewirkt. wenngleich es in dieser Fassung schwer einsichtig ist.2.5. ohne jedoch seine Ergebnisse zu ver¨ offentlichen. Das Postulat. Interessant ist. Buch 1. dieses aus den andern Axiomen herzuleiten. Wallis. ist auch einander gleich. dass Konstruktionen mit Zirkel und Lineal m¨ oglich sind. Dasselbe gilt auch f¨ ur das Parallelenpostulat 5. Schon Ptolem¨ aus hat versucht. wie dies auch Hilbert getan hat. dass die Eindeutigkeit in Postulat 1 oder eine entsprechende ¨ aquivalente Formulierung fehlt. dem in der Wirklichkeit Ausf¨ uhrbaren. da dieses nichts u ¨ber die Konstruierbarkeit aussagt. Die ersten vier Postulate entsprechen dem Beobachtbaren bzw.

es ist lediglich m¨ oglich. Wir wollen anhand dieses Beispiels darstellen. mit Hilfe dessen er seine Theorie vollst¨ andig beweisen kann und das m¨ oglichst der Wahrnehmung der eben Geometrie entspricht. Dies ist ihm im Wesentlichen auch gelungen. Man soll u ¨ber der Strecke AB ein gleichseitiges Dreieck errichten. dass auch gewisse Axiome in ihrer Aussage versch¨ arft wurden. BC = BA. ist auch einander gleich (Ax. ist auch CA = AB . der folgendes Axiom einf¨ uhrt. ferner ziehe man vom Punkte C . Wie oben bewiesen. 3). das die Eindeutigkeit in Postulat 1 impliziert: 9. Vergleicht man verschiedene Auflagen der Grundlagen miteinander. Elemente. Def. in dem die Kreise einander schneiden und den Punkten A. jedoch noch nicht vollst¨ andig. 1). Da Punkt A Mittelpunkt des Kreises CDB ist. bestehend aus den Postulaten und Axiomen. Ein vollst¨ andiges Axiomensystem in dem Sinne. (Euklid. Ein ¨ ahnliches Schema findet sich auch bei anderen Propositionen. ebenso mit B als Mittelpunkt und BA als Abstand den Kreis ACE . also sind CA und CB beide = AB . ebenso ist. Buch 1. 1). Bereits in der Antike wird das Axiomensystem Euklids erweitert. Die gegebene Strecke sei AB . dass seine Geometrie in der Tat widerspruchsfrei ist. dass es ein solches vollst¨ andiges und zugleich widerspruchsfreies Axiomensystem nicht geben kann. 1. er versucht sich auch an Vollst¨ andigkeit und Minimalit¨ at. Axiom 9) Statt den 14 Axiomen von Euklid f¨ uhrt Hilbert insgesamt 20 ein. G¨ odels Unvollst¨ andigkeitss¨ atze aus dem Jahr 1931 haben letztlich aber gezeigt. die er in f¨ unf Gruppen unterteilt. 15). CB (Post. so etwa von Proklos. ist AC = AB (I.2.5 Die Konstruktion des gleichseitigen Dreiecks Nachdem nun dieses Axiomensystem eingef¨ uhrt worden ist. ein f¨ ur die jeweilige Anwendung sinnvolles und hinreichend vollst¨ andiges Axiomensystem einzuf¨ uhren. Mit A als Mittelpunkt und AB als Abstand zeichne man den Kreis BCD (Post. B die Strecken CA. Zwei Strecken umfassen keinen Fl¨ achenraum. dass das System widerspruchsfrei ist und dass alle Aussagen innerhalb dieses Systems beweisbar sind. Er wollte ein System angeben. d. also ist auch 8 . wie Euklid bei diesen Konstruktionen vorgeht. sieht man von den Ungenauigkeiten ab. Andere wiederum sind nicht unbedingt notwendig. da Punkt B Mittelpunkt des Kreises CAE ist. Hilbert erbringt vor allem aber auch den Nachweis. ¨ Proposition 1: Uber einer gegebenen Strecke ein gleichseitiges Dreieck zu errichten. ist zwar bereits auf einem guten Niveau.h. Was aber demselben gleich ist. war nicht das ausgesprochene Ziel Euklids. Sein Ziel ist aber nicht nur die Verbesserung des Axiomensystems. so kann man feststellen. Ein Beweis der Vollst¨ andigkeit fehlt dagegen. Es fehlen komplett die Axiome der Anordnung und der Stetigkeit. beginnt Euklid mit der Konstruktion eines gleichseitigen Dreiecks u ¨ber einer gegeben Strecke.Dieses Axiomensystem.

wie das gesucht Objekt konstruiert wird. In der Ekthesis werden die Voraussetzungen in mathematischer Schreibweise angegeben. Nachdem nun die Ausgangslage dargestellt ist. worum es geht. Def.1: Konstruktionsskizze. das entsprechende Objekt zu erhalten. 9 . Dies erfolgt in den n¨ achsten beiden Abschnitten. und es ist u ¨ber der gegebenen Strecke AB errichtet dies hatte man ausf¨ uhren sollen. Elemente. Diese Konstruktion muss nicht eindeutig sein Es kann unter Umst¨ anden andere M¨ oglichkeiten geben. hier: Die gegebene ” Strecke sei AB“. die Aussage der Proposition bzw. Es ist nun umrissen. die konkrete Anweisung. Buch 1. In Proposition 1 entspricht dies Uber ” Dreieck zu errichten“. BC alle drei einander gleich. die angibt. jedoch noch nicht in der mathematischen Sprache ausgedr¨ uckt. AB . Also ist das Dreieck ABC gleichseitig (I. 20). Im Diorismos folgt dann das Ziel des Abschnitts. • Diorismos (διoρισµo ´ς ). • Ekthesis (´κθ σις ). • Sumperasma (σoυµπ ´ρασµα).CA = CB . • Apodeixis (απ o ´δ ιξις ). das zu konstruierende Objekt ( Man soll u ¨ber der Strecke AB ein gleichseitiges Dreieck ” errichten“). • Kataskeue (κατ ασκ υ η ´). folgt die Kataskeue. (Euklid. Proposition 1) Abbildung 1. also sind CA. Die Propositionen haben bei Euklid eine klare Struktur und die einzelnen Teile innerhalb eines solchen Abschnittes haben sp¨ atestens seit Proklos folgende Bezeichnungen: • Protasis (πρo ´τ ασις ). In der Protasis wird die Aussage oder das Konstruktionsproblem der Proposition in Worten ¨ einer gegebenen Strecke ein gleichseitiges beschrieben.

0) so ergibt sich C = ( 2 2 2 In beiden F¨ allen liegt also C nicht in Q2 und die Konstruktion misslingt mangels eines Schnittpunktes.“ als Beweisschluss fort. 0) und √ √ 1 1 .So erh¨ alt man in der ebenen Geometrie beispielsweise in Proposition 1 zwei Schnittpunkte und kann so zwei gleichseitige Dreiecke konstruieren. L¨ asst man dagegen Axiome weg. die weiterhin Definition 20 erf¨ ullen. Wenn Euklid aber die Strenge. so stellt sich das Problem nicht. konsequent durchhalten will. Falls wir uns im kartesischen Raum R2 befinden. siehe dazu Abschnitt 3. Die Konstruktionen k¨ onnen ausgef¨ uhrt werden und wenn man das Objekt auf dem Papier konstruiert hat. Will man jedoch die Geometrie im Stile Euklids ausf¨ uhren. ob dieses Objekt auch die gew¨ unschten Eigenschaften hat.4. Dieser Raum ist nach heutiger Sprachweise vollst¨ andig. und die Existenz eins Schnittpunktes ist gesichert. sondern zugleich graphisch anschaulich dargestellt werden kann. ” Die Konstruktion des gleichseitigen Dreiecks ist bekannt und auch in dieser Form Teil der heutigen Schulmathematik.e. dass das entstehende Objekt auch wirklich ein gleichseitiges Dreieck ist. dass der Schnittpunkt nicht mehr in Q2 liegt. so kann der Fall eintreten. da sie in der Tat erf¨ ullt sind. die er an anderer Stelle ansetzt. 2 3) bzw. Anders sieht es dagegen mit der Existenz des Schnittpunktes aus. Insbe” sondere letzteres wirkt auch heute noch in der lateinischen Form quod erat demonstrandum“ ” bzw. die Kreise und die entsprechenden Strecken zu ziehen. Die Postulate erlauben. Nehmen wir beispielsweise die Punkte A = (0. dies hatte man beweisen sollen“. so kann man auch tats¨ achlich verschiedene Objekte erhalten. der durch die Axiome Euklids nicht ausgeschlossen ist. Zuletzt wird in der Sumperasma noch einmal zusammengefasst. nach Bedingungen. C = ( 1 . indem er sein Axiomsystem um das Axiom der linearen Vollst¨ andigkeit erweitert hat. indem nicht nur eine Theorie formal und axiomatisch.d. folgt der Beweis in der Apodeixis. −1 3). Beide Aspekte werden nicht angeschnitten und auch im Axiomensystem fehlt eine entsprechende Grundlage. so ist ein entsprechender Kommentar an dieser Stelle eigentlich angebracht. so dass der Fall. die an die Kreise um A und B gestellt werden m¨ ussen. die sich in diesem Fall aber nur in der Lage unterscheiden. Befinden wir uns nun im Raum Q2 . was gezeigt worden ist. Dieses Problem wird von Hilbert gel¨ ost. so sieht man -oder glaubt 10 . dass der eine Kreis komplett innerhalb des anderen liegt. Ein großer Teil der griechischen Mathematik besch¨ aftigt sich jedoch mit den rationalen Zahlen. Problematisch jedoch wird die Frage nach der Existenz des Schnittpunktes C bzw. damit es wirklich einen Schnittpunkt gibt. Die Summe der Radien ist nach Wahl l¨ anger als die Strecke AB und beide Kreis sind gleich groß. B = (1. Die fehlenden Bedingungen an die Kreise sind noch entschuldbar. nicht eintreten kann. Ebenso ist durch die Axiome abgesichert. so ergeben sich doch logische M¨ angel. als Abk¨ urzung q. Auftreten k¨ onnen solche L¨ ucken. Da a priori nicht klar ist. und es folgt der formelhafte Schlußsatz dies ” hatte man ausf¨ uhren sollen“ bei Konstruktionen bzw. in der dieses sichergestellt wird.

3 aus dem zweiten Buch der Elemente. die Zeichnungen enth¨ alt. I 29 aus Oxyrhynchus in Abbildung 1. Chr. die schwammigen Definitionen der Objekte Punkt. das auf etwa 100 n. Dies wirft die Frage auf. dass auch der Archetypos entsprechende Zeichnungen enthalten hat und diese nicht durch antike oder mittelalterliche Abschreiber nachtr¨ aglich hinzugef¨ ugt wurden. Dies vervollst¨ andigt allerdings nicht den Beweis. Wie schon bei der Darstellung der Definitionen angesprochen. Will man jedoch formal und logisch korrekt die Geometrie aufziehen. da sie offensichtlich zu sein scheinen. Auch Fragment P. Oxy. wenn die Zeichnungen zur Verf¨ ugung stehen und auch von Euklid so konzipiert wurden.2: Proposition 1 der Handschrift MS d’Orville 301.2 stellt die Abschrift von Proposition 1 in der a ¨ltesten heute noch erhaltenen Handschrift der Elemente aus dem Jahr 888 dar. ob dies sp¨ atere Erg¨ anzungen sind oder ob sie bereits von Euklid eingef¨ ugt wurden. Abbildung 1. Dar¨ uber hinaus wird vieles in der Darstellung deutlicher und nachvollziehbarer. Auch wenn dies noch kein Nachweis f¨ ur die Existenz von Zeichnungen im Original ist. dass es den Schnittpunkt gibt. so l¨ asst das aber doch darauf schließen.zu sehen-. wie auch hier geschehen. Auch die Ungenauigkeiten in der Beweisf¨ uhrung. Abbildung 1. denn ein Beweis durch Bild ist kein formal korrekter Beweis und kann. Linie und ebene Fl¨ ache oder eben auch die mangelnde Argumentation bei der Existenz des Schnittpunktes werden dann nachvollziehbar. L¨ ucken 11 . Aussagen zu glauben bzw. datiert wird. In den u ¨berlieferten Handschriften und den modernen Ausgaben befinden sich immer Skizzen zu den Propositionen. kann die Intuition in die Irre f¨ uhren und dazu verleiten. so muss man sich von dieser Intuition l¨ osen und letztendlich die Anschauung nur noch als ein (zugegeben f¨ ur die Anwendung nicht unrelevantes) Beispiel sehen. findet sich eine Zeichnung. nicht zu hinterfragen.

I 29 aus Oxyrhynchus. Dies alles soll die Leistung Euklids keinesfalls in einem falschen Licht erscheinen lassen. hinterlassen. Oxy. 12 . Nicht ohne Grund ist die Bedeutung Euklids durch alle Zeiten hinweg gewahrt. Auch mit diesen kleineren L¨ ucken ist es ein großer Schritt von einzelnen Beispielen und Aussagen zu einer stringent aufgezogenen Theorie.Abbildung 1.3: Fragment P.

n. rezipiert stark den Kommentar von Heron. dass es noch zahlreiche weitere gegeben hat. Schon in der Antike finden wir Kom¨ mentare zu den Elementen. Neben weiteren Ubersetzungen entstehen in der Folgezeit auch zahlreiche arabischen Kommentare. sowie Papryusfragmente aus Herculaneum und Oxyrhynchus. und 9. von al-Hajjaj. Jh. u. Jh. so dass es durch Textvergleich m¨ oglich ist. die noch in die Antike zur¨ uckreichen. von Athelhard und von Johannes 13 . entstanden die ersten Ubersetzungen der Elemente vom Griechischen ins Arabische. nicht ¨ mehr gelesen konnten. die urspr¨ ungliche Fassung zu rekonstruieren.. Jh. Es gibt jedoch auch eine andere Handschriftentradition. ein arabischer Gelehrter. auch die f¨ ur Artes Liberales relevanten Werke. lateinische Ubersetzungen griechischer Werke an. Abu Ya’qub Ishaq und Thabit Qurra. Von dieser Ausgabe stammt eine ganze Handschriftenlinie ab. die Sprachf¨ ahigkeit zur¨ uckging und so viele wichtige Texte. und 12./8. 11. u ¨berliefert in einem Palimpsest. An-Nairzi. so dass man dessen Inhalt erahnen kann. Chr. die auch heute teilweise noch ¨ in Abschriften erhalten sind. ¨ ¨ Im Mittelalter entstehen weitere Ubersetzungen vom Griechischen ins Lateinische. Jh.Kapitel 2 ¨ Die Uberlieferungsgeschichte der Elemente Die a andig erhaltene Handschrift ist die MS d’Orville 301 aus der Bodleian Biblio¨lteste vollst¨ thek in Oxford. Der erste uns u ¨berlieferte Herausgeber und Editor der Elemente ist Theon von Alexandria aus dem 4. Die Bedeutung der Elemente wurde bereits fr¨ uh erkannt.a. Außerdem gibt es einige weitere Handschriften aus dem 10. ¨ Im 8. Uberliefert ¨ sind dabei die Ubersetzungen von Gherard von Cremona. die zur Textkonstitution herangezogen werden. Auch die Elemente wurden u unf B¨ ucher ¨bersetzt oder zumindest die ersten f¨ u ¨ber die ebene Geometrie.. den er noch gekannt haben muss. Da in der Sp¨ atantike das Griechische immer mehr an Bedeutung verloren hat. Jh. Anmerkungen von Proklos lassen darauf schließen. die uns erhalten sind. Uberliefert sind heute noch der Kommentar des Pappos sowie der des Proklos zum ersten Buch der Elemente. die aus dem Jahr 888 stammt. Fragementarisch sind noch f¨ unf Seiten aus dem 7. er selbst verweist mehrere Male auf die Kommentare von Heron und Porphyrios. fertigte der Philosoph Boethius im 5.

die 1482 in Venedig entstanden ist. vorrangig in Latein. 14 . Es folgen ¨lteren. Auf letzterer Ubersetzung basiert die erste Druckversion.¨ Campanus von Novara. wird 1533 in Basel ver¨ viele weitere Ausgaben und Kommentare. um der Bedeutung der Elemente in der schulischen Ausbildung nachzukommen. aber es entstehen auch ver¨ mehrt Ubersetzungen in andere Sprachen. Abbildung 2.1: Die erste Seite der Ausgabe von 1482.1 zeigt die erste Seite dieses Druckes. Abbildung 2. nur wenige Jahre nach Gutenbergs Erfindung des Buchdrucks. neu herausgegeben von Simon Grynaeus dem a offentlicht. Die Erstausgabe des griechischen Textes.

ist viel Neues in der Geometrie entstanden und dies in mehrerer Hinsicht. 3.1 Einordnung des Werkes Im Laufe des 19.2 haben. Jh. die Grundlagen der Geometrie. Wir wollen dabei den Fokus auf die Stellen legen. entwickelt sich auch die Mathematik. mit dem man das nach ihm benannte Hilbertprogramm aus den 1920er Jahren verbindet. Frege. der Geometrie ein sicheres Fundament zu geben und von den M¨ angeln Euklids zu befreien. Russel und Whitehead spielen hier eine Rolle. Auch viele andere Mathematiker haben ihren Teil dazu beigetragen. aber auch die Gemeinsamkeiten mit Euklids Elementen zu erkennen. das axiomatische Fundament von Grund auf zu erneuern. dass die Mathematik gerade in dieser Zeit eine große Entwicklung vollzogen hat. Es gab in der gesamtem Mathematik das Ziel. Neben der neuen wissenschaftlichen Ausgabe der Elemente von Heiberg aus den Jahren 1883¨ 1888 und dem ausf¨ uhrlichen Kommentar und der englischen Ubersetzung von Heath aus dem Jahr 1908. um daran die Unterschiede. auch wenn dabei einige Aspekte der Grundlagen nicht in dem Maße gew¨ urdigt werden 15 . Relevant f¨ ur die weitere Betrachtung dieser Arbeit ist insbesondere Hilberts Bestreben.2 Die Grundlagen der Geometrie Wir wollen nun ein wenig auf das eigentliche Werk Hilberts eingehen. sowie nat¨ urlich Hilbert. Es entwickeln sich aber auch Bestrebungen.Kapitel 3 David Hilbert: Die Grundlagen der Geometrie 3. Dieses Unterfangen ist nicht nur auf die Geometrie beschr¨ ankt. die Mathematik und in exemplo die Geometrie auf ein m¨ oglichst vollst¨ andiges und widerspruchsfreies Fundament zu stellen. Cantor. Nach der jahrhundertelangen Diskussion um das Parallelenpostulat wird die nichteuklidische Geometrie entwickelt und das Gebiet der Differentialgeometrie ensteht mit Gauss und Riemann. wenngleich hier Hilberts Grundlagen einen prominenten Vertreter darstellen. die eine Parallele in Abschnitt 1. Pasch und Hilbert sind hier entscheidende Personen.

die mit Lineal und Eichmaß. der gedanklich sich von Anfang in der intuitiven ebenen Geometrie befindet. Ein Abschnitt. Auch hier wird die Konstruierbarkeit auf die L¨ osbarkeit von bestimmten Gleichungen zur¨ uckgef¨ uhrt. werden weitere Aspekte beleuchtet. In den Anh¨ angen. dass sich ohne das Parallelenaxiom eine sinnvolle Geometrie ergibt. Er zeigt darin auch. Hilberts Grundlagen der Geometrie gliedern sich im wesentlichen in vier Abschnitte: • Kapitel I: Das Axiomensystem • Kapitel II: Die Widerspruchslosigkeit und gegenseitige Unabh¨ angigkeit der Axiome • Kapitel II-VII: Verschiedene Lehrs¨ atze • Anh¨ ange In Kapitel I wird das Axiomensystem der euklidischen Geometrie eingef¨ uhrt. d. stellt das Kapitel u ¨ber die Widerspruchslosigkeit und gegenseitige Unabh¨ angigkeit der Axiome dar. Es wird also gezeigt. haben verschiedenen Ursprung. dass jedes Axiom notwendig ist. Dabei wird allerdings nicht nur der Beweis als solches vorgef¨ uhrt. damit diese S¨ atze gelten. Seine Beweismethode ist dabei im Wesentlichen. sich nicht widersprechen und unabh¨ angig voneinander sind. aber auch. welche Axiome in einer Geometrie erf¨ ullt sein m¨ ussen. um die von ihm beabsichtigte Geometrie zu erhalten. f¨ ur ” die Geometrie ein vollst¨ andiges und m¨ oglichst einfaches System von Axiomen aufzustellen“.k¨ onnen.h. Im letzten Kapitel werden verschiedene Konstruktionen diskutiert. Bis dahin hat er sich beim Aufbau seines Axiomensystems auf abstrake Geometrien beschr¨ ankt.. mit einer M¨ oglichkeit L¨ angen abzumessen.h. Hier zeigt Hilbert. die Anh¨ ange dagegen aus 159-. In den weiteren Kapiteln werden verschiedene S¨ atze aus dem Axiomensystem hergeleitet. dass sie nicht voneinander abh¨ angig sind. die zum Beweis notwendig sind. so Hilbert in seiner Einleitung. sondern auch die Notwendigkeit der verschiedenen Axiome. d. die das Werk abschließen und die den weiteren Auflagen hinzugef¨ ugt sind. Dies unterscheidet ihn von Euklid. Dieses Axiomensystem stellt eine deutliche Verbesserung der Axiome der Elemente dar und verbindet so die verschiedenen fr¨ uheren Ans¨ atze. die schon in fr¨ uhen Auflagen mehr als die H¨ alfte des eigentlichen Buches ausmachen -in der dritten Auflage besteht der Haupttext aus 120 Seiten. das verwandt ist mit den Konstruktionen mit Zirkel und Lineal aus der Algebra. dass er eine Geometrie angibt. darunter etwa die S¨ atze von Pascal und von Desargues. in der alle seine Axiome gelten. Erst hier verwendet Hilbert eine konkrete Geometrie. wie sie es verdient h¨ atten. die Hilbert nach den Grundlagen ver¨ offentlicht hat. gr¨ oßtenteils entstammen sie aus Arbeiten. dass die von ihm aufgestellten Axiome sich in der Tat nicht widersprechen. ein Versuch. Diese Anh¨ ange. die im Hauptteil unerw¨ ahnt oder zu kurz geblieben sind. den wir in den Elementen vergebens suchen. ein Thema. Außerdem werden aber auch konkrete Konstruktionen angegeben. Darunter ist auch in Anhang I ein an Klein gerichteter 16 . machbar sind.

reduziert und modifiziert. um das System zu optimieren. hat seinen Ursprung in den Elementen. in denen Aussagen bewiesen werden. im n¨ achsten Abschnitt dann die Einf¨ uhrung der Objekte der euklidischen Geometrie und das Axiom der linearen Vollst¨ andigkeit genauer betrachten. dass es f¨ ur die Dreiecke Konstruktionsvorschriften gibt. Grundlagen der Geometrie. Einige Axiome finden sich bereits bei Euklid. wie in Proposition 1 der Elemente. Umgekehrt erf¨ ullen aber auch die Punkte. dass das Axiomensystem Euklids L¨ ucken hat. Geraden und Ebenen eindeutig charakterisiert. (Hilbert. ohne die aber die Charakterisierung der Objekte unvollst¨ andig ist und ohne die. denn um die Kongruenz zu zeigen. die direkt mit den Axiomen zu tun haben und die teilweise a ¨quivalente Axiome darstellen. 8 und 22. also Postulat 1 des ersten Buches bei Euklid.1: Zwei voneinander verschiedene Punkte A. Dagegen fehlen die Axiomengruppen II. muss wenigstens einer der Kongruenzs¨ atze als wahr vorausgesetzt werden. n¨ amlich in den Propositionen 7. das Hilbert auch Euklidisches Axiom nennt. logische M¨ angel auftreten. B bestimmen stets eine Gerade a. Es gen¨ ugt n¨ amlich nicht anzunehmen. wie etwa die Kongruenzs¨ atze bei Dreiecken.Brief. 17 . Geraden und Ebenen der intuitiven ebenen Geometrie diese Axiome. Sie sind teilweise erg¨ anzt. zwei Punkte mit einer gerade Linie zu verbinden. Auch Axiom IV. 3.3 ¨ Ubersicht u ¨ ber die Axiome Wir wollen nun das Axiomensystem in Kapitel I der Grundlagen darstellen. Das Axiomensystem selbst ist unterteilt in f¨ unf Gruppen: • Axiome der Verkn¨ upfung • Axiome der Anordnung • Axiome der Kongruenz • Axiom der Parallelen • Axiome der Stetigkeit Jeder Abschnitt f¨ uhrt die zu seinem Gebiet notwendigen Axiome ein. Diese formalisieren. aber der wesentliche Charakter der Axiome bleibt erhalten. Mit Hilfe dieses Axiomensystems sind auch die Objekte Punkte. was Euklid noch intuitiv f¨ ur wahr genommen hat. Eingeflochten in die Einf¨ uhrung der Axiome sind Abschnitte. der die Frage er¨ ortert. Aber auch hier zeigt sich. dem Parallelenpostulat. Diese finden sich auch in den Elementen. §2) Dies entspricht der M¨ oglichkeit. so etwa Axiom I. ob die gerade Linie wirklich die k¨ urzeste Verbindung zweier Punkte darstellt. III und V g¨ anzlich in den Elementen. n¨ amlich in Postulat 5.

und die Punkte. Geraden“ und Ebenen“ (auch in der gewohnten ” ” ” Weise auch beim Aufstellen seiner Axiome). welches uns die Existenz des Schnittpunktes in Proposition 1 der Elemente liefert. die Dinge des zweiten Systems nennen wir Geraden und bezeichnen sie mit a. . kongruent“.3. die Dinge des dritten Systems nennen wir Ebenen und bezeichnen sie mit α. Geraden. c. also die Punkte.. fehlen. und Ebenen heißen die Elemente der r¨ aumlichen Geometrie oder des Raumes. f¨ ur wahr angenommen werden. n¨ amlich die Einf¨ uhrung der Objekte der Geometrie und das Axiom der linearen Vollst¨ andigkeit. Grundlagen der Geometrie.. b. da sein Axiomensystem darauf nicht ausgelegt ist und gerade die Axiome.4 Ausgew¨ ahlte Textstellen An zwei ausgew¨ ahlten Textstellen wollen wir nun die Axiome der Grundlagen eingehender untersuchen. . zwischen“. Hilbert wird die Aussage zugeschrieben. Nach einer kurzen Einleitung beginnt Hilbert damit. der dies versucht hat und letztlich daran gescheitert ist. Wir denken die Punkte. die uns bereits in Abschnitt 1. Geraden. jedoch nicht auf diese beschr¨ ankt ist. 18 . B. sondern durch die nun folgenden Axiome. Geraden und Ebenen.. dass man stattdessen auch die Begriffe St¨ uhle“. parallel“. Seine Objekte sind bereits eindeutig durch die Eigenschaften charakterisiert. Ebenen Erkl¨ arung: Wir denken drei verschiedene Systeme von Dingen: die Dinge des ersten Systems nennen wir Punkte und bezeichnen sie mit A. Hilfsmittel wie der Dimensionsbegriff sind f¨ ur Hilbert nicht notwendig.. Die Objekte werden nicht durch diese Definitionen charakterisiert. Gerade und Ebenen direkt zu definieren. weil seine Definitionen die Objekte nur schwammig umschreiben. β . die Punkte heißen auch Elemente der linearen Geometrie. I. γ . die im Besonderen f¨ ur diese Charakterisierung zust¨ andig sind. Geraden. die genaue ” ” ” ” ” und f¨ ur mathematische Zwecke vollst¨ andige Beschreibung dieser Beziehungen erfolgt durch die Axiome der Geometrie.2.. da diese intuitiv. Anders als etwa Euklid. Hilbert dagegen versucht eine abstrakte Geometrie anzugeben. wie an einigen anderen Problemstellen beobachtbar. die Punkte und Gerade heißen die Elemente der ebenen Geometrie. Punkte. die in ihren Eigenschaften der intuitiven ebenen Geometrie entspricht.. ohne dass sie aber wahr sein m¨ ussen.. Punkte. Sie fehlen auch.. Tische“ und Bierseidel“ verwenden kann ” ” ” und man immer noch die gleiche Geometrie erh¨ alt. Auf diese Variante kann Euklid nicht zur¨ uckgreifen.2 besch¨ aftigt haben. C.. §1) Wir erkennen sofort einen großen Unterschied zu Abschnitt 1. allerdings spielt der Name dabei an und f¨ ur sich keine Rolle. Er verwendet zwar die Begriffe Punkte“. denn sie stehen nur f¨ ur abstrakte Objekte.. (Hilbert. stetig“. die Objekte der ebenen Geometrie einzuf¨ uhren. Ebenen in gewissen gegenseitigen Beziehungen und bezeichnen diese Beziehungen durch Worte wie liegen“.2: Hilbert vermeidet es. die in den Axiomen eingef¨ uhrt werden.

Bef¨ anden wir uns also im Raum Q2 . bei welcher den vorigen Elementen bestehenden Beziehungen sowie auch die aus den Axiomen I-III folgenden Grundeigenschaften der linearen Anordnung und Kongruenz.Am Ende von Kapitel I folgt der Abschnitt u ¨ber die Axiome der Stetigkeit. (Hilbert. §8) Dieses Axiom schließlich sorgt nun daf¨ ur. und V1 erhalten bleiben. n¨ amlich R2 . darunter auch das der linearen Vollst¨ andigkeit der Geometrie. Damit w¨ are das große Problem von Proposition 1 durch die Erweiterung des Axiomensystems gel¨ ost. Grundlagen der Geometrie. so h¨ atten wir eine Erweiterung. dass die abstrakt konstruierte Geometrie mit der intuitiv wahrnehmbaren u ¨bereinstimmt. die diesen Gedanken aufnimmt. Das System der Punkte einer Gerade mit seinen Anordnungs. Man kann nachpr¨ ufen -diesen Weg w¨ ahlt Hilbert im Abschnitt u ¨ber die Widerspruchsfreiheit-. dass der Fall Q2 in Proposition nicht eintreten kann und dass die Existenz des Schnittpunktes gesichert ist. dass unsere Geome” trie sich als identisch mit der Cartesischen Geometrie erweist“. in der alle Axiome erf¨ ullt sind und dies widerspricht Axiom V2. Das Kapitel schließt mit der Bemerkung. V2 (Axiom der linearen Vollst¨ andigkeit).und Kongruenzbeziehungen ist keiner solchen Erweiterung f¨ ahig. Letzteres ist nicht zu verwechseln mit der Vollst¨ andigkeit des Axiomensystems. 2 dass im kartesischen Raum R alle Axiome erf¨ ullt sind und damit in der Tat eine Geometrie im Sinne der Grundlagen darstellt. 19 . Die Axiome sind also in der Tat in einer solchen Weise sinnvoll zusammengestellt.

Friedlein (Hrsg. I. Heiberg (Hrsgg. [2] G. Libri I-IV cum appendicibus. Stuttgart. Leipzig. 20 . 1873.Literaturverzeichnis [1] B. Heath: The thirteen books of Euclid’s Elements. [6] E.. [7] C. Hilbert: Grundlagen der Geometrie.): Euklid: Die Elemente.L. Artmann: Euclid . vol. Leipzig. [4] D. Hilbert: Grundlagen der Geometrie. [5] D.L. Heidelberg u. Stamatis und I. Darmstadt. 19918 . 1999. [3] T. 19093 .): Euclidis Elementa. 19629 . Thaer (Hrsg. 1908.a.The creation of mathematics. volume I.): Procli Diadochi in primum Euclidis Elementorum librum comentarii. Cambridge. Stuttgart.S. 19692 .

. . .com/?q=euclid 1 1. . . . . . . . . .1 http://www. . .html.php?exbgrp=1. . . .Abbildungsverzeichnis 1. . .ca/∼cass/euclid/papyrus/papyrus. 12 http://hsci. . . . . . . . .math. . . . . . 14 21 .html. . . . . . .2 1.3 2. . . .ashleymills. . . .ou.edu/exhibits/exhibit.ubc. .1 1. 9 http://www. . .org/library/historical/euclid/book01. .claymath. . . . . . . 11 http://www. .