Aufgabe 1 Lösungsversuch

Wir haben zu zeigen, dass $\ S_c \circ S_b \circ S_a$ = $\ S_k$

Es genügt zu zeigen, dass eine Gerade k existiert, die gleichzeitig Mittelsenkrechte von $\overline {GG'''}$, $\overline {HH'''}$ und $\overline {EE'''}$ ist.

Wir wissen, dass alle drei Mittelsenkrechten der drei Strecken $\overline {GG'''}$, $\overline {HH'''}$ und $\overline {EE'''}$ den Punkt Z gemeinsam haben (wegen der Abstandserhaltung und des Mittelsenkrechtenkriteriums)
Wenn wir nun noch zeigen können, dass sie einen weiteren Punkt gemeinsam haben, dann haben wir gezeigt, dass die drei Mittelsenkrechten identisch sind und damit, dass die Spiegelung von $\overline {GHE}$ das Dreieck auf $\overline {G'''H'''E'''}$ abbildet und wären damit fertig.

oBdA gelte, dass L1 ungleich L2 (falls L1 und L2 zusammen fallen aufgrund der von Tja??? angesprochenen Problematik, liegt der Punkt L3 auf jeden Fall nicht mit L1 und L2 zusammen und man würde einfach den nehmen)
Wir ezigen nun, dass der Punkt L1 neben der Mittelsenkrechte von $\overline{HH'''}$ noch auf den anderen beiden Mittelsenkrechten liegt:

Beweisschritt	Begründung
1) Das Dreieck $\overline {GL1L2}$ ist kongruent zu dem Dreieck $\overline {G'''L1L2}$	SWS (kann sich, denke ich,--Tja??? 19:52, 6. Dez. 2010 (UTC) jeder selbst überlegen)
2) $\overline {GL1} \cong \overline {G'''L1}$	(1)
3) L1 liegt auch auf der Mittelsenkrechten von $\overline {GG'''}$	(2)
4) Analog kann man zeigen, dass L1 auch auf der Mittelsenkrechten von $\overline {EE'''}$ liegt.
5) Damit sind die drei Mittelsenkrechten von $\overline {GG'''}$, $\overline {HH'''}$ und $\overline {EE'''}$ identisch und damit ist gezeigt, dass $\overline {GHE}$ bei der Spiegelung an k auf $\overline {G'''H'''E'''}$ abgebildet wird.

Der Beweis ist nur ein Versuch. Wäre schön wenn jemand (am besten herr Gieding ;)) mal drüberschauen würde. --Steph85
Ich finde der Beweis hört sich gut an.
Die Lage der Punkt L1 und L2 sollte du vielleicht genauer beschreiben. Dabei kann es passieren, dass L2 mit L1 zusammenfällt (falls z.B. $G, H, G'''$ kollinear). Das wäre dann ein Sonderfall, den man unterscheiden müsste (denke ich zumindest). --Tja??? 19:52, 6. Dez. 2010 (UTC)
Danke für den hinweis. Habs editiert