Fungrim home page

Inverse tangent

Table of contents: Definitions - Illustrations - Transcendental equations - Differential equations - Integral representations - Specific values - Analytic properties - Argument transformations - Sums and products - Representations through other functions - Complex parts - Derivatives and integrals - Series expansions - Bounds and inequalities

Definitions

b120b9
Symbol: Atan atan ⁣(z)\operatorname{atan}\!\left(z\right) Inverse tangent
ce3a8e
Symbol: Atan2 atan2 ⁣(y,x)\operatorname{atan2}\!\left(y, x\right) Two-argument inverse tangent

Illustrations

8bb3d8
Image: X-ray of atan ⁣(z)\operatorname{atan}\!\left(z\right) on z[2,2]+[2,2]iz \in \left[-2, 2\right] + \left[-2, 2\right] i

Transcendental equations

1f026d
tan ⁣(atan ⁣(z))=z\tan\!\left(\operatorname{atan}\!\left(z\right)\right) = z
d4b0b6
sin ⁣(atan ⁣(z))=z1+z2\sin\!\left(\operatorname{atan}\!\left(z\right)\right) = \frac{z}{\sqrt{1 + {z}^{2}}}
0b829e
cos ⁣(atan ⁣(z))=11+z2\cos\!\left(\operatorname{atan}\!\left(z\right)\right) = \frac{1}{\sqrt{1 + {z}^{2}}}
f516e3
atan ⁣(tan ⁣(θ))=θ\operatorname{atan}\!\left(\tan\!\left(\theta\right)\right) = \theta
cbce7f
solutionswC[tan ⁣(w)=z]={atan ⁣(z)+πn:nZ}\mathop{\operatorname{solutions}\,}\limits_{w \in \mathbb{C}} \left[\tan\!\left(w\right) = z\right] = \left\{ \operatorname{atan}\!\left(z\right) + \pi n : n \in \mathbb{Z} \right\}
a2af66
atan2 ⁣(y,x)=solutionθ(π,π][(x,y)=(rcos ⁣(θ),rsin ⁣(θ))   where r=x2+y2]\operatorname{atan2}\!\left(y, x\right) = \mathop{\operatorname{solution}\,}\limits_{\theta \in \left(-\pi, \pi\right]} \left[\left(x, y\right) = \left(r \cos\!\left(\theta\right), r \sin\!\left(\theta\right)\right)\; \text{ where } r = \sqrt{{x}^{2} + {y}^{2}}\right]

Differential equations

61d8f3
(1+z2)y(z)+2zy(z)=0   where y ⁣(z)=c1+c2atan ⁣(z)\left(1 + {z}^{2}\right) y''(z) + 2 z y'(z) = 0\; \text{ where } y\!\left(z\right) = {c}_{1} + {c}_{2} \operatorname{atan}\!\left(z\right)

Integral representations

90a864
atan ⁣(z)=0z11+t2dt\operatorname{atan}\!\left(z\right) = \int_{0}^{z} \frac{1}{1 + {t}^{2}} \, dt

Specific values

645e30
atan ⁣(0)=0\operatorname{atan}\!\left(0\right) = 0
d418d3
atan ⁣(+)=π2\operatorname{atan}\!\left(+\infty\right) = \frac{\pi}{2}
7295b5
atan ⁣()=π2\operatorname{atan}\!\left(-\infty\right) = -\frac{\pi}{2}
a2d208
atan ⁣(+i)=+i\operatorname{atan}\!\left(+i\right) = +i \infty
9b0994
atan ⁣(i)=i\operatorname{atan}\!\left(-i\right) = -i \infty
157c6c
atan ⁣(1)=π4\operatorname{atan}\!\left(1\right) = \frac{\pi}{4}
706783
atan ⁣(3)=π3\operatorname{atan}\!\left(\sqrt{3}\right) = \frac{\pi}{3}
3c1021
atan ⁣(13)=π6\operatorname{atan}\!\left(\frac{1}{\sqrt{3}}\right) = \frac{\pi}{6}
a9ecff
atan ⁣(21)=π8\operatorname{atan}\!\left(\sqrt{2} - 1\right) = \frac{\pi}{8}
c6c92a
atan ⁣(2+1)=3π8\operatorname{atan}\!\left(\sqrt{2} + 1\right) = \frac{3 \pi}{8}
7dd050
atan ⁣(23)=π12\operatorname{atan}\!\left(2 - \sqrt{3}\right) = \frac{\pi}{12}
b0049f
atan ⁣(2+3)=5π12\operatorname{atan}\!\left(2 + \sqrt{3}\right) = \frac{5 \pi}{12}

Analytic properties

