Lösung von Aufgabe 6.3 S (SoSe 12)

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 $\left| AM \right| = \frac{\left| AB \right|}{2}$, 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: $N \in \overline{AB}$ und $\left| AN \right| = \left| NB \right|$. Dass $\left| AN \right| =\frac{\left| AB \right|}{2}$ 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)

in progress:

Noch ein Versuch:

Def. (Mittelpunkt einer Strecke):

 Wenn ein Punkt $M$ einer Strecke $\overline {AB}$ zu den beiden Endpunkten $A$ und $B$
 jeweils ein und denselben Abstand hat, heißt $M$ der Mittelpunkt der Strecke $\overline {AB}$.

was nun zu zeigen wäre:
Jede Strecke hat höcstens einen Mittelpunkt.

--Snooth 13:14, 16. Jun. 2012 (CEST)