Präeuklidische Ebene

Eine präeuklidische Ebene ist in der synthetischen Geometrie eine affine Ebene über einem Körper, dessen Charakteristik nicht 2 ist und auf der eine Orthogonalitätsrelation zwischen den Geraden definiert ist.

Eine solche Orthogonalitätsrelation ist genau dann erklärbar, wenn der Körper mehr als eine Quadratklasse hat. Die möglichen Orthogonalitätsrelationen können durch die Quadratklasse ihrer Orthogonalitätskonstanten klassifiziert werden. In einer präeuklidischen Ebene können senkrechte Achsenspiegelungen und Winkelhalbierende definiert werden, letztere müssen aber nicht für alle Winkel existieren. Liegt die Orthogonalitätskonstante in der Quadratklasse von -1, dann existieren in der präeuklidischen Ebene Quadrate (die geometrischen Figuren) und es kann ein kartesisches Koordinatensystem eingeführt werden. Existieren Winkelhalbierende für jedes schneidende Geradenpaar, dann wird die präeuklidische Ebene als frei bewegliche Ebene bezeichnet.

Jede frei bewegliche Ebene ist eine präeuklidische Ebene mit Quadraten, jede euklidische Ebene im Sinne der synthetischen Geometrie ist eine frei bewegliche Ebene.

Eine präeuklidische Ebene wird in der Literatur auch als verallgemeinerte euklidische Ebene bezeichnet.

Der vorliegende Artikel nennt die Axiome, durch die eine Orthogonalitätsrelation auf einer affinen Ebene in der synthetischen Geometrie gekennzeichnet wird. Im einzelnen werden hier aber nur Folgerungen dieser Orthogonalität für eine pappussche Ebene, die dem affinen Fano-Axiom genügt, also eine präeuklidische Ebene, näher erläutert, die mit einer Orthogonalität ausgestattet bereits viele Eigenschaften einer euklidischen Ebene teilt.

Definitionen und Eigenschaften

Orthogonalität

Eine zweistellige Relation $\perp$ („ist senkrecht zu“) auf der Menge der Geraden einer affinen Ebene heißt Orthogonalitätsrelation, wenn sie folgende Eigenschaften besitzt:

1. Zu jeder Geraden g existiert mindestens eine Gerade h mit $g\perp h$.
2. Aus $g\perp h$ folgt $h\perp g$.
3. Ist $g\perp h$, so gilt $h'\parallel h$ genau dann, wenn $g\perp h'$.
4. Für keine Gerade g ist $g\perp g$.

Gelegentlich wird in der Literatur das 4. Axiom fortgelassen. Eine Gerade, die zu sich selbst senkrecht ist, heißt isotrop, sie ist dann nach dem 3. Axiom genau zu allen ihren Parallelen senkrecht.

Gleichwertig kann man auf der Menge der Richtungen (Parallelenscharen) U der affinen Ebene eine Orthogonalitätsabbildung $f:U\rightarrow U$ definieren, von der gefordert wird, dass sie bijektiv, involutorisch und, wenn die Ortogonalitätsrelation keine isotropen Geraden erlauben soll, gleichwertig zum 4. Axiom auch fixelementfrei sein muss.

Schon aufgrund der ersten 3 Axiome ergibt sich: Zu jeder Geraden g und jedem Punkt P gibt es genau eine Senkrechte zu g durch P.

→ Diese axiomatische Definition verallgemeinert den Begriff Orthogonalität der ebenen Geometrie. Für den zweidimensionalen Fall einer Ebene verallgemeinert sie den Orthogonalitätsbegriff der linearen Algebra und der analytischen Geometrie.

Präeuklidische Ebene

Für eine affine Translationsebene mit Orthogonalitätsrelation (alle 4 Axiome), die dem affinen Fano-Axiom genügt, in der also keine Translation involutorisch ist, sind folgende Sätze äquivalent:

