Drehungen als Geradenspiegelungen (2011/12)

Beziehung zwischen "senkrecht" und Kommutativität

Satz

Es seien $S_a$ und $S_b$ zwei Geradenspiegelungen, deren Spiegelgeraden $a$ und $b$ nicht identisch sind.

Es gilt die folgende Äquivalenz:

$a\perp b\iff (S_b\circ S_a=S_a\circ S_b)$--Sternchen 11:27, 1. Dez. 2011 (CET)