Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Proofs from Complex polynomials

All proofs from Complex polynomials.

Back to Complex polynomials

Polynomial division gives

p(z)=(z−α)q(z)+r,p(z)=(z-\alpha)q(z)+r,

with a constant remainder rr. At z=αz=\alpha, the first term vanishes, leaving p(α)=rp(\alpha)=r.

If p(α)=0p(\alpha)=0, polynomial division gives

p(z)=(z−α)q(z)+p(α)=(z−α)q(z),p(z)=(z-\alpha)q(z)+p(\alpha)=(z-\alpha)q(z),

so z−αz-\alpha is a factor. Conversely, if p(z)=(z−α)q(z)p(z)=(z-\alpha)q(z), then p(α)=0p(\alpha)=0.

Proceed by induction on the degree. A degree-one polynomial already has the required form. Suppose the result holds for degree mm. If pp has degree m+1m+1, the fundamental theorem of algebra supplies a root α1\alpha_1. The factor theorem gives

p(z)=(z−α1)q(z)p(z)=(z-\alpha_1)q(z)

for a polynomial qq of degree mm. Apply the induction hypothesis to qq and multiply the factors.

Write p(z)=∑j=0najzjp(z)=\sum_{j=0}^n a_jz^j with aj∈Ra_j\in\mathbb R. If p(α)=0p(\alpha)=0, then

p(α‾)=∑j=0najα‾ j=∑j=0najαj‾=p(α)‾=0.p(\overline\alpha) =\sum_{j=0}^n a_j\overline\alpha^{\,j} =\sum_{j=0}^n\overline{a_j\alpha^j} =\overline{p(\alpha)} =0.

For multiplicity, write p(z)=(z−α)kq(z)p(z)=(z-\alpha)^kq(z) with q(α)≠0q(\alpha)\ne0. Since pp has real coefficients, conjugating this factorisation gives p(z)=(z−α‾)kq~(z)p(z)=(z-\overline\alpha)^k\widetilde q(z), where q~(z)=q(z‾)‾\widetilde q(z)=\overline{q(\overline z)} and q~(α‾)=q(α)‾≠0\widetilde q(\overline\alpha)=\overline{q(\alpha)}\ne0. Thus the conjugate root has exactly the same multiplicity.