Lösung von Aufgabe 5.1 S (SoSe 12): Unterschied zwischen den Versionen
(table+ table+) |
(→Lösungsvorschlag 6 (oz44oz)) |
||
(29 dazwischenliegende Versionen von 6 Benutzern werden nicht angezeigt) | |||
Zeile 6: | Zeile 6: | ||
<br /> | <br /> | ||
− | ==Lösungsvorschlag 2== | + | ==Lösungsvorschlag 2 (Neran69)== |
'''Lösungsvorschlag 2 von --[[Benutzer:Neran69|Neran69]] 01:34, 18. Mai 2012 (CEST)'''<br /> | '''Lösungsvorschlag 2 von --[[Benutzer:Neran69|Neran69]] 01:34, 18. Mai 2012 (CEST)'''<br /> | ||
Zeile 30: | Zeile 30: | ||
[[Category:Einführung_S]] | [[Category:Einführung_S]] | ||
− | ==Lösungsvorschlag 1== | + | ==Lösungsvorschlag 1 (Gilmore)== |
Vor.: koll(A,B,C) und liegen auf einer Geraden g | Vor.: koll(A,B,C) und liegen auf einer Geraden g | ||
Zeile 44: | Zeile 44: | ||
Der Satz stimmt: B liegt zwischen A und C --[[Benutzer:Gilmore|Gilmore]] 18:34, 17. Mai 2012 (CEST) | Der Satz stimmt: B liegt zwischen A und C --[[Benutzer:Gilmore|Gilmore]] 18:34, 17. Mai 2012 (CEST) | ||
+ | |||
==Kommentar zu Lösungsvorschlag 1 von --[[Benutzer:*m.g.*|*m.g.*]] 18:48, 17. Mai 2012 (CEST)== | ==Kommentar zu Lösungsvorschlag 1 von --[[Benutzer:*m.g.*|*m.g.*]] 18:48, 17. Mai 2012 (CEST)== | ||
*<math>\operatorname{koll}\left(A,B,C\right)</math> bedeutet, dass die drei Punkte auf ein und derselben Geraden liegen, alles was hinter dem und kommt ist somit "doppelt gemoppelt", also weglassen. | *<math>\operatorname{koll}\left(A,B,C\right)</math> bedeutet, dass die drei Punkte auf ein und derselben Geraden liegen, alles was hinter dem und kommt ist somit "doppelt gemoppelt", also weglassen. | ||
Zeile 53: | Zeile 54: | ||
*Es ist klar, dass die Beweisführung unter diesen Umständen daneben gehen muss. Am Anfang des Beweises steht, dass <math>B</math> zwischen <math>A</math> und <math>C</math> liegt. Warum sollte das so sein? Am Ende des Beweises ergibt sich dann, dass<math> A</math>, <math>B</math> und<math> C</math> drei Punkte ein und derselben Geraden sind. Das war doch die Voraussetzung des Satzes überhaupt. Wir erinnern uns: Wenn <math>A</math>, <math>B</math> und <math>C</math> Punkte ein und derselben Geraden sind, dann ... . Also wie durch Zauber haben wir zu Anfang der Beweisführung drei Punkte von denen <math>B</math> zwischen <math>A</math> und <math>C</math> liegt und am Ende kommt heraus, dass die drei Punkte Punkte ein und derselben Geraden sind. Zusammengefasst: Wenn <math>A</math>, <math>B</math> und <math>C</math> Punkte ein und derselben geraden sind, dann sind <math>A</math>, <math>B</math> und <math>C</math> Punkte ein und derselben Geraden: Wieder mal: Wenn du kein iPhone hast, dann hast du kein iPhone. | *Es ist klar, dass die Beweisführung unter diesen Umständen daneben gehen muss. Am Anfang des Beweises steht, dass <math>B</math> zwischen <math>A</math> und <math>C</math> liegt. Warum sollte das so sein? Am Ende des Beweises ergibt sich dann, dass<math> A</math>, <math>B</math> und<math> C</math> drei Punkte ein und derselben Geraden sind. Das war doch die Voraussetzung des Satzes überhaupt. Wir erinnern uns: Wenn <math>A</math>, <math>B</math> und <math>C</math> Punkte ein und derselben Geraden sind, dann ... . Also wie durch Zauber haben wir zu Anfang der Beweisführung drei Punkte von denen <math>B</math> zwischen <math>A</math> und <math>C</math> liegt und am Ende kommt heraus, dass die drei Punkte Punkte ein und derselben Geraden sind. Zusammengefasst: Wenn <math>A</math>, <math>B</math> und <math>C</math> Punkte ein und derselben geraden sind, dann sind <math>A</math>, <math>B</math> und <math>C</math> 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.--[[Benutzer:*m.g.*|*m.g.*]] 19:23, 17. Mai 2012 (CEST) | 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.--[[Benutzer:*m.g.*|*m.g.*]] 19:23, 17. Mai 2012 (CEST) | ||
− | ==Ein wenig Hilfe== | + | ==Ein wenig Hilfe (M.G.)== |
Teile und Herrsche ist ein Konzept zum Lösen von Problemen. Sie haben eigentlich zwei Probleme: | 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 von A, B und C einer zwischen den beiden anderen liegt. | ||
Zeile 60: | Zeile 61: | ||
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.--[[Benutzer:*m.g.*|*m.g.*]] 19:40, 17. Mai 2012 (CEST)<br /><br /> | 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.--[[Benutzer:*m.g.*|*m.g.*]] 19:40, 17. Mai 2012 (CEST)<br /><br /> | ||
− | + | == Lösungsvorschlag 3 (Kopernikus) == | |
− | == | + | |
<br />Von drei paarweise verschiedenen Punkten <math>\ A, B</math> und <math>\ C</math> ein und derselben Geraden <math>\ g</math> liegt genau einer zwischen den beiden anderen. | <br />Von drei paarweise verschiedenen Punkten <math>\ A, B</math> und <math>\ C</math> ein und derselben Geraden <math>\ g</math> liegt genau einer zwischen den beiden anderen. | ||
Beweisen Sie diesen Satz.<br /> | Beweisen Sie diesen Satz.<br /> | ||
− | Vor: <math>A</math> <math>\not\equiv</math> <math>B</math> <math>\not\equiv</math> <math>C</math> <math>\wedge</math> <math>A</math>,<math>B</math>,<math>C</math> <math>\in</math> <math>g</math> ''(paarw. versch)''<br /> | + | Vor: <math>A</math> <math>\not\equiv</math> <math>B</math> <math>\not\equiv</math> <math>C\not\equiv A</math> <math>\wedge</math> <math>A</math>,<math>B</math>,<math>C</math> <math>\in</math> <math>g</math> ''(paarw. versch)''<br /> |
− | Beh: | + | Beh: Zw(A,B,C) oder Zw(B,C,A) oder Zw(C,A,B)<br /> |
Direkter Beweis:<br /> | Direkter Beweis:<br /> | ||
Zeile 79: | Zeile 79: | ||
|- | |- | ||
| I | | I | ||
− | | <math>A</math> <math>\not\equiv</math> <math>B</math> <math>\not\equiv</math> <math>C</math> <math>\wedge</math> <math>A</math>,<math>B</math>,<math>C</math> <math>\in</math> <math>g</math> ''(paarw. versch)''<br /> | + | | <math>A</math> <math>\not\equiv</math> <math>B</math> <math>\not\equiv</math> <math>C\not\equiv A</math> <math>\wedge</math> <math>A</math>,<math>B</math>,<math>C</math> <math>\in</math> <math>g</math> ''(paarw. versch)''<br /> |
| Vor: | | Vor: | ||
|- | |- | ||
| II | | II | ||
− | | koll(A | + | | koll(A,B,C) |
| def. Koll | | def. Koll | ||
|- | |- | ||
| III | | III | ||
− | | | + | | |AB| + |BC| = |AC| o.B.d.A |
− | | II, | + | | II, Axiom II/3 (Dreiecksungleichung)(an dieser Stelle halte ich es für besser, wenn man sagt, dass eine der Gleichungen aus Axiom II/3 gilt, da man dann im nächsten Schritt sagen kann, dass eine der drei Zwischenrelationen Zw(A,B,C)oder Zw(A,C,B) oder Zw(C,A,B) gilt. Dies entspricht dann deiner Behauptung.--[[Benutzer:Andreas|Tutor Andreas]] 11:51, 19. Jun. 2012 (CEST) |
|- | |- | ||
| IV | | IV | ||
− | | | + | | Zw(A,B,C) |
− | | | + | | Def. II.2 (Zwischenrelation), III, Vor. I |
|- | |- | ||
| V | | V | ||
| Beh. ist war | | Beh. ist war | ||
| q.e.d | | q.e.d | ||
− | |}<br />--[[Benutzer:Kopernikus|Kopernikus]] 14:19, 20. Mai 2012 (CEST) | + | |}<br />--[[Benutzer:Kopernikus|Kopernikus]] 14:19, 20. Mai 2012 (CEST) <br/> |
+ | |||
+ | == Lösungsvorschlag 4 (RitterSport)== | ||
+ | Ich glaube mein Lösungsvorschlag geht in ähnliche Richtung: <br/> | ||
+ | Vor.: koll(A,B,C) und <math>A \neq B \neq C \neq A</math><br/> | ||
+ | o.B.d.A nehmen wir an: <br/> | ||
+ | '''Schritt (1): |AB|+|BC|=|AC|''' <br/> | ||
+ | Das dürfen wir, wegen Axiom II/3 und der Vor. (koll(A,B,C)) <br/> | ||
+ | daraus folgt dann '''Schritt (2): |AC|>|AB| und |AC|>|BC|''', wegen Vor. <math>A \neq B \neq C \neq A</math> und Schritt (1)) <br/> | ||
+ | '''Schritt(3) nichtZw(A,C,B) oder nichtZw(B,A,C)''' (es kann weder A noch B dazwischen liegen) wegen (2)<br/> | ||
+ | '''Schritt(4) Zw(A,B,C)''' wegen (3) <br/> | ||
+ | sorry, wegen der unschönen Lesbarkeit ;) <br/> | ||
+ | --[[Benutzer:RitterSport|RitterSport]] 16:16, 20. Mai 2012 (CEST) | ||
+ | |||
+ | Dieses o.B.d.A. halte ich an dieser Stelle für sehr fragwürdig, da man ja erst beweisen soll, dass überhaupt eine der Gleichungen aus dem Axiom zutrifft, um dann auf die Zwischenrelation zu schließen. --[[Benutzer:Andreas|Tutor Andreas]] 12:05, 19. Jun. 2012 (CEST) | ||
+ | Schritt 3 kann nur aus Schritt 2 gefolgert werden, wenn Zw(A,B,C) gilt. Dies wird aber angenommen. Wie sieht es aus, wenn z.B. Zw(B,A,C) gilt? Die Lösungsidee finde ich eigentlich ganz gut, aber man sollte es noch etwas anders aufschreiben. --[[Benutzer:Andreas|Tutor Andreas]] 12:05, 19. Jun. 2012 (CEST) | ||
+ | |||
+ | ==Lösungsvorschlag 5 (Wokkow)== | ||
+ | Ich möchte im Voraus sagen, dass dies ein Lösungsvorschlag ist, aber ich wusste nicht, wie man das im Geowiki macht, ich bin nur hier hereingekommen. Und außerdem behandelt es Aufgabe 5.1. Echt sorry! | ||
+ | |||
+ | @Wokkow Passt schon, ich habe es hier her kopiert. Damit derjenige, der zunächst nur die Aufgabe haben will und nicht durch andere Lösungsvorschläge kanalisiert werden möchte, diese Möglichkeit auch bekommt, legen wie die Lösungen immer extra in eine datei, Sie brauchen nur auf den Link, der mit Lösung beginnt klicken und schon sind sie dort wo Sie hin --[[Benutzer:*m.g.*|*m.g.*]] 18:04, 20. Mai 2012 (CEST)wollen. | ||
+ | |||
+ | Vorauss.: <math>A \neq B \neq C \neq A</math> und koll(A,B,C) | ||
+ | Beh.: O.B.d.A. Zw(A,B,C) | ||
+ | |||
+ | '''Beweis der Existenz:''' | ||
+ | Annahme: nicht Zw(A,B,C) | ||
+ | 1. d.h. <math>\overline{AB} + \overline{BC} \neq \overline{AC}</math> | ||
+ | (da Annahme und Kontraposition der Zwischenrelation) | ||
+ | 2. nkoll(A,B,C) | ||
+ | (da Kontraposition der Dreiecksungleichung: koll(A,B,C)<math>\Rightarrow</math> O.B.d.A. <math>\overline{AB} + \overline{BC} = \overline{AC}</math> ) | ||
+ | Widerspruch zur Voraussetzung | ||
+ | |||
+ | '''Beweis der Eindeutigkeit:''' | ||
+ | Vorauss.: Zw(A,B,C) | ||
+ | Beh.: <math>\neg Zw (A,C,B) und \neg Zw(B,A,C)</math> | ||
+ | Annahme: Zw(A,C,B) | ||
+ | 1.<math>\overline{AC} + \overline{CB} = \overline{AB}</math> | ||
+ | (da Annahme) | ||
+ | 2. d.h. <math>\overline{AC} < \overline{AB} und \overline{CB} < \overline{AB}</math> | ||
+ | Widerspruch zur Annahme, da dort gefordert ist: <math>\overline{AB} < \overline{AC}</math> | ||
+ | |||
+ | --Wokkow 12:17, 20. Mai 2012 (CEST)<br /><br /> | ||
+ | '''Anmerkung zum Beweis von Wokkow:'''<br /> | ||
+ | Sie haben genau die richtigen Ideen gehabt! Vielleicht können Sie im zweiten Teil den Widerspruch nochmal deutlicher rausstellen, dann ist er leichter nachvollziehbar. Woher wissen Sie, dass <math>\overline{AC} < \overline{AB}</math> ? Welche Axiome haben Sie (wahrscheinlich unbewusst) verwendet?--[[Benutzer:Buchner|Buchner]] 10:54, 22. Mai 2012 (CEST) | ||
+ | |||
+ | == Lösungsvorschlag 6 (oz44oz) == | ||
+ | |||
+ | [[Datei:Aufgabe_5.1_1.jpg|600px]] | ||
+ | |||
+ | |||
+ | [[Datei:Aufgabe_5.1_2.jpg|600px]] --[[Benutzer:Oz44oz|Oz44oz]] 09:00, 21. Mai 2012 (CEST)<br /> | ||
+ | |||
+ | Bei dem Beweis der Existenz darf man die Zwischenrelationen und die Gleichungen nicht mit einem mathematischen "Oder" verknüpfen, da ja sonst alle gelten könnten. Es muss ein ausschließendes "Oder" sein. Also besser "oder" in Worten schreiben.--[[Benutzer:Andreas|Tutor Andreas]] 12:08, 19. Jun. 2012 (CEST) | ||
+ | |||
+ | Wenn man sagen will, dass drei Punkte paarweise verschieden sind, dann reicht es nicht aus, dass man <math>A\neq B \neq C</math> schreibt. Als Beispiel <math>2 \neq 3 \neq 2</math>. Daran sieht man auch, dass die "Ungleich-Realtion" nicht transitiv ist. Deshalb muss man <math>A \neq B \neq C \neq A</math> schreiben, wenn man sagen möchte, dass A,B,C paarw. verschieden sind. --[[Benutzer:Andreas|Tutor Andreas]] 11:42, 19. Jun. 2012 (CEST) |
Aktuelle Version vom 19. Juni 2012, 12:09 Uhr
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 (Neran69)
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
Zu Lösungsvorschlag 2 von Neran69:
Hm...Was ist die Behauptung? Sie haben die Behauptung meiner Meinung nach so verstanden: Ein Punkt liegt genau dazwischen, d.h. er liegt auf der Strecke zwischen den beiden anderen Punkten und bildet somit kein Dreieck. Das ist aber nicht gemeint! Gemeint ist: Es kann nur entweder A in der Mitte liegen, oder B oder C. Also es gilt genau EINE von den drei möglichen Zwischenrelationen. Siehe auch Hinweise von m.g.--Buchner 13:31, 18. Mai 2012 (CEST)
Lösungsvorschlag 1 (Gilmore)
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 (M.G.)
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)
Lösungsvorschlag 3 (Kopernikus)
Von drei paarweise verschiedenen Punkten und
ein und derselben Geraden
liegt genau einer zwischen den beiden anderen.
Beweisen Sie diesen Satz.
Vor:
,
,
(paarw. versch)
Beh: Zw(A,B,C) oder Zw(B,C,A) oder Zw(C,A,B)
Direkter Beweis:
Beweisschritt | Beweis | Begründung |
---|---|---|
I | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Vor: |
II | koll(A,B,C) | def. Koll |
III | AB| + |BC| = |AC| o.B.d.A | II, Axiom II/3 (Dreiecksungleichung)(an dieser Stelle halte ich es für besser, wenn man sagt, dass eine der Gleichungen aus Axiom II/3 gilt, da man dann im nächsten Schritt sagen kann, dass eine der drei Zwischenrelationen Zw(A,B,C)oder Zw(A,C,B) oder Zw(C,A,B) gilt. Dies entspricht dann deiner Behauptung.--Tutor Andreas 11:51, 19. Jun. 2012 (CEST) |
IV | Zw(A,B,C) | Def. II.2 (Zwischenrelation), III, Vor. I |
V | Beh. ist war | q.e.d |
--Kopernikus 14:19, 20. Mai 2012 (CEST)
Lösungsvorschlag 4 (RitterSport)
Ich glaube mein Lösungsvorschlag geht in ähnliche Richtung:
Vor.: koll(A,B,C) und
o.B.d.A nehmen wir an:
Schritt (1): |AB|+|BC|=|AC|
Das dürfen wir, wegen Axiom II/3 und der Vor. (koll(A,B,C))
daraus folgt dann Schritt (2): |AC|>|AB| und |AC|>|BC|, wegen Vor. und Schritt (1))
Schritt(3) nichtZw(A,C,B) oder nichtZw(B,A,C) (es kann weder A noch B dazwischen liegen) wegen (2)
Schritt(4) Zw(A,B,C) wegen (3)
sorry, wegen der unschönen Lesbarkeit ;)
--RitterSport 16:16, 20. Mai 2012 (CEST)
Dieses o.B.d.A. halte ich an dieser Stelle für sehr fragwürdig, da man ja erst beweisen soll, dass überhaupt eine der Gleichungen aus dem Axiom zutrifft, um dann auf die Zwischenrelation zu schließen. --Tutor Andreas 12:05, 19. Jun. 2012 (CEST) Schritt 3 kann nur aus Schritt 2 gefolgert werden, wenn Zw(A,B,C) gilt. Dies wird aber angenommen. Wie sieht es aus, wenn z.B. Zw(B,A,C) gilt? Die Lösungsidee finde ich eigentlich ganz gut, aber man sollte es noch etwas anders aufschreiben. --Tutor Andreas 12:05, 19. Jun. 2012 (CEST)
Lösungsvorschlag 5 (Wokkow)
Ich möchte im Voraus sagen, dass dies ein Lösungsvorschlag ist, aber ich wusste nicht, wie man das im Geowiki macht, ich bin nur hier hereingekommen. Und außerdem behandelt es Aufgabe 5.1. Echt sorry!
@Wokkow Passt schon, ich habe es hier her kopiert. Damit derjenige, der zunächst nur die Aufgabe haben will und nicht durch andere Lösungsvorschläge kanalisiert werden möchte, diese Möglichkeit auch bekommt, legen wie die Lösungen immer extra in eine datei, Sie brauchen nur auf den Link, der mit Lösung beginnt klicken und schon sind sie dort wo Sie hin --*m.g.* 18:04, 20. Mai 2012 (CEST)wollen.
Vorauss.: und koll(A,B,C)
Beh.: O.B.d.A. Zw(A,B,C)
Beweis der Existenz:
Annahme: nicht Zw(A,B,C)
1. d.h.
(da Annahme und Kontraposition der Zwischenrelation)
2. nkoll(A,B,C)
(da Kontraposition der Dreiecksungleichung: koll(A,B,C)O.B.d.A.
)
Widerspruch zur Voraussetzung
Beweis der Eindeutigkeit:
Vorauss.: Zw(A,B,C)
Beh.:
Annahme: Zw(A,C,B)
1.
(da Annahme)
2. d.h.
Widerspruch zur Annahme, da dort gefordert ist:
--Wokkow 12:17, 20. Mai 2012 (CEST)
Anmerkung zum Beweis von Wokkow:
Sie haben genau die richtigen Ideen gehabt! Vielleicht können Sie im zweiten Teil den Widerspruch nochmal deutlicher rausstellen, dann ist er leichter nachvollziehbar. Woher wissen Sie, dass ? Welche Axiome haben Sie (wahrscheinlich unbewusst) verwendet?--Buchner 10:54, 22. Mai 2012 (CEST)
Lösungsvorschlag 6 (oz44oz)
--Oz44oz 09:00, 21. Mai 2012 (CEST)
Bei dem Beweis der Existenz darf man die Zwischenrelationen und die Gleichungen nicht mit einem mathematischen "Oder" verknüpfen, da ja sonst alle gelten könnten. Es muss ein ausschließendes "Oder" sein. Also besser "oder" in Worten schreiben.--Tutor Andreas 12:08, 19. Jun. 2012 (CEST)
Wenn man sagen will, dass drei Punkte paarweise verschieden sind, dann reicht es nicht aus, dass man schreibt. Als Beispiel
. Daran sieht man auch, dass die "Ungleich-Realtion" nicht transitiv ist. Deshalb muss man
schreiben, wenn man sagen möchte, dass A,B,C paarw. verschieden sind. --Tutor Andreas 11:42, 19. Jun. 2012 (CEST)