a6cd13
HolomorphicDomain ⁣(atan ⁣(z),z,C{~})=C(,1][1,)\operatorname{HolomorphicDomain}\!\left(\operatorname{atan}\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \mathbb{C} \setminus \left(-\infty, -1\right] \cup \left[1, \infty\right)
30ba67
EssentialSingularities ⁣(atan ⁣(z),z,C{~})={}\operatorname{EssentialSingularities}\!\left(\operatorname{atan}\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
48031d
Poles ⁣(atan ⁣(z),z,C{~})={}\operatorname{Poles}\!\left(\operatorname{atan}\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}
26c47c
BranchPoints ⁣(atan ⁣(z),z,C{~})={i,i,~}\operatorname{BranchPoints}\!\left(\operatorname{atan}\!\left(z\right), z, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\right) = \left\{-i, i, {\tilde \infty}\right\}
3b11d3
BranchCuts ⁣(atan ⁣(z),z,C)={(,1]i,[1,)i}\operatorname{BranchCuts}\!\left(\operatorname{atan}\!\left(z\right), z, \mathbb{C}\right) = \left\{\left(-\infty, -1\right] i, \left[1, \infty\right) i\right\}
718a9b
zeroszCatan ⁣(z)={0}\mathop{\operatorname{zeros}\,}\limits_{z \in \mathbb{C}} \operatorname{atan}\!\left(z\right) = \left\{0\right\}

Argument transformations

Symmetries

0ee626
atan ⁣(z)=atan ⁣(z)\operatorname{atan}\!\left(-z\right) = -\operatorname{atan}\!\left(z\right)
632063
atan ⁣(z)=atan ⁣(z)\operatorname{atan}\!\left(\overline{z}\right) = \overline{\operatorname{atan}\!\left(z\right)}
e3d274
atan ⁣(1z)=π2atan ⁣(z)\operatorname{atan}\!\left(\frac{1}{z}\right) = \frac{\pi}{2} - \operatorname{atan}\!\left(z\right)
073e1a
atan ⁣(1z)=π2atan ⁣(z)\operatorname{atan}\!\left(\frac{1}{z}\right) = -\frac{\pi}{2} - \operatorname{atan}\!\left(z\right)
bfc13f
atan ⁣(1z)=π2csgn ⁣(1z)atan ⁣(z)\operatorname{atan}\!\left(\frac{1}{z}\right) = \frac{\pi}{2} \operatorname{csgn}\!\left(\frac{1}{z}\right) - \operatorname{atan}\!\left(z\right)

Addition and multiplication formulas

072166
atan ⁣(iz)=iatanh ⁣(z)\operatorname{atan}\!\left(i z\right) = i \operatorname{atanh}\!\left(z\right)
268c9e
atan ⁣(x+y)=atan ⁣(x)+atan ⁣(y1+x(x+y))\operatorname{atan}\!\left(x + y\right) = \operatorname{atan}\!\left(x\right) + \operatorname{atan}\!\left(\frac{y}{1 + x \left(x + y\right)}\right)
14f8c2
atan ⁣(2z)=atan ⁣(z)+atan ⁣(z1+2z2)\operatorname{atan}\!\left(2 z\right) = \operatorname{atan}\!\left(z\right) + \operatorname{atan}\!\left(\frac{z}{1 + 2 {z}^{2}}\right)

Algebraic transformations

67c0be
atan ⁣(z)=2atan ⁣(z1+1+z2)\operatorname{atan}\!\left(z\right) = 2 \operatorname{atan}\!\left(\frac{z}{1 + \sqrt{1 + {z}^{2}}}\right)

Sums and products

cf64b3
atan ⁣(x)+atan ⁣(y)=atan2 ⁣(x+y,1xy)\operatorname{atan}\!\left(x\right) + \operatorname{atan}\!\left(y\right) = \operatorname{atan2}\!\left(x + y, 1 - x y\right)
00e608
atan ⁣(x)atan ⁣(y)=atan2 ⁣(xy,1+xy)\operatorname{atan}\!\left(x\right) - \operatorname{atan}\!\left(y\right) = \operatorname{atan2}\!\left(x - y, 1 + x y\right)
3ea11b
atan ⁣(x)+atan ⁣(y)=atan ⁣(x+y1xy)\operatorname{atan}\!\left(x\right) + \operatorname{atan}\!\left(y\right) = \operatorname{atan}\!\left(\frac{x + y}{1 - x y}\right)
503d4d
atan ⁣(x)atan ⁣(y)=atan ⁣(xy1+xy)\operatorname{atan}\!\left(x\right) - \operatorname{atan}\!\left(y\right) = \operatorname{atan}\!\left(\frac{x - y}{1 + x y}\right)
a020e9
atan2 ⁣(y1,x1)+atan2 ⁣(y2,x2)=atan2 ⁣(y1x2+y2x1,x1x2y1y2)\operatorname{atan2}\!\left({y}_{1}, {x}_{1}\right) + \operatorname{atan2}\!\left({y}_{2}, {x}_{2}\right) = \operatorname{atan2}\!\left({y}_{1} {x}_{2} + {y}_{2} {x}_{1}, {x}_{1} {x}_{2} - {y}_{1} {y}_{2}\right)
1d730a
atan2 ⁣(y1,x1)atan2 ⁣(y2,x2)=atan2 ⁣(y1x2y2x1,x1x2+y1y2)\operatorname{atan2}\!\left({y}_{1}, {x}_{1}\right) - \operatorname{atan2}\!\left({y}_{2}, {x}_{2}\right) = \operatorname{atan2}\!\left({y}_{1} {x}_{2} - {y}_{2} {x}_{1}, {x}_{1} {x}_{2} + {y}_{1} {y}_{2}\right)

Representations through other functions

Logarithms

a18b77
atan ⁣(z)=i2(log ⁣(1iz)log ⁣(1+iz))\operatorname{atan}\!\left(z\right) = \frac{i}{2} \left(\log\!\left(1 - i z\right) - \log\!\left(1 + i z\right)\right)
500c0a
atan ⁣(z)=i2log ⁣(1iz1+iz)\operatorname{atan}\!\left(z\right) = \frac{i}{2} \log\!\left(\frac{1 - i z}{1 + i z}\right)
12765e
atan ⁣(z)=i2log ⁣(1+iz1iz)\operatorname{atan}\!\left(z\right) = -\frac{i}{2} \log\!\left(\frac{1 + i z}{1 - i z}\right)
9dec3e
atan2 ⁣(y,x)=ilog ⁣(sgn ⁣(x+yi))\operatorname{atan2}\!\left(y, x\right) = -i \log\!\left(\operatorname{sgn}\!\left(x + y i\right)\right)
eca4ce
atan2 ⁣(y,x)=Im ⁣(log ⁣(x+yi))\operatorname{atan2}\!\left(y, x\right) = \operatorname{Im}\!\left(\log\!\left(x + y i\right)\right)

Inverse trigonometric functions

c580f4
atan ⁣(z)=acot ⁣(1z)\operatorname{atan}\!\left(z\right) = \operatorname{acot}\!\left(\frac{1}{z}\right)
7954ad
atan ⁣(z)=asin ⁣(z1+z2)\operatorname{atan}\!\left(z\right) = \operatorname{asin}\!\left(\frac{z}{\sqrt{1 + {z}^{2}}}\right)
ec7f2d
atan ⁣(z)=csgn ⁣(z)acos ⁣(11+z2)\operatorname{atan}\!\left(z\right) = \operatorname{csgn}\!\left(z\right) \operatorname{acos}\!\left(\frac{1}{\sqrt{1 + {z}^{2}}}\right)

Hypergeometric functions

34ff28
atan ⁣(z)=z2F1 ⁣(1,12,32,z2)\operatorname{atan}\!\left(z\right) = z \,{}_2F_1\!\left(1, \frac{1}{2}, \frac{3}{2}, -{z}^{2}\right)

Complex parts

df52fc
Re ⁣(atan ⁣(x+yi))=12atan2 ⁣(2x,1x2y2)\operatorname{Re}\!\left(\operatorname{atan}\!\left(x + y i\right)\right) = \frac{1}{2} \operatorname{atan2}\!\left(2 x, 1 - {x}^{2} - {y}^{2}\right)
b65d19
Im ⁣(atan ⁣(x+yi))=14log ⁣(x2+(1+y)2x2+(1y)2)\operatorname{Im}\!\left(\operatorname{atan}\!\left(x + y i\right)\right) = \frac{1}{4} \log\!\left(\frac{{x}^{2} + {\left(1 + y\right)}^{2}}{{x}^{2} + {\left(1 - y\right)}^{2}}\right)

Derivatives and integrals

8fbf69
atan(z)=11+z2\operatorname{atan}'(z) = \frac{1}{1 + {z}^{2}}
a4eb86
atan(z)=2z(1+z2)2\operatorname{atan}''(z) = -\frac{2 z}{{\left(1 + {z}^{2}\right)}^{2}}
90631b
atan(n)(z)=(n1)!(1+z2)(n+1)/2Un1 ⁣(z1+z2){\operatorname{atan}}^{(n)}(z) = \frac{\left(n - 1\right)!}{{\left(1 + {z}^{2}\right)}^{\left( n + 1 \right) / 2}} U_{n - 1}\!\left(-\frac{z}{\sqrt{1 + {z}^{2}}}\right)
36171f
atan(n)(z)=(1)n(n1)!2i(1(z+i)n1(zi)n){\operatorname{atan}}^{(n)}(z) = \frac{{\left(-1\right)}^{n} \left(n - 1\right)!}{2 i} \left(\frac{1}{{\left(z + i\right)}^{n}} - \frac{1}{{\left(z - i\right)}^{n}}\right)
6b8963
ddxatan2 ⁣(y,x)=yx2+y2\frac{d}{d x}\, \operatorname{atan2}\!\left(y, x\right) = -\frac{y}{{x}^{2} + {y}^{2}}
1d3fd7
ddyatan2 ⁣(y,x)=xx2+y2\frac{d}{d y}\, \operatorname{atan2}\!\left(y, x\right) = \frac{x}{{x}^{2} + {y}^{2}}

Series expansions

4e5947
atan ⁣(z)=k=0(1)kz2k+12k+1\operatorname{atan}\!\left(z\right) = \sum_{k=0}^{\infty} \frac{{\left(-1\right)}^{k} {z}^{2 k + 1}}{2 k + 1}

Bounds and inequalities

Real arguments

e7a9b1
atan ⁣(x)<π2\left|\operatorname{atan}\!\left(x\right)\right| \lt \frac{\pi}{2}
5d6f74
atan ⁣(x)π2\left|\operatorname{atan}\!\left(x\right)\right| \le \frac{\pi}{2}
466095
atan ⁣(x)x\left|\operatorname{atan}\!\left(x\right)\right| \le \left|x\right|
3478af
atan ⁣(x)k=02N(1)kx2k+12k+1\operatorname{atan}\!\left(x\right) \le \sum_{k=0}^{2 N} \frac{{\left(-1\right)}^{k} {x}^{2 k + 1}}{2 k + 1}
1eeccf
atan ⁣(x)k=02N+1(1)kx2k+12k+1\operatorname{atan}\!\left(x\right) \ge \sum_{k=0}^{2 N + 1} \frac{{\left(-1\right)}^{k} {x}^{2 k + 1}}{2 k + 1}
efebb8
atan ⁣(x)(π2)2x1+π2x\operatorname{atan}\!\left(x\right) \le {\left(\frac{\pi}{2}\right)}^{2} \frac{x}{1 + \frac{\pi}{2} x}
a42212
atan ⁣(x)x1+x\operatorname{atan}\!\left(x\right) \ge \frac{x}{1 + x}
3fe47b
atan ⁣(x)πxπ+2x\operatorname{atan}\!\left(x\right) \ge \frac{\pi x}{\pi + 2 x}
f5d28c
atan ⁣(x)π2x1+x2\operatorname{atan}\!\left(x\right) \le \frac{\pi}{2} \frac{x}{\sqrt{1 + {x}^{2}}}
b0a4e9
atan ⁣(x)x1+x2\operatorname{atan}\!\left(x\right) \ge \frac{x}{\sqrt{1 + {x}^{2}}}
d04a5b
atan ⁣(x)π2tanh ⁣(x)\operatorname{atan}\!\left(x\right) \le \frac{\pi}{2} \tanh\!\left(x\right)
b971fe
atan ⁣(x)tanh ⁣(x)\operatorname{atan}\!\left(x\right) \ge \tanh\!\left(x\right)

Complex arguments

7272a8
atan ⁣(z)atanh ⁣(z)\left|\operatorname{atan}\!\left(z\right)\right| \le \left|\operatorname{atanh}\!\left(\left|z\right|\right)\right|
fa9b71
atan ⁣(z)log ⁣(1z)\left|\operatorname{atan}\!\left(z\right)\right| \le -\log\!\left(1 - \left|z\right|\right)

Perturbations

47331d
atan ⁣(x+y)atan ⁣(x)=atan2 ⁣(y,1+x(x+y))\left|\operatorname{atan}\!\left(x + y\right) - \operatorname{atan}\!\left(x\right)\right| = \operatorname{atan2}\!\left(\left|y\right|, 1 + x \left(x + y\right)\right)
96289e
atan ⁣(x+y)atan ⁣(x)y\left|\operatorname{atan}\!\left(x + y\right) - \operatorname{atan}\!\left(x\right)\right| \le \left|y\right|
fa30c7
atan ⁣(x+y)atan ⁣(x)y1+(max ⁣(0,xy))2\left|\operatorname{atan}\!\left(x + y\right) - \operatorname{atan}\!\left(x\right)\right| \le \frac{\left|y\right|}{1 + {\left(\max\!\left(0, \left|x\right| - \left|y\right|\right)\right)}^{2}}
4d2168
atan ⁣(x+y)atan ⁣(x)<π\left|\operatorname{atan}\!\left(x + y\right) - \operatorname{atan}\!\left(x\right)\right| \lt \pi

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-06-18 07:49:59.356594 UTC