12)

Beweisen Sie die Gültigkeit der Umkehrung des Basiswinkelsatzes

Vorr.:$\overline{ABC} ; \alpha \tilde {=} \beta$

Beh.:$\overline{AC} \tilde {=} \overline{BC}$

Beweis:

Schritt	Begründung
(1)$\exists M:M\in \overline{AB} \wedge \left| AM \right| =\left| MB \right|$	Existenz und Eindeutigkeit des Mittelpunktes
(2) $\exists m:M\in m \wedge \ m \perp \overline{AB}$	Existenz und Eindeutigkeit der Mittelsenkrechten, (1)
(3) zu Zeigen: $C\in m$	Dann gilt die Behauptung, Satz. Jeder Punkt vom m hat den selben Abstand zu A und B
(4) Ann.: $C\not\in m$ d.h. o.B.d.A. $\left| AC \right| > \left| BC \right|$
(5) $\exists D: D\in \ BC^{+} \wedge \left| DB \right| = \left| AC \right|$	Axiom vom Lineal, Abstandsaxiom, (4)
(6) C im inneren von $\angle ADC$ C im inneren von $\angle DAB$--RicRic 14:12, 5. Jan. 2012 (CET)	Winkeladditonsaxiom (5)
(7) $\exists \angle DAC : |\angle DAC| \neq 0$	(4),(5),(6)
(8) $|\angle DAC| + |\angle CAB| = |\angle DAB|$	(5),(6),(7) Winkeladditonsaxiom
(9) $\angle ADB \tilde {=} \angle ABC$	Basiswinkelsatz (5)
(10)$\angle ABC \tilde \neq \angle BAC$ Wiederspruch zur Vorr., Annahme verwerfen, Behaupt stimmt	(9),(8),(7),(5)

--RicRic 13:04, 3. Jan. 2012 (CET)

Also ich habe mir den Beweis jetzt mehrmals durchgeschaut, aber irgendwie passt da etwas nicht... die Begründung von Schritt 9 durch den Basiswinkelsatz und Schritt 5 kann ich nicht nachvollziehen, denn woher weiß man, dass $\overline {AB} \tilde {=} \overline {AD}$ gilt?--Tutor Andreas 12:35, 4. Jan. 2012 (CET)Danke--RicRic 14:12, 5. Jan. 2012 (CET)
Ich schreibe doch gar nicht, dass die Strecken $\overline {AB} \tilde {=} \overline {AD}$ kongruent sind. Ich betrachte die Mittelsenktrechte der Strecke $\overline {AB}$ und sage, dass die eine Seite o.B.d.A. länger ist als die andere Seite, dann trage ich die längere Seite auf dem Strahl der kürzeren an und habe somit ein gleichschenkliges Dreieck, bei dem die Basiswinkel kongruent sind, stelle dann fest, dass der eine Basiswikel aber größer ist als der andere von meinem ursprünglichen Dreieck, somit komme ich zu dem Wiederspruch und sage die Stecken müssen also gleich lang sein bzw. C Element der Mittelsenkrechten von der Stecke AB. Ich hoffe mit ist es jetzt gelungen meine Beweisidee zu veranschaulichen. --RicRic 22:54, 4. Jan. 2012 (CET)