[spec] 4f - conjugate root theorem
authorAndrew Lorimer <andrew@lorimer.id.au>
Tue, 26 Feb 2019 11:03:09 +0000 (22:03 +1100)
committerAndrew Lorimer <andrew@lorimer.id.au>
Tue, 26 Feb 2019 11:03:09 +0000 (22:03 +1100)
spec/complex.md
index d1119212a4abd95e20212ac5a80366afd567bde2..959c241bfc7318f873fafb35c3ff13938e8a59f8 100755 (executable)
@@ -110,6 +110,8 @@ $z^2+a^2=z^2-(ai)^2=(z+ai)(z-ai)$
 
 ## Solving complex polynomials
 
+Include $\pm$ for all solutions, including imaginary.
+
 #### Dividing complex polynomials
 
 Dividing $P(z)$ by $D(z)$ gives quotient $Q(z)$ and remainder $R(z)$ such that:
@@ -122,7 +124,7 @@ Let $\alpha \in \mathbb{C}$. Remainder of $P(z) \div (z - \alpha)$ is $P(\alpha)
 
 ## Conjugate root theorem
 
-Let $P(z)$ be a polynomial with real coefficients. If $a+bi$ is a solution to $P(z)=0$, with $a, b \in \mathbb{R}$, the the conjugate $a-bi$ is also a solution.
+If $a+bi$ is a solution to $P(z)=0$, with $a, b \in \mathbb{R}$, the the conjugate $a-bi$ is also a solution.
 
 ## Polar form