Lösung von Zusatzaufgabe 6.1P (WS 12 13): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
 
(2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 22: Zeile 22:
 
|}
 
|}
 
<br />
 
<br />
Ich bin mir aber nicht sicher, ob man das so machen kann, kommt mir irgendwie zu primitiv vor...--[[Benutzer:Unicycle|Unicycle]] 22:13, 17. Jan. 2013 (CET)
+
Ich bin mir aber nicht sicher, ob man das so machen kann, kommt mir irgendwie zu primitiv vor...--[[Benutzer:Unicycle|Unicycle]] 22:13, 17. Jan. 2013 (CET)<br />
 +
*Du hast nicht begründet, wie du auf den zweiten Schritt kommst. Wo steht denn das?
 +
* Tipp: Schaut euch mal an, was unter Dreiecksungleichung steht.--[[Benutzer:Tutorin Anne|Tutorin Anne]] 18:44, 18. Jan. 2013 (CET)<br /><br />
 +
Hier fehlt noch etwas vor Schritt 2)<br /><br />
 +
Man muss hier eine Fallunterscheidung machen:<br />
 +
Fall1: <math>|AB| + |BC| > |AC|\Rightarrow</math> <math>\exists</math> Dreieck ABC    -> ist zu verwerfen,da Widerspruch zu 1.)<br />
  
 +
Fall2: <math>|AB| + |BC| = |AC|\Rightarrow</math> <math>\neg \exists</math> Dreieck ABC  -> ist anzunehmen, daraus folgt dann Punkt 2<br />
 +
Begründung: Dreiecksungleichung, 1.)<br />
 +
--[[Benutzer:TobiWan|TobiWan]] 14:15, 19. Jan. 2013 (CET)<br />
 +
* Die Idee stimmt. Es lässt sich sogar einfacher noch, ohne die Fallunterscheidung zu machen, direkt daraus ableiten, dass die Punkte kollinear sind. (Genau so steht's ja in der Dreiecksungleichung.) Die oben genannte Schritte 2 + 3 brauch man dann gar nicht mehr.--[[Benutzer:Tutorin Anne|Tutorin Anne]] 12:27, 20. Jan. 2013 (CET)
  
 
[[Kategorie:Einführung_P]]
 
[[Kategorie:Einführung_P]]

Aktuelle Version vom 20. Januar 2013, 13:27 Uhr

Beweisen Sie: Aus  \operatorname{Zw} \left( A, B, C \right) folgt  \operatorname{koll} \left( A, B, C \right) .

Zum Verwenden von mathematischen Zeichen, kann man den Formeleditor öffnen (Symbol ganz links, Summenzeichen). Als Hilfestellung schon mal eine Tabelle. --Tutorin Anne 12:38, 10. Dez. 2012 (CET)

Voraussetzung Zw (A,B,C)
Behauptung koll (A,B,C)


Beweisschritt Begründung
1 |AB| + |BC| = |AC| Voraussetzung, Def. Zwischenrelation
2 B \in \overline{AC} 1.)
3 A, B, C \in AC 1,) ; 2,)
4 koll (A,B,C) 3.); Def. koll


Ich bin mir aber nicht sicher, ob man das so machen kann, kommt mir irgendwie zu primitiv vor...--Unicycle 22:13, 17. Jan. 2013 (CET)

  • Du hast nicht begründet, wie du auf den zweiten Schritt kommst. Wo steht denn das?
  • Tipp: Schaut euch mal an, was unter Dreiecksungleichung steht.--Tutorin Anne 18:44, 18. Jan. 2013 (CET)

Hier fehlt noch etwas vor Schritt 2)

Man muss hier eine Fallunterscheidung machen:
Fall1: |AB| + |BC| > |AC|\Rightarrow \exists Dreieck ABC -> ist zu verwerfen,da Widerspruch zu 1.)

Fall2: |AB| + |BC| = |AC|\Rightarrow \neg \exists Dreieck ABC -> ist anzunehmen, daraus folgt dann Punkt 2
Begründung: Dreiecksungleichung, 1.)
--TobiWan 14:15, 19. Jan. 2013 (CET)

  • Die Idee stimmt. Es lässt sich sogar einfacher noch, ohne die Fallunterscheidung zu machen, direkt daraus ableiten, dass die Punkte kollinear sind. (Genau so steht's ja in der Dreiecksungleichung.) Die oben genannte Schritte 2 + 3 brauch man dann gar nicht mehr.--Tutorin Anne 12:27, 20. Jan. 2013 (CET)