1/28

TEMAS DE MATEMTICAS
(Oposiciones de Secundaria)
TEMA 13
POLINOMIOS. OPERACIONES. FRMULAS DE NEWTON. DIVISIBILIDAD
DE POLINOMIOS. FRACCIONES ALGEBRAICAS.
1. El Anillo de los Polinomios de una variable.
1.1. Suma de Polinomios.
1.2. Producto de Polinomios.
1.3. El anillo de los polinomios.
1.4. Otras Estructuras de A[x].
1.5. Notacin Clsica de los Polinomios.
2. Frmulas de Newton.
2.1. Nmeros Combinatorios.
2.2. Frmula de Newton.
2.3. Frmula de Leibniz.
3. Divisibilidad de Polinomios.
3.1. Divisin Enclidea.
3.2. Relaciones de K[x].
3.3. Mximo Comn Divisor y Mnimo Comn Mltiplo de Polinomios.
3.4. Descomposicin factorial en K[x].
4. Razones Algebraicas.
4.1. El cuerpo de las razones algebraicas.
4.1.1. Suma de Razones Algebraicas.
4.1.2. Producto de Razones Algebraicas.
4.1.3. El cuerpo ce las Razones algebraicas.
4.2. Descomposicin en Fracciones Simples.
Bibliografa Recomendada.
2/28
TEMA 13
POLINOMIOS. OPERACIONES. FRMULAS DE NEWTON. DIVISIBILIDAD
DE POLINOMIOS. FRACCIONES ALGEBRAICAS.
1. EL ANILLO DE LOS POLINOMIOS DE UNA VARIABLE.
Vamos a considerar por la letra A un anillo conmutativo con elemento unidad,
(A, +, ). Representaremos por 0 al elemento neutro de (A, +) y por 1 al neutro de (A, ).
Es evidente que todo lo que digamos sobre A, sern vlidas para un cuerpo K (siendo
habitualmente 3 ").
DEF Llamaremos Polinomio de una indeterminada con coeficientes en A a toda
sucesin (a
m
)
m
de elementos de A verificando que existe un cierto n tal que
a
m
= 0 m > n.
NOTACIN El conjunto de los polinomios de una indeterminada con coef. en A se
denota por A[x].
Ejemplos.
(2, 3, -1, 0, 0,.) y (0, -1, 0, 1, 2, 0, 0,) son dos polinomios con coeficientes en el
anillo de los nmeros enteros, 9.
DEF Los elementos a
m
A de un polinomio reciben el nombre de coeficientes. El
elemento a
o
se llama trmino independiente y el elemento a
n
tal que a
m
= 0 m > n
recibe el nombre de coeficiente principal.
DEF Llamaremos grado de un polinomio al n n, siempre que a
n
sea el coeficiente
principal del mismo.
1.1. Suma de Polinomios.
DEF Dados P, QA[x] polinomios con P = (a
m
)
m
y Q = (b
m
)
m
definimos la suma
+: A[x] x A[x] A[x] como
P + Q = (a
o
+ b
o
, a
1
+ b
1
, a
2
+ b
2
,..) = (a
m
+ b
m
)
m
La suma est bien definida ya que
n / a
m
= 0 m > n
n / b
m
= 0 m > n
Entonces a
m
+ b
m
= 0 m > max (n, n) P + Q A[x]
PROP La suma de polinomios de A[x] verifica las siguientes propiedades, siendo P, Q
y R elementos de A[x]:
3/28
1) Conmutativa: P + Q = Q + P
2) Asociativa: (P + Q) + R = P + (Q + R)
3) Existencia de Elemento neutro: P + 0 = P
4) Existencia de Elemento Simtrico: P + (-P) = 0
Dem.
Sean P = (a
m
)
m
, Q = (b
m
)
m
y R = (c
m
)
m
1) P + Q = (a
m
+ b
m
)
m
= (b
m
+ a
m
)
m
= Q + P
2) Anlogo
3) Sea 0 = (0, 0, 0,.) el polinomio con todos sus coeficientes nulos.
As definido, el polinomio 0 verifica que es el polinomio neutro para la suma.
4) Sea - P = (- a
m
)
m
el polinomio con todos sus coeficientes con signo contrario a
los de P.
Trivialmente verifica que P + (- P) = 0
El conjunto A[x] con la ley de composicin interna as definida (A[x], +) tiene
estructura de grupo conmutativo.
1.2. Producto de polinomios.
DEF Dados P, QA[x] polinomios con P = (a
m
)
m
y Q = (b
m
)
m
definimos el
producto : A[x] x A[x] A[x] como
P Q = (a
o
b
o
, a
o
b
1
+ a
1
b
o
,.,

P
i
i p i
b a
0
,.... ) = (

m
i
i m i
b a
0
)
m
El producto est bien definido ya que
n / a
m
= 0 m>n
n / a
m
= 0 m>n
Entonces

P
i
i p i
p b a
0
0 >
,
`

.
|
+

m
i
i m i
b a n n
0

m
A[x]
PROP El producto de polinomios definido en A[x] verifica las siguientes propiedades,
con P, Q, RA[x].
4/28
1) Conmutativa P Q = Q P
2) Asociativa (PQ)R = P(QR)
3) Existencia de elemento neutro P 1 = P
Dem.
En la demostracin tendremos en cuenta que

+

m
i j i
j i i m i
b a b a
0
1)

,
`

.
|


+ j i
j i
b a Q P
m
=

,
`

.
|

+ j i
i j
a b
m
=

,
`

.
|

+ m j i
j i
a b
m
= Q P
2) ( )

,
`

.
|

,
`

.
|

+ + m p K
K
p j i
j i
c b a R PQ
m
=

,
`

.
|

+ + m p K p j i
K j i
c b a
m
=

,
`

.
|

+ + m K j i
K j i
c b a
m
=
= ( )

+ +

