patricaramello@facebook.

com
Demostracin del Teorema de Gauss
Cul es la aplicacin de este teorema?
Ejemplos de aplicacin

TEOREMA DE GAUSS
Si el polinomio real P(x) de grado n con coeficientes enteros admite una raz racional pq
(donde p y q son coprimos), entonces p es divisor del trmino independiente o
0
y q lo es del
coeficiente principal (o
n
).
HIPTESIS
P(x) = o

n
=0
es tal que oe y o
n
u
pqe es iaiz ue P(x) y mcJ(p, q) = 1

TESIS p\o
u
q\o
n


DEMOSTRACIN

Como pqe es raz de P(x), se verifica:

P(pq) = o

(pq)

n
=0
= u q
n
P(pq) = q
n
o

(pq)

n
=0
= o

q
n-
n
=0
= u

Escribiendo esta ltima igualdad en forma desarrollada

o
0
p
0
q
n
+o
1
p
1
q
n-1
+o
2
p
2
q
n-2
++o
n
p
n
q
0
= u

Despejando el primer trmino y sacando factor comn p, nos queda

o
0
q
n
= o
1
p
1
q
n-1
o
2
p
2
q
n-2
o
n
p
n


o
0
q
n
= p(o
1
q
n-1
o
2
p
1
q
n-2
o
n
p
n-1
)

o
0
q
n
= p _o

p
-1
q
n-
n
=1
_ o
0
q
n
= p s uonue se (I)

Distinguimos dos casos:
i) o
0
= u y el teorema se cumple con p = u y q = 1

ii) o
0
u

Entonces p u, pues si p = u como q u, por (I) ser o
0
= u, contra lo supuesto.
patricaramello@facebook.com


En este caso resulta por (I) que p\o
u
q
n


Dado que p y q son coprimos, es p\o
u
pues si un entero es divisor de un producto de
dos factores y primo con uno de los dos factores, entonces es divisor del otro.



Usando la ecuacin anterior

o
0
p
0
q
n
+o
1
p
1
q
n-1
+o
2
p
2
q
n-2
++o
n
p
n
q
0
= u

Despejando el trmino o
n
p
n


o
n
p
n
= o
0
q
n
o
1
p
1
q
n-1
o
2
p
2
q
n-2
o
n-1
p
n-1
q
1


o
n
p
n
= q(o
0
q
n-1
o
1
p
1
q
n-2
o
2
p
2
q
n-3
o
n-1
p
n-1
)

o
n
p
n
= q _o

q
n--1
n-1
=0
_ o
n
p
n
= q t uonue te

q\o
n
p
n
q\o
n
utilizanuo el mismo iazonamiento anteiioi.



Cul es la aplicacin de este teorema?

Este teorema ayuda a hallar las races de algunos polinomios. Ahora, para qu tipo de
polinomios puedo hallar sus races con este teorema? Esta parte es importante porque de lo
contrario, no se aplica el teorema. Repasemos la hiptesis:

P(x) = o

n
=0
es tal que oe y o
n
u

En forma coloquial, el polinomio P(x) de grado n tiene coeficientes enteros. En este caso,
cabe la posibilidad de que alguna raz sea un nmero racional que cumpla con estas
condiciones:

pqe es iaiz ue P(x) y mcJ(p, q) = 1
Si alguna de sus races cumple con esta condicin (p y q son coprimos, es decir, pq es una
fraccin irreductible), entonces se cumple que:

p\o
u
q\o
n


Entonces, cuando nos encontramos frente a un polinomio de coeficientes enteros, como
desconocemos si alguna de sus races cumple o no con la condicin de ser un racional,
patricaramello@facebook.com
podemos probar con las distintas combinaciones de los divisores del trmino independiente p

y del coeficiente del trmino principal q

. Por cada combinacin p

hacemos el cociente

P(x)
x
p

Si el cociente da como resto al 0, entonces p

es una raz de P(x).

Nota importante: Aqu hay que considerar que el teorema es una implicacin, es decir, que si
nos encontramos frente a un polinomio de coeficientes enteros que tiene una raz racional
como en la hiptesis, entonces se cumple que el numerador de la raz es divisor del trmino
independiente y el denominador es divisor del coeficiente de su trmino principal. Sin
embargo, su recproca no es verdadera, es decir, no siempre encontraremos una raz
combinando los divisores p\o
u
y q\o
n
.


