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

Version vom 5. Dezember 2011, 20:15 Uhr

Beweisen Sie: Zu jeder Strecke $\overline{AB}$ existiert genau eine Strecke $\overline{AB^{*}}$ mit $\left| AB^{*} \right| = \pi \left| AB \right|$ und $\overline{AB} \subset \overline{AB^{*}}$ .

Vor.: Es sei $\overline{AB}$ eine Strecke.

Beh.: $\exists ! \overline{AB*} | \left| AB* \right|= \pi \left| AB \right| \wedge \overline{AB} c \overline{AB*}$

Bew.:Existenz:

Schritt	Begründung
(2) $\exists \ AB^{+} : A,B\in \ AB^{+}$	Def Strahl
(3) $\exists B* : \left\| AB* \right\| = \pi \left\| AB \right\| \wedge B* \in \ AB^{+}$	A vom Lineal, (2)
(4) $\left\| AB* \right\| > \left\| AB \right\|$	(3),da Abstand $\pi$ mal so groß
(5) $\left\| AB \right\| + \left\| BB* \right\| = \left\| AB* \right\|$	zw. Relation, (4),(3)
(6) zw(A,B,B*)	(5)
$\overline{AB} c\overline{AB*}$	(6),(2),(3)

Ein schöner Beweis.
zu Schritt 5, Begründung: Kann ich nicht ganz nachvollziehen - steht das in der Definition Zwischenrelation?--Tutorin Anne 17:29, 4. Dez. 2011 (CET) zu Schritt 6 - Jetzt folgerst du daraus die Zwischenrelation, nutz sie vorher (5) aber schon zur Begründung -mh?--Tutorin Anne 17:29, 4. Dez. 2011 (CET)

könnte man schritt 5 nicht so belassen und als begründung einfach anführen, dass die punkte kollinear sind und dementsprechend die dreiecksungleichung anführen?--Miriam 20:15, 5. Dez. 2011 (CET)

Bew.:Eindeutigkeit:
Ann.: $\left(\exists \overline{AB*} | \left| AB* \right|= \pi \left| AB \right| \wedge \overline{AB} c \overline{AB*}\right) \wedge \left( \exists \overline{AC*} | \left| AC* \right|= \pi \left| AB \right| \wedge \overline{AB} c \overline{AC*}\right)\wedge B*\neq C*$

Schritt	Begründung
(1) $\exists \ AB^{+} : A,B\in \ AB^{+}$	Def Strahl
(2) $\exists B* : \left\| AB* \right\| = \pi \left\| AB \right\| \wedge B* \in \ AB^{+}$	A vom Lineal, (1)
(3) $\exists C* : \left\| AC* \right\| = \pi \left\| AB \right\| \wedge C* \in \ AB^{+}$	A vom Lineal, (1)
(4) $\left\| AB* \right\| = \pi \left\| AB \right\| \wedge \left\| AC* \right\| = \pi \left\| AB \right\|$	(2),(3)
(5) $\left\| AB* \right\| = \left\| AC* \right\|$	Rechen in R, (4)
(6) $B\in \ AB^{+} \wedge C\in \ AB^{+}$	(2),(3)
(7)*Fehler beim Parsen(Unbekannte Funktion „\lightning“): B = C* \lightning** zur Ann. ,diese ist zu Verwerfen	A vom Lineal (6),(4)--RicRic 13:32, 4. Dez. 2011 (CET)

@@ Zeile 25: / Zeile 25: @@
 zu Schritt 5, Begründung: ''Kann ich nicht ganz nachvollziehen - steht das in der Definition Zwischenrelation?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 17:29, 4. Dez. 2011 (CET)''
 zu Schritt 6 - Jetzt folgerst du daraus die Zwischenrelation, nutz sie vorher (5) aber schon zur Begründung -mh?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 17:29, 4. Dez. 2011 (CET)
+*  könnte man schritt 5 nicht so belassen und als begründung einfach anführen, dass die punkte kollinear sind und dementsprechend die dreiecksungleichung anführen?--[[Benutzer:Miriam|Miriam]] 20:15, 5. Dez. 2011 (CET)
 <br /><br />
 Bew.:Eindeutigkeit:<br />

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

Version vom 5. Dezember 2011, 20:15 Uhr

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge