Derivatives of Inverse Trig Functions
Where the formulas come from
Let , so . For , , where . Differentiating implicitly, , so , and , as the left triangle shows. This is the inverse-function rule with on , where . That rule is also what guarantees is differentiable for .
For , with . Then , and , which the right triangle shows. So .
Arccos and arccot follow from identities. The number lies in , and its cosine is , so it equals . In the same way, . So their derivatives are the negatives of those above.
For , let , so , with in or . Differentiating implicitly, . On the first interval, and are both positive, and on the second they're both negative. Either way their product is positive, so . Since , that product is . So . The cosecant works the same way.