Lösung von Aufgabe 9.2P (WS 18/19)

Beweisen Sie die Geradentreue der Geradenspiegelung. Nutzen Sie für den Beweis die Halbgeradentreue der Geradenspiegelung.

Vor: S_g(AB) Beh: =A'B'
1.) AB= AB⁺ vereinigt mit AB^- - Vor., Def Gerade
2.) S_g(AB⁺)= A'B'⁺ $\wedge$ S_g(AB^-)= A'B'^- - 1.),Halbgeradentreue
3.) A'B'⁺ vereinigt mit A'B'^- = A'B' - 2.), Def Gerade
4.) A'B'= S_g(AB⁺) vereinigt mit S_g(AB^-) - 3.)
=> A'B' = S_g(AB)
--CIG UA (Diskussion) 11:43, 14. Dez. 2018 (CET)