A B C ABC
5° cot — h cot — h cot — = COt — €01 — ■ cot — •
Dans la formule que nous venons de déterminer sut les tangentes, posons
et observons que la condition A + B + G = 180 entraîne aussi
A'-t-B'-HC'=i8o.
Nous avons
cot h cot h cot — = cot — cot — COt — i
ce qui revient à la formule indiquée, en supprimant les accents.