Lösung von Aufgabe 12.4: Unterschied zwischen den Versionen
Zeile 21: | Zeile 21: | ||
|- | |- | ||
! style="background: #FFDDDD;"|(III) | ! style="background: #FFDDDD;"|(III) | ||
− | | | + | | Auf dem entstanden Strahl trägt man die Länge von <math>\ |AP|</math> an. Es entsteht der Punkt <math>\ P'</math>. |
− | | | + | | Axiom III.1 (Axiom vom Lineal) |
|- | |- | ||
! style="background: #FFDDDD;"|(IV) | ! style="background: #FFDDDD;"|(IV) | ||
− | | | + | | <math>\ PP' \cap g </math>. Der Schnittpunkt sei <math>\ L</math>. |
− | | | + | | Axiom III.2: Das Axiom von Pasch |
|- | |- | ||
! style="background: #FFDDDD;"|(V) | ! style="background: #FFDDDD;"|(V) | ||
− | | | + | | Es entstehen zwei kongruente Dreiecke <math>\overline {PLA}</math> und <math>\overline {P'LA}</math> |
− | | | + | | SWS |
+ | S - <math>\overline {PA} \cong \overline {P'A}</math> (III) | ||
+ | <br />W - <math>\alpha \cong \alpha'</math> (II) | ||
+ | <br />S - <math>\overline {AL} \cong \overline {AL}</math> trivial | ||
|- | |- | ||
! style="background: #FFDDDD;"|(VI) | ! style="background: #FFDDDD;"|(VI) | ||
− | | | + | | Die Winkel an <math>\ L</math> sind rechte Winkel |
− | | | + | | (IV), (V), kongruente Nebenwinkel sind rechte Winkel (Definition V.6 : Rechter Winkel) |
|- | |- | ||
! style="background: #FFDDDD;"|(VII) | ! style="background: #FFDDDD;"|(VII) | ||
− | | | + | | <math>\ PL</math> steht senkrecht auf <math>\ g \rightarrow PL</math> ist Lotgerade, <math>\overline {PL} \ </math> ist Lot(strecke) |
− | | | + | | (VI), Definition Lot |
|} | |} | ||
Version vom 20. Juli 2010, 14:37 Uhr
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) | Am Scheitelpunkt ![]() ![]() ![]() ![]() |
Winkelkonstruktionsaxiom |
(III) | Auf dem entstanden Strahl trägt man die Länge von ![]() ![]() |
Axiom III.1 (Axiom vom Lineal) |
(IV) | ![]() ![]() |
Axiom III.2: Das Axiom von Pasch |
(V) | Es entstehen zwei kongruente Dreiecke ![]() ![]() |
SWS
S - |
(VI) | Die Winkel an ![]() |
(IV), (V), kongruente Nebenwinkel sind rechte Winkel (Definition V.6 : Rechter Winkel) |
(VII) | ![]() ![]() ![]() |
(VI), Definition Lot |
Kleine Anmerkung: Bei Schritt (II) muss man an sich auch definieren, dass der Winkel bezüglich
in der selben Halbebene liegt. 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 ![]() ![]() |
(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)