Lösung von Aufg. 11.7 (WS 11/12): Unterschied zwischen den Versionen

Version vom 12. Januar 2012, 08:39 Uhr

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) Fehler beim Parsen(Syntaxfehler): \angle ADB \tilde (meinst du hier den Winkel $\angle DAB$ --Tutor Andreas 08:39, 12. Jan. 2012 (CET)) $\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)

_______________________________________

Bis Schritt 8 ist mir alles klar, aber dann denke ich muss es so weiter gehn:

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) $\overline{AB} =\overline{AB}$	trivial
(10) $\overline{AC} =\overline{BD}$	(5)
(11) $\alpha \tilde {=} \beta$	Vorr
(12) $\overline{ABC} \tilde {=}\overline{ABD}$	(9),(10),(11), SWS
(13) Fehler beim Parsen(Unbekannte Funktion „\lightning“): C = D \lightning zur Ann.	(12)

----Miriam 12:00, 6. Jan. 2012 (CET)

@@ Zeile 27: / Zeile 27: @@
 |  (8) <math>|\angle DAC| + |\angle CAB|  = |\angle DAB|</math> || (5),(6),(7) Winkeladditonsaxiom
 |-
-|  (9) <math>\angle ADB \tilde {=}    \angle ABC</math>  || Basiswinkelsatz (5)
+|  (9) <math>\angle ADB \tilde </math> <small>(meinst du hier den Winkel <math>\angle DAB</math>--[[Benutzer:Andreas|Tutor Andreas]] 08:39, 12. Jan. 2012 (CET))</small> <math>\tilde {=}  \angle ABC</math>  || Basiswinkelsatz (5)
 |-
 |   (10)<math>\angle ABC  \tilde \neq \angle BAC </math>  Wiederspruch zur Vorr., Annahme verwerfen, Behaupt stimmt  || (9),(8),(7),(5)

Lösung von Aufg. 11.7 (WS 11/12): Unterschied zwischen den Versionen

Version vom 12. Januar 2012, 08:39 Uhr

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge