Lösung von Aufgabe 5.1 S (SoSe 12)
Inhaltsverzeichnis |
Die Aufgabe
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.
Lösungsvorschlag 2 von --Neran69 01:34, 18. Mai 2012 (CEST)
Beweis: Ein Pkt liegt genau zwischen den beiden anderen : Voraussetzung:![]()
![]()
![]()
![]()
![]()
![]()
,
,
![]()
![]()
(paarw. versch und koll) Behauptung:
+
=
(ein Pkt, in diesem Fall B, liegt genau zwischen A und C)
Beweis d. Widerspruch:+
>
(Annahme, Dreiecksungleichung,
)
![]()
ist Dreieck und ein Widerspruch zur Voraussetzung bzgl. koll
die Behauptung stimmt!
Beweis: Kein anderer Pkt liegt dazwischen Voraussetzung:(s.o.) Behauptung:
<
(Annahme, dass A auf jeden Fall nicht zwischen B und C liegt)
Beweis d. Widerspruch: 1.=
![]()
![]()
Widerspruch zur Voraussetzung bzgl. paarw. versch. 2.
>
![]()
![]()
+
=
![]()
![]()
Widerspruch zur Voraussetzung
Beweis für C äquivalent
Lösungsvorschlag 1
Vor.: koll(A,B,C) und liegen auf einer Geraden g Beh.: |AB| + |BC| = |AC| Ann.: Zw(A,B,C)Zw(C,B,A)
A,B,C
g
dir.Bew.: Zw(A,B,C) |AB| + |BC| = |AC| |CB| + |BA| = |CA|Zw(A,B,C)
koll(A,B,C)
A,B,C
g
Der Satz stimmt: B liegt zwischen A und C --Gilmore 18:34, 17. Mai 2012 (CEST)
Kommentar zu Lösungsvorschlag 1 von --*m.g.* 18:48, 17. Mai 2012 (CEST)
bedeutet, dass die drei Punkte auf ein und derselben Geraden liegen, alles was hinter dem und kommt ist somit "doppelt gemoppelt", also weglassen.
- Die Behauptung:
spiegelt die Aussage des Satzes nicht korrekt wider:
- Der Satz hat eigentlich zwei Behauptungen:
- Überhaupt einer der drei kollinearen Punkte liegt zwischen den beiden anderen (Existenz),
- Kein weiterer Punkt liegt zwischen den beiden anderen. Konkreter: Wenn wir etwa mit
den Punkt gefunden hätten der von den drei Punkten zwischen den beiden anderen (also in diesem Fall zwischen
und
) liegt, dann liegt weder
zwischen
und
noch
zwischen
und
(Eindeutigkeit).
- Die Annahme von Gilmore sagt nun nichts anderes aus als: Wenn der Punkt
zwischen den Punkten
und
liegt, dann liegt
auch zwischen den Punkten
und
. Das hat nichts mit der Aussage des Satzes zu tun.
- Es ist klar, dass die Beweisführung unter diesen Umständen daneben gehen muss. Am Anfang des Beweises steht, dass
zwischen
und
liegt. Warum sollte das so sein? Am Ende des Beweises ergibt sich dann, dass
,
und
drei Punkte ein und derselben Geraden sind. Das war doch die Voraussetzung des Satzes überhaupt. Wir erinnern uns: Wenn
,
und
Punkte ein und derselben Geraden sind, dann ... . Also wie durch Zauber haben wir zu Anfang der Beweisführung drei Punkte von denen
zwischen
und
liegt und am Ende kommt heraus, dass die drei Punkte Punkte ein und derselben Geraden sind. Zusammengefasst: Wenn
,
und
Punkte ein und derselben geraden sind, dann sind
,
und
Punkte ein und derselben Geraden: Wieder mal: Wenn du kein iPhone hast, dann hast du kein iPhone.
Nicht entmutigen lassen, und vor allem nicht versuchen irgendwie nach einem Algorithmus zu arbeiten. Formulieren Sie ruhig umgangssprachlich und weniger formal, das formale kommt dann schon.--*m.g.* 19:23, 17. Mai 2012 (CEST)
Ein wenig Hilfe
Teile und Herrsche ist ein Konzept zum Lösen von Problemen. Sie haben eigentlich zwei Probleme:
- Beweisen, dass von A, B und C einer zwischen den beiden anderen liegt.
- Beweisen, dass kein weiterer zwischen den beiden anderen liegt.
Führen Sie entsprechend auch zwei Beweise. Erst zeigen Sie, dass überhaupt einer der drei Punkte zwischen den anderen beiden liegt, dann sagen Sie einfach, dass das der Punkt B sein möge und zweigen durch Widerspruchsbeweis, dass dann z.B. A nicht mehr zwischen B und C liegen kann. Viel Erfolg ins besondere für Neran69, der/die gerade beim Eintippen einer Lösung ist.--*m.g.* 19:40, 17. Mai 2012 (CEST)