Derivative of arctan(x) is: Let’s see the proof! We can simplify the equation by taking the tangent of both sides: and then it follows that: if We can now use implicit differentiation to find y’ in terms of y. Remember that y=arctan(x), so our end goal is to find y’ in terms of x.   So, y’=cos2(y).

Now we need to find the derivative in terms of x.  To do so, we find cos(y) in terms of x and plug it into y’=cos2(y).  We can use our original relationship y=arctan(x) to draw a triangle, and use the pythagorean theorem to find the hypotenuse.  In the diagram below, y is the angle in the top left corner.

This triangle gives us the following relationships: Since we have cos(y) in terms of x, we can square cos(y) and plug it into y’:  Let’s continue with an example. Below, there is an equation with an arc in it. We will try to take derivative of this expression. We will use of both the basic rules of the derivative and the arctan derivative we mentioned above. Now, here is the step by step solution:    