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)