• der Höhenschnittpunktsatz: „In jedem Dreieck schneiden sich die Höhen in einem Punkt, dem Höhenschnittpunkt.“ und
• der Mittellotensatz: „In jedem Dreieck schneiden sich die Mittellote der drei Seiten (die Mittelsenkrechten der euklidischen Geometrie) in einem Punkt.“ – Dies ist in der euklidischen Geometrie der Mittelpunkt des Umkreises.

Gilt einer dieser gleichwertigen Sätze für eine affine Translationsebene ohne involutorische Translationen mit Orthogonalitätsrelation, so folgt, dass in ihr der große affine Satz von Pappos gilt, das heißt, sie ist eine pappussche Ebene und isomorph zu einer affinen Ebene über einem Körper K, dessen Charakteristik nicht 2 ist. Eine solche affine Ebene, also eine pappussche Ebene mit einer fixelementfreien Orthogonalitätsabbildung, in der das Fano-Axiom und der Höhenschnittpunktsatz gilt, wird als präeuklidische Ebene oder verallgemeinerte euklidische Ebene bezeichnet.

→ Der Begriff der präeuklidischen Ebene verallgemeinert den Begriff der frei beweglichen Ebene, der im Artikel Pythagoreischer Körper, und den noch spezielleren Begriff der euklidischen Ebene der im Artikel Euklidischer Körper erläutert wird.

Orthogonalitätskonstante

In einer präeuklidischen Ebene A kann die Orthogonalitätsabbildung durch eine Orthogonalitätskonstante gekennzeichnet werden. Die Ebene wird, wie im Artikel Ternärkörper beschrieben, mit einem Koordinatensystem (O,E₁,E₂) versehen und zwar so, dass die Koordinatenachsen senkrecht zueinander sind ($OE_1\perp OE_2$), damit wird der Koordinatenkörper K mit der ersten Koordinatenachse identifiziert. Dann ordnet die Orthogonalitätsabbildung der Parallelenschar mit dem Steigungsfaktor $a\in K^*$ $\left( g_{(a;d)}: a\cdot x_2+x_1=d;\;d\in K\right)$ die Parallelenschar mit der Steigung $\frac{c}{a}$ zu, den Parallelen zur ersten die zur zweiten Koordinatenachse und umgekehrt. Die Zahl $c\in K^*$ wird als Orthogonalitätskonstante bezeichnet. Sie ist eindeutig bis auf eine Multiplikation mit einer Quadratzahl, d.h. sie wird durch Wahl eines anderen rechtwinkligen Koordinatensystems zu $\overline{c}=c\cdot k^2$ mit $k\in K^*$. Die Menge $Q_c=\lbrace c\cdot k^2 \,|\; k\in K^* \rbrace$ wird als die Quadratklasse von c bezeichnet. Genau die Zahlen aus derselben Quadratklasse führen zu äquivalenten Orthogonalitätsrelationen. - Geometrisch äquivalent in dem Sinn, dass die Orthogonalitätskonstante der einen Orthogonalität durch Wahl eines geeigneten Koordinatensystems in die der anderen umgewandelt wird. Die äquivalenten Orthogonalitätsabbildungen ordnen im allgemeinen einer bestimmten Richtung jeweils unterschiedliche orthogonale Richtungen zu!

In einer präeuklidischen Ebene liegt die Orthogonalitätskonstante nie in der Quadratklasse von $1,\; Q_{1}=\lbrace k^2\,|\; k\in K^*\rbrace$, sonst würde eine isotrope Gerade existieren. Umgekehrt wird durch Wahl eines Koordinatensystems in der affinen Ebene A = K² über einem Körper K ($\operatorname{char}(K)\neq 2$) und Wahl einer Orthogonalitätskonstanten $c\in K^*\setminus Q_1$ auf A eine eindeutige Orthogonalitätsrelation eingeführt, mit der A den Höhenschnittpunktsatz erfüllt. Für jeden Körper K, dessen Charakteristik nicht 2 ist und der mindestens zwei verschiedene Quadratklassen besitzt, kann so die affine Ebene K² zu einer präeuklidischen Ebene gemacht werden.

