Lösung von Aufgabe 12.4: Unterschied zwischen den Versionen
TimoRR (Diskussion | Beiträge) |
TimoRR (Diskussion | Beiträge) |
||
Zeile 1: | Zeile 1: | ||
Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt <math>\ P</math> auf eine Gerade <math>\ g</math>. | Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt <math>\ P</math> auf eine Gerade <math>\ g</math>. | ||
− | siehe [[ | + | siehe [[Beweis der Existenz und Eindeutigkeit des Lotes:]] --[[Benutzer:TimoRR|TimoRR]] 16:51, 20. Jul. 2010 (UTC) |
==== Existenz ==== | ==== Existenz ==== |
Version vom 20. Juli 2010, 18:52 Uhr
Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt auf eine Gerade .
siehe Beweis der Existenz und Eindeutigkeit des Lotes: --TimoRR 16:51, 20. Jul. 2010 (UTC)
Existenz
Voraussetzung: Gerade , Punkt
Behauptung: Es existiert ein Lot von auf mit Lotfußpunkt
Analoge Behauptung (Definition von Lot) Es existiert eine Senkrechte auf , die durch geht.
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | Es existiert ein Punkt , der Abstand zu P beträgt | Axiom I/1 (Axiom von der Geraden), Axiom III.1 (Axiom vom Lineal) |
(II) | Am Scheitelpunkt wird an der Gerade der Winkel in die Halbebene abgetragen. | Winkelkonstruktionsaxiom |
(III) | Auf dem entstanden Strahl trägt man die Länge von ab. Es entsteht der Punkt . | Axiom III.1 (Axiom vom Lineal) |
(IV) | . Der Schnittpunkt sei . | und liegen in unterschiedlichen Halbebenen bezogen auf . |
(V) | Es entstehen zwei kongruente Dreiecke und | SWS
S - (III)
|
(VI) | Die Winkel an sind rechte Winkel | (IV), (V), kongruente Nebenwinkel sind rechte Winkel (Definition V.6 : Rechter Winkel) |
(VII) | steht senkrecht auf ist Lotgerade, ist Lot(strecke) | (VI), Definition Lot |
Kleine Anmerkung: Bei Schritt (II) muss man an sich auch definieren, dass der Winkel bezüglich in der selben Halbebene liegt wie . An dieser Stelle wurde es wg. besserer Übersicht weggelassen.
Eindeutigkeit
Voraussetzung: Gerade , Punkt , Lot von auf mit Lotfußpunkt
Behauptung: Es existiert genau ein Lot von auf .
Indirekter Beweis - Annahme: Es existieren zwei "Lote" von auf .
Annahme: Es existiert ein zweiter Lotfußpunkt
Nr. | Beweisschritt | Begründung |
---|---|---|
(I) | Es existiert ein Dreieck | VSS, Punkte sind nicht kollinear, da laut Definition Lot und Lotfußpunkt. |
(II) | Annahme, ist Lotfußpunkt | |
(III) | VSS, ist Lotfußpunkt | |
(IV) | Außenwinkel von | Supplementaxiom |
(V) | Außenwinkel von
|
Schwacher Außenwinkelsatz |
(VI) | Annahme muss verworfen werden | Widerspruch zwischen (V) und (III) !!! |
--Heinzvaneugen 00:27, 13. Jul. 2010 (UTC)