Lösung von Aufg. 8.5 (SoSe 11): Unterschied zwischen den Versionen
HecklF (Diskussion | Beiträge) |
|||
| Zeile 46: | Zeile 46: | ||
Ich glaube, es war relativ unwirtschaftliche, diesen beweis durch wiederspruch zu führen, da er sich ebenfalls und einfacher direkt beweisen lässt (und dann hätte sich auch die diskussion erledigt): | Ich glaube, es war relativ unwirtschaftliche, diesen beweis durch wiederspruch zu führen, da er sich ebenfalls und einfacher direkt beweisen lässt (und dann hätte sich auch die diskussion erledigt): | ||
<br /> | <br /> | ||
| − | BEWEISVERSUCH II: | + | ===BEWEISVERSUCH II:=== |
<br /> | <br /> | ||
<br /> | <br /> | ||
| Zeile 61: | Zeile 61: | ||
| 3 || Daraus folgt: <math>\operatorname(Zw) (A, B, C) \vee \operatorname(Zw) (B, A, C) \vee \operatorname(Zw)(A, C, B) </math> || (2), Def. Zwischenrelation | | 3 || Daraus folgt: <math>\operatorname(Zw) (A, B, C) \vee \operatorname(Zw) (B, A, C) \vee \operatorname(Zw)(A, C, B) </math> || (2), Def. Zwischenrelation | ||
|} | |} | ||
| − | --[[Benutzer:HecklF|Flo60]] 17:04, 17. Jun. 2011 (CEST) | + | --[[Benutzer:HecklF|Flo60]] 17:04, 17. Jun. 2011 (CEST)<br /> |
| + | <span style="color:navy"> Dieser Beweis ist natürlich wirtschaftlicher und er ist auch völlig korrekt. Allerdings entspricht die Behauptung nicht der Aufgabenstellung. Also, es wurde nicht gezeigt das''' genau''' eine der Zwischenrelationen gilt (das steht nämlich nicht im Axiom II.3). Das war im 1. Beweis richtig. --[[Benutzer:Tutorin Anne|Tutorin Anne]] 10:52, 18. Jun. 2011 (CEST) | ||
[[Category:Einführung_Geometrie]] | [[Category:Einführung_Geometrie]] | ||
Version vom 18. Juni 2011, 10:52 Uhr
Satz:
- Von drei paarweise verschiedenen Punkten
und 
ein und derselben Geraden 
liegt genau einer zwischen den beiden anderen.
- Von drei paarweise verschiedenen Punkten
Beweisen Sie diesen Satz.
Voraussetzung: A, B, C sind paarweie verschieden und liegen auf ein und derselben Gerade g
Behauptung: Ein Punkt B (o. B. d. A.) liegt zwischen den beiden anderen
Beweis durch Widerspruch:
Fall 1: Kein Punkt liegt zwischen zwei anderen
Annahme: |AB| = |AC| = |BC|
Auf der Diskussionsseite befindet sich noch ein Kommentar, der noch nicht näher diskutiert wurde und dies sollte evtl. geklärt werden Diskussion:Lösung von Aufg. 8.5 (SoSe 11)--Tutor Andreas 18:00, 6. Jun. 2011 (CEST)
| 1) |    |
Vor., Axiom II.2, Axiom II.1, Annahme |
| 2) |   |
Vor., Axiom II.2, Axiom II.1, Annahme |
| 3) |  |
(1), (2), Transitivität von "=" |
| 4) | Widerspruch zur Voraussetzung A, B, C paarweise verschieden; Annahme ist zu verwerfen | (3) |
Fall 2: Zwei Punkte liegen zwischen zwei anderen
Annahme: Es gilt: Zw(A, B, C) und Zw(B, A, C)
| 1) |  |
Def. ZWrel., Annahme |
| 2) |  |
Def. ZWrel., Annahme |
| 3) |  |
Rechnen in R, (1), (2) |
| 4) |  |
Rechnen in R, (3) |
| 5) | |
Axiom II.1 (d als positive reele Zahl und wenn eine Zahl a mit einer anderen Zahl b addiert wird und Null ergibt, ist a=b=0), Axiom II.2 |
| 6) | Widerspruch zur Voraussetzung, paarweise verschieden | (5) |
--Flo60 23:25, 31. Mai 2011 (CEST)
Ich glaube, es war relativ unwirtschaftliche, diesen beweis durch wiederspruch zu führen, da er sich ebenfalls und einfacher direkt beweisen lässt (und dann hätte sich auch die diskussion erledigt):
BEWEISVERSUCH II:
Voraussetzung: A, B, C sind paarweie verschieden und liegen auf ein und derselben Gerade g
Behauptung: 
| 1 | Die Punkte A, B und C sind kollinear | Vorraussetzung, Definition kollinear |
| 2 | Es gilt:  |
(1), Axiom II.3 |
| 3 | Daraus folgt: |
(2), Def. Zwischenrelation |
--Flo60 17:04, 17. Jun. 2011 (CEST)
Dieser Beweis ist natürlich wirtschaftlicher und er ist auch völlig korrekt. Allerdings entspricht die Behauptung nicht der Aufgabenstellung. Also, es wurde nicht gezeigt das genau eine der Zwischenrelationen gilt (das steht nämlich nicht im Axiom II.3). Das war im 1. Beweis richtig. --Tutorin Anne 10:52, 18. Jun. 2011 (CEST)
