La formule (ly) donne celle-ci

sin(M, A)sin(M.A') sin(^I, E) sin [M,F) sin{N, A) sm(N,A') '^ siu(N, E)sm(N, F) ^ .in(M.«)sinlM,0) si,i[N,«)sin(H,0)'

dans laquelle M et N sont deux droites arbitraires, et a, O les droites conjuguées barnioniques de la droite N par. rapport aux deux couples de droites A, A' et E, F.

Si les deux droites M, N sont rectangulaires, il vient

co!{N, A)cot[N,A'] + cot(N,E)cot(N, F}.— 2col:(N,a)cot(N,0).