Lösung von Aufgabe 13.5: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(→‎Versuch 1)
Zeile 6: Zeile 6:
 
Da es sich bei diesem Satz um eine Äquivalenzrelation handelt ("genau dann") muss die "Hin- und Rückrichtung" bewiesen werden. <br />
 
Da es sich bei diesem Satz um eine Äquivalenzrelation handelt ("genau dann") muss die "Hin- und Rückrichtung" bewiesen werden. <br />
  
−
'''1. Hinrichtung:''' "Wenn ein Punkt P zu den Schenkeln von <math> \alpha </math> jeweils denselben Abstand hat, dann gehört er zur Winkelhalbierenden des Winkels <math> \alpha </math>."<br />
+
'''1. Hinrichtung:''' "Wenn ein Punkt P zu den Schenkeln von <math>\ \alpha </math> jeweils denselben Abstand hat, dann gehört er zur Winkelhalbierenden des Winkels <math>\ \alpha </math>."<br />
  
 
VSS: <math>\overline{PB} \cong \overline{PA} </math>, <math> \alpha \cong \angle ASB \cong \angle pq </math><br />
 
VSS: <math>\overline{PB} \cong \overline{PA} </math>, <math> \alpha \cong \angle ASB \cong \angle pq </math><br />
−
Beh: <math> P \in </math> Winkelhalbierende von <math> \alpha </math><br />
+
Beh: <math> P \in </math> Winkelhalbierende von <math>\ \alpha </math><br />
 +
 
 +
Kommentar --[[Benutzer:Heinzvaneugen|Heinzvaneugen]] 16:18, 20. Jul. 2010 (UTC): siehe Diskussion
 +
 
  
 
{| class="wikitable "
 
{| class="wikitable "
Zeile 18: Zeile 21:
 
|-
 
|-
 
! style="background: #FFDDDD;"|(I)
 
! style="background: #FFDDDD;"|(I)
−
| <math> A </math> sei der Lotfußpunkt von P auf den Strahl <math> p </math> und B sei der Lotfußpunkt von P auf den Strahl <math> q </math>  
+
| <math>\ A </math> sei der Lotfußpunkt von <math>\ P</math> auf den Strahl <math>\ p </math> und <math> \ B</math> sei der Lotfußpunkt von <math>\ P</math> auf den Strahl <math>\ q </math>  
 
| (Existenz und Eindeutigkeit Lot)
 
| (Existenz und Eindeutigkeit Lot)
 
|-
 
|-
Zeile 54: Zeile 57:
 
|-
 
|-
 
! style="background: #FFDDDD;"|(X)
 
! style="background: #FFDDDD;"|(X)
−
| <math>| \angle ASP| + \angle BSP|= \angle ASB|  </math>
+
| <math>|\angle ASP| + |\angle BSP|= |\angle ASB|  </math>
 
| (IX), (Def. Winkelhalbierende), (Winkeladditionsaxiom)
 
| (IX), (Def. Winkelhalbierende), (Winkeladditionsaxiom)
 
|-
 
|-
 
! style="background: #FFDDDD;"|(XI)
 
! style="background: #FFDDDD;"|(XI)
−
| <math> {SP^{+}} \cong </math> Winkelhalbierenden von <math> \alpha </math> --> <math> P \in </math> Winkelhalbierende von <math> \alpha </math>
+
| <math> {SP^{+}} \cong </math> Winkelhalbierenden von <math> \alpha \ </math> --> <math>\ P \in </math> Winkelhalbierende von <math>\ \alpha </math>
 
| (X)
 
| (X)
 
|}
 
|}
Zeile 64: Zeile 67:
  
  
−
'''2. Rückrichtung:''' "Wenn ein Punkt P zur Winkelhalbierenden des Winkels <math> \alpha </math> gehört,  dann hat er zu den Schenkeln von <math> \alpha </math> jeweils denselben Abstand."<br />
+
'''2. Rückrichtung:''' "Wenn ein Punkt P zur Winkelhalbierenden des Winkels <math>\ \alpha </math> gehört,  dann hat er zu den Schenkeln von <math>\ \alpha </math> jeweils denselben Abstand."<br />
  
−
VSS: <math> P \in </math> Winkelhalbierende von <math> \alpha </math> <math> \alpha \cong \angle ASB \cong \angle pq </math>
+
VSS: <math> P \in </math> Winkelhalbierende von <math>\ \alpha </math> und <math> \alpha \cong \angle ASB \cong \angle pq </math>
 
<br />
 
<br />
 
Beh: <math>\overline{PB} \cong \overline{PA} </math><br />
 
Beh: <math>\overline{PB} \cong \overline{PA} </math><br />
Zeile 77: Zeile 80:
 
|-
 
|-
 
! style="background: #FFDDDD;"|(I)
 
! style="background: #FFDDDD;"|(I)
−
| <math> P \in </math> Winkelhalbierende von <math> \alpha </math>
+
| <math>\ P \in </math> Winkelhalbierende von <math>\ \alpha </math>
 
| (VSS)
 
| (VSS)
 
|-
 
|-
 
! style="background: #FFDDDD;"|(II)
 
! style="background: #FFDDDD;"|(II)
−
| <math> A </math> sei der Lotfußpunkt von P auf den Strahl <math> p </math> und B sei der Lotfußpunkt von P auf den Strahl <math> q </math>
+
| <math>\ A </math> sei der Lotfußpunkt von <math>\ P</math> auf den Strahl <math>\ p </math> und <math>\ B</math> sei der Lotfußpunkt von <math>\ P</math> auf den Strahl <math>\ q </math>
 
| (Existenz und Eindeutigkeit des Lotes)
 
| (Existenz und Eindeutigkeit des Lotes)
 
|-
 
|-

Version vom 20. Juli 2010, 17:18 Uhr

Man beweise: Ein Punkt \ P gehört genau dann zur Winkelhalbierenden des Winkels \ \alpha, wenn er zu den Schenkeln von \ \alpha jeweils denselben Abstand hat.


Versuch 1

Da es sich bei diesem Satz um eine Äquivalenzrelation handelt ("genau dann") muss die "Hin- und Rückrichtung" bewiesen werden.

1. Hinrichtung: "Wenn ein Punkt P zu den Schenkeln von \ \alpha jeweils denselben Abstand hat, dann gehört er zur Winkelhalbierenden des Winkels \ \alpha ."

VSS: \overline{PB} \cong \overline{PA} , \alpha \cong \angle ASB \cong \angle pq
Beh: P \in Winkelhalbierende von \ \alpha

Kommentar --Heinzvaneugen 16:18, 20. Jul. 2010 (UTC): siehe Diskussion


Beweis
Nr. Beweisschritt Begründung
(I) \ A sei der Lotfußpunkt von \ P auf den Strahl \ p und \ B sei der Lotfußpunkt von \ P auf den Strahl \ q (Existenz und Eindeutigkeit Lot)
(II) \overline{PB} \cong \overline{PA} (VSS)
(III) \overline{SP} \cong \overline{SP} (trivial)
(IV) |\angle SBP| = |\angle SAP| = 90 (Definition Lot)
(V) \angle SAP ist größter Winkel im Dreieck \overline{SAP} (Satz: höchstens ein rechter Winkel im Dreieck), (IV)
(VI) \angle SBP ist größter Winkel im Dreieck \overline{SBP} (Satz: höchstens ein rechter Winkel im Dreieck), (IV)
(VII) \angle SBP liegt der Seite \overline{SP} gegenüber
\angle SAP liegt der Seite \overline{SP} gegenüber 		(Satz: größter Winkel liegt längsten Seite gegenüber),(V), (VI)
(VIII) \overline{SBP} \cong \overline{SAP} (SSW), (VII), (IV), (III), (II)
(IX) \angle ASP \cong \angle BSP (VIII), (Def. Dreieckskongruenz)
(X) |\angle ASP| + |\angle BSP|= |\angle ASB| (IX), (Def. Winkelhalbierende), (Winkeladditionsaxiom)
(XI) {SP^{+}} \cong Winkelhalbierenden von \alpha \ --> \ P \in Winkelhalbierende von \ \alpha (X)

--> Beh. wahr qed


2. Rückrichtung: "Wenn ein Punkt P zur Winkelhalbierenden des Winkels \ \alpha gehört, dann hat er zu den Schenkeln von \ \alpha jeweils denselben Abstand."

VSS: P \in Winkelhalbierende von \ \alpha und \alpha \cong \angle ASB \cong \angle pq
Beh: \overline{PB} \cong \overline{PA}

Beweis
Nr. Beweisschritt Begründung
(I) \ P \in Winkelhalbierende von \ \alpha (VSS)
(II) \ A sei der Lotfußpunkt von \ P auf den Strahl \ p und \ B sei der Lotfußpunkt von \ P auf den Strahl \ q (Existenz und Eindeutigkeit des Lotes)
(III) |\angle SBP| = |\angle SAP| = 90 (II), (Def. Lot)
(IV) |\angle ASP| = |\angle BSP| (Def. Winkelhalbierende)
(V) | \angle ASP| + | \angle SPA| + | \angle SAP| = 180 (Innenwinkelsumme im Dreieck)
(VI) | \angle BSP| + | \angle SPB| + | \angle SBP| = 180 (Innenwinkelsumme im Dreieck)
(VII) | \angle ASP| + | \angle SPA| + | \angle SAP| = | \angle BSP| + | \angle SPB| + | \angle SBP| (V), (VI), (rechnen mit reellen Zahlen)
(VIII) | \angle SPA| + | \angle SAP| = | \angle SPB| + | \angle SBP| (VII), (IV), (rechnen mit reellen Zahlen)
(IX) | \angle SPA| = | \angle SPB| (IX), (III), (rechnen mit reellen Zahlen)
(X) \overline{SP} \cong \overline{SP} (trivial)
(XI) \overline{SBP} \cong \overline{SAP} (WSW), (X), (IX), (IV)
(XII) \overline{PA} \cong \overline{PB} (XI), (Def. Dreieckskongruenz)

-->Beh wahr. qed
Somit ist die Äquivalenz gezeigt --Löwenzahn 11:35, 17. Jul. 2010 (UTC)

Von „http://geometrie.zum.de/index.php?title=Lösung_von_Aufgabe_13.5&oldid=3431“