,
`

.
|

m i q q K j
K j i
QR P c b a
3) Sea 1K[x] definido como 1 = (1, 0, 0, 0,.)
Entonces verifica que P 1 = P PA[x].
El conjunto A[x] con la ley de composicin interna as definida (A[x], ) tiene
estructura de semigrupo conmutativo.
1.3. El Anillo de Polinomios.
PROP Dado A[x] con la suma y el producto definidos, se verifica la propiedad
distributiva del producto respecto de la suma.
Dem.
P, Q, RA[x], hemos de comprobar P (Q + R) = PQ + PR y
(P + Q)R = PR + QR.
Al verificarse la propiedad conmutativa tanto para la suma como para el producto,
solo es necesario comprobar una de ellas.
( )

+
+ +

,
`

.
|
+ +
i m j i
j j i j j i
N j k
K j i
c b a c b a c b a R Q P ) ( ) (
5/28

+ +
+ +
m j i m j i
j i j i
PR PQ c a b a
Como conclusin podemos afirmar que (A[x], +, ) tiene estructura del Anillo
conmutativo con elemento unidad.
A[x] recibe el nombre del anillo de los polinomios en una indeterminada.
PROP Si A es un dominio de Integridad A[x] es un dominio de Integridad.
Dem.
Sean P, Q A[x] dos polinomios no nulos.
P = (a
m
)
m
= (a
o
, a
1
,.,a
n
, 0,) con a
m
= 0 m > n y a
n
0
Q = (b
m
)
m
= (b
o
, b
1
,..,b
p
, 0,) con b
m
= 0 m > p y b
p
0
P Q =

,
`

.
|

+ m j i
j i
b a
m
= (.., a
n
b
p
,.) y a
n
b
p
0 PQ 0
OBS Si A[x] es un dominio de integridad, podemos afirmar que
grad (P Q) = grad (P) + grad (Q) P, Q A[x] no nulos.
1.3. Otras Estructuras de A[ [ x] ].
Comprobemos que el anillo A se puede identificar con un subconjunto de A[x].
PROP Sea f: A A[x] mediante f(a) = (a, 0, 0,.). Entonces f es un monomorfismo.
Dem.
f(a + b) = (a + b, 0, 0,.) = (a, 0, 0, 0,.) + (b, 0, 0,) = f(a) + f(b)
f(a b) = (ab, 0, 0,.) = (a, 0, 0,.) (b, 0, 0,) = f(a) f(b)
f(1) = 1 siendo 1 = (1, 0, 0,.., 0)
f es inyectiva.
f(a) = f(b) (a, 0, 0,.) = (b, 0, 0,) a = b
OBS Si identificamos el elemento a con el polinomio (a, 0, 0,.) podemos considerar
que AA[x]. Los llamaremos polinomios constantes.
Segn lo anterior, los elementos de A son polinomios de grado cero, excepto el
0 = (0, 0, 0,.) que no tiene grado.
6/28
DEF Definimos la operacin externa
A
: AxA[x] A[x] como aA
(b
m
)
m
A[x] a (b
1
, b
2
, b
3
,.) = (a, 0, 0, 0,) (b
1
, b
2
, b
3
,.) = (ab
1
, ab
2
, ab
3
,).
PROP La operacin externa definida anteriormente verifica las siguientes propiedades;
dados , A y P, QA[x].
1) Distributiva respecto de las Escalares: ( ) P P P + +
2) Distributiva respecto de los polinomios: ( ) Q P Q P + +
3) PseudoAsociativa: ( ) ( ) P P
4) Elemento Unidad: P P 1
Dem.
Inmediata.
Como A es un anillo y (A[x], +) es un grupo conmutativo, entonces (A[x], +,
A
)
tiene estructura de A-mdulo.
Si A tuviese estructura de cuerpo (habitualmente utilizaremos como dominio de
operadores el cuerpo 3 o el cuerpo ") lo denotaremos por K, y entonces (A[x], +,
K
) es
un espacio vectorial sobre K.
Y aun podemos definir otra nueva estructura algebraica sobre A[x]. Como es un
anillo conmutativo y unitario que verifica
( ) ( ) ( ) [ ] x A Q P y A Q P Q P PQ ,
entonces A[x] es un A-lgebra, o lgebra de los polinomios con una indeterminada
sobre el anillo A.
1.4. Notacin Clsica de los Polinomios.
DEF Sea X el polinomio de A[x] que tiene todos sus coeficientes nulos menos el
segundo, cuyo valor es 1 (Neutro del producto en A). Es decir, X = (0, 1, 0, 0,.).
PROP X
n
= (0, 0,,0,
1
1
+ n
(
, 0,) n
Dem.
Inmediata.
Dado PA[x] con P = (a
m
)
m
podemos escribirlo como P = (a
0
, a
1
, a
2
,) =
(a
0
, 0, 0,) + (0, a
1
, 0,) + (0, 0, a
2
,) + .=

a
0
+ a
1
(0, 1, 0,) + a
2
(0, 0, 1,) +... =
7/28
= a
0
+ a
1
x + a
2
x
2
+. + a
n
x
n
sabiendo que a
m
= 0 m > n
PROP Se verifica:
1) a
K
x
K
+ b
K
x
K
= (a
K
+ b
K
)x
K
k
2) (a
K
x
K
) (b
p
x
p
) = a
K
b
p
x
K+p
k, p
Dem.
Inmediata.
Si tomamos X
0
= 1 por convenio, junto con la proposicin anterior, obtenemos una
forma cmoda de realizar la suma y el producto de polinomios.
DEF Un polinomio PA[x] recibe el nombre de Monomio si todos sus coeficientes
son nulos menos uno.
DEF Llamaremos Polinomio a una suma finita de monomios.
Ejemplo.
1) a
i
x
i
es un monomio y a
0
+ a
1
x +.+ a
n
x
n
un polinomio.
2. FORMULA DE NEWTON.
Antes de llegar a obtener la frmula de Newton para el desarrollo, la potencia de un
binomio, o su generalizacin a la potencia de un polinomio mediante la frmula de
Leibniz, veamos unos resultados previos.
2.1. Nmeros Combinatorios.
Debido a que en la frmula de Newton aparecen los nmeros combinatorios,
comenzaremos el repaso por stos, remitiendo al lector al tema 3 del temario especfico
si desea encontrar las demostraciones de las propiedades que enumeremos.
Sabemos que los nmeros combinatorios se definen como
)! ( !
!
K n K
n
K
n

,
`

.
|
siendo sus propiedades ms importantes:
1) 1 1
0

