Lösung von Aufgabe 9.1P (SoSe 12)

Beweisen Sie die Halbgeradentreue der Geradenspiegelung. Nutzen Sie für den Beweis die Streckentreue der Geradenspiegelung und eine geeignete Definition des Begriffs Halbgerade.

Manchmal kommt man nicht weiter, weil man nicht weiß wie es losgehen soll. Deshalb fange ich hier mal an. Diese Struktur kann auch für die anderen Aufgaben genutzt werden.(z.B. kopieren, um die Formelschreibweise auf einer anderen Seite zu nutzen)--Tutorin Anne 13:03, 21. Jun. 2012 (CEST)

Voraussetzung	Geradenspiegelung an g $Sg$ mit $A'= Sg (A)$ und $B' = Sg (B)$ und $P \in AB^{+}$
Behauptung	$Sg (AB+) = A'B'^{+}$ d.h. $P' \in A'B'^{+}$

Es muss also gezeigt werden, dass das Bild $P'$ eines beliebigen Punkts $P$ der Halbgerade auch auf dem Bilder der Halbgeraden liegt.

Beweisschritt	Begründung
1 $P \in AB^{+}$	(Begründung 1)
2 (Schritt 2)	(Begründung 2)
3 (Schritt)	(Begründung)
4 (Schritt)	(Begründung)

Mal ein Versuch:

Beweisschritt	Begründung
1 $P \in AB^{+}$	Voraussetzung
2 Zw(ABP) $\wedge$ Zw (APB)	(1), Def. Zw., Def. Halbgerade
3 $\left| AB \right| + \left| BP \right| = \left| AP \right| \wedge \left| AP \right| + \left| PB \right| = \left| AB \right|$	(2), Def. koll
4 $\left| A'B' \right| + \left| B'P' \right| = \left| A'P' \right| \wedge \left| A'P' \right| + \left| P'B' \right| = \left| A'B' \right|$	(3), Abstandserhaltung der Geradenspiegelung
5 Zw(A'B'P') $\wedge$ Zw(A'P'B')	(4), Def. Zw
6 P$\in$A'B'+	(5)

--Zitrone 12:50, 24. Jun. 2012 (CEST)

Habe das etwas anders gemacht und zwar bin ich gleich am Anfang auf die Definition Halbgerade AB+ und dann auf die Spiegelung von A und B eingegangen und habe dann die Definition der Halbgerade A´B´+ erstellt. Dadurch wäre es dann klar, das P´$\in$ A´B´+ ist. Geht das so auch? --PippiLotta 13:48, 25. Jun. 2012 (CEST)