LIVRE VII
— LES COEFS RONDS. 2o5
ABC satisfaisant à la question et par D, E, C les angles du triangle correspondant DCE, on a A = 2 — E, B = 2 -t D, et par suite
d’où
on tombe ainsi sur le lieu étudié au n° 824, dans le cas où la différence (D -t- E) — C est donnée en grandeur et en signe ; ce qui démontre l’énoncé. Ce théorème est dû à Lexell (Jeta P e trop., 1781).