,
`

.
|

,
`

.
|
n
n
y
n
8/28
2)

,
`

.
|

,
`

.
|
K n
n
K
n
3)

,
`

.
|
+

,
`

.
|

,
`

.
|
K
n
K
n
K
n 1
1
1
Llamada frmula de Stiefel.
4)

,
`

.
|

,
`

.
|

+ +

,
`

.
|

,
`

.
|

,
`

.
|
1
1
1
.....
1
2
1
1
K
K
K
K
K
n
K
n
K
n
Si escribimos los nmeros combinatorios en forma de tringulo

,
`

.
|

,
`

.
|
1
1
0
1

,
`

.
|

,
`

.
|

,
`

.
|
2
2
1
2
0
2

,
`

.
|

,
`

.
|

,
`

.
|

,
`

.
|
3
3
2
3
1
3
0
3

,
`

.
|

,
`

.
|

,
`

.
|

,
`

.
|

,
`

.
|
4
4
3
4
2
4
1
4
0
4
.
Y aplicando la frmula de Stieffel, obtenemos que cada nmero combinatorio es
suma de los dos que tiene encima, quedando
1 1
1 2 1
1 3 3 1
1 4 6 4 1
..
que se conoce como tringulo de Tartaglia (Nicola de Fontana) o tringulo de Pascal.
2.2. Frmula de Newton.
Vamos ahora a obtener el desarrollo del binomio de Newton, para lo cual
utilizaremos las propiedades de los nmeros combinatorios.
PROP Se verifica ( )

,
`

.
|
+
n
K
K K n n
b a
K
n
b a
0

Dem.
9/28
Realizaremos la demostracin por induccin en el exponente, n.
Para n = 1 ( )
K K
K
b a
K
b a b a b a b a
1
1
1
0
1
1 1
1
1
0
1

,
`

.
|

,
`

.
|
+

,
`

.
|
+ + +
Para n = 2 ( )

,
`

.
|

,
`

.
|
+

,
`

.
|
+

,
`

.
|
+ + +
2
0
2 2 2 2 2 2
2
2
2
1
2
0
2
2
K
K K
b a
K
b ab a b ab a b a
Supongamos que
( )

,
`

.
|

,
`

.
|

,
`

.
|

+ +

,
`

.
|
+

,
`

.
|
+
1
0
1
1 2 2 1 1

1
1
1
2
1
....
1
1 1
n
K
K
K n
n n n n n
b
K
n
b
n
n
ab
n
n
b a
n
a
n
n
b a
Veamos para n ( ) ( ) ( ) ( ) ( ) + + + + + +

b b a a b a b a b a b a
n n n n

1 1 1

,
`

.
|
+

,
`

.
|

1
0
1
0
1 1

1
n
K
n
K
K K n K K n
b a
K
n
b a
K
n
( )

+ +

,
`

.
|

,
`

.
|
+

,
`

.
|
+

,
`

.
|

1
1
2
0
1 1
1
1

1
0
1
n
K
n
K
n k K n K K n n
b
n
n
b a
K
n
b a
K
n
a
n

,
`

.
|

,
`

.
|

,
`

.
|
+

,
`

.
|

1
1
1
1
1
1

1
1

1
0
1
n
K
n
K
n K K n K K n n
b
n
n
b a
K
n
b a
K
n
a
n

,
`

.
|

+
]
]
]

,
`

.
|

,
`

.
|
+

,
`

.
|

1
01
1
1

1
1 1
0
1
n
K
n K K n n
b
n
n
b a
K
n
K
n
a
n
Aplicando la frmula de Stiefel.

,
`

.
|

,
`

.
|
+

,
`

.
|

1
1
1
1
0
1
n
K
n K K n n
b
n
n
b a
K
n
a
n
Y teniendo en cuenta que

,
`

.
|

,
`

.
|

,
`

.
|

,
`

.
|
n
n
n
n
y
n n
1
1
0 0
1
queda

,
`

.
|

,
`

.
|
+

,
`

.
|
+

,
`

.
|

1
1 0
.
0
n
K
n
K
K K n n K K n n
b a
K
n
b
n
n
b a
K
n
a
n
10/28
El resultado anterior lo podemos particularizar a los binomios de A[x].
( )
( )

+ + +

+ +

,
`

.
|
+
n
K
n n K n
x nx x
n n
nx x
K
n
x
0
1 2
.....
2
1
1 1
( )
( )
n n n
n
K
n n K K n n
x nax x a
n n
x na a x a
K
n
x a + + +

+ +

,
`

.
|
+

1 2 2
0
1
....
2
1

( ) ( )

+ + + +

,
`

.
|
+
n
K
n n n n n n K K n n
x b x nab x b na a bx a
K
n
bx a
0
1 1 1
....
Y en general:
( ) ( ) ( )
nj n j i nj n j i ni n ni n
n
K
K
j
K n
i
n
j i
x b x nab x b na x a bx ax
K
n
bx ax + + + +

,
`

.
|
+
+ +

1 1
0
....
2.3. Frmula de Leibniz.
La frmula de Newton se puede generalizar a un polinomio cualquiera.
Vamos a explicar como se obtiene el desarrollo de la potencia n-sima de un
polinomio formado por m trminos, sin entrar en demostraciones farrangosas.
Sea el polinomio (a
1
+ a
2
+.+ a
m
) que lo expresaremos por