Ejemplos:


Sea P(x) = 4x
2
+26x 14.

o
0
= 14
o
n
= 4

Los divisores de estos coeficientes son
14 = {1,2,7,14]
4 = {1,2,4]

Posible raz de P(x) (todas las combinaciones posibles de los divisores siempre que sean
coprimos)

p

= _1, 1,
1
2
,
1
2
,
1
4
,
1
4
, 2, 2, 7, 7,
7
2
,
7
2
,
7
4
,
7
4
, 14, 14 _

Cul de todas estas combinaciones es raz de P(x)? Recordemos que el cociente
P(x)
x
p

Si el resto da 0, entonces p

es raz. Entonces, como slo nos interesa el resto del cociente,

aplicamos el teorema del resto:

P(1) = 16 poi lo tanto 1 no es iaiz ue Px)
P(1) = S6 poi lo tanto 1 no es iaiz ue Px
P[
1
2
= u poi lo tanto
1
2
es iaiz ue Px)
P[
1
2
= 26 poi lo tanto
1
2
no es iaiz ue Px
P[
1
4
= 7,2S poi lo tanto
1
4
no es iaiz ue Px
patricaramello@facebook.com
P[
1
4
= 2u,2S poi lo tanto
1
4
no es iaiz ue Px
P(2) = S4 poi lo tanto 2 no es iaiz ue Px
P(2) = Su poi lo tanto 2 no es iaiz ue Px
P(7) =364 poi lo tanto 7 no es iaiz ue Px
P(7) = upoi lo tanto 7 es iaiz ue Px
P[
7
2
= 126 poi lo tanto
7
2
no es iaiz ue Px
P[
7
2
= S6 poi lo tanto
7
2
no es iaiz ue Px
P[
7
4
= 4S,7S poi lo tanto
7
4
no es iaiz ue Px
P[
7
4
= 47,2S poi lo tanto
7
4
no es iaiz ue Px
P(14) = 1.1S4 poi lo tanto 14 no es iaiz ue Px
P(14) = 4u6 poi lo tanto 14 no es iaiz ue Px

En conclusin, de todas las combinaciones posibles de divisores, slo y 7 son races de P(x),
como muestra el grfico:




Otro Ejemplo:

Sea (x) = 2x
4
+6x
3
14x
2
18x +24

o
0
= 24
o
n
= 2

Los divisores de estos coeficientes son
24 = {1, 2, S, 4, 6, 8, 12, 24]
2 = {1,2]

Posible raz de (x) (todas las combinaciones posibles de los divisores siempre que sean
coprimos)

p

= _1, 1,
1
2
,
1
2
, 2, 2, S, S,
S
2
,
S
2
, 4, 4, 6, 6,8, 8,12, 12,24, 24 _
patricaramello@facebook.com
Para saber cul podra ser raz, aplicamos el Teorema del Resto y vemos que (1) = u y
(4) = u. Esto significa que 1 y -4 son races de (x). El resto no dan 0, por lo tanto no son
races de (x).

Sin embargo, podemos observar que (x) es un polinomio de grado 4, esto significa que tiene
4 races. Estas pueden ser simples o mltiples, reales o imaginarias. Ya conocemos 2. Para
hallar las otras, aplicamos la Regla de Ruffini:

2 6 -14 -18 24
1 2 8 -6 -24
2 8 -6 -24 0
-4 -8 0 24
2 0 -6 0

La regla de Ruffini nos muestra que (x) = (x 1)(x +4)(2x
2
6) (II). El factor
(2x
2
6) se puede descomponer, por factor comn y luego por diferencia de cuadrados:
(2x
2
6) = S(x
2
S) = S(x S)(x +S)

As tenemos en (II):

(x) = (x 1)(x +4)(2x
2
6) = S(x 1)(x +4)(x S)(x +S)

En esta expresin podemos ver las dos races racionales halladas por el teorema de Gauss, 1 y
-4, y las dos irracionales, +S y S, que por su naturaleza no puede ser hallada por dicho
teorema, sino por otros artificios matemticos.





Espero haya sido de ayuda. Saludos