PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof of factor theorem (Proof)

Suppose that $f(x)$ is a polynomial with real or complex coefficients of degree $n-1$ Since $f$ is a polynomial, it is infinitely differentiable. Therefore, $f$ has a Taylor expansion about $a$ Since $f^{(n)}(x)=0$ the expansion terminates after the $n-1^{{th}}$ term. Also, the $n^{{th}}$ remainder of the Taylor series vanishes; i.e., $\displaystyle R_n(x)=\frac{f^{(n)}(y)}{n!}x^n=0$ Thus, the function is equal to its Taylor series. Hence,

$\begin{array}{rl} f(x) & \displaystyle =\sum_{k=0}^{n-1}\frac{f^{(k)}(a)}{k!}(x-a)^k \\ & \\ & \displaystyle =f(a)+\sum_{k=1}^{n-1}\frac{f^{(k)}(a)}{k!}(x-a)^k \\ & \\ & \displaystyle =f(a)+(x-a)\sum_{k=1}^{n-1}\frac{f^{(k)}(a)}{k!}(x-a)^{k-1} \\ & \\ & \displaystyle =f(a)+(x-a)\sum_{k=0}^{n-2}\frac{f^{(k+1)}(a)}{(k+1)!}(x-a)^k. \end{array}$

If $f(a)=0$ then $\displaystyle f(x)=(x-a)\sum_{k=0}^{n-2}\frac{f^{(k+1)}(a)}{(k+1)!}(x-a)^k$ Thus, $f(x)=(x-a)g(x)$ where $g(x)$ is the polynomial $\displaystyle \sum_{k=0}^{n-2}\frac{f^{(k+1)}(a)}{(k+1)!}(x-a)^k$ Hence, $x-a$ is a factor of $f(x)$

Conversely, if $x-a$ is a factor of $f(x)$ then $f(x)=(x-a)g(x)$ for some polynomial $g(x)$ Hence, $f(a)=(a-a)g(a)=0$

It follows that $x-a$ is a factor of $f(x)$ if and only if $f(a)=0$




"proof of factor theorem" is owned by Wkbj79. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: conversely, factor, function, vanishes, Taylor series, remainder, term, Taylor expansion, differentiable, degree, coefficients, complex, real, polynomial

This is version 5 of proof of factor theorem, born on 2002-05-25, modified 2008-09-08.
Object id is 2937, canonical name is ProofOfFactorTheorem.
Accessed 4717 times total.

Classification:
AMS MSC12D05 (Field theory and polynomials :: Real and complex fields :: Polynomials: factorization)
 12D10 (Field theory and polynomials :: Real and complex fields :: Polynomials: location of zeros )

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)