m
i
i
a
1
. Queremos
calcular su potencia n-sima.
( ) ( ) ( )
m m m
n
m
i
i
a a a a a a a + + + + + +
,
`

.
|

..... ..... ..... ....

1 1 1
1
siendo un producto de n factores.
Si aplicamos de forma reiterada la propiedad distributiva obtenemos que cualquier
sumando del desarrollo es de la forma:
i
i
m
i
m
a a a a
m

1
2 1
......
2 1

(1)
verificndose que la suma de exponentes es n

m
i
i
n
1

Para ver el coeficiente que antecede a cada sumando, hemos de contar las veces que
aparece repetido. Para ello, tengamos en cuenta que el trmino (1) proviene de una
11/28
permutacin de los ( )
m i i
a
,..., 1 :
en los que cada a
i
aparece repetido
i
veces. Ese nmero
de permutaciones es
! !.... !
!
2 1
,..., ,
2 1
m
n
n
P
m

3. DIVISIBILIDAD DE POLINOMIOS.
A lo largo de este punto, trabajaremos con el cuerpo K en lugar del anillo
conmutativo A. Por tanto, llamaremos K[x] al anillo de los polinomios en una
indeterminada (sobre el cuerpo K).
3.1. Divisin Enclde.
PROP Sean A y B polinomios de K[x] con B 0. Existen y son nicos dos polinomios
C y R de K[x] verificando
A = B C + R y grad (R) < grad (B) si R 0
Dem.
Existencia.
Consideremos el conjunto de los polinomios de la forma A BQ donde Q recorre
k[x]. Se pueden dar dos casos:
a) Existe CK[x] tal que A - BC = 0
Entonces A = BC y tenemos demostrada la existencia. En este caso R = 0.
b) QK[x] A BQ 0 K[x] /grad (A BC) grad (A BQ) QK[x]
Escribamos A = BC + R. Comprobemos que grad (R) < grad (B).
Supongamos que grad (R) grad (B).
Si grad (B) = m grad (R) = m + K con K 0. Entonces
0 ...
1
+ + +
m
m
m o
b con x b x b b B
( ) 0 0 ....
1
+ + +
+
+
+
K r con x r x r r R
K m
K m
K m o
Si multiplicamos el polinomio B por el monomio ( )
K
m K m
x b r
1

+
(llamaremos
1

m K m K
b r c ), obtenemos que B x c R R
K
K
es un polinomio tal que grad
(R) < grad (R), de donde
A = BC + R = BC + R + C
K
x
K
B = B(C + C
K
x
K
) + R= BC + R
12/28
que puede escribirse como
A BC = R
Siendo, por hiptesis, R 0
Pero grad (R) < grad (R) con lo que
Grad (A BC) < grad (A BC)
lo que es una contradiccin con la eleccin que hemos de C.
Por tanto C K[x] / A = BC + R con grad (R) < grad (B)
Unicidad.
Supongamos que C
1
R
1
K[x] /A = BC
1
+ R
1
con grad (R
1
) < grad (B)
Entonces R R
1
= B (C
1
C)
Si C
1
C grad (R R
1
) grad (B)
Y llegamos a una contradiccin.
Entonces C
1
= C y por tanto R
1
= R, siendo nicos.
Si realizamos la divisin euclidea de A entre B, llamamos cociente al polinomio C
y Resto al polinomio R, tal que A = BC + R.
3.2. Relaciones en K[ [ x] ].
DEF Diremos que dos polinomios P, QK[x] son Asociados cuando slo se
diferencian en el producto de constantes. Es decir, P = a Q con a K.
Podemos definir en K[x] la relacin siguiente:
DEF Dados P, QK[x], P Q si y solo si aK / P = a Q. La relacin recibe el
nombre de ser asociado.
PROP La relacin definida anteriormente es una relacin de equivalencia.
Dem.
Inmediata.
DEF Sean P y Q dos polinomios de K[x]. Diremos que Q divide a P si existe CK[x]
tal que P = QC. Lo denotaremos por Q/P.
13/28
PROP La relacin divide a es una relacin de orden en K[x].
Dem.
Inmediata.
3.3. Mximo Comn Divisor y Mnimo Comn Mltiplo de Polinomios.
Como K[x] es un anillo, definiremos los trminos de MCD y mcm en funcin de
los ideales de K[x].
PROP Sea I un ideal de K[x]. Entonces existe un polinomio PK[x] tal que I es el
conjunto de todos los mltiplos de P.
Dem.
Si I = {0} P = 0
Si I {0} Sea PI un polinomio tal que grad (P) grad (Q) QI.
Entonces P es un polinomio de grado mnimo en I.
QP, al realizar la divisin euclidea.
C, RK[x] tal que Q = P C + R con grad (R) < grad (P)
Si R 0 sea R = Q P C
PI, QI, CK[x] Como I es ideal P CI RI
Contradiccin: Hemos llegado a la conclusin de que RI con grado menor que
el de P.
Entonces R = 0 y Q = P C Q(P) I(P)
Como trivialmente PI (P) I.
Obtenemos que I = (P).
El polinomio P es nico, salvo asociados.
DEF Llamamos Base de ideal I (con I {0}) al polinomio normalizado P tal que I =
(P). (Polinomio Normalizado es el polinomio de coeficiente principal 1). En caso de que
I = {0}, el polinomio base de I ser P = 0.
DEF Sean P y Q polinomios de K[x]. Llamamos mximo comn divisor de P y Q y se
representa por MCD (P, Q), al polinomio base del ideal (P) + (Q).
14/28
PROP Sea D = MCD (P, Q) siendo P, QK[x] dos polinomios. El polinomio D
verifica:
1) A, BK[x] dos polinomios tales que D = PA + QB
2) D/P y D/Q.
3) Si DK[x] / D/P y D/Q D/D (D es el mayor de los divisores comunes).
Dem.
1) Sabemos que (P) + (Q) es un ideal de K[x], por lo que existir DK[x] tal que
(P) + (Q) = (D).
Como D (D) ya que D = D 1 D (P) + (Q)
Si D (P) + (Q) A, BK[x] / D = P A + Q B
D se expresa como un polinomio de (P) ms otro de (Q).
2) P (P) + (Q) P (D) D/P
Q (P) + (Q) Q (D) D/Q
3) Sea DK[x] tal que D/P y D/Q.
Entonces G, HK[x] tales que P = DG y Q = DH
Siendo D = P A + Q B = (DG)A + (DH)B = D(GA + HB)
Y como GA + HB K[x] D/D
DEF Diremos que dos polinomios P, QK[x] son primos entre si MCD (P, Q) = 1.
PROP Sean P y Q dos polinomios de K[x] y D = MCD (P, Q). Si D 0 y escribimos
P = PD y Q = QD entonces P y Q son primos entres si.
Dem.
Dados P y Q A, BK[x] / D = P A + Q B
D = PDA + QDB 1 = PA + QB MCD (P, Q) = 1
PROP Sean A, P, Q K[x]
A/PQ y MCD (A, P) = A/Q
Dem.
15/28
Como MCD (A, P) = 1 G, H K[x] / 1 = A G + PH
Al multiplicar por Q resulta Q = AQG + PQH
Como A/PQ C K[x] / PQ = AC
Luego Q = AQG + ACH A = A (QG + CH)
Y como (QG + CH) K[x] A/Q
COROLARIO Si A K[x] es primo con P, Q K[x] entonces A es primo con PQ.
DEF Sea P y Q dos polinomios de K[x]. Llamamos mnimo comn mltiplo de P y Q,
y se re presenta por mcm (P, Q), al polinomio base del ideal (P) (Q).
PROP Sean P y Q dos polinomios de K[x] y M = mcm (P, Q). El polinomio M
verifica:
1) P/M y Q/M (M es mltiplo de P y Q).
2) Si MK[x] / P/M y Q/M M/M
Dem.
1) Por definicin de M se tiene (P) (Q) = (M)
M (M) M (P) (Q)
( )
( )

'

M Q Q M
M P P M
/
/
2) Si MK [x] / P/M y Q/M M (P) y M(Q)
Entonces M(P) (Q) M(M) M/M
Dados dos polinomios de K[x], vamos a ver un mtodo para calcular su mximo
comn divisor.
PROP Sean P y Q dos polinomios de K[x]. Si existen C, RK[x] tales que P = QC + R,
entonces mcd (P, Q).
Dem.
Sean D = mcd (P, Q) y D= mcd (Q, R)
Es claro que D/P y D/Q D/P y D/QC D/P-QC D/R
Entonces D/Q y D/R D/D. (1)
De forma Anloga; como D/Q y D/R D/P
16/28
Entonces D/Q y D/P D/D (2)
Como D y D son dos polinomios normalizados, de (1) y (2) se deduce que D = D.
Una vez que sabemos calcular el mximo comn divisor, podemos calcular el
mnimo comn mltiplo de la siguiente forma.
PROP Sean P, QK[x] con

n
i
i
i
x a P
0
y

m
j
j
j
x b Q
0
siendo a
n
0 y b
m
0. Si
D = MCD (P, Q) y M = mcm (P, Q) entonces se verifica la igualdad
a
n
b
m
MD = PQ
Dem.
Sea M= PQ = PQ ya que P = PD y Q = QD
Es claro que el coeficiente principal de M es a
n
b
m
y que PQ = M D
Por definicin de M se verifica que M es mltiplo de P (P/M) y de Q (Q/M),
por tanto M es mltiplo de M (M/M) (1).
Como M es mltiplo de P y Q A, BK[x] / M = PA = QB
PA = QB PDA = QDB PA = QB
Pero como P y Q son primos entre si F G, HK[x] / B = PG y A = QH
Entonces M = PA = QB M = PQH = QPG M = MH = MG
Luego M es mltiplo de M (M/M) (2)
De (1) y (2) se obtiene que M= a
n
b
m
M
Como PQ = MD PQ = a
n
b
m
MD
3.4. Descomposicin Factorial de K[ [ x] ] .
DEF Diremos que un Polinomio PK[x] es Irreducible o Primo si grad (P) 1 y no
es posible escribirlo como producto de dos polinomios P
1
, P
2
K[x] tales que
grad (Pi) < grad (P) i: 1, 2.
En caso contrario diremos que el polinomio es reducible o descomponible en K[x].
PROP Los polinomios de primer grado, X a, con aK son primos o irreducibles en
K[x] (cualquiera que sea K).
Dem.
17/28
Sea P = X a con grad (P) = 1.
Supongamos que P es reducible: P
1
P
2
K[x] / P = P
1
P
2
y
Grad (Pi) < grad (P) i: 1, 2.
Si P = P
1
P
2
grad (P) = grad (P
1
) + grad (P
2
)
Entonces 1 = grad (P
1
) + grad (P
2
). Caben dos posibilidades:
Si grad (P
1
) = 1 y grad (P
2
) = 0 Contradiccin: grad (P) = grad (P
1
)
Si grad (P
1
) = 0 y grad (P
2
) = 1 Contradiccin: grad (P) = grad (P
2
)
Luego P es irreducible.
DEF Diremos que K[x] es Algebraicamente Cerrado si sus nicos polinomios
irreducibles son de grado 1.
El que K[x] sea algebraicamente cerrado depende del cuerpo K. Es decir, el
concepto de irreducibilidad de un polinomio depende de K.
Por ejemplo, x
2
5 es irreducible en Q[x] pero no en 3[x]
( )( ) ( ) 5 5 5
2
+ x x x
Y tambin x
2
+ 5 es irreducible en 3[x] pero no en "[x]
( )( ) ( ) 5 5 5
2
i x i x x + + .
"[x] es algebraicamente cerrado.
PROP Para todo polinomio P K[x] tal que grad (P) > 0, existe K, P
1
,,P
m
K[x]
polinomios primos normalizados y
1
,
2
,.,
m
enteros mayores de 1 nicos tales que
m
m
P P P

.....
1
1
Dem.
Existencia.
Vamos a realizar la demostracin por induccin en el grado de P. Si grad (P) = 1 la
proposicin es trivialmente cierta.
Supongamos cierta la proposicin para todos los polinomios de grado n 1.
Si grad (P) = n
En caso de que P sea irreducible, la descomposicin es inmediata.
Supongamos pues, que P es descomponible o reducible.
18/28
Entonces QK[x] con 0 < grad (Q) < grad (P) y verificando que el grado de Q
es el menor de entre todos los divisores de P que cumplan la condicin anterior para los
grados.
Con esas condiciones podemos decir que Q es irreducible pudiendo escribir
P = Q P
Pero grad (P) < grad (P) y aplicando la hiptesis de induccin tenemos
1
1
.....
m
m
P P P


donde Q puede coincidir con algn P
i
o no .
Entonces
m
m
P P P Q P

....
1
1
siendo P
i
polinomios irreducibles
normalizados y 0 <
i
enteros i: 1,., m.
Unicidad.
Igualmente realizaremos la demostracin por induccin en el grado de P.
Si grad (P) = 1 la proposicin se cumple de forma evidente.
Supongamos que es cierto para grad (P) = n 1.
Si grad (P) = n
Supongamos
1 1
1 1
.... .....
m m
m m
Q Q P P P


Como los polinomios P
i
i: 1,., m y Q
j
j: 1,, m estn normalizados, debe de
ocurrir que = .
Dados dos polinomios A y B que son irreducibles y normalizados, si A B
entonces A y B son primos entre si. Teniendo en cuenta esto,
P
1
es primo, normalizado y
1
1 1
.... /
m
m
Q Q P


Entonces, aplicando una proposicin anterior, P
1
debe coincidir con algn Q
j
1 j m.
Sea P
1
= Q
1
(Reordenamos si es necesario).
Entonces queda
1 2 1

1
1 2
1
1
.... ....
m m
m m
Q Q P P P



Como ahora ambos polinomios tienen un grado menos, aplicamos la hiptesis de
induccin.
19/28
P
i
= Q
i
i: 1,., m, m = m y
i
=
i
i: 1,., m.
Siendo la descomposicin nica.
COROLARIO Sean A y B dos polinomios de K[x] con
m
m
P P A

....
1
1
y
m
m
P P B

.....
1
1
siendo P
i
polinomios irreducibles normalizados, y
i
,
i
- {0} para todo i: 1,, m.
Entonces:
Q/P
i

i
i: 1,., m
Hasta ahora hemos estado hablando de polinomios en una indeterminada. Para cada
polinomio podemos definir una funcin como sigue:
PK[x] definimos P
*
: K K aplicacin tal que si P = a
o
+ a
1
X +.+ a
n
X
n
entonces
P
*
(x) = a
o
+ a
1
x +.+ a
n
x
n
xK
DEF La aplicacin P
*
recibe el nombre de funcin polinmica asociada al polinomio
PK[x].
La suma y producto de funciones polinmicas se realiza como sigue:
(P
*
+ Q
*
) (x) = P
*
(x) + Q
*
(x)
(P
*
Q
*
) (x) = P
*
(x) Q
*
(x)
Habitualmente, se escribe P(x) en lugar de P
*
(x). Aun as, debemos ser conscientes
de la diferencia, P(x) es una funcin y P(X) es una funcin del anillo K[x]. Por abuso
de notacin llamaremos polinomio a ambos, y los denotaremos igual.
DEF Llamaremos valor numrico de un polinomio en una indeterminada, al valor que
se obtiene al sustituir la variable por su valor correspondiente.
TEOREMA. Teorema del Resto.
El resto de la divisin de un polinomio es X por el binomio X a coincide con el
valor numrico del polinomio en x = a.
Dem.
Sea PK[x]. Al dividir P entre (X a) tenemos P = (X a) Q + R con
grad(R) = 0
Tomando ahora P(a) = (a a) Q(a) `R R = P(a)
20/28
DEF Dado un polinomio P(x), llamaremos races o ceros del polinomio a los valores
de la indeterminada x, para los que el valor numrico de P(x) es cero.
TEOREMA. Teorema del Factor.
Sea PK[x]. aK es raz de P(x) (x a) / P.
Dem.

