
Dividir o polinômio ![A(x) [;A(x);]](http://thewe.net/tex/A%28x%29) pelo polinômio
 pelo polinômio ![B(x) [;B(x);]](http://thewe.net/tex/B%28x%29) não identicamente nulo significa obter dois polinômios
 não identicamente nulo significa obter dois polinômios ![Q(x) [;Q(x);]](http://thewe.net/tex/Q%28x%29) (quociente) e
 (quociente) e ![R(x) [;R(x);]](http://thewe.net/tex/R%28x%29) (resto) que verficam as seguintes condições:
 (resto) que verficam as seguintes condições:
i) ![A(x) \equiv B(x)Q(x) + R(x) [;A(x) \equiv B(x)Q(x) + R(x);]](http://thewe.net/tex/A%28x%29%20%5Cequiv%20B%28x%29Q%28x%29%20+%20R%28x%29) ;
;
ii) ![gr(R) \prec gr(B) [;gr(R) \prec gr(B);]](http://thewe.net/tex/gr%28R%29%20%5Cprec%20gr%28B%29) ou
 ou ![R(x) \equiv 0 [;R(x) \equiv 0;]](http://thewe.net/tex/R%28x%29%20%5Cequiv%200) .
.
 
Observação 1: O símbolo "
![\equiv [;\equiv;]](http://thewe.net/tex/%5Cequiv)
" é usado para expressar identidade entre polinômios e significa que a expressão é válida para todos os valores de 
![x\ [;x\;]](http://thewe.net/tex/x%5C)
. Além disso, 
![gr [;gr;]](http://thewe.net/tex/gr)
 é o grau do polinômio, isto é, 
![gr(P) = m [;gr(P) = m;]](http://thewe.net/tex/gr%28P%29%20=%20m)
 se e somente se 
![a_m \neq 0 [;a_m \neq 0;]](http://thewe.net/tex/a_m%20%5Cneq%200)
 e todos os coeficientes com índices maiores que 
![m [;m;]](http://thewe.net/tex/m)
 são nulos.
Exemplo 1: Efetue a divisão de ![A(x) = x^3 + x + 2 [;A(x) = x^3 + x + 2;]](http://thewe.net/tex/A%28x%29%20=%20x%5E3%20+%20x%20+%202) por
 por ![B(x) = x^2 - 1 [;B(x) = x^2 - 1;]](http://thewe.net/tex/B%28x%29%20=%20x%5E2%20-%201) .
.
 
Resolução: Note que 
![R(x) \equiv 0 [;R(x) \equiv 0;]](http://thewe.net/tex/R%28x%29%20%5Cequiv%200)
 ou o grau de 
![R(x) [;R(x);]](http://thewe.net/tex/R%28x%29)
 é no máximo um, pois 
![gr(R) \prec gr(B) = 2 [;gr(R) \prec gr(B) = 2;]](http://thewe.net/tex/gr%28R%29%20%5Cprec%20gr%28B%29%20=%202)
. Assim,
 
![R(x) = mx + n [;R(x) = mx + n;]](http://thewe.net/tex/R%28x%29%20=%20mx%20+%20n) 
O próximo passo é determinar o grau de ![Q(x) [;Q(x);]](http://thewe.net/tex/Q%28x%29) . Da expressão
. Da expressão ![A(x) = B(x)Q(x) + R(x) [;A(x) = B(x)Q(x) + R(x);]](http://thewe.net/tex/A%28x%29%20=%20B%28x%29Q%28x%29%20+%20R%28x%29) , segue que
, segue que
![x^3+x+2 = (x^2 - 1)Q(x) + mx + n \qquad (1) [;x^3+x+2 = (x^2 - 1)Q(x) + mx + n \qquad (1);]](http://thewe.net/tex/x%5E3+x+2%20=%20%28x%5E2%20-%201%29Q%28x%29%20+%20mx%20+%20n%20%5Cqquad%20%281%29)
e para que essa expressão seja válida,
![gr(Q) = 1 \quad \Rightarrow \quad Q(x) = ax + b \qquad (2) [;gr(Q) = 1 \quad \Rightarrow \quad Q(x) = ax + b \qquad (2);]](http://thewe.net/tex/gr%28Q%29%20=%201%20%5Cquad%20%5CRightarrow%20%5Cquad%20Q%28x%29%20=%20ax%20+%20b%20%5Cqquad%20%282%29) 
Em geral, é possível provar que ![gr(Q) = gr(A) - gr(B) [;gr(Q) = gr(A) - gr(B);]](http://thewe.net/tex/gr%28Q%29%20=%20gr%28A%29%20-%20gr%28B%29) . Para obter
. Para obter ![Q(x) [;Q(x);]](http://thewe.net/tex/Q%28x%29) e
 e ![R(x) [;R(x);]](http://thewe.net/tex/R%28x%29) , substituímos
, substituímos ![(2) [;(2);]](http://thewe.net/tex/%282%29) em
 em ![(1) [;(1);]](http://thewe.net/tex/%281%29) e resolvemos a identidade polinomial:
 e resolvemos a identidade polinomial:
![x^3 + x + 2 = (x^2 - 1)(ax + b) + mx + n \quad \Rightarrow [;x^3 + x + 2 = (x^2 - 1)(ax + b) + mx + n \quad \Rightarrow;]](http://thewe.net/tex/x%5E3%20+%20x%20+%202%20=%20%28x%5E2%20-%201%29%28ax%20+%20b%29%20+%20mx%20+%20n%20%5Cquad%20%5CRightarrow) 
![x^3 + x + 2 = ax^3 + bx^2 - ax - b + mx + n \quad \Rightarrow [;x^3 + x + 2 = ax^3 + bx^2 - ax - b + mx + n \quad \Rightarrow;]](http://thewe.net/tex/x%5E3%20+%20x%20+%202%20=%20ax%5E3%20+%20bx%5E2%20-%20ax%20-%20b%20+%20mx%20+%20n%20%5Cquad%20%5CRightarrow) 
![x^3 + 0x^2 + x + 2 = ax^3 + bx^2 + (m-a)x + n - b [;x^3 + 0x^2 + x + 2 = ax^3 + bx^2 + (m-a)x + n - b;]](http://thewe.net/tex/x%5E3%20+%200x%5E2%20+%20x%20+%202%20=%20ax%5E3%20+%20bx%5E2%20+%20%28m-a%29x%20+%20n%20-%20b)
donde segue que
![\begin{cases}a = 1\\b = 0\\m - a = 1 \quad \Rightarrow \quad m - 1 = 1 \quad \Rightarrow \quad m = 2\\n - b = 2 \quad n = 2 \end{cases} [;\begin{cases}a = 1\\b = 0\\m - a = 1 \quad \Rightarrow \quad m - 1 = 1 \quad \Rightarrow \quad m = 2\\n - b = 2 \quad n = 2 \end{cases};]](http://thewe.net/tex/%5Cbegin%7Bcases%7Da%20=%201%5C%5Cb%20=%200%5C%5Cm%20-%20a%20=%201%20%5Cquad%20%5CRightarrow%20%5Cquad%20m%20-%201%20=%201%20%5Cquad%20%5CRightarrow%20%5Cquad%20m%20=%202%5C%5Cn%20-%20b%20=%202%20%5Cquad%20n%20=%202%20%5Cend%7Bcases%7D) 
Logo,
![Q(x) = x \quad \text{e} \quad R(x) = 2x+2 [;Q(x) = x \quad \text{e} \quad R(x) = 2x+2;]](http://thewe.net/tex/Q%28x%29%20=%20x%20%5Cquad%20%5Ctext%7Be%7D%20%5Cquad%20R%28x%29%20=%202x+2)
 
 
Podemos também obter o quociente e o resto da divisão de dois polinômio pelo método da chave (divisão euclideana) para o qual adotamos o seguinte roteiro:
i) Ordenar os polinômios ![A(x) [;A(x);]](http://thewe.net/tex/A%28x%29) e
 e ![B(x) [;B(x);]](http://thewe.net/tex/B%28x%29) segundo as potências decrescentes de
 segundo as potências decrescentes de ![x\ [;x\;]](http://thewe.net/tex/x%5C) ;
;
ii) Dividimos o primeiro termo de ![A(x) [;A(x);]](http://thewe.net/tex/A%28x%29) pelo primeiro termo de
 pelo primeiro termo de ![B(x) [;B(x);]](http://thewe.net/tex/B%28x%29) para obtermos o primeiro termo de
 para obtermos o primeiro termo de ![Q(x) [;Q(x);]](http://thewe.net/tex/Q%28x%29) . Em seguida multiplicamos o primeiro termo de
. Em seguida multiplicamos o primeiro termo de ![Q(x) [;Q(x);]](http://thewe.net/tex/Q%28x%29) por
 por ![B(x) [;B(x);]](http://thewe.net/tex/B%28x%29) , subtraindo de
, subtraindo de ![A(x) [;A(x);]](http://thewe.net/tex/A%28x%29) o produto obtido. O resultado é o primeiro resto parcial
 o produto obtido. O resultado é o primeiro resto parcial ![R_1(x) [;R_1(x);]](http://thewe.net/tex/R_1%28x%29) .
.

iii) Repetimos para ![R_1(x) [;R_1(x);]](http://thewe.net/tex/R_1%28x%29) o procedimento de ii) e assim sucessivamente até que o grau do resto
 o procedimento de ii) e assim sucessivamente até que o grau do resto ![R(x) [;R(x);]](http://thewe.net/tex/R%28x%29) fique menor que o grau de
 fique menor que o grau de ![B(x) [;B(x);]](http://thewe.net/tex/B%28x%29) ou, no caso de divisão exata, que o resto seja nulo.
 ou, no caso de divisão exata, que o resto seja nulo.
Exemplo 2: Obtenha o quociente e o resto das divisões de ![A(x) = 2x^3 + x^2 - 3x + 4 [;A(x) = 2x^3 + x^2 - 3x + 4;]](http://thewe.net/tex/A%28x%29%20=%202x%5E3%20+%20x%5E2%20-%203x%20+%204) por
 por ![B(x) = x +1 [;B(x) = x +1;]](http://thewe.net/tex/B%28x%29%20=%20x%20+1) .
. 
Resolução: Usando o método da chave, obtém-se ![Q(x) = 2x^2 - x -2 [;Q(x) = 2x^2 - x -2;]](http://thewe.net/tex/Q%28x%29%20=%202x%5E2%20-%20x%20-2) e
 e ![R(x) = 6 [;R(x) = 6;]](http://thewe.net/tex/R%28x%29%20=%206) conforme a primeira imagem do post.
 conforme a primeira imagem do post.
Proposição 1: O resto da divisão de um polinômio ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) pelo binômio
 pelo binômio ![x - a [;x - a;]](http://thewe.net/tex/x%20-%20a) é
 é ![P(a) [;P(a);]](http://thewe.net/tex/P%28a%29) .
. 
Demonstração: De fato,
![P(x) = (x - a)Q(x) + r \qquad (3) [;P(x) = (x - a)Q(x) + r \qquad (3);]](http://thewe.net/tex/P%28x%29%20=%20%28x%20-%20a%29Q%28x%29%20+%20r%20%5Cqquad%20%283%29) 
 
onde ![R(x) = r [;R(x) = r;]](http://thewe.net/tex/R%28x%29%20=%20r) pois
 pois ![gr(x - a) = 1 [;gr(x - a) = 1;]](http://thewe.net/tex/gr%28x%20-%20a%29%20=%201) . Fazendo
. Fazendo ![x = a [;x = a;]](http://thewe.net/tex/x%20=%20a) em
 em ![(3) [;(3);]](http://thewe.net/tex/%283%29) , temos
, temos ![P(a) = (a - a)Q(a) + r [;P(a) = (a - a)Q(a) + r;]](http://thewe.net/tex/P%28a%29%20=%20%28a%20-%20a%29Q%28a%29%20+%20r) .
.
Exemplo 3: O resto das divisões de ![P(x) = 3x^5 - x^4 + 2x^3 - x^2 + 1 [;P(x) = 3x^5 - x^4 + 2x^3 - x^2 + 1;]](http://thewe.net/tex/P%28x%29%20=%203x%5E5%20-%20x%5E4%20+%202x%5E3%20-%20x%5E2%20+%201) por
 por ![x - 1 [;x - 1;]](http://thewe.net/tex/x%20-%201) e
 e ![x + 2 [;x + 2;]](http://thewe.net/tex/x%20+%202) são:
 são:
![r_1 = P(1) = 3 - 1 + 2 - 1 + 1 = 4 [;r_1 = P(1) = 3 - 1 + 2 - 1 + 1 = 4;]](http://thewe.net/tex/r_1%20=%20P%281%29%20=%203%20-%201%20+%202%20-%201%20+%201%20=%204) e
e
![r_2 = P(-2) = 3(-2)^5 - (-2)^4 + 2(-2)^3 - (-2)^2 + 1 = -131 [;r_2 = P(-2) = 3(-2)^5 - (-2)^4 + 2(-2)^3 - (-2)^2 + 1 = -131;]](http://thewe.net/tex/r_2%20=%20P%28-2%29%20=%203%28-2%29%5E5%20-%20%28-2%29%5E4%20+%202%28-2%29%5E3%20-%20%28-2%29%5E2%20+%201%20=%20-131) 
Corolário 1: Um polinômio ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) é divisível por
 é divisível por ![x - a [;x - a;]](http://thewe.net/tex/x%20-%20a) se e somente se
 se e somente se ![P(a) = 0 [;P(a) = 0;]](http://thewe.net/tex/P%28a%29%20=%200) .
. 
Demonstração: Segue diretamente da Prop. 1.
Exemplo 4: Mostre que se um polinômio ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) é divisível por
 é divisível por ![x - a [;x - a;]](http://thewe.net/tex/x%20-%20a) e
 e ![x - b [;x - b;]](http://thewe.net/tex/x%20-%20b) com
 com ![a \neq b [;a \neq b;]](http://thewe.net/tex/a%20%5Cneq%20b) , então
, então ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) é divisível por
 é divisível por ![(x - a)(x - b) [;(x - a)(x - b);]](http://thewe.net/tex/%28x%20-%20a%29%28x%20-%20b%29) .
.
Resolução: Basta mostrar que o resto ![R(x) [;R(x);]](http://thewe.net/tex/R%28x%29) da divisão de
 da divisão de ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) por
 por ![(x -a)(x - b) [;(x -a)(x - b);]](http://thewe.net/tex/%28x%20-a%29%28x%20-%20b%29) é zero. De fato,
 é zero. De fato,
![P(x) = Q_1(x)(x - a) \quad \Rightarrow \quad P(a) = 0 [;P(x) = Q_1(x)(x - a) \quad \Rightarrow \quad P(a) = 0;]](http://thewe.net/tex/P%28x%29%20=%20Q_1%28x%29%28x%20-%20a%29%20%5Cquad%20%5CRightarrow%20%5Cquad%20P%28a%29%20=%200) 
![P(x) = Q_2(x)(x - b) \quad \Rightarrow \quad P(b) = 0 [;P(x) = Q_2(x)(x - b) \quad \Rightarrow \quad P(b) = 0;]](http://thewe.net/tex/P%28x%29%20=%20Q_2%28x%29%28x%20-%20b%29%20%5Cquad%20%5CRightarrow%20%5Cquad%20P%28b%29%20=%200) 
Mas,
![P(x) = Q(x)(x - a)(x - b) + mx + n [;P(x) = Q(x)(x - a)(x - b) + mx + n;]](http://thewe.net/tex/P%28x%29%20=%20Q%28x%29%28x%20-%20a%29%28x%20-%20b%29%20+%20mx%20+%20n) 
Assim,
![\begin{cases}0 = P(a) = Q(a)\cdot 0 + m\cdot a + n \quad \Rightarrow ma + n = 0\\0 = P(b) = Q(b)\cdot 0 +m\cdot b + n\quad \Rightarrow mb + n = 0\end{cases} [;\begin{cases}0 = P(a) = Q(a)\cdot 0 + m\cdot a + n \quad \Rightarrow ma + n = 0\\0 = P(b) = Q(b)\cdot 0 +m\cdot b + n\quad \Rightarrow mb + n = 0\end{cases};]](http://thewe.net/tex/%5Cbegin%7Bcases%7D0%20=%20P%28a%29%20=%20Q%28a%29%5Ccdot%200%20+%20m%5Ccdot%20a%20+%20n%20%5Cquad%20%5CRightarrow%20ma%20+%20n%20=%200%5C%5C0%20=%20P%28b%29%20=%20Q%28b%29%5Ccdot%200%20+m%5Ccdot%20b%20+%20n%5Cquad%20%5CRightarrow%20mb%20+%20n%20=%200%5Cend%7Bcases%7D) 
Desse sistema concluímos que ![m = n = 0 [;m = n = 0;]](http://thewe.net/tex/m%20=%20n%20=%200) ou seja,
 ou seja, ![R(x) \equiv 0 [;R(x) \equiv 0;]](http://thewe.net/tex/R%28x%29%20%5Cequiv%200) .
.
Exercícios Propostos:
1) Determine o quociente e o resto da divisão de 
![A(x) = 2x^4 + x^3 - x^2 + x - 1 [;A(x) = 2x^4 + x^3 - x^2 + x - 1;]](http://thewe.net/tex/A%28x%29%20=%202x%5E4%20+%20x%5E3%20-%20x%5E2%20+%20x%20-%201)
 por 
![B(x) = x^2+ 4x + 3 [;B(x) = x^2+ 4x + 3;]](http://thewe.net/tex/B%28x%29%20=%20x%5E2+%204x%20+%203)
.
2) Mostre que ![x^n - a^n [;x^n - a^n;]](http://thewe.net/tex/x%5En%20-%20a%5En) é divisível por
 é divisível por ![x - a [;x - a;]](http://thewe.net/tex/x%20-%20a) .
.
3) Mostre que ![x^{2n} - (k+1)x^2 + k [;x^{2n} - (k+1)x^2 + k;]](http://thewe.net/tex/x%5E%7B2n%7D%20-%20%28k+1%29x%5E2%20+%20k) é divisível por
 é divisível por ![x^2 - 1 [;x^2 - 1;]](http://thewe.net/tex/x%5E2%20-%201) , sendo
, sendo ![n \in \mathbb{N} [;n \in \mathbb{N};]](http://thewe.net/tex/n%20%5Cin%20%5Cmathbb%7BN%7D) .
.
4) Um polinômio ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) quando dividido por
 quando dividido por ![x - 2 [;x - 2;]](http://thewe.net/tex/x%20-%202) dá resto
 dá resto ![13 [;13;]](http://thewe.net/tex/13) e dividido por
 e dividido por ![x + 2 [;x + 2;]](http://thewe.net/tex/x%20+%202) dá resto
 dá resto ![5 [;5;]](http://thewe.net/tex/5) . Obter o resto da divisão de
. Obter o resto da divisão de ![P(x) [;P(x);]](http://thewe.net/tex/P%28x%29) por
 por ![x^2 - 4 [;x^2 - 4;]](http://thewe.net/tex/x%5E2%20-%204) . R:
. R: ![R(x) = 2x + 9 [;R(x) = 2x + 9;]](http://thewe.net/tex/R%28x%29%20=%202x%20+%209)
Artigo publicado originalmente no blog Fatos Matemáticos.