Lösung von Aufgabe 12.4
Aus Geometrie-Wiki
Version vom 20. Juli 2010, 11:55 Uhr von Heinzvaneugen (Diskussion | Beiträge)
Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt auf eine Gerade
.
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 ![]() ![]() |
Axiom I/1 (Axiom von der Geraden), Axiom III.1 (Axiom vom Lineal) |
(II) | tbc | |
(III) | ||
(IV) | ||
(V) | ||
(VI) | ||
(VII) | ||
(VIII) | ||
(IX) | ||
(X) |
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 ![]() ![]() |
(II) | ![]() |
Annahme, ![]() |
(III) | ![]() |
VSS, ![]() |
(IV) | Außenwinkel von ![]() |
Supplementaxiom |
(V) | ![]() ![]()
|
Schwacher Außenwinkelsatz |
(VI) | Annahme muss verworfen werden | Widerspruch zwischen (V) und (III) !!! |
--Heinzvaneugen 00:27, 13. Jul. 2010 (UTC)