Winkelmessung und Orientierung. (Measurement of angles and orientation) (Q750892)

In einer affinen Ebene (\({\mathcal P},{\mathcal L})\) wird ein orientierter Abstand d als Abbildung von \({\mathcal P}\times {\mathcal P}\) in \({\mathbb{R}}\) (mit Eigenschaften (D1) und (D2)) und ein orientierter Winkel w als Abbildung von \({\mathcal L}\times {\mathcal L}\) in \({\mathbb{R}}\) (mit Eigenschaften (W1), (W2) und (W3)) eingeführt. Damit und mit einer die Abbildungen d und w verbindenden Forderung (DW) lassen sich einfache Orientierungsbegriffe erklären und die bekannten ebenen Anordnungseigenschaften zeigen. Anhand von Beweisen bekannter und grundlegender Sätze wie des Umfangswinkelsatzes und des Satzes von Pappos wird die Zweckmäßigkeit der Verwendung des orientierten Winkels zwischen zwei nicht orientierten Geraden für Zwecke der Elementargeometrie demonstriert. Bei diesen Darlegungen werden überdies gewisse Spezialisierungen (K1) und (K2) von Kongruenzsätzen zugrunde gelegt. Die Ausführungen ergeben auch einen Beitrag zur Grundlegung und zum deduktiven Aufbau angeordneter euklidischer Ebenen. Im letzten Teil des Artikels wird der Aufbau in der Weise verallgemeinert, daß für die Längen- und Winkelwerte Elemente einer angeordneten abelschen Gruppe vorausgesetzt werden. Die bisherigen Herleitungen können übernommen werden. Die obigen Forderungen führen zu einer euklidischen Ebene über einem angeordneten pythagoreischen Körper. Wir bemerken noch, daß man in derartigen euklidischen Ebenen hinsichtlich der Demonstrationssätze ebenfalls zweckmäßige und fallunterscheidungsfreie Beweise erhält, wenn man anstelle des orientierten Winkels zwischen zwei Geraden das Produkt der Spiegelungen an diesen Geraden (in entsprechender Reihenfolge) verwendet.