Kreise

In einer präeuklidischen Ebene lässt sich eine Äquivalenzrelation der Abstandsgleichheit von einem bestimmten Punkt M so definieren:

• Zwei Punkte heißen abstandsgleich zu M, falls sie gleich sind oder ihr Mittellot durch M geht.

Jede Klasse von zu M abstandsgleichen Punkten wird als ein Kreis mit Mittelpunkt M oder kürzer als ein Kreis um M bezeichnet. Den Kreis {M}, der nur aus dem Mittelpunkt besteht, nennt man Nullkreis. Für alle „Kreise“, die nicht Nullkreise sind, gelten der Satz des Thales und seine Umkehrung sinngemäß. Insbesondere enthält jeder vom Nullkreis verschiedene Kreis mindestens 3 nicht kollineare Punkte und drei verschiedene Punkte eines Kreises sind niemals kollinear. Der Mittelpunkt M ist durch eine Äquivalenzklasse von zu M abstandsgleichen Punkten eindeutig bestimmt – bereits durch 3 verschiedene Punkte aus der Klasse, sofern sie nicht der Nullkreis ist.

Bei dieser Verallgemeinerung des Kreisbegriffs wird der Mittellotensatz zur Definition des Kreises verwendet. Da ein Kreis als Äquivalenzklasse durch die Wendung „Kreis durch A mit Mittelpunkt M“ eindeutig beschrieben ist, können in einer präeuklidischen Ebene die klassischen „Konstruktionsschritte mit Zirkel und Lineal“ formuliert und durchgeführt werden. Allerdings ist die Frage, ob und wann sich zwei Kreise schneiden oder ob auch nur ein Kreis eine seiner Zentralen (Geraden durch seinen Mittelpunkt) schneidet, in jedem Einzelfall neu zu prüfen! → Siehe dazu weiter unten das Beispiel der affinen Ebene über den rationalen Zahlen mit der „üblichen“ Orthogonalität.

Längenklassen

Die Kreise in einer präeuklidischen Ebene sind Invarianten unter Parallelverschiebungen (Translationen): Durch die Translation $\overrightarrow{MN}$ wird ein Kreis mit Mittelpunkt M auf einen Kreis mit Mittelpunkt N abgebildet. So lässt sich ein Kreis als Repräsentant einer „Länge“ verwenden: Zwei gerichtete Strecken (M,A) und (N,B) gehören zur gleichen Längenklasse (kurz: „sind gleich lang“), wenn die Translation $\overrightarrow{MN}$ einen Kreis um M, der A enthält, in einen Kreis um N überführt, der B enthält. Da in einer präeuklidischen Ebene zur gerichteten Strecke (M,A) (aufgrund des Fano-Axioms) eine Punktspiegelung an ihrer Mitte definiert werden kann, lässt sich zeigen, dass dieser Längenbegriff von der Reihenfolge der Punkte in (M,A) unabhängig ist, das heißt (M,A) und (A,M) gehören immer zur gleichen Längenklasse.

Im allgemeinen können zwei Längenklassen in der präeuklidischen Ebene nicht der Größe nach verglichen werden und eine gerichtete „Strecke“ (M,A) ist nur ein Paar von Punkten. Um den Begriff einer „Strecke“ im Sinne von „Menge der Punkte zwischen M und A“ definieren zu können, werden Anordungsaxiome benötigt, die in vielen präeuklidischen Ebenen nicht erfüllt werden können.

Quadrate

Ein Quadrat lässt sich allein mit Begriffen der Orthogonalität definieren als ein nichtentartetes Parallelogramm mit aufeinander senkrechten Seiten und Diagonalen. In einer präeuklidischen Ebene existiert genau dann ein Quadrat, wenn die Orthogonalitätskonstante in der Quadratklasse von − 1 liegt. Die Existenz von Quadraten kann als zusätzliches Axiom angesehen werden: Es ist unabhängig von den Axiomen einer präeuklidischen Ebene.

