Strahlensatz/Drei Strahlen/Fakt

Dreistrahlensatz

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}=\mathbb {R} 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+\mathbb {R} v$  und  ${}H=Q+\mathbb {R} 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}\neq 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})}}\,.$

Zum Beweis, Alternativen Beweis erstellen