# Thread:

1. ## Derivative of invert tan?

I read from the rules that the derivative of (tan^-1)x is (1/x^2+1), but I cannot figure out why and I can't find any explantations on the web.

Anyone have any ideas?

Thank you.

2. Originally Posted by tttcomrader
I read from the rules that the derivative of (tan^-1)x is (1/x^2+1), but I cannot figure out why and I can't find any explantations on the web.

Anyone have any ideas?

Thank you.
Correction, you cannot find an explanation on the web EXCEPT for this site.

Anyway, since it is inverse we have, $-1<x<1$
$\tan(\arctan x)=x$
Now, take the derivative of both sides, (use chain rule),
$\frac{d\arctan x}{dx}\cdot \sec^2(\arctan x)=1$.
Thus,
$\frac{d\arctan x}{dx}=\cos^2{\arctan x}$
But, $\cos^2(\arctan x)=\frac{1}{1+x^2}$
Thus,
$\frac{d\arctan x}{dx}=\frac{1}{1+x^2}$
-----------------------
Note, I assumed that the derivative of the arctangent exists. Which is true, because if a bijective function is differenciable then so is its inverse. But I did not bother with the proof here. It happens to be true.

Q.E.D.

3. One thing. The $x \in (-1, 1)$ assumption is unnecessary.

4. Originally Posted by albi
One thing. The $x \in (-1, 1)$ assumption is unnecessary.
Of course it is, the function, $f(x)=x$ is not differenciable at $x=\pm 1$
On the interval $x\in[-1,1]$ because that is the interval for which the arc-tangent was defined. And as you know endpoints are NEVER differenciable because by definition of derivative it means that the quotient limit exists. But the problem is that this has only one sided differenciability which implies the function IS NOT differenciable.

5. Originally Posted by ThePerfectHacker
Of course it is, the function, $f(x)=x$ is not differenciable at $x=\pm 1$
On the interval $x\in[-1,1]$ because that is the interval for which the arc-tangent was defined. And as you know endpoints are NEVER differenciable because by definition of derivative it means that the quotient limit exists. But the problem is that this has only one sided differenciability which implies the function IS NOT differenciable.
No. You have missed my point. The arc-tangent is the inverse of tangent restricted to the [-pi/2; pi/2] interval. It is:

$<br /> f: \left[-\frac{\pi}{2}, \frac{\pi}{2}\right] \rightarrow (-\infty, +\infty)<br />$

$<br /> x \mapsto f(x) = \tan x<br />$

and arc-tan is defined:

$<br /> \arctan x = f^{-1}(x)<br />$

Cause that during the inverse the domain and counterdomain are swapped, the arc-tangent domain is (-infinity, +infinity)

6. Originally Posted by albi
No. You have missed my point. The arc-tangent is the inverse of tangent restricted to the [-pi/2; pi/2] interval. It is:

$<br /> f: \left[-\frac{\pi}{2}, \frac{\pi}{2}\right] \rightarrow (-\infty, +\infty)<br />$

$<br /> x \mapsto f(x) = \tan x<br />$

and arc-tan is defined:

$<br /> \arctan x = f^{-1}(x)<br />$

Cause that during the inverse the domain and counterdomain are swapped, the arc-tangent domain is (-infinity, +infinity)
Your right I do not know what I was thinking. But at least see how I made that mistake, I was thinking about inverse sine or cosine.

7. Thanks for the solution, now I understand how the derivative of arctanx equals to cos^2(arctanx).

But would you please explain why cost^2(arctan(x)) equals to 1/(x^2+1)?

Thank you, sir.

$<br /> \cos^2 x + \sin^2 x = 1<br />$

Let $x \neq \frac{\pi}{2} + k \pi, \quad k \in \mathbb{Z}$

Dividing the equation by $\cos^2 x$ we get:

$<br /> 1 + \tan^2 x = \frac{1}{\cos^2 x}<br />$

Thus:
$<br /> \cos^2 x = \frac{1}{1 + \tan^2 x} <br />$

Finally:
$<br /> \cos^2 (\arctan x) = \frac{1}{1 + \tan^2 (\arctan x)} = \frac{1}{1 + x^2}<br />$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 26, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9469389915466309, "perplexity_flag": "middle"}