Lösung von Aufgabe 7.10: Unterschied zwischen den Versionen
TimoRR (Diskussion | Beiträge) |
|||
Zeile 1: | Zeile 1: | ||
Beweisen Sie: Jede Strecke hat höchstens einen Mittelpunkt. | Beweisen Sie: Jede Strecke hat höchstens einen Mittelpunkt. | ||
− | + | <span style="color: blue">Die Lösung von Maude001 ist korrekt - super! --[[Benutzer:Schnirch|Schnirch]] 09:57, 8. Jul. 2010 (UTC) | |
A--M--B | A--M--B |
Version vom 8. Juli 2010, 10:57 Uhr
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), =
- (gemeint ist: ) --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)
ist eindeutig für 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 und , die Element von sind.
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | |
Annahme |
(II) | |
(I), Existenzbeweis, Def. (zw) |
(III) | |
Def (zw), (II) |
(IV) | |
(I), (III), Rechnen in |
(V) | |
Rechnen in , (IV) |
(VI) | (V), Rechnen in | |
(VII) | Widerspruch zur Annahme Es existiert höchstens ein Mittelpunkt der Strecke . |
(VI) |
--Maude001 13:16, 20. Jun. 2010 (UTC)