Difference between revisions of "Arccot"
| Line 3: | Line 3: | ||
<div align="center"> | <div align="center"> | ||
<gallery> | <gallery> | ||
| − | File: | + | File:Arccotplot.png|Graph of $\mathrm{arccot}$ on $\mathbb{R}$. |
File:Complexarccotplot.png|[[Domain coloring]] of $\mathrm{arccot}$. | File:Complexarccotplot.png|[[Domain coloring]] of $\mathrm{arccot}$. | ||
</gallery> | </gallery> | ||
Revision as of 06:00, 16 May 2016
The function $\mathrm{arccot} \colon \mathbb{R} \rightarrow \left( - \dfrac{\pi}{2}, \dfrac{\pi}{2} \right] \setminus \{0\}$ is the inverse function of the cotangent function.
Graph of $\mathrm{arccot}$ on $\mathbb{R}$.
Domain coloring of $\mathrm{arccot}$.
Properties
Theorem
The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}z} \mathrm{arccot}(z) = -\dfrac{1}{z^2+1},$$ where $\mathrm{arccot}$ denotes the inverse cotangent function.
Proof
If $y=\mathrm{arccot}(z)$ then $\cot(y)=z$. Now use implicit differentiation with respect to $z$ to get $$-\csc^2(y)y'=1.$$ Substituting back in $y=\mathrm{arccos}(z)$ yields the formula $$\dfrac{\mathrm{d}}{\mathrm{d}z} \mathrm{arccot}(z) = -\dfrac{1}{\csc^2(\mathrm{arccot}(z))} = -\dfrac{1}{z^2+1},$$ as was to be shown. █
References
References
Which is the correct graph of arccot x?
