Dynamische Geometrie - Mathematik - Universität des Saarlandes
Dynamische Geometrie - Mathematik - Universität des Saarlandes
Dynamische Geometrie - Mathematik - Universität des Saarlandes
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
20 1 Affine <strong>Geometrie</strong><br />
Zwei Punkte P, Q und deren Bilder P ′ , Q ′ formen unter einer Translation<br />
also ein Parallelogramm (Abb. 1.5), da PQ‖P ′ Q ′ , da eine Translation eine<br />
Dilatation ist und da außerdem PP ′ ‖ QQ ′ wegen der obigen Proposition.<br />
P<br />
P ′ PQ‖P ′ Q ′ (Dilatation)<br />
Q ′<br />
Q<br />
PP ′ ‖ QQ ′ (Translation)<br />
Abbildung 1.5. Zwei Punkte und deren Bilder unter einer Translation formen eine<br />
Parallelogramm.<br />
Proposition 1.20. Die Menge TranA der Translationen vonAbildet eine Gruppe<br />
bzgl. Hintereinanderausführung. Außerdem gilt für je<strong>des</strong>τ ∈ TranA undδ ∈<br />
DilA:δτδ −1 ∈ TranA, d.h. TranA ist ein Normalteiler von DilA, in Zeichen:<br />
TranA ✁ DilA.<br />
Beweis. Wir wissen bereits, dass die Dilatationen eine Gruppe bilden. Daher<br />
ist die Inverse einer Translationτid ebenfalls eine Dilatation; daτaber<br />
keinen Fixpunkt hat, gilt dies natürlich auch fürτ −1 .<br />
Um zu zeigen, dass TranA eine Gruppe ist, müssen wir also nur noch sehen,<br />
dass für zwei Translationenτundσauchτ◦σ nicht nur eine Dilatation,<br />
sondern sogar eine Translation ist. Wir nehmen also an, dassτ◦σ einen<br />
Fixpunkt P hat. Bezeichnen wirσ(P) mit P ′ , so folgt:τ(P ′ )=P. Falls nun Q<br />
ein Punkt ist, der nicht auf PP ′ liegt, so bezeichnen wirσ(Q) mit Q ′ (Abb. 1.6)<br />
und wir müssen zeigen, dass Q ′′ =τ(Q ′ )=Q gilt.<br />
P ′ Q ′<br />
P<br />
τ<br />
σ<br />
Q<br />
l<br />
σ<br />
m<br />
Abbildung 1.6. Konstruktion <strong>des</strong> Bildpunktes Q ′ unter einer Translation.<br />
Daσeine Translation ist, gilt wegen der vorigen Proposition 1.19: PQ‖P ′ Q ′<br />
und PP ′ ‖ QQ ′ . D.h.: Q ′ = l∩m, wobei P ′ ∋ l‖PQ und Q∋m‖PP ′ . Nun<br />
— Version vom: 12. Dezember 2008 —