Beweis
Es sei
-
und
-
Nach
Fakt (2)
ist
-
Nach
Fakt (3)
ist
-
und nach
Fakt (1)
ist
-
Nach
Fakt (6)
steht senkrecht auf und , daher ist
-
mit einem
,
da diese Orthogonalitätsbedingung eine Gerade definiert. Wegen
Fakt (5)
und der Voraussetzung ergibt sich
-
also ist
-
Ebenso ergibt sich, unter Verwendung von
Fakt (3),
und
.
Somit ist insgesamt
und dies ist die Behauptung.