Fungrim home page

Complex parts

Table of contents: Basic formulas - Specific values - Connection formulas - Functional equations - Bounds and inequalities

5e639e
Symbol: Sign sgn ⁣(z)\operatorname{sgn}\!\left(z\right) Sign function
920cc8
Symbol: Abs z\left|z\right| Absolute value
b7d740
Symbol: Arg arg ⁣(z)\arg\!\left(z\right) Complex argument
f5e62c
Symbol: Re Re ⁣(z)\operatorname{Re}\!\left(z\right) Real part
9086c6
Symbol: Im Im ⁣(z)\operatorname{Im}\!\left(z\right) Imaginary part
da5d5e
Symbol: Conjugate z\overline{z} Complex conjugate

Basic formulas

26565c
sgn ⁣(z)=zz\operatorname{sgn}\!\left(z\right) = \frac{z}{\left|z\right|}
4f0049
x+yi=x2+y2\left|x + y i\right| = \sqrt{{x}^{2} + {y}^{2}}
b2a880
arg ⁣(x+yi)=atan2 ⁣(y,x)\arg\!\left(x + y i\right) = \operatorname{atan2}\!\left(y, x\right)
8e6867
Re ⁣(x+yi)=x\operatorname{Re}\!\left(x + y i\right) = x
ba6d81
Im ⁣(x+yi)=y\operatorname{Im}\!\left(x + y i\right) = y
acda23
x+yi=xyi\overline{x + y i} = x - y i

Specific values

c423d2
arg ⁣(1)=0\arg\!\left(1\right) = 0
735409
arg ⁣(i)=π2\arg\!\left(i\right) = \frac{\pi}{2}
089f85
arg ⁣(i)=π2\arg\!\left(-i\right) = -\frac{\pi}{2}
a8b41c
arg ⁣(1)=π\arg\!\left(-1\right) = \pi

Connection formulas

3866dc
Re ⁣(z)=z+z2\operatorname{Re}\!\left(z\right) = \frac{z + \overline{z}}{2}
f1a29b
Im ⁣(z)=zz2i\operatorname{Im}\!\left(z\right) = \frac{z - \overline{z}}{2 i}
54340e
sgn ⁣(z)=exp ⁣(iarg ⁣(z))\operatorname{sgn}\!\left(z\right) = \exp\!\left(i \arg\!\left(z\right)\right)
60772e
arg ⁣(z)=ilog ⁣(sgn ⁣(z))\arg\!\left(z\right) = -i \log\!\left(\operatorname{sgn}\!\left(z\right)\right)

Functional equations

bcd22f
zz=z2z \overline{z} = {\left|z\right|}^{2}
8cac46
arg ⁣(cz)=arg ⁣(z)\arg\!\left(c z\right) = \arg\!\left(z\right)

Bounds and inequalities

98efc1
ab=ab\left|a b\right| = \left|a\right| \left|b\right|
a6e081
a+ba+b\left|a + b\right| \le \left|a\right| + \left|b\right|
48fe10
abab\left|\left|a\right| - \left|b\right|\right| \le \left|a - b\right|
6a894d
z=z\left|\overline{z}\right| = \left|z\right|
ebf8cc
Re ⁣(z)z\left|\operatorname{Re}\!\left(z\right)\right| \le \left|z\right|
fc427b
Im ⁣(z)z\left|\operatorname{Im}\!\left(z\right)\right| \le \left|z\right|
12664e
zRe ⁣(z)+Im ⁣(z)\left|z\right| \le \left|\operatorname{Re}\!\left(z\right)\right| + \left|\operatorname{Im}\!\left(z\right)\right|
432926
sgn ⁣(z)1\left|\operatorname{sgn}\!\left(z\right)\right| \le 1
08268d
arg ⁣(z)π\left|\arg\!\left(z\right)\right| \le \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