PP "^ P

__ sin(B/?D).sin ipX.BpD) sin (B/?D).8in (/?C, B;?D) "" py pcL

qui est entièrement analogue à celle de l'article 51, et doù Ton déduirait des conséquences semblables pour le cas d*un nombre quelconque de groupes de quatre points rangés dans un plan, tel que celui des points a, p, 7 et ^.

Considérons maintenant un plan arbitraire ABQD, auquel correspondent les quatre points A, B, C, D sur les droites/? A, y^B, /?C, /?D, nous aurons, comme ci-dessus, en nommant P la perpendiculaire abaissée de p sur le plan ABGD,

sol. /^ACD = i P.(ACD) = i sin (A/?C).8in (y^D, A/?C).y3A./?C./>D,

sol. /?ABC = ^ P. (ABC) = i sin (A/?C).8in (/?B, A/^C)./;A./?B./?C,

sol. /*ABD = i P.(ABD) = i sin (B/?D).8in (y^A, B/?D)./?A./?B.;?D,

sol. /7BCD = i P.(BCD) = i sin (B/?D).sin (/?C, B/?D)./?B./7C.;?D;

substituant, dans la relation déjà trouvée ci-dessus, les produits des sinus tirés de ces dernières, et simplifiant, il viendra