## You are here

Homeproof of factor theorem using division

## Primary tabs

# proof of factor theorem using division

###### Lemma (cf. factor theorem).

Let $R$ be a commutative ring with identity and let $p(x)\in R[x]$ be a polynomial with coefficients in $R$. The element $a\in R$ is a root of $p(x)$ if and only if $(x-a)$ divides $p(x)$.

###### Proof.

Let $p(x)$ be a polynomial in $R[x]$ and let $a$ be an element of $R$.

1. 2. Assume that $a$ is a root of $p(x)$, i.e. $p(a)=0$. Since $x-a$ is a monic polynomial, we can perform the polynomial long division of $p(x)$ by $(x-a)$. Thus, there exist polynomials $q(x)$ and $r(x)$ such that:

$p(x)=(x-a)\cdot q(x)+r(x)$ and the degree of $r(x)$ is less than the degree of $x-a$ (so $r(x)$ is just a constant). Moreover, $0=p(a)=0+r(a)=r(a)=r(x)$. Therefore $p(x)=(x-a)\cdot q(x)$ and $(x-a)$ divides $p(x)$.

∎

Major Section:

Reference

Type of Math Object:

Proof

Parent:

## Mathematics Subject Classification

12D10*no label found*12D05

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag

Sep 26

new question: Latent variable by adam_reith

Sep 17

new question: Harshad Number by pspss

Sep 14

new problem: Geometry by parag

new question: how to contest an entry? by zorba

new question: simple question by parag

Sep 26

new question: Latent variable by adam_reith

Sep 17

new question: Harshad Number by pspss

Sep 14

new problem: Geometry by parag