## Imaginary numbers
-$i^2 = -1$
-
-$\therefore i = \sqrt {-1}$
+$i^2 = -1 \quad \therefore i = \sqrt {-1}$
### Simplifying negative surds
$\mathbb{C} = \{a+bi : a, b \in \mathbb{R} \}$
-General form: $z=a+bi$
-- $\operatorname{Re}(z) = a$
-- $\operatorname{Im}(z) = b$
+General form: $z=a+bi$
+$\operatorname{Re}(z) = a, \quad \operatorname{Im}(z) = b$
### Addition
If $z=a+bi$, conjugate of $z$ is $\overline{z} = a-bi$ (flipped operator)
-Also, $z \overline{z} = (a+bi)(a-bi) = a^2+b^2$
+Also, $z \overline{z} = (a+bi)(a-bi) = a^2+b^2 = |z|^2$
- Multiplication and addition are associative
+#### Properties
+
+- $\overline{z_1 + z_2} = \overline{z_1} + \overline{z_2}$
+- $\overline{z_1 z_2} = \overline{z_1} \cdot \overline{z_2}$
+- $\overline{kz} = k \overline{z}, \text{ for } k \in \mathbb{R}$
+- $z \overline{z} = |z|^2$
+- $z + \overline{z} = 2 \operatorname{Re}(z)$
+
+
### Modulus
Distance from origin.
$\therefore z \overline{z} = |z|^2$
+#### Properties
+
+- $|z_1 z_2| = |z_1| |z_2|$
+- $|{z_1 \over z_2}| = {|z_1| \over |z_2|}$
+- $|z_1 + z_2| \le |z_1 + |z_2|$
+
### Multiplicative inverse
$z^{-1} = {1 \over z} = {{a-bi} \over {a^2+B^2}} = {\overline{z} \over {|z|^2}}$
General form:
$z=r \operatorname{cis} \theta$
-$= r\operatorname{cos}\theta+r\operatorname{sin}\theta i$
+$= r(\operatorname{cos}\theta+i \operatorname{sin}\theta)$
+
+$z=a+bi$
+$z=r\operatorname{cis}\theta$
+
-where
- $z=a+bi$
- $r$ is the distance from origin, given by Pythagoras ($r=\sqrt{x^2+y^2}$)
- $\theta$ is the argument of $z$, CCW from origin
Note each complex number has multiple polar representations:
$z=r \operatorname{cis} \theta = r \operatorname{cis} (\theta+2 n\pi$) where $n$ is integer number of revolutions
+### Conjugate in polar form
+
+$$(r \operatorname{cis} \theta)^{-1} = r\operatorname{cis} (- \theta)$$
+
### Multiplication and division in polar form
$z_1z_2=r_1r_2\operatorname{cis}(\theta_1+\theta_2)$ (multiply moduli, add angles)
${z_1 \over z_2} = {r_1 \over r_2} \operatorname{cis}(\theta_1-\theta_2)$ (divide moduli, subtract angles)
-## de Moivres' Theorum
+## de Moivres' Theorem
-$(r\operatorname{cis}\theta)^n=r^n\operatorname{cis}(n\theta)$
+$(r\operatorname{cis}\theta)^n=r^n\operatorname{cis}(n\theta)$ where $n \in \mathbb{Z}$