Drehungen als Geradenspiegelungen (2011/12)

Aus Geometrie-Wiki

Beziehung zwischen "senkrecht" und Kommutativität

Satz

Es seien Sa und Sb zwei Geradenspiegelungen, deren Spiegelgeraden a und b nicht identisch sind.
Es gilt die folgende Äquivalenz: