Strahlensätze/Lineare Algebra/Textabschnitt

Wir formulieren in der Sprache der linearen Algebra die Strahlensätze. Dabei legen wir einen zweidimensionalen euklidischen Vektorraum zugrunde, der die Längenmessung von Strecken erlaubt. Zwei affine Geraden heißen parallel, wenn sie von dem gleichen Vektor aufgespannt werden. Wir formulieren die Strahlensätze so, dass der Schnittpunkt der Strahlen der Nullpunkt ist. Dies kann man stets erreichen, indem man den Schnittpunkt in den Nullpunkt verschiebt, wobei sich die Längen nicht verändern.

Satz

Es sei $V$ ein zweidimensionaler euklidischer Vektorraum und es seien  $s_1,s_2,v\in V$  Vektoren und $v$ sei sowohl zu $s_1$ als auch zu $s_2$ linear unabhängig sei. Es seien  $S_1=ℝs_1$  und  $S_2=ℝs_2$  die durch $s_1$ und $s_2$ definierten Geraden (die Strahlen) und es seien $P$ und $Q$ Punkte in $V$ mit den zugehörigen parallelen Geraden  $G=P+ℝv$  und  $H=Q+ℝv$.  Die Schnittpunkte der Geraden (die aufgrund der Voraussetzungen eindeutig existieren) seien

$A_1=S_1\cap G,A_2=S_2\cap G,B_1=S_1\cap H,B_2=S_2\cap H,$

und es seien  $A_1,B_1\ne 0$. 

Dann ist

$\frac{d(B_1,B_2)}{\Vert B_1\Vert }=\frac{d(A_1,A_2)}{\Vert A_1\Vert }.$

Beweis

Ohne Einschränkung sei  $s_1=A_1$,   $s_2=A_2$  und  $v=A_2-A_1$,  da dies die beteiligten Geraden nicht ändert. Wir schreiben  $B_1=t{A}_1$.  Es ist  $A_2=A_1+v$  und somit ist

$t{A}_2=t{A}_1+tv=B_1+tv.$

Dieser Punkt gehört sowohl zu $S_2$ als auch zu $H$, was bedeutet, dass es sich um den Punkt $B_2$ handelt. Es ist also  $B_2=t{A}_2$  und daher

$\frac{\Vert B_1-B_2\Vert }{\Vert B_1\Vert }=\frac{\Vert t{A}_1-t{A}_2\Vert }{\Vert t{A}_1\Vert }=\frac{\Vert A_1-A_2\Vert }{\Vert A_1\Vert }.$

$◻$

Der vorstehende Satz besagt insbesondere, dass sich in der beschriebenen Situation entsprechende Seitenlängen der beiden Dreiecke $0,A_1,A_2$ und $0,B_1,B_2$ zueinander in der gleichen Weise verhalten. Die Dreiecke sind ähnlich, und zwar geht das Dreieck $0,B_1,B_2$ aus dem Dreieck $0,A_1,A_2$ durch eine Streckung mit dem Streckungsfaktor $t$ hervor. Dieser Streckungsfaktor tritt bei sämtlichen Streckenverhältnissen wieder auf.

Eine Anwendung des Strahlensatzes. Man kann den Abstand über den Fluss berechnen, ohne ihn zu überqueren.

Auch der Daumensprung beruht auf dem Strahlensatz.

Korollar

Es sei $V$ ein zweidimensionaler euklidischer Vektorraum und es seien  $s_1,s_2,v\in V$  Vektoren und $v$ sei sowohl zu $s_1$ als auch zu $s_2$ linear unabhängig sei. Es seien  $S_1=ℝs_1$  und  $S_2=ℝs_2$  die durch $s_1$ und $s_2$ definierten Geraden (die Strahlen) und es seien $P$ und $Q$ Punkte in $V$ mit den zugehörigen parallelen Geraden  $G=P+ℝv$  und  $H=Q+ℝv$.  Die Schnittpunkte der Geraden seien

$A_1=S_1\cap G,A_2=S_2\cap G,B_1=S_1\cap H,B_2=S_2\cap H,$

und es seien  $A_1,A_2,A_1-A_2\ne 0$. 

Dann ist

$\frac{d(B_1,B_2)}{d(A_1,A_2)}=\frac{\Vert B_1\Vert }{\Vert A_1\Vert }=\frac{\Vert B_2\Vert }{\Vert A_2\Vert }.$

Beweis

Dies folgt direkt aus Fakt.

$◻$

Die in der vorstehenden Aussage mitbewiesene Gleichung

$\frac{\Vert B_1\Vert }{\Vert A_1\Vert }=\frac{\Vert B_2\Vert }{\Vert A_2\Vert }$

heißt auch Erster Strahlensatz. Er nimmt nur Bezug auf Längenverhältnisse auf den Strahlen.

In der letzten Varianten des Strahlensatzes gibt es drei Strahlen, wir sprechen vom Dreistrahlensatz.

Satz

Es sei $V$ ein zweidimensionaler euklidischer Vektorraum und es seien  $s_1,s_2,s_3\in V$  Vektoren und es sei  $v\in V$  linear unabhängig zu jedem dieser Vektoren. Es seien $S_i=ℝs_i$, $i=1,2,3$, die durch die $s_i$ definierten Geraden (die Strahlen) und es seien $P$ und $Q$ Punkte in $V$ mit den zugehörigen parallelen Geraden  $G=P+ℝv$  und  $H=Q+ℝv$.  Die Schnittpunkte der Geraden (die aufgrund der Voraussetzungen eindeutig bestimmt sind) seien

$A_1=S_1\cap G,A_2=S_2\cap G,A_3=S_3\cap G,B_1=S_1\cap H,B_2=S_2\cap H,B_3=S_3\cap H,$

und es seien  $B_1\ne B_2$. 

Dann ist

$\frac{d(B_2,B_3)}{d(A_2,A_3)}=\frac{d(B_1,B_2)}{d(A_1,A_2)}.$

Beweis

Durch doppelte Anwendung von Fakt auf die beiden durch $s_1,s_2$ bzw. $s_2,s_3$ gegebenen zweistrahligen Situationen erhält man

$\frac{d(B_1,B_2)}{d(A_1,A_2)}=\frac{\Vert B_2\Vert }{\Vert A_2\Vert }=\frac{d(B_2,B_3)}{d(A_2,A_3)}.$

$◻$