P.(ABC
ip.(ABD)=i
ip.(BCD)=i
sol. ;? ABC = ^ P. (ABC) = \ sin (XpC).sm [pB, kpC).pA.pB.pC, sol.y^ABD^ ^ P.(ABD) = ^sin (BpD).&\n{pA,BpD).pA.pB.pD, so1./jBCD = ^P.(BCD)= i sin(B/^D).sin [pC.Bpïf). pB.pC. pB;
substituant, dans la relation déjà trouvée ci-dessus, les produits des sinus tirés de ces dernières, et simplifiant, il viendra