Lösung von Aufgabe 12.4: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Die Seite wurde neu angelegt: Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt \ P auf eine Gerade \ g. ==== Existenz ==== ==== Eindeutigkeit ==== <br />Voraussetzung: Ge...)
 
(→‎Existenz)
 
(19 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
−
Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt \ P  auf eine Gerade \ g.  
+
Beweisen Sie die Existenz und die Eindeutigkeit des Lotes von einem Punkt <math>\ P</math> auf eine Gerade <math>\ g</math>.  
 +
 
 
==== Existenz ====
 
==== Existenz ====
  
−
==== Eindeutigkeit ====
+
Voraussetzung: Gerade <math>\ g</math>, Punkt <math>\ P \notin g</math>
−
<br />Voraussetzung: Gerade <math>\ g</math>, Punkt <math>\ P \notin g</math>, Lot <math>\ l</math>von <math>\ P</math> auf <math>\ g</math> mit Lotfußpunkt <math>\ L</math>
+
<br />Behauptung: Es existiert ein Lot <math>\ l</math>von <math>\ P</math> auf <math>\ g</math> mit Lotfußpunkt <math>\ L</math>
 +
<br />Analoge Behauptung (Definition von Lot) Es existiert eine Senkrechte auf <math>\ g</math>, die durch <math>\ P</math> geht.
  
−
<br />Behauptung: Es existiert genau ein Lot von <math>\ P</math> auf <math>\ g</math>.
+
{| class="wikitable"
 +
! Nr.
 +
! Beweisschritt
 +
! Begründung
 +
|-
 +
! style="background: #FFDDDD;"|(I)
 +
| Es existiert ein Punkt <math>A \in g</math>, der Abstand zu P beträgt <math>|AP| \ </math>
 +
| Axiom I/1 (Axiom von der Geraden), Axiom III.1 (Axiom vom Lineal)
 +
|-
 +
! style="background: #FFDDDD;"|(II)
 +
| Am Scheitelpunkt <math>A \ </math> wird an der Gerade <math>g \ </math> der Winkel <math>\alpha \ </math> in die Halbebene <math>g,P^- \ </math> abgetragen.
 +
| Winkelkonstruktionsaxiom
 +
|-
 +
! style="background: #FFDDDD;"|(III)
 +
| 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>.
 +
| <math>\ P</math> und <math>\ P'</math> liegen in unterschiedlichen Halbebenen bezogen auf <math>\ g </math>.  
 +
|-
 +
! 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)
 +
| 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)
 +
| <math>\ PL</math> steht senkrecht auf <math>\ g \rightarrow PL</math> ist Lotgerade, <math>\overline {PL} \ </math> ist Lot(strecke)
 +
| (VI), Definition Lot
 +
|}
  
 +
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.
 +
<br />Man könnte ja einfach sagen, dass nkoll(P, A, P') gelten soll. Dann wäre der zweite mögliche, für uns jedoch nicht nützliche Winkel ausgeschlossen. --[[Benutzer:Barbarossa|Barbarossa]] 08:03, 24. Jul. 2010 (UTC)<br />Uuups, mir ist gerade aufgefallen, dass wir zu diesem Zeitpunkt P' ja noch gar nicht haben... Traurig.--[[Benutzer:Barbarossa|Barbarossa]] 08:07, 24. Jul. 2010 (UTC)<br /><br />
 +
<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" />
 +
 +
==== Eindeutigkeit ====
 +
Voraussetzung: Gerade <math>\ g</math>, Punkt <math>\ P \notin g</math>, Lot <math>\ l</math>von <math>\ P</math> auf <math>\ g</math> mit Lotfußpunkt <math>\ L</math>
 +
<br />Behauptung: Es existiert genau ein Lot von <math>\ P</math> auf <math>\ g</math>.
 
<br />Indirekter Beweis - Annahme: Es existieren zwei "Lote" von <math>\ P</math> auf <math>\ g</math>.
 
<br />Indirekter Beweis - Annahme: Es existieren zwei "Lote" von <math>\ P</math> auf <math>\ g</math>.
 
<br />Annahme: Es existiert ein zweiter Lotfußpunkt <math>\ L'</math>
 
<br />Annahme: Es existiert ein zweiter Lotfußpunkt <math>\ L'</math>
Zeile 16: Zeile 60:
 
! style="background: #FFDDDD;"|(I)
 
! style="background: #FFDDDD;"|(I)
 
| Es existiert ein Dreieck <math>\overline {PLL'}</math>
 
| Es existiert ein Dreieck <math>\overline {PLL'}</math>
−
| VSS, <math>\overline {LL'} \in g</math>, Punkte <math>\ L L' P </math> sind nicht kollinear
+
| VSS, Punkte <math>\ L L' P </math> sind nicht kollinear, da <math>\ L \in g \and L' \in g \and P \notin g</math> laut Definition Lot und Lotfußpunkt.
 
|-
 
|-
 
! style="background: #FFDDDD;"|(II)
 
! style="background: #FFDDDD;"|(II)
 
| <math>|\angle LL'P| = 90</math>
 
| <math>|\angle LL'P| = 90</math>
−
| VSS, <math>\ L'</math> ist Lotfußpunkt
+
| Annahme, <math>\ L'</math> ist Lotfußpunkt
 
|-
 
|-
 
! style="background: #FFDDDD;"|(III)
 
! style="background: #FFDDDD;"|(III)
Zeile 37: Zeile 81:
 
! style="background: #FFDDDD;"|(VI)
 
! style="background: #FFDDDD;"|(VI)
 
| Annahme muss verworfen werden
 
| Annahme muss verworfen werden
−
| Widerspruch zwischen (V) und (III)!!!
+
| Widerspruch zwischen (V) und (III) !!!
 
|}
 
|}
 +
<br />--[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 00:27, 13. Jul. 2010 (UTC)

Aktuelle Version vom 24. Juli 2010, 10:07 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 \ lvon \ 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.
Man könnte ja einfach sagen, dass nkoll(P, A, P') gelten soll. Dann wäre der zweite mögliche, für uns jedoch nicht nützliche Winkel ausgeschlossen. --Barbarossa 08:03, 24. Jul. 2010 (UTC)
Uuups, mir ist gerade aufgefallen, dass wir zu diesem Zeitpunkt P' ja noch gar nicht haben... Traurig.--Barbarossa 08:07, 24. Jul. 2010 (UTC)

Eindeutigkeit

Voraussetzung: Gerade \ g, Punkt \ P \notin g, Lot \ lvon \ 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)

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_12.4&oldid=3691“