Das Lot von einem Punkt auf eine Gerade (SoSe 11): Unterschied zwischen den Versionen
(→Beweis der Existenz und Eindeutigkeit des Lotes:) |
(→Beweis der Existenz und Eindeutigkeit des Lotes:: -> \cong in \tilde = geändert) |
||
(14 dazwischenliegende Versionen von 5 Benutzern werden nicht angezeigt) | |||
Zeile 6: | Zeile 6: | ||
Definition:<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) | + | 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) ===== | ===== Definition IX.2: (Abstand eines Punktes zu einer Geraden) ===== | ||
Zeile 17: | Zeile 20: | ||
<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) | <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 == | == Existenz und Eindeutigkeit des Lotes == | ||
Zeile 28: | Zeile 33: | ||
<math> \ Existenz</math><br> | <math> \ Existenz</math><br> | ||
− | <math> \ Voraussetzung:\ Sei \ g eine \ Gerade \ und \ P \ ein \ Punkt \ mit \not\in \ g </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 \ | + | <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> \ Annahme: \ Sei \ S \ ein \ Punkt \ mit \ S \in \ g </math> <br> | ||
− | <math> \Rightarrow \ | + | <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> \ 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 \angle gP \ ist \ Stufenwinkel \ von \ \angle gQ\Rightarrow |\angle gP|=90, \ nach \ dem \ Stufenwinkelsatz</math><br> | ||
Zeile 38: | Zeile 43: | ||
<br> | <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) | + | 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) |
Aktuelle Version vom 6. September 2011, 19:32 Uhr
Inhaltsverzeichnis |
Der Begriff des Lotes
Definition IX.1: (Lot, Lotgerade, Lotfußpunkt)
- Es sei
ein Punkt, der nicht zur Geraden
gehören möge. ...
- Es sei
Definition:
Es sei ein Punkt, der nicht zur Geraden
gehören möge, die Grade durch
und
, die senkrecht zu g ist heißt Lotgerade. Der Schnittpunkt
von
und
heißt Lotfußpunkt, die Strecke
Lot.--Peterpummel 20:38, 2. Jul. 2011 (CEST)
Der Schnittpunkt von und
... da
vorher in der Def. vorkommt, kann dies garnicht eintreten. --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
ein Punkt außerhalb von
. Der Abstand von
zu
ist ...
- Es sei
Defintion:
Es sei ein Punkt außerhalb von
. Der Abstand von
zu
ist die Länge des Lots von
auf
--Peterpummel 20:40, 2. Jul. 2011 (CEST)
Es sei ein Punkt außerhalb von
. Der Abstand von
zu
ist eine nicht negative reelle Zahl d. --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.--mm_l 11:51, 13. Jul. 2011 (CEST)
Existenz und Eindeutigkeit des Lotes
Satz IX.1: (Existenz und Eindeutigkeit des Lotes)
- Zu jedem Punkt
außerhalb einer Geraden
gibt es genau ein Lot von
auf
.
- Zu jedem Punkt
Beweis der Existenz und Eindeutigkeit des Lotes:
Übungsaufgabe
Die Eindeutigkeit der Parallele hatten wir schon in einer anderen Übung gezeigt, aus ihr folgt die Eindeutigkeit des Lots.--Peterpummel 13:30, 7. Jul. 2011 (CEST)
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.--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.--Peterpummel 19:47, 9. Jul. 2011 (CEST)
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
1) G ein Punkt auf g sei, in dem eine konstruierte Gerade durch P g schneidet
2) man den entstandenen Winkel misst (Winkelmaßaxiom)
3) man einen entsprechenden Winkel in der anderen Halbebene konstruiert (Winkelkonstruktionsaxiom)
4) man auf dem neu entstandenen Strahl einen Punkt P' abträgt, für den gilt (Axiom vom Lineal)
5) es entsteht ein Schnittpunkt L der Geraden g mit der Strecke
6) nach SWS (wir wissen, dass ,
und
) sind nun auch die Dreiecke kongruent und daher gilt auch
7) Da diese Winkel nun kongruente Nebenwinkel sind, sind es rechte Winkel. Daher wissen wir, dass das Lot von P auf g ist.
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.--Matthias 15:18, 16. Jul. 2011 (CEST)