OA' OB
et comme on a d'autre part
(5b' = OD* = OAxOF et 5c* = ÔÊ' = OAxOG,
en portant ces valeurs de OB* et de OC* dans les relations précédentes, il viendra
cercle OA cercle OB cercle OC Ô« " OAxOF ~ OAxOG'
ou, en multipliant chaque rapport par OA,
cercle OA cercle OB cercle OC
OA d*où Ton tire
cercle OA — cercle OB OA — OF
couronne AB ou —