Beweisidee Aufgabe 4.3.2 S Übung Heckl (SoSe2012): Unterschied zwischen den Versionen
Aus Geometrie-Wiki
HecklF (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
HecklF (Diskussion | Beiträge) |
||
| Zeile 12: | Zeile 12: | ||
==Fall 2: Annahme: Gelte A = B = C = A== | ==Fall 2: Annahme: Gelte A = B = C = A== | ||
[[Datei:A_4_3_F_2_16052012.JPG|900px]]<br /><br /> | [[Datei:A_4_3_F_2_16052012.JPG|900px]]<br /><br /> | ||
Kommentar zu Fall 2: Sinnvollerweise schreiben wir zu 3): <math>\exists P \neq A</math>, ansonsten könnte es ja sein, dass P = A ist - diesen Fall schließen wir somit aus! --[[Benutzer:HecklF|Flo60]] 20:33, 16. Mai 2012 (CEST) | {{Schrift_orange|'''Kommentar zu Fall 2:'''}}<br /> | ||
Sinnvollerweise schreiben wir zu 3): <math>\exists P \neq A</math>, ansonsten könnte es ja sein, dass P = A ist; <br /> | |||
dann kann nämlich Axiom I.1 nicht angewendet werden - diesen Fall schließen wir somit aus und unser Axiom kann angewendet werden,<br /> | |||
weil wir zwei verschiedene Punkte haben! --[[Benutzer:HecklF|Flo60]] 20:33, 16. Mai 2012 (CEST) | |||
Version vom 16. Mai 2012, 18:35 Uhr
Aufgabe 4.3
Satz I: Je drei nicht kollineare Punkte sind paarweise verschieden.
- Wir formulieren Satz I neu und beginnen mit „Es seien , und drei Punkte.“ Ergänzen Sie: „Wenn , und nicht kollinear sind , dann sind sie paarweise verschieden .“
- Beweisen Sie Satz I indirekt mit Widerspruch.
Beweis in zwei Fällen (Reihenfolge der Fälle ist irrelevant) durch Widerspruch:
Fall 1: Annahme: Gelte o. B. d. A. A = B C
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Fall 2: Annahme: Gelte A = B = C = A
Fehler beim Erstellen des Vorschaubildes: Datei fehlt
Kommentar zu Fall 2:
Sinnvollerweise schreiben wir zu 3): , ansonsten könnte es ja sein, dass P = A ist;
dann kann nämlich Axiom I.1 nicht angewendet werden - diesen Fall schließen wir somit aus und unser Axiom kann angewendet werden,
weil wir zwei verschiedene Punkte haben! --Flo60 20:33, 16. Mai 2012 (CEST)
