ou, plus brièvement,
(32)
c’est-à-dire : la dérivée d’un angle dont la tangente tabulaire est une fonction quelconque s’obtient en divisant la dérivée de cette tangente par le quarré de la sécante du même angle.
On a
d’où
ce qui donne, en substituant,
(33)
c’est-à-dire : la dérivée d’un angle dont la cotangente tabulaire est une fonction quelconque s’obtient en divisant la dérivée de cette cotangente, prise en signe contraire, par le quarré de la cosécante du même angle.
La formule (32) donne
posant alors