Die euklidische Ebene und ihre Verwandten

Your aid I want Nine trees to plant In rows just half a score, And let there be In each row three. Solve this. I ask no more. ( J. J ackson, Rational Amusements for Winter Evenings. London 1821) Beim Beweise vieler Satze der Elementargeometrie nutzt man nur sehr unvollkom- men aus, dass es der Koerper der reellen Zahlen ist, welcher der Geometrie zugrunde liegt. Mal sind es nur die Koerpereigenschaften, die man benoetigt, mal dass die mul- tiplikative Gruppe abelsch ist. Manchmal braucht man auch nur, dass die Charak- teristik nicht zwei ist, ein andermal, dass R eine Anordnung besitzt. Gelegentlich genugt es sogar zu wissen, dass die euklidische Ebene eine affine Ebene ist. Diese wenigen Andeutungen machen schon ein wenig deutlich, worum es bei un- serem Thema gehen wird: Wir werden uns einerseits erheblich einschranken, indem wir hier unter Elementargeometrie nur die ebene euklidische Geometrie verstehen, also auf alles Raumliche verzichten, andererseits eine wesentliche Erweiterung des Themas Elementargeometrie vornehmen, indem wir zumindest zu Beginn unserer Untersuchungen auch beliebige projektive Ebenen in sie einbeziehen, da wir uns dieses Hilfsmittels nicht werden begeben wollen. Wir werden jedoch nicht eine The- orie der projektiven Ebenen entwickeln, wie sie etwa in den im Literaturverzeichnis aufgefuhrten Buchern von P. Dembowski, Hughes und Piper, Pickert oder auch von mir dargestellt wird.