Si aK es raz de P P(a) = 0
Como P = (x a) Q + R y P(a) = 0 R = 0
Luego P = (X a) Q X a / P

Si (X a) / P P = (X a) Q
Entonces P(a) = (a a) Q(a) P(a) = 0 a es raz de P.
PROP Sea PK[x] con P = a
o
+ a
1
X +..+ a
n
X
n
con a
i
K i: 1,, n. Si P admite m
races distintas x
1
, x
2
,., x
m
con m n, entonces
P = (X x
1
) (X x
2
) (X x
m
)H
con H = a
n
X
n-m
+.
Dem.
Como x
1
K es una raz de P X x
1
/ P
P = (X x
1
) H
1
siendo H
1
= a
n
X
n-1
+.
Como x
2
K es otra raz de P X x
2
/ P X x
2
/ (X x
1
)H
1
Y como X x
2
no divide a X x
1
X x
2
/H
1
H
1
= (X x
2
) H
2
con H
2
= a
n
X
n-2
+.
P = (X x
1
) (X x
2
) H
2
Reiterando el proceso m veces obtenemos que
P = (X x
1
) . (X x
m
) H con H = a
n
X
n-m
+.
PROP Todo polinomio de grado n de K[x] admite a lo sumo n races.
Dem.
21/28
Si grad (P) = n P = a
n
X
n
+.+ a
1
X + a
o
Si P admite n races x
1
,., x
n
, por la proposicin anterior
P = a
n
(X x
1
) . (X x
n
)
Veamos que no puede tener ms races.
Sea r otra raz de P. Entonces r x
i
i: 1,, n.
P(R) = 0 por ser r raz de P
P(r) = a
n
(r x
1
) (r x
2
)(r x
n
) o
Contradiccin, r no es raz de P, y por tanto P tiene a lo sumo n races.
4. FRACCIONES ALGEBRICAS.
DEF Llamaremos fraccin algebraica a un par de polinomios N, DK[x] con D 0.
El primero, N, recibe el Nombre de Numerador y el segundo, D, de denominador. Se
representa por
D
N
.
DEF Definimos en el conjunto K[x] x K[x]
*
la relacin de equivalencia R dada por
(siendo K[x]
*
= K[x] - {0}):

