Quelltext der Seite Das Lot von einem Punkt auf eine Gerade (SoSe 11)

== Der Begriff des Lotes ==

===== Definition IX.1: (Lot, Lotgerade, Lotfußpunkt) =====
:: Es sei <math>\ P</math> ein Punkt, der nicht zur Geraden <math>\ g</math> gehören möge. ...<br />
<br />

Definition:<br>
Es sei <math>\ P</math> ein Punkt, der nicht zur Geraden <math>\ g</math> gehören möge, die Grade durch <math> \ P  </math> und <math>\ g</math>, die senkrecht zu g ist heißt Lotgerade. Der Schnittpunkt <math>\ S</math> von <math>\ P</math> und <math>\ g</math> heißt Lotfußpunkt, die Strecke <math>\overline{SP}</math> Lot.--[[Benutzer:Peterpummel|Peterpummel]] 20:38, 2. Jul. 2011 (CEST)<br />
Der Schnittpunkt von <math>\operatorname {P}</math> und <math>\operatorname {g}</math>... da <math>P \not\in g</math> vorher in der Def. vorkommt, kann dies garnicht eintreten. --[[Benutzer:Andreas|Tutor Andreas]] 10:33, 8. Jul. 2011 (CEST)

Es sei \ P ein Punkt, der nicht zur Geraden \ g gehören möge, die Gerade durch \ P und \ g, die senkrecht zu g ist heißt Lotgerade l. Der Schnittpunkt \ S von \ l und \ g heißt Lotfußpunkt, die Strecke \overline{SP} SP heißt Lot.--

===== Definition IX.2: (Abstand eines Punktes zu einer Geraden) =====
:: Es sei <math>\ P</math> ein Punkt außerhalb von <math>\ g</math>. Der Abstand von <math>\ P</math> zu <math>\ g</math> ist ...<br /><br />


Defintion:<br>
Es sei <math>\ P</math> ein Punkt außerhalb von <math>\ g</math>. Der Abstand von <math>\ P</math> zu <math>\ g</math> ist die Länge des Lots von <math>\ P</math> auf <math>\ g</math> <br>--[[Benutzer:Peterpummel|Peterpummel]] 20:40, 2. Jul. 2011 (CEST)


<br />Es sei <math>\ P</math> ein Punkt außerhalb von <math>\ g</math>. Der Abstand von <math>\ P</math> zu <math>\ g</math> ist eine nicht negative reelle Zahl d. --[[Benutzer:Teufelchen|Teufelchen]] 18:40, 3. Jul. 2011 (CEST)

Als Abstand eines Punktes P von einer Geraden g wird der Abstand |PQ| bezeichnet, wobei Q der Fußpunkt des Lotes von P auf g ist.--[[Benutzer:Mm l123|mm_l]] 11:51, 13. Jul. 2011 (CEST)

== Existenz und Eindeutigkeit des Lotes ==
===== Satz IX.1: (Existenz und Eindeutigkeit des Lotes) =====
:: Zu jedem Punkt <math>\ P</math> außerhalb einer Geraden <math>\ g</math> gibt es genau ein Lot von <math>\ P</math> auf <math>\ g</math>.

===== Beweis der Existenz und Eindeutigkeit des Lotes: =====
Übungsaufgabe

[[Category:Einführung_Geometrie]]

<math> \ Existenz</math><br>
<math> \ Voraussetzung:\  Sei \ g \ eine \ Gerade \ und \ P \ ein \ Punkt \ mit \ P \ \not\in \ g </math><br>
<math> \ Behauptung:\ Es \ existiert \ ein \ Lot \ von \ P \ auf \ g </math><br>
<math> \ Annahme: \ Sei \ S \ ein \ Punkt \ mit \ S \in \ g </math> <br>
<math> \Rightarrow  \exists ! \ Q \in \ gP^+ mit |\angle gQ| = 90, nach \ dem \ Winkelkonstruktionsaxiom</math><br>
<math> \ Betrachte \ nun \ die \ eindeutige \ Parallele \ l \ von \ SQ \ durch \ P ,die \ g \ in \ T \ schneidet (n. E.P. und \ dem \ Korallar \ davon)</math><br>
<math>\Rightarrow \angle gP \ ist \ Stufenwinkel \ von \ \angle  gQ\Rightarrow |\angle gP|=90, \ nach \ dem \ Stufenwinkelsatz</math><br>
<math>\Rightarrow \overline{PT} \ ist \ Lot \ auf \ g \ durch \ P</math><br>

