Lösung von Aufgabe 6.3 S (SoSe 12): Unterschied zwischen den Versionen
*m.g.* (Diskussion | Beiträge) (→Bemerkungen M.G.) |
(→Kommentar Snooth:) |
||
(2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 173: | Zeile 173: | ||
Hinweis: Das Tabellenschema hilft häufig, aber nicht immer. Versuchen Sie es mitunter auch anders.--[[Benutzer:*m.g.*|*m.g.*]] 17:47, 16. Jun. 2012 (CEST) | Hinweis: Das Tabellenschema hilft häufig, aber nicht immer. Versuchen Sie es mitunter auch anders.--[[Benutzer:*m.g.*|*m.g.*]] 17:47, 16. Jun. 2012 (CEST) | ||
+ | <br /> | ||
+ | Danke für die Hilfe! --[[Benutzer:Nummero6|Tchu Tcha Tcha]] 20:55, 16. Jun. 2012 (CEST) | ||
+ | |||
+ | ==Kommentar Snooth:== | ||
+ | Danke für den Hinweis! So ist es viel überschaubarer. Ich hatte mir den Tipp von "Buchner" zu Herzen genommen, dass der Widerspruch etwas mit dem Axiom vom Lineal zu tun haben sollte.<br /> | ||
+ | Ich bin auf jeden Fall erleichtert, dass es legitim ist, auch einfacher vorzugehen. | ||
+ | --[[Benutzer:Snooth|Snooth]] 20:08, 16. Jun. 2012 (CEST) | ||
+ | <br /><br /> | ||
+ | Es ist eigentlich egal, ob Sie sagen:<br /> | ||
+ | Nach Annahme sind die Punkte verschieden und das ist ein Widerspruch zum Axiom vom Lineal (Ihre Lösung) ODER<br /> | ||
+ | Nach Axiom vom Lineal müssen die Punkte identisch sein und das ist ein Widerspruch zur Annahme.<br /> | ||
+ | Es steckt genau dieselbe Idee dahinter- machen Sie´s so, wie es Ihnen leichter fällt.<br />--[[Benutzer:Buchner|Buchner]] 17:54, 17. Jun. 2012 (CEST) |
Aktuelle Version vom 17. Juni 2012, 17:54 Uhr
Inhaltsverzeichnis |
Aufgabe 6.3
Beweisen Sie: Jede Strecke hat höchstens einen Mittelpunkt.
--H2O 20:07, 28. Mai 2012 (CEST) und keinKurpfälzer
Anmerkungen von Buchner
Leider kann ich das eingescannte Dokument nicht so gut lesen unten.
Zu Ihrem ersten Beweisversuch. Die Annahme und die ersten Schritte sind gut. Ab Schritt 5 macht der Beweis für mich aber keinen Sinn. Rechnen Sie doch mal mit den Gleichungen aus Schritt 3 und 4 weiter!
Kleiner Tipp: Der Widerspruch sollte was mit dem Axiom vom Lineal zu tun haben!--Buchner 16:18, 31. Mai 2012 (CEST)
Ich kann leider immer noch nicht diese Zeichen einfügen, deswegen ist meine Lösung ohne Formeln^^
Vorraussetzung: Strecke AB mit Mittelpunkt M
Behauptung: Es gibt keinen weiteren Mittelpunkt N, der nicht zu M identisch ist
Annahme: Es gibt noch weitere Mittelpunkte N, die nicht zu M identisch sind
Beweis:
(1) Es gibt ein M, das auf AB liegt und zu A den Abstand AM hat, dieser Abstand ist gleich MB, also AB/2 | Vor., Def. Mittelp.
(2) Es gibt einen weiteren Punkt N ungleich M, der ebenfalls auf AB liegt und von A den Abstand AB/2 hat | Beh., Def. Mittelp.
Widerspruch zum Axiom vom Lineal (denn es gibt nur genau einen Punkt mit Abstand x zu A)
--Monsta 13:15, 5. Jun. 2012 (CEST)
Anmerkungen von Buchner zu Monstas Beweis
Das sieht schon sehr gut aus!
Vor, Beh und Ann sind absolut korrekt.
Schritt eins ist auch in Ordnung- ergänzen Sie noch in der Begründung, dass Sie sich auf den Existenzbeweis beziehen. (Die Definition sagt nämlich noch nicht aus, dass , aber das wissen wir aus dem Existenzbeweis.)
In Schritt zwei wirds jetzt unsauber. Nach Annahme ist N eine weiterer, von M verschiedener Mittelpunkt. Nach Definition für Mittelpunkt gilt: und
. Dass
ist, müssen Sie noch zeigen (Sie dürfen das also nicht einfach annhemen) . Hier fehlen ein, zwei Zwischenschritte. Ansonsten schon wirklich gut!
--Buchner 12:11, 6. Jun. 2012 (CEST)
Noch ein Versuch:
- Def. (Mittelpunkt einer Strecke):
Wenn ein Punkteiner Strecke
zu den beiden Endpunkten
und
jeweils ein und denselben Abstand hat,
heißtder Mittelpunkt der Strecke
.
was nun zu zeigen wäre: Jede Strecke hat höchstens einen Mittelpunkt.
- Vor.:
mit Mittelpunkt
.
- Beh.: Es gibt genau einen Punkt
einer Strecke
, der zu den beiden Endpunkten
und
jeweils ein und denselben Abstand hat.
- Ann.: Es gibt zwei nichtidentische Punkte
und
einer Strecke
, die zu den beiden Endpunkten
und
jeweils ein und denselben Abstand haben.
Schritt | Begr. | |
---|---|---|
(1) | ![]() |
Beh.; Def. Mittelpunkt |
(2) | ![]() |
Existenzbeweis |
(3) | ![]() |
Ann. |
(4) | ![]() |
(1); (2); Rechnen in R |
(5) | ![]() |
(2); (3); Rechnen in R |
(6) | ![]() |
(5); Rechnen in R |
(7) | Es gibt einen weiteren Punkt ![]() |
(6) |
Widerspruch zu Axiom III.1 (Axiom vom Lineal), nach dem es nur genau einen Punkt gibt, für welchen (7) gilt! |
--Snooth 13:14, 16. Jun. 2012 (CEST)
Lösungsversuch Nummero6/Tchu Tcha Tcha:
zu zeigen: Jede Strecke hat höchstens einen Mittelpunkt.
- Vor.:
(V1)
(V2)Mittelpunktmit
- Beh.:
Es gibt höchstens einen Mittelpunkt einer Strecke.
- Ann.:
Es gibt zwei nichtidentische Mittelpunkte (nicht
) einer Strecke
.
Schritt | Begr. | |
---|---|---|
(1) | ![]() |
Vor.; Def. Mittelpunkt |
(2) | ![]() |
Existenzbeweis |
(3) | ![]() ![]() |
Def. Mittelpunkt |
(4) | ![]() |
(3) |
(5) | ![]() |
(4); Def. Zw. |
(6) | ![]() |
(3); (5) |
(7) | ![]() |
(6); Rechnen in R |
(8) | ![]() |
(2); Rechnen in R |
(9) | ![]() |
(7); (8) |
(10) | ![]() |
(2); (9) |
(11) | Es gibt einen weiteren Punkt ![]() |
(10) |
Widerspruch zu Axiom III.1 (Axiom vom Lineal), nach dem es nur genau einen Punkt geben darf, für welchen (11) gilt! Daher muss ![]() Die Annahme ist dadurch zu verwerfen. Die Behauptung stimmt. qed |
--Tchu Tcha Tcha 15:26, 16. Jun. 2012 (CEST)
Bemerkungen M.G.
Die Versuche (Snooth und Nummero6) sind prinzipiell in Ordnung. Sie machen sich das leben jedoch ein wenig zu schwer. Auf den Existenzbeweis muss man eigentlich keinen Bezug nehmen. Man könnte die Eindeutigkeit nämlich auch vor der Existenz zeigen.
Wir nehmen an, dass eine Stecke die beiden verschiedenen Mittelpunkte
und
besitzt.
Entsprechend der Definition Mittelpunkt einer Strecke würde gelten:
(1) ,
(2) .
Aus (1) und (2) folgt sofort:
Nun gibt es auf genau einen Punkt
der zu
den Abstand
hat.
Damit müssen und
identisch sein, was ein Widerspruch zu unserer Annahme ist.
Vom Prinzip her sind Ihre Beweise wie meiner. Ich brauche jedoch die Existenzgeschichte nicht. Es interessiert mich bei diesem Beweis gar nicht, ob irgend ein Mittelpunkt existiert. Ich zeige: Falls es welche geben sollte, dann nicht mehr als einen.--*m.g.* 17:47, 16. Jun. 2012 (CEST)
Hinweis: Das Tabellenschema hilft häufig, aber nicht immer. Versuchen Sie es mitunter auch anders.--*m.g.* 17:47, 16. Jun. 2012 (CEST)
Danke für die Hilfe! --Tchu Tcha Tcha 20:55, 16. Jun. 2012 (CEST)
Kommentar Snooth:
Danke für den Hinweis! So ist es viel überschaubarer. Ich hatte mir den Tipp von "Buchner" zu Herzen genommen, dass der Widerspruch etwas mit dem Axiom vom Lineal zu tun haben sollte.
Ich bin auf jeden Fall erleichtert, dass es legitim ist, auch einfacher vorzugehen.
--Snooth 20:08, 16. Jun. 2012 (CEST)
Es ist eigentlich egal, ob Sie sagen:
Nach Annahme sind die Punkte verschieden und das ist ein Widerspruch zum Axiom vom Lineal (Ihre Lösung) ODER
Nach Axiom vom Lineal müssen die Punkte identisch sein und das ist ein Widerspruch zur Annahme.
Es steckt genau dieselbe Idee dahinter- machen Sie´s so, wie es Ihnen leichter fällt.
--Buchner 17:54, 17. Jun. 2012 (CEST)