DN D N
D
N
R
D
N

PROP La relacin R definida en K[x] x K[x]
*
es una relacin de equivalencia.
Dem.
Inmediata.
DEF Cada clase de K[x] x K[x]
*
/R recibe el nombre de razn algebraica, siendo
K[x] x [x]
*
/R el conjunto de razones algebraicas.
4.1. El Cuerpo de las Razones Algebraicas.
4.1.1. Suma de razones algebraicas.
DEF Definimos en K[x] x K[x]
*
/ R la ley de composicin interna que llamaremos
suma como
[ ] [ ] R x xK x K
D
C
B
A
/ ,
*

]
]
]

]
]
]

]
]
]

]
]
]

+
]
]
]

D B
C B D A
D
C
B
A

22/28
La operacin est bien definida.
AD + BC K[x] y B 0, D 0 BD 0 BD K[x]
*
No depende del representante elegido.
Si
]
]
]

]
]
]

+
]
]
]

]
]
]

]
]
]

+
]
]
]

]
]
]

]
]
]

]
]
]

]
]
]

D B
C B D A
D
C
B
A
y
BD
BC AD
D
C
B
A
D
C
R
D
C
y
B
A
R
B
A
Como AB = BA y CD = DC
Multiplicando la 1 igualdad por DD ADBD = BDAD
Multiplicando la 2 igualdad por BB BCBD = BDBC
Sumando y sacando factor comn queda
BD (AD + BC) = BD (AD + BC)
Y equivale a
]
]
]

