Lösung von Aufgabe 12.4: Unterschied zwischen den Versionen

Version vom 20. Juli 2010, 16:43 Uhr

Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt $\ P$ auf eine Gerade $\ g$ .

Existenz

Voraussetzung: Gerade $\ g$ , Punkt $\ P \notin g$
Behauptung: Es existiert ein Lot $\ l$ von $\ P$ auf $\ g$ mit Lotfußpunkt $\ L$
Analoge Behauptung (Definition von Lot) Es existiert eine Senkrechte auf $\ g$ , die durch $\ P$ geht.

Nr.	Beweisschritt	Begründung
(I)	Es existiert ein Punkt $A \in g$ , der Abstand zu P beträgt $\|AP\| \$	Axiom I/1 (Axiom von der Geraden), Axiom III.1 (Axiom vom Lineal)
(II)	Am Scheitelpunkt $A \$ wird an der Gerade $g \$ der Winkel $\alpha \$ in die Halbebene $g,P^- \$ abgetragen.	Winkelkonstruktionsaxiom
(III)	Auf dem entstanden Strahl trägt man die Länge von $\ \|AP\|$ ab. Es entsteht der Punkt $\ P'$ .	Axiom III.1 (Axiom vom Lineal)
(IV)	$\ PP' \cap g$ . Der Schnittpunkt sei $\ L$ .	$\ P$ und $\ P'$ liegen in unterschiedlichen Halbebenen bezogen auf $\ g$ .
(V)	Es entstehen zwei kongruente Dreiecke $\overline {PLA}$ und $\overline {P'LA}$	SWS S - $\overline {PA} \cong \overline {P'A}$ (III) W - $\alpha \cong \alpha'$ (II) S - $\overline {AL} \cong \overline {AL}$ trivial
(VI)	Die Winkel an $\ L$ sind rechte Winkel	(IV), (V), kongruente Nebenwinkel sind rechte Winkel (Definition V.6 : Rechter Winkel)
(VII)	$\ PL$ steht senkrecht auf $\ g \rightarrow PL$ ist Lotgerade, $\overline {PL} \$ ist Lot(strecke)	(VI), Definition Lot

Kleine Anmerkung: Bei Schritt (II) muss man an sich auch definieren, dass der Winkel $\alpha' \$ bezüglich $AP \$ in der selben Halbebene liegt wie $\alpha \$ . An dieser Stelle wurde es wg. besserer Übersicht weggelassen.

Eindeutigkeit

Voraussetzung: Gerade $\ g$ , Punkt $\ P \notin g$ , Lot $\ l$ von $\ P$ auf $\ g$ mit Lotfußpunkt $\ L$
Behauptung: Es existiert genau ein Lot von $\ P$ auf $\ g$ .
Indirekter Beweis - Annahme: Es existieren zwei "Lote" von $\ P$ auf $\ g$ .
Annahme: Es existiert ein zweiter Lotfußpunkt $\ L'$

Nr.	Beweisschritt	Begründung
(I)	Es existiert ein Dreieck $\overline {PLL'}$	VSS, Punkte $\ L L' P$ sind nicht kollinear, da $\ L \in g \and L' \in g \and P \notin g$ laut Definition Lot und Lotfußpunkt.
(II)	$\|\angle LL'P\| = 90$	Annahme, $\ L'$ ist Lotfußpunkt
(III)	$\|\angle PLL'\| = 90$	VSS, $\ L$ ist Lotfußpunkt
(IV)	Außenwinkel von $\|\angle LL'P\| = 90$	Supplementaxiom
(V)	$\|\angle PLL'\| <$ Außenwinkel von $\|\angle LL'P\|$ $\|\angle PLL'\| < 90$	Schwacher Außenwinkelsatz
(VI)	Annahme muss verworfen werden	Widerspruch zwischen (V) und (III) !!!

--Heinzvaneugen 00:27, 13. Jul. 2010 (UTC)

@@ Zeile 21: / Zeile 21: @@
 |-
 ! 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>.
+| Auf dem entstanden Strahl trägt man die Länge von <math>\ |AP|</math> ab. Es entsteht der Punkt <math>\ P'</math>.
 | Axiom III.1 (Axiom vom Lineal)
 |-
 ! style="background: #FFDDDD;"|(IV)
 | <math>\ PP' \cap g </math>. Der Schnittpunkt sei <math>\ L</math>.
-| Axiom III.2: Das Axiom von Pasch
+| <math>\ P</math> und <math>\ P'</math> liegen in unterschiedlichen Halbebenen bezogen auf <math>\ g </math>.
 |-
 ! style="background: #FFDDDD;"|(V)
@@ Zeile 44: / Zeile 44: @@
 |}
