solving complex quadratics
[notes.git] / spec / complex.md
index d0b662566a18554c97db9ae06b0ad0824d42fc52..b1688eb9a38e28fcc77eaa4dea24700f9299d545 100755 (executable)
@@ -2,42 +2,33 @@
 
 ## Imaginary numbers
 
-$i^2 = -1$
-
-$\therefore i = \sqrt {-1}$
+$i^2 = -1 \quad \therefore i = \sqrt {-1}$
 
 ### Simplifying negative surds
 
-$\sqrt{-2} = \sqrt{-1 \times 2}$
-
-          $= \sqrt{2}i$
+$\sqrt{-2} = \sqrt{-1 \times 2}$  
+$= \sqrt{2}i$
 
 
 ## Complex numbers
 
 $\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_1 = a+bi$ and $z_2=c+di$, then
-
-            $z_1+z_2 = (a+c)+(b+d)i$
+If $z_1 = a+bi$ and $z_2=c+di$, then  
+$z_1+z_2 = (a+c)+(b+d)i$
 
 ### Subtraction
 
-If $z_1=a+bi$ and $z_2=c+di$, then
-
-           $z_1−z_2=(a−c)+(b−d)i$
+If $z_1=a+bi$ and $z_2=c+di$, then $z_1−z_2=(a−c)+(b−d)i$
 
 ### Multiplication by a real constant
 
-If $z=a+bi$ and $k \in \mathbb{R}$, then
-
-           $kz=ka+kbi$
+If $z=a+bi$ and $k \in \mathbb{R}$, then $kz=ka+kbi$
 
 ### Powers of $i$
 $i^0=1$
@@ -48,24 +39,35 @@ $i^4=1$
 $\dots$
 
 Therefore..
+
 - $i^{4n} = 1$
 - $i^{4n+1} = i$
 - $i^{4n+2} = -1$
 - $i^{4n+3} = -i$
 
+For $i^n$, divide $n$ by 4 and let remainder $= r$. Then $i^n = i^r$.
+
 ### Multiplying complex expressions
 
-If $z_1 = a+bi$ and $z_2=c+di$, then
-           $z_1 \times z_2 = (ac-bd)+(ad+bc)i$
+If $z_1 = a+bi$ and $z_2=c+di$, then  
+$z_1 \times z_2 = (ac-bd)+(ad+bc)i$
 
 ### Conjugates
 
 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.
@@ -73,6 +75,12 @@ $|{z}|=\sqrt{a^2+b^2}$
 
 $\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}}$
@@ -96,29 +104,33 @@ ${z_1 \over z_2} = {{(a+bi)(c-di)} \over {c^2+d^2}}$
 
 To solve $z^2+a^2=0$ (sum of two squares):
 
-$z^2+a^2=z^2-(ai)^2$
-              $=(z+ai)(z-ai)$ 
+$z^2+a^2=z^2-(ai)^2=(z+ai)(z-ai)$
+
+*Must include $\pm$ in solutions*
 
 ## Polar form
 
-General form:
-$z=r \operatorname{cis} \theta$
-$= r\operatorname{cos}\theta+r\operatorname{sin}\theta i$
+$$\begin{equation}\begin{split}z & =r \operatorname{cis} \theta \\ & = r(\operatorname{cos}\theta+i \operatorname{sin}\theta) \\ & = a + bi \end{split}\end{equation}$$
 
-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
+- $r=|z|$, given by Pythagoras ($r=\sqrt{\operatorname{Re}(z)^2 + \operatorname{Im}(z)^2}$)
+- $\theta=\operatorname{arg}(z)$ (on CAS: `arg(a+bi)`)
+- **principal argument** is $\operatorname{Arg}(z) \in (-\pi, \pi]$ (note capital $\operatorname{Arg}$)
 
 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)$$
+
+Reflection of $z$ across horizontal axis.
+
 ### 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}$