A B CD

a ces —cos c cos - cos —

— h sin sin sin

Dh-C — B-A A-t-D — B— C

= sin —

= cos sin = cos M sin N.

L'équation (46) devient

cos

- cos M = a cos — cos - — c cos - cos —

On tire, des équations (45), (47) :

sin - sin — / 2 2

sinN sin

sin —sin - / 2 2

sin N sin

( 188 ) après quoi une simple permulalioii donne

sin— sin — / 2 2

sinMsm

B . C sin - sin -

sin M sin

36. Remarque. — Les valeurs (48) devant vérifier les équations (45), (47), il s'ensuit que, clans tout quadrilatère convexe :