<br>
<br>
Die Eindeutigkeit der Parallele hatten wir schon in einer anderen Übung gezeigt, aus ihr folgt die Eindeutigkeit des Lots.--[[Benutzer:Peterpummel|Peterpummel]] 13:30, 7. Jul. 2011 (CEST)<br />
Ich glaube nicht, dass in einer Übung die Eindeutigkeit einer Parallelen gezeigt bzw. bewiesen wurde... vllt. wurde die Existens einer Parallelen gezeigt, aber wenn die Eindeutigkeit bewiesen worden wäre, dann widerspräche das dem Parallelenaxiom.--[[Benutzer:Andreas|Tutor Andreas]] 10:38, 8. Jul. 2011 (CEST)
Anmerkung:
Das stimmt, aber aus der Existenz + dem EP => die Eindeutigkeit. In der Übung wurde nur das EP gefordert. Aus dem Stufenwinkelsatz folgt dann die Existenz.--[[Benutzer:Peterpummel|Peterpummel]] 19:47, 9. Jul. 2011 (CEST)<br /><br />
Wenn du das EP oder den Stufenwinkelsatz verwendest, befindest du dich aber in der Euklidischen Geometrie und nicht mehr in der absoluten Geometrie. Es ist auch möglich, die Existenz des Lotes mit einer Hilfskonstruktion zu beweisen, indem<br />
1) G ein Punkt auf g sei, in dem eine konstruierte Gerade durch P g schneidet<br />
2) man den entstandenen Winkel misst (Winkelmaßaxiom)<br />
3) man einen entsprechenden Winkel in der anderen Halbebene konstruiert (Winkelkonstruktionsaxiom)<br />
4) man auf dem neu entstandenen Strahl einen Punkt P' abträgt, für den gilt <math>\overline{GP} \tilde = \overline{GP'}</math> (Axiom vom Lineal)<br />
5) es entsteht ein Schnittpunkt L der Geraden g mit der Strecke <math>\overline{PP'}</math> <br />
6) nach SWS (wir wissen, dass <math>\overline{GP} \tilde = \overline{GP'}</math>, <math>\angle PGL \tilde = \angle P'GL</math> und <math>\overline{LG} \tilde = \overline{LG}</math>) sind nun auch die Dreiecke kongruent und daher gilt auch <math>\angle PLG \tilde = \angle P'LG</math><br />
7) Da diese Winkel nun kongruente Nebenwinkel sind, sind es rechte Winkel. Daher wissen wir, dass <math>\overline{LP} </math> das Lot von P auf g ist.<br />
<ggb_applet width="1920" height="916"  version="3.2" ggbBase64="UEsDBBQACAAIADd48D4AAAAAAAAAAAAAAAAMAAAAZ2VvZ2VicmEueG1s3VnNcts2ED43T4HhoTfTAPg/lZyp004mM0rjqdMceulAJCShpkiWBG3Jb9Ukz5Fn6gIgJVK0Hcs/M3J1obiAFovv2/2wpEavV8sUXfKyEnk2toiNLcSzOE9ENh9btZwdhdbrk1ejOc/nfFoyNMvLJZNjy7Gppey1OHn1w6ha5FeIpXrKJ8GvxtaMpRW3UFWUnCXVgnPZs7N6JVLByvWH6d88ltV2wDh5lxU1rCLLGmzxMpmIqr091gsWqZC/iEuR8BKleTy2fA9Ch2+feClFzNKx5WJjoWOL7gyCyVGji7wU13km1fSt85RNeQoAnMt1yhG6VKOOGZrBZIQqcc0BLKpso2ONwYjXcSoSwTK1Tx0iTELoSiRyAXMjqpbjYr6AfUTENe7iPC+T83Ul+RKt/uRlDqEST5GwNneOuasgZljRw3qoe6fd8MtzLiVEXCG24lsw56VIejfvqtM83ZqKXGTyDStkXWq+ncakNz62YK1SBfxzNk95Y6NAx4LHF9N8dW5QcIzrj+tC/0QHNJ2/ydO8RKWC3oMJzXVqrnqOinQzC+s5WM9ofCinm3HAT8/Q16m5Gq5EZkJrdk7aXRPcLiMqpAwKRkjTzeY1y2PLQnUm5KS9gfS4aLZKzA9+q5dTqI9ugmx8kqfyOTreyZ/RBS8znpokyYDbOq8rk4pmLR1IwmOxhFsz0EDCFF1/QADGmvB5ydvATXUZwPQo7ibijnl03AahYqgg1liCTMB+pNrLr4CC5Nk1muRSVbSEalLbTZiEUaUOPOVLDgUjdW7o1Npg9NbaCEeuNaCt9mZ8izYM35gnOqNYWiwYWNpSSNkaFKG7Ne3vfZ70NzwTK54Yy3YljUKFVlBbtkdx9wNLrdUyQc+Kgc9rI5vagakeVfhb0QBqDQzfAWTyFxlC0s+rZ8aEZZBMmmHgtVAOVLoWnCfNySCbGkcFuNSK0cnFLXgEfkh3UALwjogd0P3wivPlkmUJytgSFp5ArWuIhDodEMMqixAjBjuDSy3bIWacNS4G4Cvh2ADLrL6WyAWUbMarSgue7Erb7RnbweI2evDDydnCS22XakBd2+9no6fRPSK+7QWhu7UPtPKO/fF/MjOnMoollnDUxkLuk8pnB13bke26Gj9iE/+J8/HM5OPbQTZO98jG6UvKRmy7XtT9hEYqjxw7Ir0BDTW2KXbDbs66z5CcfZ7OdHL2iWIDhk7vZqif4acPk2pCTTOkr4ci14HtE+xjL8A+8R3fN8VxhG0HyHSxEznUpT6lQfCYYtFN5A4Jp221IEZV7exS8u3fuznRnc4Gcpitfg/B1C1QIJAEPi4NoxA6cJ98r2r2VSayH2X3SnJWxh1UW2Oa5le/81nKVxrJvrzdW5h/ZEVe/XTQ8hzYjm8ykNph/3xznlqtGzhu0Wy+h2bzl6TZoM1eH1m37dBCJxqKNlWFFPamP7dm3yQXO3Rp0TgdisbnvUTj802iQd0Ih5T6gUsJyN7/XzT64J/zubLft7eJ7wa8ary1cMUvqVQOpr3RiKfqGH+XSV5WXD+LD18JXHBeqHcxH7KPJcsq9b7ukbTfLZLJfuQnL4n8g9HJwyB/2KDN9iN/9sLIj0wjQm0cDMl2XBiHGS+G4Y3jwaOQZnc2YHeyzxPR5EFNpXrYmJvL1FweTxyJPNtxHerQplhDOwq8yG85DE2tOjac8v5TPcq0L6KaR5mmbAa9yde9epOvu70Jsb2AuB4mmDgRdtzwMa0JwcNqOfjW5Ma+sIf98Ij69mUv1L/chDqGh0jPo3Dku673qI7wgGGHKmKFfqOgze3j95aL4+7/APq/r+Z/wZP/AFBLBwgRBAfDWQUAAEkcAABQSwECFAAUAAgACAA3ePA+EQQHw1kFAABJHAAADAAAAAAAAAAAAAAAAAAAAAAAZ2VvZ2VicmEueG1sUEsFBgAAAAABAAEAOgAAAJMFAAAAAA==" framePossible = "false" showResetIcon = "false" showAnimationButton = "true" enableRightClick = "false" errorDialogsActive = "true" enableLabelDrags = "false" showMenuBar = "false" showToolBar = "false" showToolBarHelp = "false" showAlgebraInput = "false" allowRescaling = "true" /><br /><br />

Hoffe mit der Darstellung ist die Idee verständlich. Die Eindeutigkeit ist recht schnell durch Widerspruch bewiesen. Geht man von einem zweiten Lot aus, kann man über den schwachen Außenwinkelsatz zeigen, dass nicht beide Winkel rechte Winkel sein können.--[[Benutzer:Matthias|Matthias]] 15:18, 16. Jul. 2011 (CEST)