Streckenantragen oder das Axiom vom Lineal (WS10/11): Unterschied zwischen den Versionen
(→Der Eindeutigkeitsbeweis) |
(→Der Eindeutigkeitsbeweis) |
||
Zeile 113: | Zeile 113: | ||
Zw(A,<math>\ M_1</math>,B) und Zw(A,<math>\ M_2</math>, B) | Zw(A,<math>\ M_1</math>,B) und Zw(A,<math>\ M_2</math>, B) | ||
− | 1) <math>\left| AM_1 \right|</math> | + | 1) <math>\left| AM_1 \right|</math> +<math>\left| AM \right|</math>= <math>\left| AB \right|</math>________laut Annahme und A/3 |
+ | 2) <math>\left| AM_2 \right|</math> +<math>\left| AM_2 \right|</math>= <math>\left| AB \right|</math>_________laut Annahme und A/3 | ||
+ | 3) <math>\left| AM_1 \right|</math>=<math>\left| BM_1 \right|</math>______________M ist Mittelpunkt der Strecke AB | ||
+ | <math>\left| AM_2 \right|</math>= <math>\left| BM_2 \right|</math> | ||
+ | 4)<math>\left| AM_1 \right|</math>= d/2 und <math>\left| AM_2 \right|</math>= d/2________________Widerspruch zum Axiom vom Lineal | ||
+ | <math>\left| BM_1 \right|</math>=d/2 und <math>\left| BM_2 \right|</math>= d/2 | ||
+ | |||
+ | Widerspruch zum Axiom vom Lineal, da auf dem Strahl AB+ genau ein Punkt M mit d/2 existiert. | ||
+ | 5) <math>\left| AM_1 \right|</math>=<math>\left| AM_2 \right|</math>_______________4) | ||
+ | <math>\left| BM_1 \right|</math>=<math>\left| BM_2 \right|</math> | ||
+ | 6) <math>\left| M_1 \right|</math>=<math>\left| M_2 \right|</math>_________________5) | ||
+ | 7) Annahme ist zu verwerfen | ||
+ | |||
[[Category:Einführung_Geometrie]] | [[Category:Einführung_Geometrie]] |
Version vom 29. November 2010, 18:37 Uhr
Inhaltsverzeichnis |
Der Mittelpunkt einer Strecke
Wir wissen nun, dass eine offene Strecke die Menge aller Punkte ist, die zwischen und liegen. Vereinigt man diese Menge mit der Menge der beiden Endpunkte und , so hat man die gesamte Strecke . Zu unseren grundlegenden Vorstellungen von Strecken gehört, dass jede Strecke einen Mittelpunkt hat. wäre der Punkt auf , der sowohl zu als auch zu denselben Abstand hat.
Definition III.1: (Mittelpunkt einer Strecke)
- Wenn ein Punkt der Strecke zu den Endpunkten und jeweils den selben Abstand hat, dann ist er der Mittelpunkt der Strecke .
Was das Definieren angeht, werden wir langsam vorsichtig. Definieren dürfen wir alles was wir wollen. Wir müssen uns dann allerdings die Frage nach Sinn und Korrektheit unserer Definition gefallen lassen. Von beidem dürften wir bezüglich Definition III.1 überzeugt sein, weshalb wir den folgenden Satz formulieren:
Satz III.1: (Existenz und Eindeutigkeit des Mittelpunkte einer Strecke)
- Jede Strecke hat genau einen Mittelpunkt.
Beweis der Existenz und Eindeutigkeit des Mittelpunktes einer Strecke
- Die Materie erscheint einsichtig und einfach. Übungsaufgabe?? Nichts ist einfach. Mit den bisher bereitgestellten axiomatischen Grundlagen unserer Geometrie wird es Ihnen nicht gelingen, etwa zu zeigen, dass jede Strecke einen Mittelpunkt besitzt.
Der Knackpunkt bezüglich des Nachweises der Existenz und Eindeutigkeit des Streckenmittelpunktes besteht darin, dass unsere derzeitige Theorie noch nicht genügend Punkte zu Verfügung stellt. Momentan muss unser Raum nicht mehr als 4 Punkte enthalten. Nach Axiom I.7 sind diese vier Punkte nicht komplanar, woraus folgt, dass je drei von ihnen nicht auf ein und derselben Geraden liegen. Damit könnte eine durch zwei verschiedene dieser vier Punkte eindeutig bestimmte Strecke gar keinen Mittelpunkt haben, denn dieser müsste entsprechend Definition III.1 bezüglich unserer zwei Endpunkte auf derselben Geraden liegen.
Es wird Zeit, die Anzahl Punkte unserer Theorie radikal zu erhöhen. Konzentrieren wir uns diesbezüglich zunächst auf einen Strahl . Nach unserer Vorstellung von Halbgeraden können wir nicht je zwei Punkten von genau eine nichtnegative reelle Zahl (den Abstand der beiden Punkte) zuordnen. Nach unseren Vorstellungen etwa von Zahlenstrahl gibt es auch zu jeder nicht negativen reellen Zahl d genau einen Punkt auf , der zu gerade den Abstand hat. Bei Konstruktionsaufgaben finden wir diese Idee im Zusammenhang mit dem Streckenantragen wieder.
Streckenantragen
Das Axiom vom Lineal
Wir sind überzeugt davon, dass unsere Konstruktion entsprechend des vorangegangenen Abschnitts immer funktioniert und der so gewonnene zweite Endpunkt unserer konstruierten Strecke eindeutig bestimmt ist. Die Idee des Streckenantragens müssen wir jetzt jedoch axiomatisch fordern bzw. begründen.
Axiom III.1: (Axiom vom Lineal)
- Zu jeder nicht negativen reelen Zahl gibt es auf jedem Strahl genau einen Punkt, der zum Anfangspunkt von den Abstand hat.
Zum Sprachgebrauch. Wir werden in kommenden Beweisen einzelne Beweisschritte häufig mit dem Axiom vom Lineal begründen müssen. Wir werden in einem solchen Fall ggf. auch mit der Existenz und Eindeutigkeit des Streckenantragens begründen. Letzteres ist schließlich nichts anderes als der Inhalt des Axioms vom Lineal.
Existenz und Eindeutigkeit des Mittelpunktes einer Strecke
Nachdem das Axiom vom Lineal formuliert wurde, wird es uns gelingen Satz III.1 zu beweisen.
Jetzt wirklich: Beweis von Satz III.1
noch einmal der Satz:
- Jede Strecke hat einen und nur einen Mittelpunkt.
Es sind also zwei Beweise zu führen:
- Existenzbeweis: Jede Strecke hat einen Mittelpunkt.
- Eindeutigkeitsbeweis: Jede Strecke hat nicht mehr als einen Mittelpunkt.
(Highlanderbeweis: Es kann nur einen geben.)
Der Existenzbeweis
- Es sei eine Strecke
- Behauptung:
- Es gibt einen Punkt auf der Strecke der zu den Endpunkten und jeweils ein und denselben Abstand hat.
- Behauptung:
- Die Behauptung noch mal: .
Der Beweis:
Beweisschritt | Begründung | |
---|---|---|
(I) | Axiom II.1 (Abstand vom Abstand) | |
(II) | Rechnen im Zahlenraum der reellen Zahlen | |
(III) | Axiom vom Lineal | |
(IV) | INDIREKTER BEWEIS (Beweis durch Widerspruch):
somit gilt die Annahme: | |
(V) | und damit | Wegen IV und der Definition der Zwischenrelation |
(VI) | Definition der Zwischenrelation Wegen II und III () | |
(VII) | Wegen VI, Rechnen im Zahlenraum der reellen Zahlen | |
(VIII) | Wegen VI und VII, Rechnen im Zahlenraum der reellen Zahlen | |
(IX) | ist der Mittelpunkt von | Nach Definition Mittelpunkt |
Der Eindeutigkeitsbeweis
Übungsaufgabe
- Hinweis: Nehmen Sie an, eine Strecke hätte zwei Mittelpunkte und .
Annahme: hat zwei Mittelpunkte und Zw(A,,B) und Zw(A,, B)
1) += ________laut Annahme und A/3 2) += _________laut Annahme und A/3 3) =______________M ist Mittelpunkt der Strecke AB = 4)= d/2 und = d/2________________Widerspruch zum Axiom vom Lineal =d/2 und = d/2
Widerspruch zum Axiom vom Lineal, da auf dem Strahl AB+ genau ein Punkt M mit d/2 existiert. 5) =_______________4) = 6) =_________________5) 7) Annahme ist zu verwerfen