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

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 48: Zeile 48:
 
| (7)<math>B* = C* \lightning</math>zur Ann. ,diese ist zu Verwerfen|| A vom Lineal (6),(4)--[[Benutzer:RicRic|RicRic]] 13:32, 4. Dez. 2011 (CET)
 
| (7)<math>B* = C* \lightning</math>zur Ann. ,diese ist zu Verwerfen|| A vom Lineal (6),(4)--[[Benutzer:RicRic|RicRic]] 13:32, 4. Dez. 2011 (CET)
 
|}
 
|}
 +
 +
: Jetzt haben Sie gezeigt, dass es auf dem Strahl <math>AB^{+}</math> genau eine solche Strecke <math>\overline{AB^{*}}</math> gibt... aber evtl. gibt es ja noch welche, die nicht auf dem Strahl liegen? Was wäre dann?--[[Benutzer:Spannagel|Spannagel]] 13:58, 10. Dez. 2011 (CET)
  
  

Version vom 10. Dezember 2011, 13:58 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)
Jetzt haben Sie gezeigt, dass es auf dem Strahl AB^{+} genau eine solche Strecke \overline{AB^{*}} gibt... aber evtl. gibt es ja noch welche, die nicht auf dem Strahl liegen? Was wäre dann?--Spannagel 13:58, 10. Dez. 2011 (CET)
Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufg._8.1_(WS_11/12)&oldid=10018“