-Kleine Anmerkung: Bei Schritt (II) muss man an sich auch definieren, dass der Winkel <math>\alpha \ </math> bezüglich <math>AP^+ \ </math> in der selben Halbebene liegt. An dieser Stelle wurde es wg. besserer Übersicht weggelassen.
+Kleine Anmerkung: Bei Schritt (II) muss man an sich auch definieren, dass der Winkel <math>\alpha' \ </math> bezüglich <math>AP \ </math> in der selben Halbebene liegt wie <math>\alpha \ </math>. An dieser Stelle wurde es wg. besserer Übersicht weggelassen.
 <ggb_applet width="1116" height="616"  version="3.2" ggbBase64="UEsDBBQACAAIAPhW9DwAAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VvbjuO2Gb5unoLwRdAWa4+ok2VkZgN3UjQLOF0jk26B3AxoiZa5lilHombseZ4+QBb7Bu39PlN/HuSDLHt9mllvjAEkk79I/t/3n0h5rr+fTRL0QLOcpfymgVtWA1EephHj8U2jEMNm0Pj+9TfXMU1jOsgIGqbZhIibhtOyG7K9YK+/+dN1PkofEUmUyDtGH28aQ5LktIHyaUZJlI8oFWvtpJixhJFs/nbwnoYiX3boQd7waQGziKyAtnAS9Vhefr1SE04TJn5gDyyiGUrS8Kbhe7B0uHtHM8FCktw0XEu32DcNu9IJTY7sHaUZe0q5kOLLwYfQglDOniggYsu26yul6DUtwoRFjHCpjFoHCCH0yCIxAlnH92FMyuIRLNbHrh4uTNMsupvngk7Q7FeapbC0Dm7hwG4HnuVg+LPdBprrLscHEpx223Ux9vzA6XiAIiwZ1uLZLQ9bnmsHvm+3LUs+tLVLTU0f7qgQwGWOyIwuUY4zFpXoyvs3+d/SJFp0T1PGxS2ZiiJTduCYpjsxl5MBcJnUscvjhJo2G2ga0XA8SGd3GjhHD/3LfKoeUesZxLdpkmYok5SAYrG5DvRVyciFLqQsJWMpCTOGHHTRjzu2klDXgb4qqYRxvTSjOC6VxlY5DcuRbIDBpfkulE/IgII5NFDBmeiVX8BsxkZVrB/4ZzEZgN+sGs5iTHyuMa+vKiZ3PaYZp4m2Kw7UFmmRowdpwHoutZCIhmwCX3WHgYRIuv4FC9CtEY0zWi5ce50GTPVaq7Zbab6+Khch15DDWkMB4QP0EVIX6d0CPOum8SNl/OmBcFrElDdQRITsln6U0AkFJxPKOJRtLUDqNxYRJVXBoTRU07+EGyaPmJpZSr81wvE91t3wdK0dKYsjyXREoKVlFE3IHCLJqupqup/SaB0QwgFYPaegUzmApG5KaWSipzD2jqYwpPKeFV4UnDmayfgJInOIBPL6pJ9VItrRZFhR0zrGCjRgn4GueyJ0o/MB93Y4zKmQmjZxR2naxC+Bq2VwxefE9XYT13XHXgJ70UYXHAtOmE4mhEeIkwnM04PYqhBhMksjYknLQwRLoDQIhSg7Yj2UGWADZxmmFyjGjfXILUYQIDnNc5VexGoiecbwYB3P06YZBgbpZrAYax/16G9cy+Q6PbAJ1DshE7t5Ufm4QsytJkbyY8vYWuXn04fdBKmksQAXpOXzoHNRat6CIsbpBNh3nA4ULYFzKkFsGz3Y2iQI7xuEbE8HIcepJRAfQA7JwhVXKRuTJH38mQ4TOlM06N6VNL6Fszsay/YKa/2StSpdg91s5Wa0EuvBOTxqLZQckTbO4lBlvmw6xqOcszmUAjiRYfMNF1B9UVXNbBZVY0qnspp9y3/JCM/lTmhfln9OBdQ+9a7pYK9l/fW/v2sP3aT89lsyTfPvdhNfyVfmkb2z1t6e6LuKWHkZ6Mvp1HotHzY6sHdxO27HdtqmXHDXmwPsnZKzamOjgWk1Qm5msE8f9iGgGidXGNgVLb2LjpZOPYNfLFjesizcYNGUHpupje5mDPBk4QJnukektE8Ple+fLVTut3TKYCf2AEtJsxyhmWVqwbllSpansmUGkDZ1FYPLghGveB/UoxmboW4p3y2lurYs9dsta+0DgaLrmDm6bjl015OyrS0xGgrckA2Bo2OL0aXfrtlFeEBJGp7FLI524jMmUK8mnM5rg68sVzebDzGyo6rXRfKtsEk1m6GOz3aJwAqh/cMzZH9bhjyItxpvPjpBrkRfVwffnfvlJbF2q7P+8XX+tCsuiE9Jn/Vlahl6tzhadFixGr1Isfp8EXitWK1CP68n6kkRtdH+1RS2O7cv2+xieJhdDF/ELsYvYBd+rV1Apeu6VtCxrU7gWZZv+39vYmMb+HznBi9gDdtCeKztYbhhCb1DYnbvxGhdw/AZonVb+7a/nwVg1y0PfoNW1Rae6lrPtNcxLtnbtsv89PGg/c3H6s4Gt7y21e74ju23O27Q8YNTiyL+HDsbOzBn0fV8veDOZh3eQZomlPDlUeg9riK84qL7gHp6IFui5puawt1dkpCpIlG19Qs+Fqj/Cv2DZgQE48P0H12g9m37QO27iBRDFL9CdyKj4Ziibv8wFNhFoaAjHbbqT1DrYPg342OaoE8fEJmgu3BEmaDJ1GDDOPqRJAM6oBzM41W/ichAZES+KTwIpPcXBZI2Fezsbyvv4EZaSv5KmYv8QcO3vxWp+I7TgnJ9a7yo/BYxinr/+w+PqRJfmteREI4vCkJjZ2UG2cfdTKWJ8nDEKYtgpFjaV293nuynyTxO+bbzJJUpexuZ8h2D8cIx1mKJFiP38rsDJcvnKho9ZYnhYrCXKHEnm2xhz1F8efjAlFohZLutVav55EhV14+uV3TdU52ji/Zm+eqhfPPQvPBXD7vxJ/fHGtsXY2Dx7mfHRimobKKDr5eh6dfGT/myu+4kQ5LzNR9w1OeI/uqbo617KhPcbS1G7m0tOF08DPki0T9HODhj2F8qY+j8blt6y6yuz50yJHLP6BK7NDopa9Sc9Vgmh3QqvRu/Wrwkj/hMuFo5Sv+aGPpjRa3PFF3Pm/SfhZ8/8iH67u3Y5BK3Y539t2O/PlKGximPYUWAGfoho0xtUPu9LiogtZr02esehgu/KFz0Tt/e8oOyXcchH9GfzW231/8LYrlAFHarsIkfgYUh3VeF5mr1p9bqPxLMv2S8/j9QSwcI9WXe0vQHAADEMQAAUEsBAhQAFAAIAAgA+Fb0PPVl3tL0BwAAxDEAAAwAAAAAAAAAAAAAAAAAAAAAAGdlb2dlYnJhLnhtbFBLBQYAAAAAAQABADoAAAAuCAAAAAA=" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" />

Lösung von Aufgabe 12.4: Unterschied zwischen den Versionen

Version vom 20. Juli 2010, 16:43 Uhr

Existenz

Eindeutigkeit

Navigationsmenü

Meine Werkzeuge

Namensräume

Varianten

Ansichten

Aktionen

Suche

Navigation

Werkzeuge