COS 1- COS
COS h COS
Pour la même raison
C — D /Ah-B \ A — D /B-t-C
Donc
sm
sin
poc 1 r
co.^ 2 ' t.j
ou, après multiplication par 2 :
sin A -+- sinB — [sin (A -+- B <- C) — sinC] = sinB -t- sinC — [sin (A -+- B -+- C) — sinA];
ce qui est identique.
». Remarque. — On sait que
■ . . r. . r. . , . A-+-B B-hC C-+-A smA-4-sinB-t-sniC — sin(A-f-B-t-C) = 4sm sin sin
Par conséquent, dans tout quadrilatère convexe :
COS - COS — h COS - COS — = sm sin • ( ! 5)
lO. Autre remarque. — Dans tout quadrilatère convexe :