Tangent/Cotangent/Derivative/Fact/Proof

Proof

Using the quotient rule, fact, and the circle equation, we get

The derivative of the cotangent function follows in the same way.