×

Sur une axiomatique métrique de la geométrie Euclidienne. (A metric axiomatrization of Euclidean geometry). (French) Zbl 0221.50006

Der Verf. entwirft ein Programm für den Geometrieunterricht an Schulen. Es wird vorgeschlagen, von einem metrischen Raum (E,d) auszugehen, in dem folgende Axiome gelten: 1) Zu jedem Paar ( \( a, b \) ) von Punkten in \( E \) gibt es genau eine Purirtspiegelung \( \sigma \) (d.h. eine involutorische Isometrie mit einem einzigen Fixpurkt), \( \operatorname{soda} B \sigma(a)=b \) ist. 2) Das Produkt dreier Punktspiegelungen ist eine Puriktspiegelung. Sind \( \sigma_{a}, \sigma_{b}, \sigma_{c}, \sigma_{d} \) Punktspiegelungen mit den Fixpunkten \( a, b, c, d \) und gilt \( \sigma_{a} \sigma_{b} \sigma_{c}=\sigma_{d} \), so wird \( (a, b, c, d) \) Parallelogramm genannt. 3) Für jedes Parallelogramm gilt: \[ d(a, c)^{2}+d(b, d)^{2}=2\left[d(a, b)^{2}+d(b, c)^{2}\right] \] Eine Gerade wird als Teilmenge \( D \) von \( E \) definiert, für die eine Isometrie \( f: \mathbb{R} \rightarrow E \) existiert mit \( f(\mathbb{R})=D \). (E,d) heiBt euklidisch, wenn durch zwei verschiedene Punkte stets eine Gerade geht. Jeder euklidische metrische Raum ist metrischer Raum eines reellen Prä-Hilbert-Raums. Der Verf. zeigt, wie für einen euklidischen metrischen Raum, in dem die Fixpunktmenge jeder involutorischen Isometrie entweder einelementig oder eine Gerade ist, die elementargeometrischen Sätze über die Kongruenz von Dreiecken bewiesen werden können.

MSC:

51M05 Euclidean geometries (general) and generalizations
00A35 Methodology of mathematics