+
]
]
]

+


D B
C B D A
R
BD
BC AD
Luego la suma no depende del representante elegido.
PROP La suma definida en K[x] x K[x]
*
/ R verifica las propiedades
1) Asociativa
2) Conmutativa
3) Existencia de Elemento Neutro
4) Existencia de Elemento Simtrico.
Dem.
Inmediata.
El conjunto (K[x] x K[x]
*
/ R, +) tiene estructura de grupo conmutativo.
4.1.2. Producto de Razones Algebraicas.
DEF Definimos en K[x] x K[x]
*
/ R la ley de composicin interna que llamaremos
producto como
[ ] [ ]
]
]
]

]
]
]

]
]
]

]
]
]

]
]
]

BD
C A
D
C
B
A
R x xK x K
D
C
B
A
/ ,
*
La operacin est bien definida
23/28
A, CK[x] A CK[x]
B, DK[x]
*
B 0, D 0 BD 0 BDK[x]
*
No depende del representante elegido.

]
]
]

]
]
]

]
]
]

]
]
]

D C CD y B A AB
D
C
R
D
C
y
B
A
R
B
A

Multiplicando ambas igualdades ACBD = ACBD

AC BD = AC BD
]
]
]

]
]
]

D B
C A
R
BD
AC
PROP El producto definido en K[x] x K[x]
*
/ R verifica las siguientes propiedades:
1) Asociativa.
2) Conmutativa.
3) Existencia de Elemento Neutro.
4) Existencia de Elemento Neutro (si la razn es no nula).
Dem.
Inmediata.
El conjunto (K[x] x K[x]
*
, ) tiene estructura de grupo conmutativo.
4.1.3. El Cuerpo de las Razones Algebraicas.
PROP En el conjunto K[x] x K[x]
*
/ R se verifica la propiedad distributiva del
producto respecto de la suma (por ambos lados).
Dem.
Inmediata.
El conjunto (K[x] x K[x]
*
/R, +, ) tiene estructura de cuerpo conmutativo. Recibe el
nombre de Cuerpo de las Razones Algebraicas, y se representa por K(x).
4.2. Descomposicin en fracciones simples.
PROP Dado ( ) x K
B
A
y PK[x] con P 0, se verifica que
BP
AP
B
A
.
Dem.
Inmediata.
24/28
COROLARIO Para cada ( ) x K
B
A
, existen dos nicos polinomios A, bK[x]
tales que:

B
A
B
A
con mcd (A, B) = 1 y B normalizado
Dem.
Existencia.
Sea D = mcd (A, B) A = AD y B = BD con mcd (A, B) = 1
Trivialmente

B
A
B
A

Unicidad.
Si

B
A
B
A
con mcd (A, B) = 1 y B normalizado AB = AB
A = A y B = B
DEF Sea ( ) x K
B
A
con mcd (A, B) = 1. Dicha razn algebraica recibe el nombre de
fraccin simple, o forma reducida.
PROP Todo elemento
B
A
(fraccin simple) de K(x) se puede escribir de forma nica
como
R P
B
A
+
donde PK[x] y R es una fraccin simple
B
A
, con grad (A) < grad (B) si R 0.
Dem.
Existencia.
Sea
B
A
una fraccin simple.
Por la divisin enclidea P, AK[x] / A = B P + A con grad (A) < grad (B)
Entonces
B
A
P
B
A
+
25/28
Y como mcd (A, B) = mcd (B, A)
B
A
es una fraccin simple.
Unicidad.
Sea S Q R P
B
A
+ + con QK[x] y SK[x] siendo
D
C
S fraccin
irreducible y grad (C) < grad (D). Si S 0.
Entonces
D
C
Q
B
A
P + +

