Lösung von Aufgabe 7.10

Aus Geometrie-Wiki
Version vom 19. Juli 2010, 16:34 Uhr von Barbarossa (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche

Beweisen Sie: Jede Strecke hat höchstens einen Mittelpunkt.

Die Lösung von Maude001 ist korrekt - super! --Schnirch 09:57, 8. Jul. 2010 (UTC)

A--M--B

Voraussetzung: koll(A, M, B), zw (A, M, B), \overline{AM} = \overline{MB}

(gemeint ist: \vert AM \vert = \vert MB \vert) --Sternchen 13:25, 10. Jun. 2010 (UTC)

zu zeigen: Es gibt nur einen Punkt M, auf den die o.g. Sachverhalte zutreffen.

M = Mittelpunkt, da Definition III.1: (Mittelpunkt einer Strecke)

\overline{AM} ist eindeutig für \overline{AB} definiert Axiom II.1: (Abstandsaxiom)

--Nicola 13:52, 6. Jun. 2010 (UTC)


noch ein Versuch:
Satz III.1: Jede Strecke hat einen und nur einen Mittelpunkt.
1. Existenzbeweis bereits in der Vorlesung geführt.
2. Eindeutigkeitsbeweis: Jede Strecke hat höchstens einen Mittelpunkt.
Annahme: Es existieren zwei verschiedene Mittelpunkte  M_1 und  M_2 , die Element von  \overline { AB } sind.

Beweis
Nr. Beweisschritt Begründung
(I) \exist M_1 \in \overline { AB }: \left| AM_1 \right| = \left| M_1B \right|
\exist M_2 \in \overline { AB }: \left| AM_2 \right| = \left| M_2B \right|
Annahme
(II)  \operatorname{Zw} \left( A, M_1, B \right)
\operatorname{Zw} \left( A, M_2, B \right)
(I), Existenzbeweis, Def. (zw)
(III)  \left| AM_1 \right| + \left| M_1B \right| = \left| AB \right|
 \left| AM_2 \right| + \left| M_2B \right| = \left| AB \right|
Def (zw), (II)
(IV)  2\left| AM_1 \right| = \left| AB \right|
 2\left| AM_2 \right| = \left| AB \right|
(I), (III), Rechnen in  \mathbb{R}
(V)  \left| AM_1 \right|= {\left| AB \right| \over 2}
 \left| AM_2 \right|= {\left| AB \right| \over 2}
Rechnen in  \mathbb{R}  , (IV)
(VI)  \left| AM_1 \right|= \left| AM_2 \right| (V), Rechnen in  \mathbb{R}
(VII)  M_1 \equiv M_2
Widerspruch zur Annahme M_1 \not\equiv  M_2
Es existiert höchstens ein Mittelpunkt der Strecke  	\overline { AB } .
(VI)

--Maude001 13:16, 20. Jun. 2010 (UTC)


Mal eine generelle Frage:
Ist der Existenzbeweis im Falle des Mittelpunktes nicht schon ausreichend für die Eindeutigkeit des Mittelpunktes? Denn das Axiom II.1 und das Axiom vom Lineal, die für den Existenzbeweis verwendet wurden, machen ja schon eindeutige Aussagen.
Bei den Aufgaben Übung 7.1 und 7.2 war zumindest ein Beweis ausreichend. --Barbarossa 15:34, 19. Jul. 2010 (UTC)