Lösung von Aufgabe 10.3: Unterschied zwischen den Versionen
(→Beweis Versuch 1:) |
|||
Zeile 1: | Zeile 1: | ||
[[Mittelsenkrechte_und_Winkelhalbierende#Satz_VI.1:_.28Existenz_und_Eindeutigkeit_der_Mittelsenkrechten.29|Satz VI.1: Existenz und Eindeutigkeit der Mittelsenkrechten (in Formelschreibweise)]] | [[Mittelsenkrechte_und_Winkelhalbierende#Satz_VI.1:_.28Existenz_und_Eindeutigkeit_der_Mittelsenkrechten.29|Satz VI.1: Existenz und Eindeutigkeit der Mittelsenkrechten (in Formelschreibweise)]] | ||
+ | |||
+ | ==Lösung--[[Benutzer:Schnirch|Schnirch]] 13:14, 21. Jul. 2010 (UTC)== | ||
+ | Nach dem bereits bewiesenen Satz über die Existenz und Eindeutigkeit des Mittelpunkts, existiert zu jeder Strecke <math>\overline{AB}</math> genau ein Mittelpunkt <math>\ M </math>. Nach dem bereits bewiesenen Satz über die Existenz und Eindeutigkeit einer Senkrechten zu einer Geraden <math>\ g </math> durch einen beliebigen Punkt <math>\ P \in g </math> existiert genau eine Senkrechte auf eine Gerade <math>\ AB </math> durch den Mittelpunkt <math>\ M </math> der Strecke <math>\overline{AB} </math>. Diese existierende und eindeutige Senkrechte ist nach Definition die Mittelsenkrechte durch den Punkt <math>\ M </math> auf <math>\overline{AB} </math>. | ||
+ | |||
+ | ==vorangegangene Diskussion== | ||
== Beweis Versuch 1:== | == Beweis Versuch 1:== |
Aktuelle Version vom 21. Juli 2010, 15:14 Uhr
Satz VI.1: Existenz und Eindeutigkeit der Mittelsenkrechten (in Formelschreibweise)
Lösung--Schnirch 13:14, 21. Jul. 2010 (UTC)
Nach dem bereits bewiesenen Satz über die Existenz und Eindeutigkeit des Mittelpunkts, existiert zu jeder Strecke genau ein Mittelpunkt . Nach dem bereits bewiesenen Satz über die Existenz und Eindeutigkeit einer Senkrechten zu einer Geraden durch einen beliebigen Punkt existiert genau eine Senkrechte auf eine Gerade durch den Mittelpunkt der Strecke . Diese existierende und eindeutige Senkrechte ist nach Definition die Mittelsenkrechte durch den Punkt auf .
vorangegangene Diskussion
Beweis Versuch 1:
Satz VI.1: Existenz und Eindeutigkeit der Mittelsenkrechten:
Jede Stecke hat in jeder Ebenen, zu der die Strecke vollständig gehört, genau eine Mittelsenkrechte.
Als Voraussetzung ist die Strecke , die Ebene E zu benennen.
Nun ist zu zeigen, dass es in eine Gerade gibt, die die Mittelsenkrechte zur Strecke ist. Und, dass es nicht mehr als diese eine gibt.
(1) Es gibt ein Punkt , der zur Ebene E gehört, aber nicht zur Geraden .
(2) Es existiert genau ein Mittelpunkt auf der Strecke , nach Existenz und Eindeutigkeit Mittelpunkt.
(3) Es existiert ein Punkt in der Halbebenen und somit ein genau ein Strahl . Der Winkel hat das Maß 90, nach Winkelkonstruktionsaxiom.
(4) Die Gerade ist Mittelsenkrechte der Strecke .
Die Existenz und die Eindeutigkeit (wegen Winkelkonstruktionsaxiom) ist gezeigt.
qed --Löwenzahn 17:30, 1. Jul. 2010 (UTC)