Difference between revisions of "Arctan"
| Line 9: | Line 9: | ||
=Properties= | =Properties= | ||
| − | <div class="toccolours mw-collapsible mw-collapsed | + | <div class="toccolours mw-collapsible mw-collapsed"> |
<strong>Proposition:</strong> | <strong>Proposition:</strong> | ||
$\dfrac{d}{dz} \mathrm{arctan}(z) = \dfrac{1}{z^2+1}$ | $\dfrac{d}{dz} \mathrm{arctan}(z) = \dfrac{1}{z^2+1}$ | ||
| Line 22: | Line 22: | ||
</div> | </div> | ||
| − | <div class="toccolours mw-collapsible mw-collapsed | + | <div class="toccolours mw-collapsible mw-collapsed"> |
<strong>Proposition:</strong> | <strong>Proposition:</strong> | ||
$\displaystyle\int \mathrm{arctan}(z) = z\mathrm{arctan}(z) - \dfrac{1}{2}\log(1+z^2)+C$ | $\displaystyle\int \mathrm{arctan}(z) = z\mathrm{arctan}(z) - \dfrac{1}{2}\log(1+z^2)+C$ | ||
| Line 30: | Line 30: | ||
</div> | </div> | ||
| − | <div class="toccolours mw-collapsible mw-collapsed | + | <div class="toccolours mw-collapsible mw-collapsed"> |
<strong>Proposition:</strong> | <strong>Proposition:</strong> | ||
$\mathrm{arctan}(z) = \mathrm{arccot}\left( \dfrac{1}{z} \right)$ | $\mathrm{arctan}(z) = \mathrm{arccot}\left( \dfrac{1}{z} \right)$ | ||
Revision as of 05:58, 31 October 2014
The $\mathrm{arctan}$ function is the inverse function of the tangent function.
- Arctan.png
Graph of $\mathrm{arctan}$ on $[-1,1]$.
- Complex arctan.jpg
Domain coloring of the analytic continuation of $\mathrm{arctan}$.
Properties
Proposition: $\dfrac{d}{dz} \mathrm{arctan}(z) = \dfrac{1}{z^2+1}$
Proof: If $\theta=\mathrm{arctan}(z)$ then $\tan \theta = z$. Now use implicit differentiation with respect to $z$ yields $$\sec^2(\theta)\theta'=1.$$ The following triangle shows that $\sec^2(\mathrm{arctan}(z))=z^2+1$:
).png)
Substituting back in $\theta=\mathrm{arccos(z)}$ yields the formula $$\dfrac{d}{dz} \mathrm{arccos(z)} = \dfrac{1}{\sec^2(\mathrm{arctan(z)})} = \dfrac{1}{z^2+1}. █$$
Proposition: $\displaystyle\int \mathrm{arctan}(z) = z\mathrm{arctan}(z) - \dfrac{1}{2}\log(1+z^2)+C$
Proof: █
Proposition: $\mathrm{arctan}(z) = \mathrm{arccot}\left( \dfrac{1}{z} \right)$
Proof: █