In einer präeuklidischen Ebene mit Quadraten kann auf zwei beliebigen, zueinander senkrechten Achsen ein Koordinatensystem (O,E₁,E₂) so ausgewählt werden, dass die Einheitspunkte zusammen mit ihren Punktspiegelbildern am Ursprung ein Quadrat

$\!\, E_1(1|0);\;E_2(0|1);\;E_1'(-1|0);\;E_2'(0|-1)$

bilden. Dazu müssen die Einheitspunkte E₁,E₂ auf den zueinander senkrechten Achsen durch O so gewählt werden, dass ihr Mittellot durch den Ursprung geht - dies ist genau dann möglich, wenn Quadrate existieren. Ein solches Koordinatensystem heißt ein kartesisches Koordinatensystem der präeuklidischen Ebene mit Quadraten. In einem kartesischen Koordinatensystem nimmt die Orthogonalitätskonstante den Wert -1 an.

→ Vergleiche den Hauptartikel kartesisches Koordinatensystem.

Beispiele und Gegenbeispiele

• Die euklidische Ebene $\R^2$ (und jede Ebene über einem anderen euklidischen Körper) ist mit ihrem üblichen Orthogonalitätsbegriff eine präeuklidische Ebene mit Quadraten. Da die reellen Zahlen und allgemeiner jeder euklidische Körper nur zwei Quadratklassen Q₁ und Q _{− 1} haben, ist hier die gewöhnliche bis auf Koordinatentransformation die einzig mögliche Orthogonalität. Mit dieser Orthogonalität werden alle Koordinatenebenen über euklidischen Körpern frei beweglich.
• Die affine Ebene $\C^2$ über den komplexen Zahlen kann nicht zu einer präeuklidischen Ebene gemacht werden, da der Körper $\C$ nur eine Quadratklasse hat, das gilt entsprechend für jeden algebraisch abgeschlossenen Körper.
• Die affine Ebene $\Q^2$ über den rationalen Zahlen wird durch die übliche Orthogonalität mit der Orthogonalitätskonstanten c = − 1 zu einer präeuklidischen Ebene mit Quadraten. Diese Ebene ist aber nicht frei beweglich. Wählt man als Orthogonalitätskonstante irgendeine positive Nichtquadratzahl c oder deren Gegenzahl − c, dann wird sie zu einer präeuklidischen Ebene ohne Quadrate.
• Ist $K=\Z /p\Z$ der Restklassenkörper zu einer ungeraden Primzahl p, dann gibt es genau zwei Quadratklassen in K. Daher kann die pappusssche Ebene K² (bis auf Koordinatentransformation) auf genau eine Art zu einer präeuklidischen Ebene gemacht werden. Diese enthält genau dann Quadrate, wenn − 1 ein quadratischer Nichtrest modulo p ist, wenn also die Primzahl die Form $p=4\cdot k+3,\; k\in \N_0$ hat. In keinem Fall sind diese Ebenen frei beweglich.
• Der quadratische Zahlkörper $K=\Q(i)$ hat unendlich viele Quadratklassen. Die Quadratklassen, die keine Quadratzahl enthalten (alle außer Q₁), führen als Orthogonalitätskonstanten zu präeuklidischen Ebenen $(K^2,\perp)$, die nicht durch eine Koordinatentransformation ineinander überführt werden können. Keine dieser präeuklidischen Ebenen enthält ein Quadrat, denn in diesem Körper ist Q _{− 1} = Q₁.

Literatur

• Wendelin Degen und Lothar Profke: Grundlagen der affinen und euklidischen Geometrie. Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
• Günter Pickert: Deduktive Geometrie im Gymnasialunterricht. In: Mathematische Semesterberichte X, S. 202–223. Springer, 1964.
• Lothar Profke: Von der affinen zur euklidischen Geometrie mit Hilfe einer Orthogonalitätsrelation. In: Der Mathematikunterricht 22:4 (Axiomatik affiner und euklidischer Ebenen), 36-86. Friedrich, Hannover 1976.