Y DB
D A CB
Q P
B
A
D
C
Q P


En caso de que P Q grad (CB AD) = grad ((P Q) DB)
Y grad ((P Q) DB) = grad (P Q) + grad (D) + grad (B) grad (D) + grad (B)
Siendo grad (CB AD) grad (D) + grad (B) (1)
Por otro lado
DB
D A CB
verifica grad (CB AD) < grad (DB) lo que es lo mismo
que grad (CB AD) < grad (D) + grad (B) (2)
De (1) y (2) se deduce una contradiccin, que viene de suponer P Q.
Entonces P = Q y R = S.
DEF El polinomio P que nos da la proposicin anterior se llama parte entera de
B
A
.
LEMA Sea ( ) x K
B
A
con grad (A) < grad (B) s A 0. Sea B = B
1
B
2
con B
1
y
B
2
primos entre s. Entonces
B
A
se descompone de forma nica como
2
2
1
1
B
N
B
N
B
A
+
con grad (N
i
) < grad (B
i
) si N
i
0 i: 1, 2.
Dem.
Existencia.
26/28
Como B
1
y B
2
son coprimos, P, QK[x] tales que
1 = B
1
P + B
2
Q
Y entonces A = AB
1
P + AB
2
Q (1)
Si dividimos AP entre B
2
(por ser B
2
0) tenemos C, NK[x] / AP = B
2
C + N
2
con grad (N
2
) < grad (B
2
) (2)
Al sustituir (2) en (1)
A = (B
2
C + N
2
) B
1
+ AB
2
Q
A = B
1
B
2
C + N
2
B
1
+ AB
2
Q
A = (B
1
C + AQ) B
2
+ N
2
B
1
Llamando N
1
= B
1
C + AQ queda A = N
1
B
2
+ N
2
B
1
(3)
Si grad (N
1
) grad (B
1
) grad (A) grad (B
1
) + grad (B
2
), pues
grad(N
2
) < grad (B
2
) si N
2
0, lo que contradice la hiptesis.
Por tanto si N
1
0 grad (N
1
) grad (B
1
)
De la expresin (3) se deduce que
2
2
1
1
B
N
B
N
B
A
+
Unicidad.
Supongamos que
2
2
1
1
2
2
1
1

B
N
B
N
B
N
B
N
B
A
+ + con grad (N
i
) < grad (B
i
) si N
i
0
i:1, 2.
Entonces
2
2 2
1
1 1

B
N N
B
N N

verificndose B
2
(N
1
N
1
= B
1
(N
2
- N
2
)
Y como B
1
y B
2
son coprimos, la igualdad slo puede ser cierta si N
1
= N
1
y
N
2
= N
2
.
LEMA Sea ( ) x K
B
A
con grad (A) < grad (B) si A 0. Sea B = B
1
B
2
. B
p
con B
i
y B
j
coprimos i j. Entonces
B
A
se descompone de modo nico como
27/28
p
p
B
N
B
N
B
A
+ + .....
1
1
con grad (N
i
) < grad (B
i
) si N
i
0 i: 1,., p.
Dem.
Inmediata aplicando induccin.
LEMA Sea ( ) x K
B
A
m
con grad (A) < grad (B
m
) s A 0. Entonces
m
B
A
se
descompone de forma nica como
m
m
m
B
N
B
N
B
N
B
A
+ + + ......
2
2 1
siendo grad (N
i
) < grad (B) si N
i
0 i: 1,, m.
Dem.
Vamos a demostrar el lema mediante induccin en m. Para m = 1. Es evidente,
siendo N
1
= A.
Supongamos cierto el lema cierta para m 1.
Para m.
Existencia.
Si realizamos la divisin enclidea de A entre B
C, RK[x] / A = BC + R
con grad (R) < grad (B) si R 0.
Entonces
n n n
B
R
B
C
B
A
+
1
(1)
Despejando
n n
B
R A
B
C

1
y como grad (A) < grad (B
n
) y grad (R) < grad (B
n
),
entonces grad (C) < grad (B
n-1
) si C o.
Aplicamos a
1 n
B
C
la hiptesis en induccin y sustituyendo en (1) obtenemos la
descomposicin pedida.
Unicidad.
28/28
Supongamos que
m
m
m
m
m
B
N
B
N
B
N
B
N
B
A
....

....
1 1
+ + + + con grad (N
i
) < grad (B)
si N
i
0 i: 1,., m
Si multiplicamos por B
m
la expresin anterior
N
m
+ BP = N
m
+ BQ
con P, QK[x], verificndose
N
m
N
m
= B(Q P)
Y teniendo en cuenta las relaciones entre los grados, la igualdad anterior solo es cierta si
N
m
- N
m
= 0 N
m
= N
m
y P = Q
Aplicando ahora la hiptesis de induccin a
1 1

n n
B
Q
B
P
obtenemos N
i
= N
i

i:1,, m 1.
TEOREMA. Teorema de Descomposicin.
Sea
B
A
K[x] fraccin simple. Supongamos que E es la parte entera de
B
A
y que
s
s
B B B

......
1
1
es su descomposicin en factores primos con K. Entonces, la
descomposicin
S
S
S
S
S
S
B
N
B
N
B
N
B
N
B
N
B
N
E
B
A

+ + + + + + + + + + .... .... .... ......

1
2
2
2
21
1
1
11
2
2
1
1
es nica donde grad (N
ij
) < grad (B
i
) si N
ij
0 j: 1,.,
i
i:1,., s.
Dem.
Este resultado es una consecuencia inmediata de la ltima proposicin y de los dos
ltimos lemas.
Bibliografa Recomendada.
lgebra. Aut. Serge Lang. Ed. Aguilar.
Algbre. Aut. S. MacLane, G. Birkhoff. Ed. Gauthier Villars.
Curso de lgebra Moderna. Aut. Peter Hilton. Ed.Revert.
lgebra. Aut. Thomas W. Hungerford. Ed. Springer-Verlag.