Sur la torsion d'une ligne géodésique. (Q1485097)

Beweis des Satzes: Eine Gerade \(n\) einer Normalenkongruenz ist Tangente an den beiden Schalen \(\varSigma_1,\varSigma_2\) der Brennfläche in den beiden Punkten \(M_1,M_2\). Man bezeichne mit \(R_1,R_2\) die Hauptkrümmungsradien von \(\varSigma_1\) in \(M_1\), mit \(\tau_1\) den Torsionsradius der geodätischen Linie von \(\varSigma_1\), die in diesem Punkte die Gerade \(n\) berührt; mit \(R_1',R_2',\tau_2'\) die analogen Größen von \(\varSigma_2\) in \(M_2\). Dann ist \(\tau_1\tau_2 \overline{M_1 M_2^2}=R_1R_2 . R_1'R_2'\).