Cuaderno 2 - Algebra2 PDF

LGEBRA
Cuaderno 2
victor wall
Comentario.
El presente trabajo tiene como objetivo, presentar al estudiante una gua de
estudio, constituda por notas terico-prctico de las clases dadas. Pero, bajo ningn
concepto intenta substituir a la bibliografa existente sobre este tema, que el alumno deber
consultar permanentemente para lograr un efectivo aprendizaje.
Est dirigido a los alumnos que cursan regularmente la Asignatura
lgebra 2, correspondiente al segundo cuatrimestre del primer ao de la Carrera del
Profesorado en Matemtica de la Facultad de Ciencias Exactas, Qumicas y Naturales de la
Universidad Nacional de Misiones tiene como objetivo fundamental desarrollar los
conceptos bsicos y propiedades de los nmeros complejos, funciones circulares, de los
polinomios, de las fracciones racionales y de las ecuaciones algebraicas, de acuerdo a los
contenidos mnimos establecidos y, por los docentes de las asignaturas de los aos
siguientes de la Carrera.
Se cree que el alumno tendr, de sta manera un elemento de trabajo, que le
facilitar el estudio de esta parte del lgebra en el Primer Ao. Los temas presentados en
este cuaderno, son los que se desarrollarn en las clases tericas, prcticas y trabajos
complementarios y, se corresponden con las Unidades que conforman el Programa vigente
de la Carrera mencionada y constituyen (las clases), entonces, el complemento necesario
para una buena comprensin del texto.
Este material impreso expone los temas que forman parte de los contenidos
de la asignatura, y que son desarrollados en las clases expositivas y presentando el criterio
del Profesor para el estudio del mismo y que adems se encuentran dispersos en una
bibliografa muy variada o de muy difcil acceso para el alumno.
Consisten,
esencialmente,
en
la
presentacin
y
desarrollo,
metodolgicamente ordenado, de lo fundamental de cada unidad y, que es producto de una
labor docente de sntesis y recopilacin.
Se propone que la asignatura considere y estudie los temas relativos a :
Nmeros Complejos;
Funciones Circulares;
Polinomios;
Fracciones Racionales
Ecuaciones Algebraicas.
propuestos en los contenidos bsicos para la Formacin Docente en Matemtica del actual
Plan de Estudios de la carrera.
Se parte de la premisa fundamental, de que en las Universidades se debe
ensear ciencia de buen nivel, no importa si pura o aplicada, pero si ptima; (no se debe
sacrificar la formacin bsica en aras de la informacin tecnolgica, ya que sta, envejece
con mucha facilidad y slo un slido dominio de los conceptos bsicos, otorga la
flexibilidad necesaria para incorporar y adaptarse a las nuevas tecnologas.
El curso, sin prdida del rigor y de su nivel de excelencia deber

concentrarse en ideas, aplicaciones y capacitacin para una mayor y efectiva participacin
en actividades de discusin de problemas didcticos relacionados con la futura
participacin profesional.
La seleccin de los temas y su ordenamiento, deber mostrar las conexiones
entre ellos y con modelos reales, as como las tcnicas de resolucin concreta, y adems
teniendo en cuenta los contenidos mnimos de la Carrera.
Se a tratado de presentar el desarrollo de los temas, con el concepto de
que:
Incrementen, actualicen y fortalezcan su formacin especfica mediante
el conocimiento de los fundamentos, mtodos y aplicaciones de:
-
Nmeros complejos.
Funciones trigonomtricas.
Polinomios.
Fracciones racionales.
- Ecuaciones Algebraicas
Desarrollen una mejor disposicin a:
- Redescubrir conceptos bsicos e incorporar conocimientos nuevos de
manera continua;
- Resignificar los conocimientos previamente adquiridos a partir de:
a) la reflexin y el anlisis histrico y epistemolgico sobre el
descubrimiento y desarrollo de los conceptos.
b) La comparacin de diferentes propuestas didcticas;
- Adoptar una actitud decididamente actual en la presentacin e
interpretacin de temas problemas y resultados tradicionales;
- Relacionar sus propios conocimientos y experiencias con el desarrollo
de la investigacin cientfica.
Est organizado de manera que cada captulo se corresponda con una

Unidad del Programa de la Asignatura, como se enumera a continuacin.
I Nmeros complejos. Conceptos: Introduccin. Definicin. Adicin. Multiplicacin.
Propiedades. Distributividad de la multiplicacin con respecto a la adicin. Cuerpo de los
nmeros complejos. Construccin de la R-lgebra C. Nmero complejo conjugado.
Automorfismo involutivo. Mdulo de un nmero complejo. Definicin. Valuacin sobre
C. Plano complejo.
II Razones y funciones trigonomtricas.
Conceptos: ngulos. Razones trigonomtricas de un ngulo. Razones
trigonomtricas de ngulos especiales. Frmulas relativas a los ngulos asociados.
Funciones trigonomtricas y sus grficas. Expresin trigonomtrica del producto escalar.
Identidades trigonomtricas fundamentales. Ecuaciones trigonomtricas.
III.- Races de nmeros complejos.

Conceptos: Argumento de un nmero complejo no nulo. Interpretacin
geomtrica. Expresin trigonomtrica de un nmero complejo. Frmulas trigonomtricas
de adicin. Frmulas de transformacin. Potencias. Teorema de DeMoivre. Races
ensimas de un nmero complejo. Races ensimas de la unidad. Forma exponencial.
IV.- Anillo de polinomios.
Conceptos: Introduccin. Polinomio formal. Grado. Igualdad. Adicin en
A[x]. Multiplicacin. Notacin definitiva. Divisin euclidiana. Teorema fundamental.
Divisores comunes. Mximo comn divisor. Polinomios primos entre s. Teorema de
Bezout. Teorema de la divisibilidad. Descomposicin en factores primos. Derivacin.
Frmula de Mac-Laurin y de Taylor. Ceros de un polinomio.
V.- Fracciones racionales.
Conceptos: Cuerpo de las fracciones racionales. Fraccin irreducible. Leyes
de composicin en FK[x]. Descomposicin de una fraccin racional sobre un cuerpo
conmutativo. Descomposicin de una fraccin irreducible. Descomposicin sobre el cuerpo
de los nmeros complejos. Determinacin de la parte principal. Descomposicin sobre el
cuerpo de los nmeros reales.
VI.- Ecuaciones algebraicas.
Conceptos: Ecuaciones algebraicas y polinomios. Relaciones entre los
coeficientes y las races de un polinomio. Polinomio en R[x]. Ceros comunes a dos
polinomios. Eliminacin. Mtodos de eliminacin. Resolucin de ecuaciones particulares.
Ecuacin de tercer grado. Mtodo de Cardan. Discusin de la resolucin en R. Resolucin
trigonomtrica en el caso : 4p3 + 27q2 < 0.
1.-Nmeros complejos
Recordatorio.
Recordemos que, para todo punto a 0 en P = R2, se denomina recta
vectorial que contiene a a, al conjunto Da, que sigue:
Da = {x P/ R; x = a }.
Semi-recta.
Para todo punto a 0 en P, se denomina semi-recta vectorial (o
simplemente semirrecta) que contiene a a al (conjunto denotado da ) siguiente:
da = {x P/ R+; x = a }.
+
recorre R .
La semirrecta da es entonces el conjunto de puntos a cuando

El punto o se denomina el origen de toda semirrecta vectorial.
La semirrecta d e1 que pasa por el punto
e1 (primer vector de la base
cannica) se denomina eje polar)

e2
a
da
b
U
o
e1
Definicin.Se llama crculo unidad, y se lo denota U, al siguiente conjunto:

U = {xP/ || x || = 1}
Propiedad 1.Toda semirrecta vectorial corta al crculo unidad en uno y slo un punto.
En efecto, sea la semirrecta da (a 0). La interseccin da U es el

conjunto de los x P que verifican las siguientes condiciones:
|| x || = 1, con x = a y R+
Se tiene entonces || x || = || || a || = 1. Cmo a 0 y > 0, resulta que
existe y es nico. Esto es = || a ||-1. La interseccin contiene entonces un nico punto
b. Ver figura.
Ejemplo 1.
Supongamos que tengamos que escribir la ecuacin de la semirrecta que
pase por:
a) (3, 2); b) (-3, 5) y adems tengamos que representarla grficamente.
a) Solucin:
La ecuacin que describe los puntos de la semirrecta ser: (x, y) = (3, 2) con
R+, con x = (x, y) y a = (3, 2). Sabemos que la semirrecta tiene su origen en el punto
(0, 0), ( = 0) y adems pasa por el punto (3, 2). Para conocer un tercer punto, le
asignamos a un nmero real positivo cualquiera, por ejemplo 2, de manera que el punto
lo calculamos como (x, y) = 2(3, 2) = (6, 4). Se debe observar que la pendiente de la
2
semirrecta estar dada por m = .
3
b) Solucin.
Queda a cargo del alumno.
1.1.- Planteamiento del problema

Sabemos que todo nmero real positivo tiene raz cuadrada; sabemos
tambin que un nmero real negativo no tiene, en efecto, en un cuerpo ordenado todo
nmero al cuadrado es positivo.
Cuando los algebristas del siglo XVI acometieron la solucin de la
ecuacin de tercer grado, encontraron perturbados que ciertas expresiones, donde
intervenan races cuadradas de nmeros negativos, representasen nmeros reales.
El Matemtico Bombelli fue el primero en no asustarse ante el objeto
1 y lo consider como un nmero. Aplic a este smbolo las operaciones conocidas en
R, denotando a este objeto imaginario i que, por definicin, verifica que i2 = -1, y lo trat
como si este smbolo fuese un nmero como los otros.
Ms precisamente, compuso ste elemento i con los nmeros de R
como si operara en un cuerpo, y reemplazando en los clculos i2 por -1. Actualmente, se
dice que este cuerpo es una extensin del cuerpo R o que es el cuerpo engendrado por
i sobre R y se lo denota R(i). (La notacin definitiva ser C).
1.2.- Condiciones necesarias.

Intentemos que las propiedades de la adicin y la multiplicacin en R
sean prolongadas a R(i) de manera que R(i) sea al menos un anillo conmutativo.
Supongamos que se definen una adicin y una multiplicacin que tengan las propiedades
de un anillo conmutativo de tal forma que R sea un sub-cuerpo de este anillo y denotemos
estas operaciones de la misma manera que en R (es decir, tal como procedi Bombelli).
Para la multiplicacin, debe ser i2 = -1, y para cualesquiera
reales por asociatividad debe ser:
a y b
(ia)b = i(ab)
y por conmutatividad y asociatividad,
a(ib) = (ai)b = i(ab) y (ia)(ib) = -ab
para la adicin, por distributividad,
ia + ib = i(a + b),
y en una segunda etapa, se debe probar para elementos del tipo a + ib. Sumando dos
elementos de este tipo, se obtiene:
1)
(a + ib) + (c + id) = (a + c) + i(b + d),
por conmutatividad y asociatividad de la adicin y por distributividad. Se ve que el

resultado es del mismo tipo que los trminos de la adicin.
Multiplicando dos elementos de este tipo; se obtiene por distributividad:
(a + ib) (c + id) = ac + (ib)(id) + a(id) + (ib)c
Finalmente, por los resultados precedentes, se obtiene:
2)
(a + ib)(c + id) = ac bd + i(ad + ib)
y el resultado es del mismo tipo.

Se ve entonces que: haciendo intervenir pares ordenados (a, b) de R2,
definiendo en R2 una adicin y una multiplicacin y, apoyndonos en las condiciones
necesarias que acabamos de mostrar, podemos definir al cuerpo de los nmeros complejos.
Observacin:
A partir de la definicin i2 = -1, se obtienen: i3 = - i; i4 = 1; i5 = i,
es decir, cualquiera sea el nmero natural n, in ser igual a uno de estos cuatros valores,
{i, -1, -i, 1}
1.3.- Nmeros complejos.

1.3.1.- Definicin.
Se llama nmero complejo a un elemento de R2, es decir a un par
ordenado (a, b) de nmeros reales.
Al primero; a se le denominar parte real de (a, b).
Al segundo; b se le denominar parte imaginaria de (a, b).
Dos nmeros complejos son iguales se tienen la misma parte real y la
misma parte imaginaria:
(a, b) = (a, b) (a = a y
b = b).
Al conjunto de los nmeros complejos, munidos de estructura aditiva y

multiplicativa, que van a ser definidas, de le denota C.
Un nmero complejo ser denotado por una letra griega:
= (a, b)
se escribe entonces:
a = Re()
b = Im().
1.3.2.- Adicin en C.
La definicin siguiente resulta de la condicin necesaria (1)
Definicin:
A dos nmeros complejos (a, b) y (c, d), asociamos un nmero
complejo, denominado suma y definido por:
(a, b) + (c, d) = (a + c; b + d).
1.3.3.- Multiplicacin en C.
La definicin siguiente resulta de la condicin necesaria (2).
Definicin:
A dos nmeros complejos (a, b) y (c, d), asociamos un nmero
complejo, denominado producto y definido por:
(a, b) (c, d) = (ac bd; ad + bc)
1.4.- Propiedades de la Adicin.

1.4.1.- Conmutatividad.
Cualesquiera que sean los nmeros complejos y , se tiene
+=+
En efecto, si = (a, b) y = (c, d), entonces
(a + c; b + d) = (c + a; d + b)
debido a la conmutatividad en R
1.4.2.-Asociatividad
Cualesquiera que sean los nmeros complejos , y se tiene:
( + ) + = + ( + )
En efecto, se conservan las notaciones precedentes y si = (e, f), se
tiene:
[(a + c) + e; (b + d) + f]] = [a + (c + e); b + (d + f)]
debido a la asociatividad en R.
1.4.3.- Elemento neutro: = (0, 0)

Se verifica inmediatamente que, cualquiera que sea C
+ = .
1.4.4.- Nmeros complejos opuestos.

Cualquiera que sea C, existe un C tal que:
+ = .
En efecto, si se parte de = (a, b) buscamos un = (x, y) tal que:
(a + x; b + y) = (0, 0).
Se tiene, igualando las partes reales e imaginarias
10
x=-a
y = - b.
Todo elemento (a, b) tiene entonces un opuesto (-a, -b) para la adicin.
Se lo denota
(-a, -b) = -(a, b), en consecuencia:
C es un grupo aditivo conmutativo.
Consecuencia: Para cada par de nmeros complejos = (a, b) y = (c, d), existe otro
nmero complejo llamado la diferencia de y , denotado - y definido como la
suma de ms el opuesto de , y se escribe:
+ (- ) = - .
Puesto que todo nmero complejo tiene opuesto aditivo nico, las sustraccin o diferencia
entre nmeros complejos siempre es posible y es nica.
Adems, como el conjunto de los nmeros complejos con la adicin as
definida es un grupo conmutativo, y en un grupo todos los elementos son cancelables, se
tiene entonces:
(, , )
+=+
1.5.- Propiedades de la multiplicacin.

1.5.1.- Conmutatividad.
=
(, C),
Sea = (a, b)
= (c, d). Se tiene:
= (ac bd; ad + bc),
= (ca - db; da + cb)
Los dos nmeros obtenidos son iguales ya que la multiplicacin es

conmutativa en R.
1.5.2.- Asociatividad.
(, , C),
( ) = ( )
11
1.5.3.- Elemento neutro:

= (1, 0)
Se verifica inmediatamente que, cualquiera que sea C. La prueba a cargo del alumno.
= .
1.5.4.- Nmeros complejos inversos.

(C - {}), C,
Sea = (a, b). Tomemos = (x, y) tal que

(a, b) (x, y) = (1, 0).
Notemos primero que, si (a, b) = (0, 0), se tiene, cualquiera sea (x, y),
(0, 0) (x, y) = (0, 0).
El nmero complejo = (0, 0) no tiene entonces inverso.
Supongamos (0, 0). La condicin impuesta a nos d:
(ax by; ay + bx) = (1, 0).
Igualamos las partes real e imaginarias:
ax by = 1,
bx + ay = 0,
Dado que a2 + b2 0, el sistema admite una nica solucin:

x=
a
;
a + b2
y=
-b
a + b2
2
De lo que resulta que todo nmero complejo = (a, b) (0, 0) tiene

inverso
-b
a
; 2
, que se denota
= 2
2
2
a +b a +b
=
Se designa C*= C { }
Entonces C* es un grupo multiplicativo conmutativo.
12
Consecuencia: Al ser C* un grupo multiplicativo conmutativo, todos sus elementos

sern simplificables, es decir:
(, , C*), = =
Por otra parte, cualquiera que sean los nmeros complejos , , con 0, existe otro
nmero complejo llamado cociente de y de , denotado por / y definido en la
forma siguiente:
= / = -1
1.5.5.- Distributividad de la multiplicacin respecto a la adicin.

(, , C),
( + ) = +
Tomando: = (a, b); = (c, d);
= (e, f)
se tiene:
( + ) = (a, b)(c + e; d + f) =
= (a(c + e) b(d + f); a(d + f) + b(c + e)).
Por otra parte:
de donde
= (ac bd; ad + bc),
= (ae bf; af + be),
+ = (ac bd + ae bf; ad + bc + af + be)
y comparando se obtiene:
( + ) = + .
1.5.6.- Cuerpo de los nmeros complejos.

La adicin y la multiplicacin definen sobre C una estructura de grupo
conmutativo. Adems la multiplicacin es distributiva respecto a la adicin. En
consecuencia:
Teorema 1
C es un cuerpo conmutativo.
13
1.6.- Inmersin de R en C
1.6.1.- Conjunto de los nmeros complejos : (a, 0)
Designemos por el conjunto de los nmeros complejos (a, 0)
cuando a recorre R. La aplicacin : a a (a, 0) es evidentemente una biyeccin
de R sobre .
Para la adicin se tiene:
f(a) = (a,0)
f(b) = (b, 0)
a + b a f(a + b) = (a + b, 0)
f :R
a a
b a
O sea,
(a) + (b) = (a + b)
pues
(a, 0) + (b, 0) = (a + b, 0).
En consecuencia, es un isomorfismo para la adicin.
Para la multiplicacin, trabajando de la misma manera que con la suma
tenemos:
(a, 0)(b, 0) = (ab 0; 0 + 0) = (ab, 0)
se tiene finalmente que:
(a) (b) = (ab)
es tambin un isomorfismo para la multiplicacin.
Se tiene entonces a R inmerso en C, escribiendo:
(aR)
(a, 0) = a
En particular, el elemento neutro de la adicin en C es

= (0, 0) = 0
El elemento neutro de la multiplicacin en C es
= (1, 0) = 1
14
Se dice que C es un sobre cuerpo de R o una extensin de R. En

resumen, para los conjuntos de nmeros, tenemos la siguiente cadena de inclusin:
NZQRC
Adems, se debe observar que:
1- C es un espacio vectorial.
2- (C, +, ) es un anillo
3- (,C, kR)
(k) = (k)= k().
Entonces decimos que C es un R-lgebra.
Ejemplo 2.- Evale la expresin siguiente, utilizando las reglas de la adicin y
multiplicacin de los nmeros complejos.
(3, 6)(2, 1) + (4, 3) .
Solucin:
Utilizando la definicin de producto
(3, 6)(2, 1) + (4, 3) = (3 2 6 1; 3 1 + 6 2) + (4, 3);
haciendo las operaciones indicadas queda:
(3, 6)(2, 1) + (4, 3) = ( 0; 15) + (4, 3);
finalmente, usando la definicin de suma tenemos:
(3, 6)(2, 1) + (4, 3) = (4, 18)
1.6.2.- Imaginarios puros.

Tomamos (0, 1) = i. Se tiene
(0,1)(0,1) = (0 1, 0 + 0) = (-1, 0),
que se escribe
i2 = -1
Cualquiera que sea el nmero real a, se tiene
(0,1)(a, 0) = (0 0; 0 + a) = (0, a)
Es decir,
ia = (0, a)
15
Todo nmero complejo ia con aR se denomina imaginario puro.

Ahora, para todo nmero real a y b, se tiene
a + ib = (a, 0) + (0, b) = (a, b)
Recprocamente, todo nmero complejo = (a, b) es la suma de un nmero real y de un
imaginario puro, y puede ser escrito,
= (a, b) = a + ib.
En el clculo sobre los nmeros complejos puede ser usada cualquiera de
estas formas y adems reemplazar i2 por -1.
Ejemplo 3.- Evale la expresin siguiente, utilizando las reglas de la adicin y
multiplicacin de los nmeros complejos utilizando la forma a + bi de los nmeros
complejos con la regla i2 = -1.
(3, 6)(2, 1) + (4, 3).
Solucin: Escribimos la expresin a calcular en la forma:
(3, 6)(2, 1) + (4, 3) = (3 + 6i)(2 + i) + (4 + 3i) =
= 32 + 6i2 +3i + 2 6i = 6 6 + 3i + 12 I,
por consiguiente:
(3, 6)(2, 1) + (4, 3) = 0 + 15 i
Ejemplo 4.- Verifique la siguiente igualdad mediante clculos directos. (Propiedad
asociativa)
(3 + 2i) + [(2 + 6i) + (8 + 7i)] = [(3 + 2i) + (2 + 6i)] + (8 + 7i)]
Solucin.- (3 + 2i) + [(2 + 6i) + (8 + 7i)] = (3, 2) + [(2, 6) + (8, 7)] =
= (3, 2) + (10, 13) =
= (13, 15),
= 13 + 15 i
[(3 + 2i) + (2 + 6i)] + (8 + 7i)] = [(3,2) + (2, 6)] + (8, 7) =
=(5, 8) + (8, 7) =
16
=(13, 15),
= 13 + 15 i
1.7.- Nmeros complejos conjugados.
1.7.1.- Definicin.
Se llama
conjugado
del nmero complejo
a + ib
al nmero
complejo a ib.
El conjugado de se denota :
= a + ib
= a ib.
Queda definida as una aplicacin

Se tiene:
+ = 2 Re();
Adems:
= a2 + b2
de C en s mismo.
- = 2iIm()
Por ejemplo: Si = - 2 + 3i entonces ser = -2 3i ;

se tendr:
+ =-4
= (-2)2 + 32 = 13
Problema: Halle dos nmeros complejos y de manera que su suma de por

resultado un nmero real a y su diferencia un nmero imaginario bi.
Solucin:
Puesto que la suma + es un nmero real, las partes imaginarias de y de deben ser
iguales en valor absoluto, pero de signos opuestos. Adems como la diferencia - es
imaginario puro, las partes reales de y de deben ser iguales. Por lo tanto si = x + iy,
tendr que ser = x iy, para cualquiera x e y nmeros reales. Tendremos entonces que:
+ = 2x = a
x=a
- = 2iy = b
y=b
De esta manera los dos nmeros complejos son: = a + bi y = a - bi =
17
1.7.2.- Propiedades.
Propiedad 1.
Por definicin, el conjugado de a- ib es a + ib, entonces:
=
Esto prueba que a es involutiva.
Propiedad 2.
La involucin a es un automorfismo para la suma
+ = +
Si = a + ib y
= c + id,
entonces:
= a ib
= c id.
De donde
+ = (a + c) i(b + d) = + .
Por ejemplo si = 5 + 2i y
= 4 - 6i, sern = 5 2i
= 4 + 6i,
De donde:
+ = (5 2i) + (4 + 6i) = 9 + 4i;
+ = (5 + 2i) + (4 - 6i) = 9 4i luego + = 9 + 4i;

y se verifica que,
+ = 9 + 4i = +
Propiedad 3.
La involucin a es un automorfismo para la multiplicacin:
=
Considerando las mismas notaciones, se tiene:
= (ac bd) i(ad + bc) =
Por ejemplo si = 5 + 2i y
= 4 - 6i, sern = 5 2i
= 4 + 6i,
18
De donde:
= (5 2i) (4 + 6i) = 20 + 12 + 30 i - 8i = 32 + 22i
= (5 + 2i) (4 - 6i) = 20 + 12 -30i + 8i = 32 22i luego + = 32 + 22i

y se verifica que,
= 32 + 22i = +
De estas propiedades resulta que, en todo clculo sobre los nmeros
complejos, si se reemplazan los nmeros que intervienen por sus conjugados, el resultado
se reemplaza por su conjugado. La conjugacin es un automorfismo del cuerpo C.
Lema.
C*, con = (a, b) se tiene que: 1 =
Prueba:
Dado que = (a, -b), ser:
b
(a, - b) a
(a, - b)
=
= 2
= 2
; 2
= -1
2
2
2
(a, b)(a, - b) a + b
a +b a +b
Consecuencia.
Dado un nmero complejo cualquiera, se puede escribir:
1 =
Es decir, para escribir una fraccin entre dos nmeros complejos en la forma (a, b);
multiplicamos y dividimos la fraccin por el conjugado del denominador; esto es:
Ejemplo 5.- Siendo a y b nmeros reales, escriba el siguiente nmero complejo en la forma
a + bi:
3 + 2i
1+ i
Solucin: De acuerdo a la frmula

=
; tenemos que:
19
5-i
3 + 2i 3 + 2i 1 i
5-i 5 1
=
=
=
= i.
2
2
2 2
1+ i
1+ i 1 i 1 +1
2
1.8.- Mdulo de un nmero complejo.

1.8.1.- Definicin.Sea un nmero complejo = a + ib y su conjugado. Calculamos el
producto:
= (a + ib)(a ib) = a2 + b2
El producto de un nmero complejo por su conjugado es un nmero real,
positivo o nulo. Este nmero admite por consiguiente una y slo una raz cuadrada
positiva.
Definicin.
Se llama mdulo de un nmero complejo al nmero real positivo o

nulo,
El mdulo de se denota | |.
Por definicin,
| a + ib | =
a 2 + b2
Queda as definida una aplicacin de C en R+:

a | |.
Ejemplo 6.- a) Si = (3, 4), entonces | | =
32 + 4 2 = 25 = 5
b) Si = 1 + 2i, entonces | | = 12 + 2 2 = 5 .
En 1.9 estudiaremos el plano complejo. Sin embargo a esta altura
conviene observar que es evidente que existe una funcin biyectiva que asocia a cada
elemento del plano R2, un nmero complejo C y slo uno. En 1.9 se establecer que esta
funcin es un isomorfismo, por lo que los nmeros complejos pueden interpretarse
geomtricamente como puntos de un plano.
20
1.8.2.- Valuacin sobre C.

Mostraremos que esta aplicacin posee las tres propiedades que
distinguen al valor absoluto.
Propiedad 4.
||=0
= 0.
En efecto, se tiene en R, las siguientes equivalencias lgicas:

( a 2 + b 2 = 0)
(a2 + b2 = 0)
(a = 0 y
b = 0)
Propiedad 5.
a ||
grupo multiplicativo de R*:
es un morfismo del grupo multiplicativo de C sobre el

| | = | || |.
Por definicin:
| |2 = , | |2 = ,
| |2 =
Aplicando la propiedad 3 (automorfismo del producto), y la conmutatividad, se obtiene:

| |2 = = = | |2 | |2 = (| || |)2.
Tomando las races cuadradas en R+, la propiedad queda demostrada.
Consecuencia.
Si
entonces,
1
=1
1
1
=
El mdulo del inverso es igual al inverso del mdulo.
Propiedad 6.
El mdulo de la suma de dos nmeros complejos es a lo sumo igual, que
la suma de los mdulos de stos nmeros.
|+| ||+||
21
Lema.
Cualquiera que sea el nmero complejo , se tiene:

Re() | |
Se debe precisar que la desigualdad que se trata de demostrar aqu, tiene

lugar en R, hay que tener cuidado de no escribir la desigualdad en C, ya que no se puede
definir ninguna estructura de orden parecida en C.
Se debe observar que ninguna estructura de orden en C confiere a C de
una estructura de cuerpo ordenado, ya que en tal cuerpo todo cuadrado es positivo,
mientras que en C: i2 = -1.
Llamamos
= a + ib.
Se tiene Re() = a y
O sea, en R, se tiene que
a
||=
a 2 + b 2 (nmero real positivo o nulo).
a 2 + b2
Ya que, si a es negativo, la desigualdad es evidente y si a es positivo,

es suficiente comparar los cuadrados de los dos miembros y constatar que se tiene
a2 a2 + b2 .
Demostracin de la propiedad 6.
Se tiene, por definicin,
| + |2 = ( + )( + ) = ( + )( + )
Desarrollando en C esta expresin:
| + |2 = ( + )( + ) = + + + =
= | |2 + | |2 + +
Aplicando el lema al nmero = :

+ 2 | | = 2 | | | |
entonces:
| + |2 | |2 + | |2 + 2 | | | | = (| | + | |)2
Dos nmeros reales positivos o nulos estn en el mismo orden que sus cuadrados, la
propiedad 6 queda demostrada y
22
|+| ||+ ||
Las propiedades 4,5 y 6 muestran que el mdulo tiene las mismas
propiedades que el valor absoluto.
Desigualdades.Son indispensables ciertas desigualdades que contienen mdulos de

nmeros complejos para el desarrollo de ciertos aspectos tericos y la solucin de
problemas. Como el mdulo de un nmero complejo es un nmero real, en la resolucin de
estas desigualdades se utilizan las propiedades del cuerpo totalmente ordenado.
1.- a) | | | Re()| ;
b) | | | Im()|
2.- | | 2 2 | Re()| | Im()|

3.-
2 | | | Re()| + | Im()|
Solucin de 1.:
1.a) Puesto que todo nmero complejo puede escribirse como = Re() + i Im(), su
mdulo puede escribirse como | | =
deduce que:
[Re( )]2 + [Im( )]2

Por consiguiente:
[Re( )]2 + [Im( )]2 .
[Re( )]2
Como [Im()]2 0, de
= Re( ) .
| | | Re()|.
1.b) De la misma manera tenemos que: | | =

sigue:
[Re( )]2 + [Im( )]2

De lo que resulta:
[Re( )]2 + [Im( )]2

[Im( )]2
y [Re()]2 0, se
= Im( )
| | | Im()|.
Solucin de 2.- Como el cuadrado de un nmero real no puede ser negativo, podemos
escribir:
[ Re( ) + Im( ) ]2 0. Por consiguiente,
desarrollando el cuadrado:
[ Re( ) + Im( ) ]2 = | Re()|2 + 2| Re()|| Im()| + | Im()|2 0;
23
Es decir que, | Re()|2 + | Im()|2 2| Re()|| Im()| , o lo que es lo mismo:

| | 2 2 | Re()| | Im()|
Solucin de 3.- Si a la expresin de arriba, le sumamos | |2 = | Re()|2 + | Im()|2 se
obtiene:
2| |2 | Re()|2 + 2| Re()|| Im()| + | Im()|2, de donde
2| |2 [ Re( ) + Im( ) ] y extrayendo las races positivas se termina que:
2
2 | | | Re()| + | Im()|
1.8.3.- Sub-grupo multiplicativo

mdulo 1.
de los nmeros complejos de
Designamos por U al conjunto de nmeros complejos de mdulo 1:

U = {C / | | = 1}
La propiedad 5 expresa que la multiplicacin es interna en U:
(| | = 1 y | | = 1)
| | | | = | | = 1.
Por otra parte, el inverso de U es un nmero de U.

1
1
= 1.
||=1
=
morfismo
Entonces, U es un sub-grupo multiplicativo de C. Este es el ncleo del

a | | del grupo multiplicativo de C en el de R { 0 }.
1.8.4.- Resolucin de z2 = .
2
La ecuacin z = se denomina ecuacin binomia de segundo grado.

est dado en C y la incgnita es z.
Llamando z = x + iy,
= a + ib; con x, y, a, b son nmeros reales..
La ecuacin binomia se escribe

(x + iy)2 = a + ib
24
Igualando parte real y parte imaginaria de la ecuacin, podemos escribir:

x2 y2 = a
xy = b/2;
(1)
o tambin:
(x2 + ( y2 ) = a
x2( -y2) = -b2/4
xyb 0 )
(2)
Recprocamente, cada solucin (x, y) de (2), tal que a xy se le asigne

b, es solucin de (1); resolver (2) es determinar los dos nmeros x2 y (-y2), conociendo
su suma y su producto, y son en consecuencia, races de la ecuacin de coeficientes e
incgnitas reales:
u2 au b2/4 = 0;
esta ecuacin tiene una raz positiva
ambigedad,
x2
una raz negativa
a 2 + b2 + a
2
x2 =
x=
y2 =
a 2 + b2 + a
2
y = '
(-y2),
entonces sin
a 2 + b2 a
2
a 2 + b2 a
2
con 2 = 2 = 1, siendo y tales que xyb > 0, luego tales que b > 0; de donde
obtenemos dos soluciones
z1 = 1
a 2 + b2 + a
+ i1'
2
a 2 + b2 a
2
una de ellas (con 11' del signo de b), y z2 = -z1 la otra.

Para b = 0 y a > 0 se encuentra:
z1 = 1 a
para b = 0 y a < 0 (cuidado, que
z2 = -z1
a 2 = a = a ) se encuentra:
z1 = 1' i - a
z2 = -z1.
Si a = b = 0 se encuentra z1 = z2 = 0, luego:
Teorema
Todo nmero complejo tiene dos races cuadradas opuestas. Son distintas
entre s, s y slo si el nmero es no nulo.
25
Ejemplo 7.- Encontrar las races de la ecuacin 2 = 1 + i.

Solucin.- Tomamos 2 = (x + iy)2 = 1 + i, es decir: x2 y2 + 2xyi = 1 + i, es decir
podemos formular, igualando la parte real y la parte imaginaria.
x 2 + ( y 2 ) = 1
x 2 + ( y 2 ) = 1
x 2 y 2 = 1

2
1 , de manera que:
2
2
2
4x y = 1
2xy = 1
x (- y ) = 4
podemos ahora considerar a x2 y a
(- y2), (la suma de las dos races es 1, y el producto

1
= 0, cuya solucin es:
es ) como las races de la ecuacin: u2 u 4
1
2
u1 = +
2 2
u2 =
1
2
2 2
Como (-y2) es una raz negativa, tendremos que elegir

tenemos:
y2 = -u2
u2 = (-y2) y
y = u 2 , con = 1, es decir y =
x2 = u1
x = ' u1 , con ' = 1, es decir x = '
u1 = x2, luego
1
2
;
2 2
1
2
+
.
2
2
Si tomamos = ' = 1, y reemplazamos en x2 y2 + 2xyi = 1 + i, la ecuacin se verifica:
2
1
2 1
+ 2
-
+
2 2
2 2
1
2
+
2 2
1
2
i =1+i
2 2
Por consiguiente el conjunto solucin de la ecuacin ser:
S = 1 =
1
2
1
2
1
2
1
2
+
+ i
; 2 =
+
i
,
2
2
2 2
2
2
2 2
con 1 igual al opuesto de 2.
1.8.5.- Ecuacin de segundo grado con coeficientes complejos

ax2 + bx + c = 0 , con a 0
se puede escribir
26
b
b 2 4ac
= 0.
x +
2a
4a 2
se presentan dos tipos de discusin segn sean a, b, c reales o no;

1.- a, b, c reales
b2 4ac > 0
x=
- b + b 2 4ac
2a
( 2 = 1) ,
b2 4ac < 0
x=
- b + i b 2 4ac
2a
( 2 = 1) ,
b2 4ac = 0
x=
b
.
2a
2.- a, b, c no reales.
Sea d un nmero complejo tal que:
b2 4ac 0
d2 = b2 4ac
x=
b2 4ac = 0
- b + d
2a
x=
( 2 = 1)
b
2a
1.9.- Plano Complejo.

1.9.1.- Representacin geomtrica de los nmeros complejos.
Sea
P = R2
el plano euclidiano,
aplicacin:
f : R2 C;
{e1, e2}
su base cannica. La
f(a, b) = a + ib
es evidentemente biyectiva.
Todo punto (a, b)P est as asociando a uno y slo un elemento = a + ib de C, y
recprocamente. Adems, f es un isomorfismo de la adicin del R-espacio vectorial P
sobre la adicin en C:
f
(a, b)
a + ib;
f
(c, d)
c + id
27
implica
f
(a, b) + (c, d)
(a + c) + i (b + d) = f(a, b) + f(c, d)
En la multiplicacin de un nmero real por un nmero complejo ser,

para todo escalar c R:
f
c(a, b)
ca + icb = cf(a, b).
En consecuencia, los R-espacios P y C son isomorfos. Estos dos

espacios vectoriales quedan identificados y se los denominan, C el plano complejo.
Todo (a, b)R2, f(a, b) = se denominar punto del plano complejo C.
La adicin en C tiene por imagen en el plano complejo a la adicin
vectorial.
Sea C un punto dado del plano complejo. Entonces la aplicacin:
t : C C,
t(z) = z +
es la traslacin de C asociado a . El conjunto T de las traslaciones cuando

recorre C es un grupo conmutativo, sub-grupo del grupo (C) de las permutaciones del
plano complejo C. T es isomorfo al grupo aditivo de C.
Sea R, la aplicacin h : C C; h(z) = z es una homotecia
de razn . El conjunto H de las homotecias cuando recorre R* es un grupo
conmutativo, sub-grupo de (C), isomorfo al grupo multiplicativo de R.
e2
z+
e1
28
1.9.2.- Mdulo de un nmero complejo.
Dada la funcin
g: C
z a g(z) = z
Sea z C y g(z) su imagen en R. Entonces,

g ( z ) = a 2 + b 2 = || z ||
El mdulo de un nmero complejo es la norma del vector asociado en P.
1.9.3.- Rotaciones.
El crculo-unidad es la imagen, en el plano complejo, del sub-grupo U
multiplicativo de nmeros complejos de mdulo 1.
Para identificar C con el plano, se dice que U es el crculo unidad.
Definicin.
A todo U, asociamos la aplicacin r: C C siguiente:

(zC)
r(z) = z.
r se denomina rotacin del plano complejo C asociado a .

Sobre la figura, se muestra la imagen de un zC. Se tiene:
i
r(z)
z
|| r(z) || = | z |
Es evidente que toda rotacin r es biyectiva.

Es una permutacin del plano. Si se designa por R al
conjunto de las rotaciones r cuando recorre U,
entonces R es una parte del grupo (C) de las
permutaciones del plano.
La recproca de r est definido por:

(zC)
r -1 (z) = -1z,
r -1 = r -1 ,
y se tiene que r -1 R.
29
Sean ahora dos rotaciones r y r. Se tiene:

(zC)
(r r)(z) = r(z) = (z) = ()z = r(z)
Luego
r r = r r = r.
y se tiene que r r R, y que la ley de composicin de rotaciones es conmutativa. De
lo que resulta que R es un sub-grupo conmutativo de (C). Se le denomina grupo de
las rotaciones. (vectoriales).
Adems la aplicacin:
: U (C)
() = r
(U)
es un morfismo de grupos:
() = ()
( ).
Este morfismo es inyectivo:

r = r (zC)
r(z) = r z = z =
y la imagen de este morfismo (U) = R. En consecuencia, el grupo multiplicativo U de

los nmeros complejos de mdulo 1 es isomorfo al grupo de las rotaciones.
Teorema2.
El conjunto R de las rotaciones del plano
conmutativo de grupo (C) de las permutaciones de P.
es un sub-grupo
El grupo de las rotaciones R es isomorfo al grupo multiplicativo U de

los nmeros complejos de mdulo
Ejemplo. Determinar la rotacin r(z) = z, para =
3 1
3
+ i en el punto z = + 2i .
2 2
2
3 1 3
3 34 4 3+3
Solucin: Tendremos que: r(z) = z =
+ i + 2i =
+
i.
4
4
2 2 2
30
Observar que: | | = 1; y que | r(z) | = | z | =
5
. Es necesario que el lector, haga una
2
representacin grfica, para visualizar la rotacin.
1.9.4.- Similitudes
Definicin.
A todo C*, asociamos la aplicacin s : C C siguiente:

(zC)
s(z) = z
s se denomina similitud del plano complejo C asociado a .

Es evidente que s es biyectiva. Es una permutacin del plano. Si se
designa por S al conjunto de las similitudes s cuando recorre C*, S es una parte
del grupo (C) de las permutaciones del plano.
De lo que precede, se ve que, para cualquiera s y s en S:
s-1 = s -1 , s o s = s o s = s.
Luego s-1 pertenece a S y s o s S. Adems la ley de composicin
de similitudes es conmutativa. En consecuencia, S es un sub-grupo conmutativo del grupo
(C) de las permutaciones del plano. Se lo llama grupo de las similitudes. (vectoriales).
Adems el grupo R de las rotaciones es sub-grupo de S; la similitud s
es una rotacin si U. El grupo H de las homotecias es tambin sub-grupo de S; la
similitud s es una homotecia si R*.
Por ltimo, la aplicacin
: C* (C)
(C)
() = s
es un morfismo inyectivo de grupos donde la imagen es (C) = S.

En consecuencia, el grupo multiplicativo de C* es isomorfo al grupo de
las similitudes S. Resumiendo, tenemos este resultado:
Teorema 3.
El conjunto S de las similitudes del plano P es un sub-grupo
conmutativo del grupo (P) de las permutaciones de P. El grupo de las similitudes S
31
es isomorfo al grupo multiplicativo C* de los nmeros complejos. El grupo R, de las

rotaciones y el grupo H de las homotecias son sub-grupos de S.
1.9.5.- Factorizacin cannica de una similitud.

Observemos primero que el conjunto H+ de las homotecias h donde la
razn recorre
H *+ es un subgrupo del grupo H de las homotecias, e isomorfo al grupo
multiplicativo de R *+ .
z C, se tiene
Sea una similitud s S ( C*). Tomamos || = R *+ . Para todo

s(z) = z = (z) = z .
Observemos que:
' =
=
U
En consecuencia, si h es la homotecia de razn (positivo) y r la

rotacin asociada a U, se tiene:
s = r o h = h o r.
Esta es, la factorizacin cannica de la similitud s .
Teorema 4.
Toda similitud
s S
es compuesta, de manera nica, de una
homotecia h H ; ( = || R *+ ) y de una rotacin r R ( = -1U):

+
s = r o h = h o r.
1.9.6.- Similitudes afines.

Definicin.
Para toda similitud sS y toda traslacin tT, la compuesta

denotada s , se denomina similitud afn del plano asociado a y .
t o s
32
- Si U, s , se denomina rotacin afn y se denota r, .

- Si R*, s
denota h, .
se denomina homotecia afn de razn y se
- Si = 1, entonces s1, = t, traslacin asociada a .
Propiedad 7.
Para toda similitud s, , existe una y slo una traslacin, t T tal que
s = t o s = s o t
Notemos que, para todo C,
(s o t)(z) = (z + ).
(z C)
Mostremos entonces que para todo 0 y en C existe uno y slo un C tal que
(z C)
z + = (z + ).
Es decir, = -1. La propiedad queda demostrada.

Se ve tambin que, en el caso 0,
s T.
t o s s o t si
1, luego
Designemos por SA al conjunto de las similitudes afines s, cuando

recorre C. SA es una parte del grupo (P) de las permutaciones del plano P y se
tiene:
S T SA (P).
De acuerdo a la propiedad anterior, el sub-grupo (P) engendrado por
la parte S T es precisamente SA.
Se ha obtenido entonces el siguiente teorema:
Teorema 4.
El conjunto SA de las similitudes afines es un subgrupo del grupo (P)
de las permutaciones del plano P, sub-grupo engendrado por la parte S T .
Punto invariante de una similitud afin.

Mostraremos que, para toda similitud afn s SA distinta de una
traslacin, existe uno y slo un punto C tal que
33
s () =
En efecto, la ecuacin en C
+ =
tiene una, y slo una solucin si, 1
=
Propiedad 8.
Toda similitud afn s , distinta de una traslacin ( 1) posee uno y
slo un punto invariante, = (1 - )-1.
Se la denomina centro de la similitud afn s .
El centro de la similitud s es o.
s(z)
i
1
Tenemos ahora la siguiente propiedad:
Propiedad 9.
Para toda similitud s ( 1) de centro :
s = t o s o t
En efecto
( z C)
s(z) = z +
=+
Restando miembro a miembro, se obtiene
s(z) - = ( z - )
34
Tenemos entonces el siguiente esquema:

t 1
z
z
(z )
(z ) + = s , (z)
ANEXO 1.
En anlisis matemtico se estudiar que:
ei = cos + i sen
en particular (k entero)
e2ik = 1
ei = -1
tendremos ( Z)
ei ei = ei(+),
(ei)-1= e-i,
(ei)n = eni.
Todo nmero complejo z = r(cos + i sen) puede entonces escribirse

bajo la forma:
z = rei
llamada forma exponencial, particularmente cmoda gracias a las frmulas recordadas
anteriormente para efectuar productos y cocientes.
Ejercicios propuestos.
1.- Expresar cada uno de los siguientes tems, en la forma ri ; donde r es un nmero real
positivo.
a)
3
;
4
b) - - 49 ; c)
4
; d)
9
- 72 ; e)
- 75 ; f)
2.- Expresar cada uno de los siguientes como 1, -1, i o -i:

a) i14 ;
b) i20 ;
c) i16 ; d) (-i5 )3 ; e) i13 ; f) i-10.-
27
100
35
3.- Si a = (2, 1); b = (4, 3) , determinar: a) a + b ; b) a - b ; c) 2a ; d) 3b ;

e) a.b ; f) b-1 ; g) a.b-1
4.- Si a = (-2,3); b = (6, 8), determinar: a) a + b ;
f) b-1; g) a.b-1.
b) a - b; c) 2a;
d) 3b ; e) a.b;
5.- Dar el conjugado de cada uno de los siguientes nmeros complejos:

a) (7, 4);
b) 2 + 3i;
c) -3 - 4i ;
d) 2/3 + 4/5 i ;
e) (3/4 , 3/5 ).
6.- Dar el mdulo de cada uno de los nmeros complejos del ejercicio 5.
7.- En cada uno de los tems, desarrolle las operaciones indicadas y exprese el resultado de
la forma a + bi, donde a y b son nmeros reales.
a) (-9)1/2 + (-25)1/2 + (64)1/2;
b) (-3)1/2(-12)1/2;
c) (-22)1/2 - ((-2)2)1/2;
2
2
d) (1 +4i) + (3 + 2i);
e) (3 - 2i) (3 + 2i) ;
f) (5 + (-4)1/2)(5 - (-4)1/2);
1+ i
(2 + i) 2
2 + 3 2
;
.
g)
h)
;
j)
(2 + i)(3 + i)
(2 i) 2
1 + 2
8.- En cada uno de los tems, determinar los valores que deben tener x e y para que las
igualdades se cumplan.
a) (2,-5) = (x, y);
b) (2x, -3) = ( -4, -y);
d) x + 2xi - 7y - 6yi = 15 - 10i.
c) x - 2y + xi - yi = 2 + 5i;
9.- Determinar el valor de x2 + 6x + 13, donde x = -3 + 2i.

10.- Es 3 + i una solucin de y2 - 6y + 10 = 0?.
Es 3 - i una solucin de y2 - 6y + 10 = 0?.
11.- Demostrar:
, C, (0, 0),
x + = 0
x = --1 .
12.- Resolver la ecuacin dada y comprobar la solucin:

a) (3, 4)x + (5, 6) = (0, 0);
d) (1 +i)x - 2 = 0
b) (3, -4)x + (1, -2) = (0, 0);
c) ix = 1;
13.- Resolver la ecuacin dada por completacin de cuadrados. Comprobar cada una de sus
soluciones por substitucin.
a) x2 + 5x + 7 = 0;
d) 2x2 + 10x + 15 = 0;
b) x2 - x + 1 = 0;
e) 3x2 - 8x + 7 = 0;
c) 2x2 - 6x + 5 = 0;
f) 3x2 - 2x + 1 = 0.
14.- Resolver la ecuacin dada usando la frmula cuadrtica y comprobar sus soluciones.
a) x2 + x + 1 = 0;
d) 25x2 + 2x + 52 = 0;
b) x2 - 8x + 25 = 0;
e) (x - 1)2 + (x + 1)2 + 2x = 3;
c) 9x2 - 24x + 41 = 0;
f) 0.01x2 - 0,03x + 0,2 = 0;
36
15.- Determinar k tal que la solucin de la ecuacin dada en x contenga nicamente un

elemento.
a) kx2 - 3x + k = 0 ;
b) 2kx2 + 5x2 - 3kx + k - 1 = 0 .
16.- Determinar k, tal que el conjunto solucin de la ecuacin dada en x contenga: a)

dos nmeros reales; b) dos nmeros complejos de la forma a + bi y a - bi , donde a
y b 0 son nmeros reales.
a) x2 + 4x + k = 0;
b) x2 - kx + 9 = 0;
2
2
(Recordar que: a + b = a2 - (bi)2 = ( a - bi)(a + bi).
17.- Factorizar la expresin dada, en factores de primer grado, en el cuerpo de nmeros
complejos.
a) x2 + x + 1;
b) 16/81x2 + 49;
c) 2x2 - 2x + 1;
d) 3x2 - 2x + 1.
18.- Si z y z son complejos, se consideran los tres nmeros:

x=
z + z'
;
1 + zz'
y=i
z' - z
;
1 + zz'
u=
Demostrar que: x2 + y2 + u2 = 1. Verificar que si

reales.
1 - zz'
1 + zz'
z' = z,
entonces x, y, u son
19.- Probar que si z, z1, z2 C,

a) z = z ;
b) z1 + z2 = z1 + z2 ;
c) z1. z2 = z1 . z2 ;
( )
d) -z = z ;
e) z1 z2 = z1 z2
Bibliografa
La Bibliografa sobre Nmeros Complejos es muy amplia, pero para
elaborar sta gua de estudio se ha tenido en cuenta fundamentalmente a los libros que se
citan abajo. De cualquier manera, cualquiera de los libros de lgebra que aparecen en la
Bibliografa general del Programa Analtico de la Asignatura lgebra 2 pueden servir para
completar el estudio de ste tema.
Ayres, F.Jr. lgebra Moderna Libros McGraw-Hill.
Doneddu, A. Cours de Mathmatiques-Structures fondamentales-Libraire Vuibert.
Gentile, E. Notas de lgebra - Eudeba.
Leithold, L. Matemticas Previas al Clculo. Harla.
Lentin, A. : Rivaud, J. lgebra Moderna Aguilar.
Pcastaings, F. Chemins vers lAlgbre Vuibert.
Queysanne, M. lgebra Bsica-Editorial Vicens-Vives.
Ramis, E.; Deschamps, C.; Odoux, J. Cours de Mathmatiques epciales Masson.
Taylor, H.E. ; Wade, T.L. Matemticas Bsicas. Editorial Limusa Wiley, S. A.
37
2.- Razones y funciones trigonomtricas.
2.1.-Introduccin.
Se supone que el alumno, tiene un mnimo conocimiento de medidas de
ngulos. De cualquier manera, se presenta aqu un resumen de la teora de ngulos y su
medida.
Se considera lo que sigue en el plano complejo P = C, la semirrecta
vectorial d1 correspondiente al punto 1 de C se llamar eje polar. El crculo unidad U es el
grupo multiplicativo de nmeros complejos de mdulo 1. Es isomorfo al grupo R de las
rotaciones.
A todo U le corresponde una y slo una semirrecta vectorial d.
Recprocamente a toda semirrecta vectorial le corresponde un y slo un
punto U de tal manera que esta recta vectorial sea d.
En consecuencia, si se designa por D al conjunto de las semirrectas
vectoriales, existe una biyeccin
: U D
d
2.1.1.- Propiedad 1
Existe una biyeccin : d
conjunto D de las semirrectas vectoriales.
del crculo unidad U sobre el
2.1.2.- Angulos.
Un ngulo (en el plano), denotado por (d; d), consiste en dos
semirrectas d y d con un punto final comn y una rotacin que lleva d sobre d . Al
punto comn se le llama vrtice del ngulo; a la semirrecta d se le llama lado inicial y a
la d lado terminal del ngulo. Como la rotacin tiene una direccin y por lo tanto se le
puede asignar una medida y un signo, el ngulo queda orientado. A esta medida de la
rotacin se le llama la medida del ngulo y la denotaremos inicialmente por el nmero real
x.
Vamos a decir que el ngulo es positivo, si su rotacin es contra reloj. En
caso contrario decimos que el ngulo es negativo. Se denota grficamente por un arco con
la cabeza de flecha sobre el lado terminal del ngulo.
38
Nosotros vamos a considerar por conveniencia, a un ngulo con su

vrtice en centro del crculo de radio 1. Luego se podr extender a crculos de radio
cualquiera. Tenemos entonces, a o el centro del crculo unidad; a y puntos sobre el
crculo unidad. Los segmentos o y o tienen longitud 1. Por rotacin de d alrededor
del origen o, hasta que coincida con d , construmos el ngulo (d; d), (muchas veces
denotado tambin < o ), con medida x.
2.1.2.1.- Angulos orientados.

Definicin.
Se llama ngulo orientado a todo par ordenado de dos semirrectas
vectoriales d y d.
Se lo denota (d, d).
El conjunto de los ngulos orientado es entonces D2.
Se dir que un ngulo orientado (d, d) es congruente a un ngulo
orientado (d, d) si la rotacin que enva d sobre d es la misma que enva d sobre
d.
= .
Recordemos que la rotacin r que enva sobre est definida por
Esta relacin binaria en el conjunto D2, (congruencia) es una relacin de

equivalencia. Sea Q el conjuntocociente . Se debe observar que todo ngulo orientado
(d, d) es congruente a un y slo un ngulo (d1, d), donde el primer lado coincide con el
eje polar d1.
2.1.3.- Propiedad 2.
Sea Q el conjunto de clases de congruencia de ngulos orientados.
Relativo al eje polar, existe una biyeccin de D sobre Q, d (d1, d).
O sea podemos definir la biyeccin de D sobre el conjunto Q de las
clases de ngulos orientados.
:D Q
De acuerdo a lo expresado antes tenemos:

: U D ;
39
:D Q ;
d clase de (d1, d).
Entonces o es una biyeccin de U sobre Q:

o : U Q;
clase de (d1, d).
Se transporta por lo tanto, la estructura del grupo multiplicativo U sobre

Q, definiendo en Q una ley de composicin interna, (denotada +) de la manera siguiente:
( o )() + ( o )() = ( o )()
A partir de ste concepto, se deduce que (Q, +) es un grupo
conmutativo, isomorfo al grupo multiplicativo U, por consiguiente al grupo R de las
rotaciones.
Podemos ahora definir la siguiente funcin:
: r
que ser un isomorfismo multiplicativo U sobre el grupo R de las rotaciones. Se denotar:

U1 = U+ - {} con la rotacin correspondiente al ngulo llano.
Se denota: (U1) = R1 y
U+ = {U/ Im() 0}.
2.1.4.- Medida de ngulos.

Definicin:
Medir los ngulos es construir una aplicacin : R1 R que tenga las
siguientes propiedades:
1) u es un elemento diferente de 0 y elegido de una vez y para siempre
en R1 y denominado Unidad de Medida, se tiene:
(u) = 1.
2- Cualesquiera que sean x e y de R1, se tiene, cada vez que :

x + y R1
(x+y) = (x) + (y)
40
2.1.5.- Nmero .
Para definir la longitud de un crculo, se inscribe en el crculo un
polgono regular de n lados luego se mide el permetro por el nmero real pn, y se le
circunscribe a este crculo un polgono regular de n lados luego se mide el permetro por el
nmero pn. Se obtiene de esta manera dos sucesiones (pn) y (pn) adyacentes, la primera
creciente y la segunda decreciente. El nmero real
l = lm p n
n
es la medida por definicin de la longitud del crculo.

Si de es el dimetro, de denota al nmero real
=
l
d
Este nmero es el mismo para todos los crculos y es un nmero

irracional.
Se llama radin la unidad de ngulo tal que, la medida del ngulo llano
sea .
En todo lo que sigue, se medirn a los ngulos eligiendo por unidad, el
radin.
2.2.- Seno y coseno.

Sea U el crculo unidad en el plano P, la base cannica {e1, e2}
Definicin.
Sea
g : R R/2Z la aplicacin cannica.
: R/2Z U el isomorfismo del toro sobre el crculo unidad
Sea
U (Asimismo isomorfo al grupo de las rotaciones). Por consiguiente o g asocia a todo
nmero real x un nmero a + ib U. Se denota por definicin:
a = cos x,
b = sen x.
Se definen as simultneamente dos aplicaciones de

denominadas coseno y seno, segn el esquema siguiente:
g
xR
x R/2 Z
a + ib U
Si se reemplaza x por un nmero x de la misma clase que x:
en
R,
41
x x
(mod 2)
el correspondiente = a + ib U no cambia. Luego

cos x = cos x
sen x = sen x.
Cmo U, entonces || = 1 y
cos2x + sen2x = 1
(xR)
Esta es la frmula fundamental de la trigonometra.

sta frmula nos prueba que x cos x
conjunto de los nmeros reales sobre el intervalo [-1, +1].
x sen x, aplican al
Si tomamos un nmero a[-1, +1], le corresponder al menos un

nmero b tal que a2 + b2 = 1 y adems = a + ib U.
Entonces existe xR tal que:
-1() = x .
Por consiguiente, todo nmero a del intervalo [-1, +1] es la imagen de

un x de R por la funcin coseno, que es en consecuencia una sobreyeccin de R sobre
ese intervalo. Se prueba de la misma manera que la funcin seno es una sobreyeccin de R
sobre [-1, +1].
stas funciones no son inyectivas, ya que dos nmeros distintos x y x,
congruentes mdulo 2, tienen el mismo coseno y el mismo seno:
(xR)
cos(x + 2) = cos x
sen(x + 2) = sen x.
Se dice entonces que las funciones coseno y seno, son funciones

peridicas de perodo 2.
2.3.- Tangente y contangente

El conjunto de los nmeros reales para los cuales la funcin coseno se
anula es la siguiente:
+ k .
2
kZ
Designemos por A al complementario de este conjunto en R:
42
A = U + k , + (k + 1)
2
kZ 2
Definicin.
Se llama tangente a la aplicacin de A en R, denotada tg, siguiente:
tg x =
sen x
.
cos x
e2
b = sen x
= a + ib
x
o
a=cos x
e1
Consideremos, de acuerdo al dibujo de arriba, la tangente D sobre el

crculo unidad en el punto e1, y el punto U correspondiente de x por la
composicin g, para todo xA. La recta vectorial D corta a la recta tangente D en
el punto y tg x es la ordenada de en {e1, e2}.
Todo nmero real cR es la ordenada de un punto sobre D y la recta
vectorial D corta entonces a U en dos puntos, a uno de ello lo designamos por . Luego si
x = -1(), se tiene que tg x = c, donde cR, es la ordenada del punto . Por consiguiente
la funcin tangente es una sobreyeccin sobre R.
Ahora, el conjunto de nmeros reales para los cuales la funcin seno se
anula es la siguiente: {k}kZ.
43
Designemos por B el complementario de este conjunto en R:

B = U ]k ; (k + 1)[
kZ
Definicin:
Se llama cotangente a la siguiente aplicacin de B en R, denotada cotg:
cotg x =
cos x
sen x
Sea la tangente al crculo unidad en el punto e2 de la figura. A todo

xB, le corresponde un punto U. La recta vectorial D corta a en un punto y la
cotg x es la abscisa de el punto en {e1, e2}.
Todo nmero real dR ser la abscisa de un punto sobre y la recta
D corta a U en dos puntos, uno de los cules designamos por . Luego si -1() = x , se
tiene que cotg x = d. Por consiguiente la funcin cotangente es una sobreyeccin de B
sobre R.
Es de hacer notar que la frmula fundamental nos da inmediatamente:
(xA)
(xB)
1 + tg 2 x =
1
cos 2 x
1 + cotg 2 x =
1
sen 2 x
2.4.- Frmulas relativas a los ngulos asociados.

Por simetra en torno de De1, se obtiene:
cos(-x) = cos x,
sen(-x) = -sen x,
tg(-x) = - tg x.
Por simetra en torno de De2:
cos( - x) = - cos x,
44
sen( - x) = sen x,
tg( - x) = +tg x.
Por simetra alrededor de O, se tiene:
cos( + x) = - cos x,
sen( + x) = - sen x,
tg( + x) = + tg x.
Esta ltima relacin prueba que x tg x (y tambin x cotg x) es
peridica y de periodo .
Por ltimo, por simetra alrededor de la bisectriz d e1 , d e 2 :

cos(/2 - x) = sen x,
sen(/2 - x) = cos x,
tg(/2 - x) = cotg x.
2.5.- Funciones sinusoidales.

Nos interesa caracterizar los grficos de las funciones trigonomtricas ms generales, en
particular los que resulten de las funciones seno y coseno.
La regla de correspondencia para estas funciones cuya grfica nos interesa caracterizar
viene dada por: f(x) = asen(bx + c) o tambin por g(x) = acos(bx + c); con a, b y c
nmeros reales, con a y b distintos de cero.
Para ello recordemos que el seno es una funcin peridica de perodo 2, al igual que la
funcin coseno, que el conjunto imagen es el intervalo [-1, 1], para ambas funciones, es
decir que:
-1 senx 1
y que
-1 cosx 1
(1)
la funcin seno con ceros en: x = 0, x = y x = 2; y la funcin coseno con cero

en: x = /2 y x = 3/2 ; y que sus grficas respectivas para un perodo son:
y = sen x
y = cos x
45
Ahora, fijaremos nuestra atencin sobre la grfica del seno y el efecto que tienen sobre las
mismas los nmeros a, b y c, en primer lugar tratar de responder la pregunta: qu efecto
sobre la grfica del seno, tendremos al multiplicar por un nmero a > 0?
2.5.1.- Grfica de y = asen x, (a > 0).

Es evidente que si consideramos la funcin y = asen x, con a> 0, cambiar el conjunto
imagen de la funcin. De acuerdo a la desigualdad dada en (1) se tiene que:
-a asenx a, el conjunto imagen ser entonces [-a, a].
En cambio el perodo permanece inalterable, p = 2 , al igual que los ceros de la funcin.
Para ilustrar sta situacin consideremos los siguientes ejemplos:
1 Ejemplo: y = 2 sen x
2 Ejemplo: y = sen x
Como se aprecia, el nmero a (amplitud) nos indica la longitud del conjunto imagen.
(ambos grficos, comparadas con la funcin dada por y = sen x).
Comparemos ahora la funcin dada por y = sen x y la dada por y = sen bx.
46
2.5.2.- Grfica de y = sen bx, (a = 1 y c = 0).

Al multiplicar la variable independiente por un nmero fijo b, cambiarn de lugar los ceros
de la funcin, y por consiguiente el perodo. Observemos que:
El primer cero se obtiene cuando bx = 0, o sea en x = 0.
El segundo cero se obtiene cuando bx = , o sea en x =
El tercer cero cuando bx = 2, es decir en x =
, y
2
.
b
El perodo de la funcin cambiar de p = 2 a p =
2
.
b
Para ilustrar ste caso consideremos dos grficas una con 0 < b < 1 y otra con b >1, cada
una de ellas comparadas con la funcin dada por y = sen x.
3 Ejemplo: y = sen x
Se debe observar para la funcin dada por y = sen x, que el perodo es p = 4, y que sus
tres ceros estn en: x = 0; x = 2 y x = 4.
4 Ejemplo: y = sen 2x.
En cambio ahora, el perodo de la funcin dada por y = sen 2x es p = , y los ceros para
ste perodo estn en: x = 0; x = /2 y x = .
Las grficas que hemos considerado hasta ahora, todas ellas estn dibujadas para el nmero
c = 0. Debemos observar que en todas el primer cero se encuentra siempre en x = 0.
Qu pasa si el nmero c es distinto de cero?. O sea, las funciones del tipo y = sen(x + c)
con c 0.
47
2.5.3.- Grfica de y = sen (x+c), (a = 1, b = 1 y c 0).

Repasando lo anterior
(para la funcin seno), dijimos que el primer cero lo
determinbamos para argumento igual a cero, es decir los ceros para la funcin y = sen (c +
c) sern:
Primer cero:
x + c = 0, es decir en:
x = - c;
Segundo cero:
x + c = , o sea en:
x = - c;
Tercer cero:
x + c = 2, o tambin:
x = 2 - c.
Por consiguiente la grfica de la funcin dada por y = en (x + c) aparecer desplazada

respecto de la de y = sen x, como se puede observar en los ejemplos que siguen:
5 Ejemplo: y = sen (x + 1)
El perodo no cambia (b = 1), si cambian de lugar los ceros, observe que el primer cero
para un perodo, lo podemos tomar como x = -1.
6 Ejemplo: y = sen (x 1).
En ste caso ubicamos al primer cero en x = 1.

Por ltimo, dibujemos algunas grficas, que tengan a los nmeros a, b y c simultneamente
distintos de cero.
48
2.5.4.- Grfica de y = asen (bx + c).
(a 0; b 0 y c 0).
7 Ejemplo: y = 3 sen(1/3 x + 2)
Para sta funcin el primer cero se puede obtener en 1/3 x + 2, o sea en x = - 6, y el

2
perodo ser p =
, es decir p = 6 . Adems tiene amplitud a = 3.
1
8 Ejemplo: y = sen(2x 2).
El perodo es p = ; y el primer cero lo encontramos en x = 1.

En resumen, para dibujar la grfica de una funcin sinusoidal, se deber:
1. Calcular el perodo como: p =
2
b
2. Identificar la amplitud: el nmero a.

3. Calcular los tres ceros para un perodo, recordando que el primer cero inicia el perodo,
el tercero lo termina y el segundo est justo en el medio de los ceros extremos.
4. Tambin se debe observar que el valor mximo y el mnimo se alcanzan siempre en el
centro de los intervalos que tienen como extremos a dos ceros consecutivos.
49
Recordatorio: grficas de la tangente, cotangente, secante y cosecante.
y = tan x
y = cotan x
y = cosec x
Muchas veces, necesitamos conocer las grficas de sumas de funciones trigonomtricas,

para dibujarlas solamente tenemos que seguir las reglas del lgebra de funciones.
por ejemplo: y = sen x + cos x
50
2.6.- Amplitud, perodo, fase.
Uno de los conceptos trigonomtricos ms importantes es el de curva

sinusoidal. Se presenta en partes de Astronoma, matemticas y todas las ciencias que
incluyen a las ciencias sociales. Como ya dijimos, es simplemente la grfica de:
y = asen (bx + c), siendo a, b, c constantes positivas.
2
, y a recibe el nombre de amplitud,
b
ahora bien, la frecuencia de una oscilacin es el nmero de perodos que hay en un
intervalo de unidad de tiempo, normalmente un segundo. La frecuencia de mide en
perodos por segundos, o, en lenguaje ms corriente en ciclos por segundo. O sea, un ciclo
es lo mismo que un perodo. La unidad empleada en radiodifusin es el kilociclo (mil
ciclos) por segundo. Estos son los nmeros que marca el dial de un aparato de radio. La
corriente elctrica normal de las casas es de 50 ciclos o de 60 ciclos, lo que significa
una frecuencia de 50 ciclos/seg. o de 60 ciclos/seg.
Sabemos que el perodo es p =
Si una oscilacin tiene un perodo de p seg., su frecuencia es de:

1
= ciclos/seg.
p
Por ejemplo, la frecuencia de y = asen Bx es
= b/2, y la de
y = asen(2t) es ciclos/seg. El perodo de ondas de radio se expresa, en trminos de la
distancia recorrida por la onda en p segundos. Esta distancia se llama longitud de onda .
Como la velocidad de una onda de radio es 3 1010 cm/seg, la longitud de onda
correspondiente a un perodo de p segundos ser 3p 1010cm. De manera que;
=
31010
cm
Con sta frmula se pueden convertir frecuencias en longitudes de onda y

viciversa.
Como se sabe, las ondas de radio transmiten los sonidos de las voces, de
los instrumentos musicales etc. Para ms sencillez, consideremos un tono musical puro.
Estos tonos musicales puros, se representan por una curva sinusoidal, en la que la amplitud
corresponde a la altura del sonido y la frecuencia al tono.
2.7.- Expresin trigonomtrica del producto escalar.

Dados dos vectores cualesquiera u y v del plano (resp. cualquier
espacio), el producto escalar de u y v es igual al producto de sus mdulos por el coseno
51
del ngulo comprendido, (entendindose por ngulo comprendido, al menor de los

ngulos formados por las dos semirrectas que contienen a esos vectores); es decir:
u v = ||u|| ||v|| cos
Dados el crculo unidad U, dos vectores cualesquiera u y v, y tomando el
sistema de referencia ortonormal {o, e1, e2}, donde o = (0, 0), e1= (1, 0); e2 = (0, 1); de
manera que al vector u lo podemos escribir como:
u = (a, 0) = a(1, 0) = a e1 y, al
vector v como:
v = ||v|| z
siendo z el punto del crculo unidad, interseccin de la semirrecta vectorial que contiene
a v.
y
v = (c, d)
e2
z = (cos, sen)
o
e1
Entonces como, z = (cos, sen); v = || v || z, el procucto escalar es:
u v = ae1 || v || z, donde a = || u ||
es decir:
u v = || u || || v || e1 z
= || u || || v || (1, 0) (cos, sen)
o sea,
u v = ||u|| ||v|| cos
52
2.8.- Frmulas trigonomtricas de adicin.
u = || u || z1
z1
-
v = || v || z2
z2
Si consideramos los vectores u y v, como se muestran en la figura. La semirrecta vectorial

que contiene al vector u forma un ngulo con el eje polar; la semirrecta que contiene al
v un ngulo ; el ngulo comprendido entre los dos vectores es entonces - .
Como z1U y
z2U, sus coordenadas sern:
z1 = (cos , sen ) y
z2 = (cos , sen ) y entonces:
u = || u || z1 = || u || (cos , sen ) y
v = || v || z2 = || v || (cos , sen )
El producto escalar es:
u v = || u || || v || cos( - ),
donde - es el ngulo comprendido
|| u || || v || cos( - ) = || u || (cos , sen ) || v || (cos , sen )
Simplificando,
cos( - ) = (cos , sen ) (cos , sen )
y haciendo el producto escalar:
cos( - ) = cos cos + sen sen
(1)
Si tomamos - en lugar de en la frmula (1), y recordando que el cos =

cos(-) y que el sen = - sen(-); podemos escribir:
cos( + ) = cos cos - sen sen
(2)
53
Como el cos (/2 - ) = sen , podemos aplicar la (1) al

cos [/2 ( + )] = sen ( + )
cos [/2 ( + )] = cos [(/2 ) - )] = cos(/2 ) cos + sen (/2 ) sen
es decir:
sen ( + ) = sen cos + cos sen
(3)
Por ltimo reemplazando por - en la frmula (3) tenemos:

sen ( - ) = sen cos - cos sen
(4)
De las relaciones anteriores resulta:
tg(x + y) =
tg x + tg y
1 tg x tg y
tg(x y) =
tg x tg y
1 + tg x tg y
Se propone como ejercicio, determinar las relaciones similares correspondientes a las

dems funciones circulares.
2.9.- Frmulas de transformacin.

De las anteriores relaciones, vamos a deducir las siguientes frmulas de
transformacin de sumas en productos.
p+q
pq
cos
,
2
2
p+q
pq
,
cos(x - y) - cos(x + y) = cos p - cos q = - 2 sen
sen
2
2
p+q
pq
sen(x - y) + sen(x + y) = sen p + sen q = 2 sen
,
cos
2
2
pq
p+q
sen(x - y) - sen(x + y) = sen p - sen q = 2 sen
cos
,
2
2
cos(x - y) + cos(x + y) = cos p + cos q = 2 cos
Estas frmulas se obtienen, llamando:

x+y=p
es decir:
xy=q
54
x=
p+q
2
y=
pq
2
y sumando o restando las frmulas obtenidas en el punto anterior. En definitiva, las

frmulas se pueden escribir como:
cos(x - y) + cos(x + y) = 2 cos x cos y
cos(x - y) - cos(x + y) = -2 sen x sen y
sen(x - y) + sen(x + y) = 2 sen x cos y
sen(x - y) - sen(x + y) = 2 sen x cos y
2.10.- Valores de las funciones trigonomtricas.

Si bien los valores de las funciones trigonomtricas las podemos obtener
mediante el uso de la calculadora, los valores obtenidos son en general nmeros
irracionales. Con el objeto de lograr exactitud en el clculo es til conocer los valores

exactos de cos x, sen x, tag x,...cuando x = 0; ; ; ; y .

6 4 3
2
(0, 1)
De acuerdo a las definiciones de la funcin seno y
de la
funcin coseno, se puede
observar en el crculo unidad que:
cos 0 = 1;
sen 0 = 0
cos
= 0; sen = 1
2
(-1, 0)
(1, 0)
tag 0 = 0;
tag
no est definida
Adems el alumno, puede determinar

los valores usando la figura, los valores
del sen, cos, tan de , 3/2 y 2.
(0, -1)
2.11.- Razones trigonomtricas y vectores.
En el crculo unidad U de la figura, tomamos un punto sobre el crculo:
55
(a, b) = (cos x, sen x) y consideremos un punto P, sobre la misma semirrecta vectorial que
pasa por el punto (a, b), de coordenadas (c, d).
P = (c, d)
d = |v| sen x
v
b = sen x
(a, b)
x
a = cos x
c = |v| cos x
Al punto P se lo puede identificar como el punto

sobre la semirrecta vectorial que corta al crculo
unidad en el punto (a, b) y a una distancia del
origen que queda determinada por la longitud del
vector v que tiene extremo justamente en P.
En consecuencia, si multiplicamos el punto (a, b) por la longitud del vector
v, obtenemos el punto
P = |v| (a, b) = |v| (cos x; sen x)=
=(c, d) = (|v| cos x; |v| sen x).
Ahora, en la misma figura podemos observar que el origen o, el punto P y el
punto c sobre el eje de abscisas, son los vrtices de un tringulo rectngulo, que tiene por
hipotenusa al mdulo del vector v; por cateto adyacente, al nmero c = ||v||cos x y por
cateto opuesto, a d = ||v|| sen x. Entonces podemos escribir:
de c = ||v|| cos x se tiene,
cos x =
c longitud del cateto adyacente a x

=
v
longitud de la hipotenusa
de d = ||v|| sen x se obtiene,
sen x =
d longitud del cateto opuesto a x

=
v
Sabemos que:
tan x =
sen x
longitud del cateto opuesto a x
=
;
cos x longitud del cateto adyacente a x
cotan x =

=
;
sen x
longitud del cateto opuesto a x
56
sec x =
1
=
:
cosec x =
1
=
sen x longitud del cateto opuesto a x
2.12.- Ley de los senos y ley de los cosenos.

El siguiente teorema es particularmente til en la resolucin de tringulos
oblcuos.
2.12.1.- Teorema: Ley de los senos.

Sean , y los ngulos de un tringulo y a, b y c los lados opuestos
respectivamente. Entonces:
a
b
c
=
=
,
sen sen sen
a
b
=
. Dado cualquier tringulo ABC,
sen sen
existen tres posibilidades, como se indican en la figura. Trazamos un segmento lineal
desde C perpendicular a su lado opuesto. En la figura a) este segmento toca al AB del
tringulo en D. En la figura b) toca a la extensin de AB en D y en la figura c) se tiene que
h = CD.
Primero demostremos que
Fig. a)
C
Fig. b)
en la Fig. a) tenemos que: sen =

lo tanto:
Fig. c)
B A
h
h
, sen = ; por lo que: h = b sen = a sen , por
b
a
57
a
b
=
.
sen sen
En la Fig. b),
sen ( - ) =
h
h
= sen ; sen = ; por lo que: b sen = a sen , es
b
a
decir:
a
b
=
sen sen
h
= 1 = sen 90 = sen o tambin h = b sen ; por otro lado se tiene que
b
h = a sen , es decir: b sen = a sen , de donde se vuelve a verificar la igualdad:
En la Fig c),
a
b
=
.
sen sen
En forma similar, construyendo un segmento lineal desde B y perpendicular
al lado opuesto, se puede demostrar que:
a
c
=
,
sen sen
Por transitividad, se obtiene la ley de los senos.
2.12.2.- Teorema: Ley de los cosenos.

El teorema de Pitgoras que se aplica a tringulos rectngulos, puede
generalizarse para tringulos que no sean necesariamente tringulos rectngulos. Esta
generalizacin se denomina Ley de los cosenos, y una forma de mostrar la misma es la
siguiente:
Sean , y los ngulos de un tringulo y a, b y c los lados opuestos

respectivamente. Entonces:
a2 = b2 + c2 2bc cos
b2 = a2 + c2 2ac cos
c2 = a2 + b2 2ab cos
58
Colocamos el tringulo de manera que el vrtice A del mismo coincida con

el origen del sistema de referencia ortonormal, el vrtice B sobre el eje de las x, es decir
el vector que va de A a B con la misma direccin del eje de las x, como se observa en la
figura que
y
C(bcos , bsen )
b
C(c, 0)
El cateto a, lo podemos calcular como la longitud del vector con origen en C y extremo en
B o tambin como la distancia desde C hasta B, es decir:
a=
(bcos c) 2 + (bsen 0) 2 es decir: a2 = (bcos - c)2 + (b sen )2; de donde:

a2 = b2 cos2 - 2bc cos + c2 + b2 sen2 ,
a2 = b2 (cos2 + sen2 ) - 2bc cos + c2,
a2 = b2 + c2 - 2bc cos .
En forma similar, colocando el vrtice B coincidiendo con el origen de coordenadas se

puede demostrar que:
b2 = a2 + c2 2ac cos .
Lo mismo se hace con C para obtener la frmula: c2 = a2 + b2 2ab cos
Ejercicios propuestos
1.- Expresar en radianes cada uno de los ngulos siguientes:
a) 30;
b) 135;
c) 25 30;
d)
42 2435.
2.- Expresar en grados, minutos y segundos cada uno de los ngulos siguientes:
a)
rad;
b)
rad;
c)
rad;
d)
rad
59
3.- Un ngulo central determina un arco de 6 cm en una circunferencia de 30 cm de radio.

Expresar el ngulo central en radianes y en grados.
4.- Una va frrea ha de describir un arco de circunferencia. Qu radio hay que utilizar si
la va tiene que cambiar su direccin en 25 en un recorrido de 120 m?
5.- Demostrar que las funciones trigonomtricas de un ngulo no depende del punto P
que se escoja en el lado terminal del ngulo.
6.- Encontrar los valores de:

a) sen y cos , dada tan = -3/4;
b) sen y cos = -4/5 y tan positiva.
7.- Encontrar los valores de las razones trigonomtricas de los ngulos agudos del tringulo
rectngulo ABC, dados:
a) a = 1, b = 1;
b)
a = 2 , b = 5.
8.- Encontrar el valor de cada una de las siguientes expresiones:

a) sen 30 + tan 45;
d)
b) cot 45 + cos 60;
c) cos 30 cos 60-sen30sen 60
csc 30 + csc 60 + csc 90

sec 0 + sec 30 + sec 60
9.- Resolver el tringulo rectngulo ABC donde:

a = 43,9 y
b = 24,3.
10.- Expresar como funciones de un ngulo agudo positivo:

a) sen 145;
d) csc 190;
i) sec 455;
b) cos 215;
e) sen (-200);
j) csc 825
c) tan 440 ;
f) cos (-760);
d) cot 155;
e) sec 325;
g) tan (-1385); h) cot 610;
11.- Demostrar que cuando es un ngulo del segundo cuadrante, tal que tan = -2/3,
entonces:
60
a)
sen(90 ) cos(180 )
2
=
;
tan(270 + ) + cot(360 )
13
b)
tan (90 + ) + cos(180 + ) 2 + 13

=
sen (270 ) cot ( )
2 13
12.- Utilizar las relaciones fundamentales para encontrar los valores de las funciones de ,
dado:
a) sen = 3/5
b) tan = -5/12
13.- Demostrar:
a) sen (45 + ) - sen (45 - ) = 2 sen ; b) sen (30 + ) + cos (60 + ) = cos
14.- Simplificar:
a) sen ( + ) + sen ( - );
tan( + ) tan
.
c)
1 + tan( + ) tan
b) cos ( + ) - cos ( - )
15.- Encontrar sen ( + ), cos ( + ), sen ( - ) y cos ( - ) y determinar los

cuadrantes a que pertenecen ( + ) y ( - ), dados:
a) sen = 4/5 y cos = 5/13; y en el cuadrante I
b) sen = 2/3 y cos = 4/3; en el cuadrante II y en el cuadrante IV.
16.-Evaluar:
a) cos(arc sen 3/5);
b) sen(arc cos (-2/3));
c) tan(arc)-3/4))
17.-Resolver el tringulo ABC, dados:
c = 25, A = 35 y B = 68.
18.- Resolver el tringulo ABC, dados:
a = 132, b = 224 y C = 2840.
19.- Demostrar que:

a) arc sen
1
5
+ arc sen
2
5
b) arc tan 1/2 + arc tan 1/5 + arc tan 1/8 = /4
61
20.-Resolver las siguientes ecuaciones trigonomtricas para todos los valores de x tales que
0 x 2:
a) 2 sen x 1 = 0;
b) sen x . cos x = 0;
c) (tan x 1) ( 4 sen2 x 3) = 0
d) sen2 x + sen x = 2;
e) 2 sen x csc x = 1;
f) tan 2x + 2 sen x = 0
21.- Construir las grficas de las siguientes funciones dadas por:

c) y = sen(2x + /4);
a) y = sen 2x;
b) y = 3sen 2x;
e) y = cos1/2 x;
f) y = cos(3x 1);
d) y = 2sen(1/2 x - /4)
g) y = senx + cosx:
Bibliografa:
La Bibliografa referida al tema desarrollado es muy amplia pero, para
62
3.- Races de nmeros complejos
3.1.- Argumento de un nmero complejo.
3.1.1.- Definicin.
Sea un nmero complejo 0. A ste nmero le corresponde una
semirrecta vectorial d en el plano complejo que corta al crculo unidad U en el punto m.
Sea : R/2Z U el isomorfismo del toro sobre U. Al nmero le corresponde una
nica clase -1(m) del conjunto cociente R/2Z (toro).
Es decir:
: R/2Z U
x m
-1 : U R/2Z
m x
Definicin.
Se llama argumento del nmero complejo 0 a cualquiera de los
nmeros reales de la clase, mdulo 2, -1(m). Se tiene entonces:
-1
m
x = -1 (m) .
Si
x = -1(m), se denota
arg x (mod 2).

Es de notar que una homotecia de razn > 0 no cambia la recta
vectorial d. En consecuencia,
(R+*)
arg() arg
(mod 2)
63
3.2.- Expresin trigonomtrica de un nmero complejo.

Sea C*. Tomamos
||=r
arg x (mod 2)
Se tiene por definicin de las funciones circulares:

/r = cos x + i sen x.
Luego,
(| | = r
arg x)
= r(cos x + i sen x).
y esta es la expresin trigonomtrica del nmero complejo C*.
Isomorfismo fundamental:
La funcin: -1: U R/2Z , es un isomorfismo del grupo
multiplicativo U sobre el grupo aditivo R/2Z.
Para probar esta afirmacin, consideramos dos nmeros complejos, y
cualesquiera del conjunto U. Tenemos que, x = arg e y = arg (mod 2),
es decir:
= cos x + i sen x, y = cos y + i sen y; hacemos el producto y tenemos,
= cosx cosy senx seny + i(senx cosy + cosx seny)
= cos(x + y) + i (sen (x + y)
Notemos que el isomorfismo -1, para todo y de U
Arg arg + arg
(mod 2)
En efecto, esta relacin es verdadera si y estn simultneamente en

U. Para y cualquiera en C, es suficiente recordar, que llamando:
||=r
Arg
;
r r'
| | = r
arg arg/r;
arg arg/r
64
Es decir, si tomamos por ejemplo un nmero complejo z = x + iy, queda

entonces determinado un punto M del plano euclidiano de coordenadas (x, y).
O sea, si hacemos una representacin geomtrica de sta situacin, se
observa tambin que podemos asociar al nmero z, un mdulo (distancia al origen de
coordenadas) y un ngulo , (argumento de z (mod 2)), como se muestra en el dibujo.
y
M(x, y)
r (modulo de z)
P
o
(argumento de z)
x
Con z un nmero complejo no nulo, existe un nmero complejo de

mdulo 1, que es nico u tal que z = | z |u. Los nmeros complejos de mdulo 1 tienen
por imagen a los puntos del crculo de centro o y de radio 1 (crculo unidad o tambin
crculo trigonomtrico); luego si M representa a el nmero complejo z 0, la semirrecta
oM corta a este crculo en el punto nico P, y las coordenadas de P sern entonces cos y
sen , de donde tenemos la ya conocida expresin trigonomtrica para z, es decir:
z = r (cos + i sen ).
Adems entonces se podr escribir:
x = r cos
y = r sen
r = x 2 + y2
x
cos =
, sen =
x 2 + y2
y
x 2 + y2
z = x + iy es la forma algebraica de z, y z = r (cos + i sen ) su forma trigonomtrica,

las frmulas precedentes permiten pasar de una a otra.
Observemos que las frmulas determinan el nmero real mdulo 2, luego, para k Z
r (cos + i sen ) = r (cos + i sen ) ( r = r = + 2k)
65
Consideremos finalmente la frmula

tg =
y
x
vlida para x 0, a menudo til, pero que no determina el argumento de z = x + iy, est
definido por esta frmula mdulo
Observemos por ltimo que el argumento de z = 0 no est definido.
3.3.- Frmula de De Moivre.
3.3.1.- Potencias y races de nmeros complejos.

Sean dos nmeros complejos:
z = r (cos + i sen ),
z = r (cos + i sen )
Tendremos:
zz = rr[(cos cos sen sen ) + i (cos sen + sen cos )]
zz = rr [cos ( + ) + i sen ( + )]
De donde por induccin se tiene:
El mdulo del producto de un nmero finito de nmeros complejos es igual

al producto de sus mdulos, su argumento es congruente mdulo 2 a la suma de sus
argumentos.
En particular (n entero, n > 0),
[r (cos + i sen )]n = rn (cos n + i sen n).
Si z 0
z -1 =
1 z r(cos - i sen )
=
=
z zz
r2
66
1 1
= (cos - i sen )
z r
y siempre que sea z 0
z' r'
= [cos( '- ) + i sen( '- )]
z r
en particular, si n = -n es un entero negativo
z n = z -n' =
1
1
= n'
n'
z
r (cos n' + i sen n' )
= r-n [(cos n i sen n) = rn (cos n + i sen n)

Tenemos, pues, para n entero racional cualquiera la:
Frmula de De Moivre.
[(cos + i sen )]n = cos n + i sen n
con n entero
Por otra parte la forma exponencial, nos permite escribir ahora:

ei = cos + i sen
en particular (k entero racional),
e2ik = 1
ei = -1
tendremos (n un nmero entero)

ei ei = ei( + ) ;
(ei)-1 = e-i ;
(ei)n = eni
Todo nmero complejo z = r (cos + i sen ), puede entonces escribirse de

la forma:
z = r ei
llamada forma exponencial, particularmente cmoda gracias a las frmulas recordadas
anteriormente para efectuar productos y cocientes.
67
3.3.2.- Races n-nsimas de un nmero complejo.

a) Sea el nmero complejo z = r (cos + i sen ) distinto de cero,
busquemos:
z = r (cos + i sen )
tal que para n entero estrictamente mayor que cero sea:
zn = z
[r (cos + i sen )]n = rn (cos n + i sen n) = r (cos + i sen )
da (con k entero racional), puesto que r y r son positivos,
r n' = r
n ' = + 2k
r' = n r
= + 2k
n
n
Todos los nmeros obtenidos tienen el mismo mdulo, sern distintos si sus
argumentos no son congruentes mdulo 2: luego para obtenerlos a todos es necesario y
suficiente dar a k, n valores enteros consecutivos; es decir 0, 1, 2, ..., n 1:
Teorema.-
Todo nmero complejo z = r (cos + i sen ) no nulo tiene n races nsimas
+ 2k
+ 2k
+ i sen
z k = n r cos
n
n
0 k n 1
Por consiguiente:
| zk+1 | = | zk |
arg zk+1 arg zk + 2/n
(mod 2)
Las n races de un nmero complejo no nulo determinadas de sta manera

y para n > 2, son los vrtices de un polgono regular de n lados con centro en o.
En el caso particular de las races cuadradas, estudiadas en la Unidad
anterior, si usamos la forma trigonomtrica z = r (cos + i sen ) distinto de cero, las
races se calculan cmo:
68
z0 = r (cos /2 + i sen /2),
z1 = r cos + + i sen + = z 0
encontramos que son opuestas y que, por consiguiente son simtricas con respecto a o.
3.3.3.- Races n-simas de la unidad.

a) Si Z es una raz n-sima de z = r (cos + i sen ) 0 todas las races
n-simas z de z son tales que:
zn = Zn = z
es decir,
n
Z'
= 1,
z'
z = Zk
donde k es una de las n races n-simas de la unidad, por consiguiente:
Teorema.
Se obtienen las n-races n-simas de un nmero complejo no nulo
multiplicando una de ellas por las n races n-simas de la unidad.
Es suficiente, en consecuencia estudiar las n races n-simas de la unidad;
tendremos , al ser el mdulo y el argumento de 1, respectivamente, 1 y 0 (mdulo 2)
k = cos
2k
2k
+ isen
=e
n
n
2ik
n
0 k n 1
3.4.- Aplicaciones de los nmeros complejos a los clculos

trigonomtricos.
3.4.1.- Frmulas trigonomtricas de adicin.
69
Sean y dos puntos del crculo unidad U,
Entonces, ya que
= cos x + i sen x;
x arg (mod 2);
= cos y + i sen y;
y arg (mod 2).
arg x + y
(mod 2)
= cos(x + y) + i sen (x + y).
(1)
Por otra parte, efectuando el producto y comparando con (1), se tendrn en

consecuencia:
cos (x + y) = cos x cos y sen x sen y;
sen (x + y) = sen x cos y + cos x sen y.
Adems reemplazando y por (-y), se obtienen:
cos (x - y) = cos x cos y + sen x sen y;
sen (x - y) = sen x cos y - cos x sen y.
Se deduce asimismo:
tg(x + y) =
tg x + tg y
1 tg x tg y
tg(x - y) =
tg x - tg y
.
1 + tg x tg y
Tomando x = y se obtienen las frmulas:

cos 2x = cos2x sen2x = 2cos2x 1 = 1 2 sen2x;
sen 2x = 2 sen x cos x.
Tambin se puede ver que:
1 + cos 2x = 2 cos2x
1 cos2x = 2 sen2x.
De las frmulas precedentes, se deducen adems las siguientes:

cos(x y) + cos (x + y) = 2 cos x cos y
cos(x y) - cos (x + y) = 2 sen x cos y
70
Llamando
x + y = p y x y = q, es decir:
x=
p+q
2
y=
se obtiene:
pq
,
2
cos p + cos q = 2 cos
p+q
pq
cos
,
2
2
cos p - cos q = -2 sen
p+q
pq
sen
,
2
2
sen p + sen q = 2 sen
p+q
pq
cos
,
2
2
sen p - cos q = 2 cos
p+q
pq
sen
.
2
2
Que son todas frmulas ya estudiadas en trigonometra.
3.4.1.- Expresin trigonomtrica del producto escalar.

Dados dos vectores cualesquiera u y v del plano, (resp. cualquier espacio),
el producto escalar de u y v es igual al producto de sus mdulos por el coseno del ngulo
comprendido, entendindose por ngulo comprendido, el menor de los ngulos formados
por las dos semirrectas que contienen a esos vectores); es decir:
u v = || u || || v || cos
y
v = (c, d)
e2
z = (cos, sen)
e1
71
Dados el crculo unidad U, dos vectores cualesquiera u y v, y tomando el

sistema de referencia ortonormal {o, e1, e2}, donde o = (0, 0); e1 = (1, 0); e2 = (0, 1); de
manera que al vector u lo podemos escribir como :
u = (a, 0) = a(1, 0) = ae1 y,
el vector v como:
v = || v || z,
siendo z el punto del crculo unidad, interseccin de la semirrecta vectorial que contiene a
v.
Entonces:
z = (cos, sen);
v = (c, d).
De manera que el producto escalar:

u v = (a, 0) (c, d)
= ac + 0d = ac
y, por consiguiente tenemos:
u v = ae1 || v || z, donde a = || u ||
es decir:
u v = || u || || v || e1 z =
= || u || || v || (1, 0)(cos, sen).

u v = || u || || v || cos
Bibliografa:
Si bien la bibliografa de ste tema es muy abundante, se recomienda para
complementar esta gua de estudios:
Taylor, H.E. ; Wade, T.L. Matemticas Bsicas. Editorial Limusa Wiley, S. A. .
72
Adems de todos los libros de lgebra mencionados en el programa

analtico de la asignatura.
1.- Representar grficamente el nmero complejo dado , y dar la forma trigonomtrica

de (usando el valor no negativo ms pequeo de su ngulo).
a) = (3, 0);
e) = -3 + 3i;
b) = 4i;
f) = (-4, 0);
c) = 3 + 3i;
g) = (0, -3);
d) = - + 3 i;
h) = (3, -3 3 ).
2.- Determinar la forma rectangular del nmero complejo cuya forma trigonomtrica est
dada.
a) 2 (cos 30 + i sen 30) ;
b)
8 (cos 150 + i sen 150) ;
c) 2 (cos 225 + i sen 225) ;
d) 6 3 (cos 240 + i sen 240).
3.- En cada uno de los siguientes, desarrollar las operaciones indicadas. Comprobar en
cada caso su resultado, expresando cada uno de los nmeros complejos que aparecen, en la
forma a + ib y entonces desarrollar las operaciones por medios algebraicos directos.
a)
6 (cos 45 + i sen 45) . 2 (cos 135 + i sen 135),
b) 2 (cos 135 + i sen 135) ( cos 135 + i sen 135 ),

c) 2 (cos 0 + i sen 0) . 2 (cos 60 + i sen 60),
d) 2 (cos 120 + i sen 120) . 4 (cos 60 + i sen 60).
4.- Si = r1 (cos t1 + i sen t1 ) y
= r2 (cos t2 + i sen t2 ), demostrar que:
/ = r1 / r2 [cos (t1 - t2 ) + i sen (t1 - t2 )].

5.- Determinar /, donde = 4 ( cos 135 + i sen 135) y = 2 (cos 45 + isen 45).
6.- Prubese que :
1 z = 1 z
e interprtese geomtricamente.
73
7.- Identifquese geomtricamente los conjuntos de nmeros complejos con la propiedad

de que:
a) | z | = 1,
b) Arg z = / 2,
e) Im(z) = 1,
f)
c) Re(z) = -2,
Im(z) > 0,
d) Re(z) -2,
h) | z + 1| < 1,
g) Re(z) > 0,
i) | z - 1| < 1.
8.- En cada uno de los ejercicios, escribir la expresin dada , primero,
como un
nmero complejo en la forma
r(cos t + i sen t) y despus como un nmero complejo en
la forma a + i b.
a) (-1 + i)4,
b) ( 2 + i 2 )5,
e) (cos 10 + i sen 10)3,
c) (2 3 + 2i)3,
f) (cos 30 + i sen 30)12,
d) (3 - i 3 )4 ,
g) (-2 3 + 2i)4,
h) (- 3 + i)5.
9.- Determinar las tres races cbicas de -1.
10.- Determinar las tres races cbicas de i.
11.- Determinar las cinco races quintas de 1 - i.
12.- Determinar las dos races cuadradas de 2 - 2i 3 .
13.- Determinar las seis races sextas de -1.
14.- Determinar las cinco races quintas de 1 + i.
15.- Efectese las operaciones indicadas y exprsese el resultado en la forma a + ib.
i
a) 3.e .2. 2 .e
3
3
4
b) 5.e
2
3
.4e
7
6
16.- Exprsese en trminos de la exponencial compleja:

a) (1 + i )3;
b) (-3 + i 3 )4,
c) (5 - 5i)-6,
d) (-1 + i 3 )5.
17.- En cada uno de los siguientes, determinar la solucin de la ecuacin dada:

a) x4 + 8 + 8i 3 = 0 ,
b) x5 - 1 = 0 ;
c) x3 + 4 = -4i 3 .
74
4.- Anillos de Polinomios

4.1.-Introduccin.
Sea A un dominio de integridad, es decir, un anillo conmutativo con
elemento neutro, sin divisores de cero.
Si n es un entero positivo y a un elemento de A, entonces la
aplicacin de A en A que a x asocia axn, recibe el nombre de funcin monomia,
hace intervenir solo la multiplicacin en A.
Si damos
n + 1 elementos de A,
a0, a1, a2, ... , an;
la aplicacin:
x a0 + a1x + a2x2 + ... + anxn,

conocida como funcin polinmica de A en A, hace intervenir las estructuras aditiva y
multiplicativa de A.
No vamos a considerar a x en lo que sigue como un elemento ms del
anillo A, sino como un smbolo indeterminado , hasta el extremo que podemos prescindir
de l, al principio de la teora .
Abandonamos, pues, el aspecto funcional del polinomio y hacemos
intervenir tan solo su aspecto formal. Vamos a desarrollar una teora algebraica de los
polinomios formales, y la indeterminada x aparecer por ltimo como un polinomio
formal particular.
4.1.1.-Polinomio formal
Se llama polinomio con una indeterminada sobre un dominio de
integridad A toda sucesin
(a0, a1 , a2 , ... , an , 0, 0, 0, ... )
de elementos a i de A tal que, a partir de un determinado lugar, todos los trminos de
la sucesin son iguales al cero de A.
Los trminos de la sucesin se numeran a partir de 0 y reciben el nombre

coeficientes del polinomio. Los polinomios definidos de esta manera son entes
matemticos que designaremos por letras minsculas latina, p, q, r, ...:
p = (a0 , a1 , a2 , ... , an , 0, 0, 0, ... )
75
El conjunto de los polinomios con una indeterminada sobre A se escribe A[x]; pA[x].
4.1.2.- Polinomio nulo.

Por definicin, el polinomio nulo, o 0, es aqul en el que todos los
coeficientes ai , son iguales a cero:
0 = (0, 0, 0, ..., 0, ...)
4.1.3.- Grado, valuacin

1.- El mayor entero n tal que an 0, se denomina grado del polinomio.
Para expresar que p es de grado n, escribimos:
p = (a0, a1, a2, ... , an, 0, 0, 0, ... )
y tambin el smbolo g(p) expresar el grado de p. La definicin tiene sentido para todo
p de A[x], salvo para el polinomio 0.
2.- El menor entero k, tal que ak 0 recibe el nombre de valuacin del
polinomio p.. Emplearemos la notacin v(p). La definicin tiene sentido para todo p de
A[x], salvo el polinomio 0.
Ejemplo.
Tomemos A = Z, anillo de los enteros. en el conjunto Z[x],
consideramos: p = (0, 0, -2, 0 , 1, -3, 0 , 0, ...) donde los puntos suspensivos expresan
que el cero se repite indefinidamente. Segn las definiciones dadas, tendremos: g(p) = 5
y v(p) = 2.
4.1.4.- Igualdad
Consideremos dos elementos de A[x]:
p = (a0 , a1 , a2 , ... , ai, ... )
q = (b0 , b1 , b2 , ... , bi, ... ),
cuyos coeficientes generales escribimos ai y bi ; el subndice i toma todos los valores

de N. Por definicin , p y q son iguales, que escribimos p = q sii
(iN) ai = bi
.
76
Evidentemente en estas condiciones:

g(p) = g(q)
v(p) = v(q).
4.2.- Adicin en A[x]

4.2.1.-Definicin.
A todo par ordenado (p, q) de polinomios de A[x] asociamos p + q,
polinomio del mismo conjunto, que recibe el nombre de suma de p y q, definido como
sigue:
Si p = (a0, a1, ... , ai, ... )
q = (b0, b1, ... , bi, ...)
entonces
p + q = (a0 + b0; a1 + b1; ... ; ai + bi ; ...)
Para todo orden i, el coeficiente de p + q es igual a la suma de los
coeficientes de lugar i en p y q.
La estructura de grupo aditivo conmutativo de A
proporciona
inmediatamente las siguientes propiedades de la adicin en A[x]: esta operacin es
asociativa y conmutativa, tiene como elemento neutro el 0 (polinomio nulo), y todo
polinomio p = (a0, a1, ... , ai, ...) admite un opuesto, que escribimos -p, cuyos
coeficientes son, respectivamente los opuestos:
-p = (-a0, -a1, ... , -ai, ... ).
La adicin que acabamos de definir confiere pues, a A[x] estructura de
grupo conmutativo. Se verifican, adems, las propiedades siguientes en relacin con el
grado y la valuacin de la suma. Para descartar el polinomio nulo, escribimos:
A*[x] = A[x] - {0}.
1) (p,q A*[x])
2)
(p,q A*[x])
g(p+q) mx {g!(p), g(q)},

v(p+q) mn {v(p), v(q)}.
77
4.3.- Multiplicacin por un elemento de A

4.3.1.- Definicin.
A todo polinomio p A[x] y a todo elemento h de A asociamos un
elemento, hp, definido como sigue:
Si p = (a0, a1, ... , ai, ... ), entonces hp = (ha0, ha1, ... , hai, ...), queda as
definida una ley de composicin externa , aplicacin de A x A[x] en A[x]. Puesto que A
es un anillo con elemento 1, se obtienen inmediatamente las siguientes propiedades:
(p, q A[x] h, k A),
1. p = p;
(h + k)p = hp + kp;
h(p + q) = hp + hq;
h(kp) = (hk)p.
Sabemos que A[x] es un grupo conmutativo aditivo. Las propiedades de
la ley de composicin externa, en el caso de ser A un cuerpo, ponen de manifiesto que
A[x] es un espacio vectorial sobre el cuerpo A.
En el caso general de que A sea un anillo conmutativo con elemento
unidad, A[x] es un mdulo sobre el anillo A (o simplemente un A- mdulo).
Consecuencia.
Para todo natural n, sea un el polinomio:
un = (0, 0, ... , 0, 1, 0, 0, ... ) tal que an = 1, y ai = 0 para todo i 0.
Tenemos:
u0 = (1, 0, 0, 0, 0, 0, ... )
u1 = (0, 1, 0, 0, 0, 0, ... )
un = (0, 0, ,1, 0, 0, ... )
a0u0 = (a0, 0, 0, 0, 0, ... )

a1u1 = (0, a1, 0, 0, 0, ... )
anun = (0, 0, , an, 0, 0, ...)
Sumando:
a0u0 + a1u1 + + anun = (a0, a1, an, ) = p.
78
Sea entonces p A[x] con g(p) = n:

p = (a0, a1, ... , an, ...)
En virtud de la estructura de mdulo de A[x] sobre el anillo A se tiene:
p = a0 u0 + a1 u1 + ... + an un .
4.4.- Multiplicacin en A[x]

4.4.1.- Definicin.A todo par ordenado (p, q) de polinomios asociamos otro polinomio
pq, denominado producto de p y q que se define como sigue:
Si p = (a0 , a1 , a2 , ... , ai , ... ) y
q = (b0 , b1 , b2 , ... , bi , ... )
entonces:
pq = (a0b0, a0b1 + a1b0, a0b2 + a1b1 + a2b0,. ).
En general, el trmino de lugar i en pq es:

i
a0 bi + a1bi 1 + L + a i b0 =
a b
k
i k
k =0
Conmutatividad:
Asociatividad:
pq = qp.
(pq)r = p(qr)
Con la notacin anterior para p y q, supongamos que r sea el polinomio:

r = (c0, c1, ... , ci, ... ). El trmino de lugar i del producto pq es:
ui = a0 bi + a1 bi-1 + ... + ai bo .
El trmino general de lugar n en el producto (pq)r es:
79
u c
i n i
i =0
= u 0 c n + u1c n 1 + L + u n c 0 =
= a 0 b 0 c n + (a 0 b1 + a1b 0 )c n 1 + L + (a 0 b n + L + a n b 0 )c0
o sea, es una suma de la forma
j1
b j2 c j3 , en la que los ndices j1, j2, j3 toman todos los
valores soluciones de la ecuacin j1 + j2 + j3 = n.

Como los elementos a, b y c desempean el mismo papel, se llegara al
mismo resultado hallando el trmino general de lugar n del producto p(qr). La
asociatividad queda, por tanto, demostrada.
Elemento neutro.
Sea e = (1, 0, 0, ) el polinomio tal que a0 = 1 y ai = 0 para i 1.

Se comprueba que:
(pA[x])
ep = p,
por lo que e es el elemento neutro de la multiplicacin.

(p + q)r = pr + qr.
Distributividad:
Escribamos los respectivos trminos de lugar i para cada uno de los

polinomios:
i
-para pr:
a c
k =0
k ik
-para qr :
b c
k =0
k ik
(a
-para pr + qr:
k =0
-para (p + q)r :
(a
k =0
k i k
+ b k c ik )
+ b k )cik .
Los dos ltimos son iguales, en virtud de la ditributividad en A lo que

demuestra la propiedad.
Por ltimo, si p y q son dos polinomios, se verifica que:
80
p 0)
(pq = 0 y
q = 0.
Teorema 1:
El anillo A[x] de los polinomios con una indeterminada sobre un
dominio de integridad A, es tambin un dominio de integridad.
4.5.- Propiedades de los grados y las valuaciones

Propiedad 3:
Si A es un dominio de integridad:
( p, q A[x]*)
g(pq) = g(p) + g(q)
Propiedad 4:
Si A es un dominio de integridad:
( p, q A[x]*)
v(pq) = v(p) + v(q)
4.5.1.-Notacin definitiva.
Tomemos los vectores del tipo un = (0, , 0, 1, 0, ) para los cuales se
verifica que g(un) = v(un) = n.
Si n = 0,
producto unum nos d que:
u0
es el elemento unidad e de la multiplicacin. El
g(unum) = v(unum) = n + m.
Por lo tanto:
unum = un+m
Para el componente k, se comprueba inmediatamente que:
(n, kN)
(un)k = unk.
En particular, si n = 1, designamos con x el polinomio u1
81
x = (0, 1, 0, ) = u1.
Entonces xk = (u1)k = uk. Como todo polinomio p = (a0 , a1 , a2 , ... , ai , ... ), se escribe:
p = a0 u0 + a1 u1 + a2 u2 + ... + an un ,
tendremos:
p = a0 e + a1 x + a2 x2 + ... + an xn ,
y por lo tanto, todo polinomio p es la suma de monomios ak xk; donde x es el

polinomio particular definido anteriormente y e el elemento neutro de la multiplicacin
en A[x].
4.6.- Divisin euclidiana
4.6.1.-Definicin.Dados dos polinomios a y b de K[x], (anillo sobre un cuerpo

conmutativo K) decimos que b divide al a y escribimos b|a, si existe un polinomio q
de K[x], tal que a = bq:
b|a
q K[x],
a = bq.
Se dice tambin que a es mltiplo de b, o que b es divisor de a.
4.6.2.- Divisin euclidiana en K[x]

Teorema 2 (fundamental).Dados los polinomios a y b de K[x], con b 0, existe un par nico de
polinomios (q, r) tales que:
a = bq + r
g(r) < g(b)
1Existencia.- Ordenemos los polinomios a y b segn las potencias decrecientes.
82
a = n xn + n-1 xn -1 + ... + 1 x + 0
b = m xm + m -1 xm -1 + ... + 1 x + 0
(0 0).
Probemos (calculndolos) que existen q y r.

Si g(a) < g(b), entonces q = 0 y r = a satisfacen las condiciones deseadas.
Supongamos que g(a) g(b). Dividimos el primer trmino n xn por
m xm, y hacemos:
q1 =
n n m
x
m
Efectuando la diferencia a bq1 = r1 se tiene que g(r1) < g(a) (1)

La desigualdad en sentido estricto proviene de, que por este
procedimiento se ha hecho desaparecer el monomio de mayor grado de a.
-Si g(r1) < g(b), la existencia queda demostrada, ya que el par de polinomios (q1, r1)
cumple las condiciones impuestas.
-Si g(r1) g(b), repetimos con el par (r1, b) lo que acabamos de hacer con el par (a, b);
si designamos con q2 el cociente de los monomios de mayor grado de r y de b, y se
efecta la diferencia:
r1 bq2 = r2
-Si g(r1) < g(b),

cuestin.
se tiene que g(r2) < g(r1).
(2)
la existencia queda demostrada, ya que (q1 + q2, r2) responde a la
-Si g(r1) > g(b), se contina como se indica:

r2 bq3 = r3
g(r3) < g(r2)
rn -1 bqn = rn
g(rn) < g(rn -1).
Los g(ri) forman una sucesin decreciente en N:

g(r1) > g(r2) > > g(rn) .
Sumando miembro a miembro las igualdades (1) hasta (n), se obtiene:
(n)
83
a b(q1 + q2 + + qn) = rn
y por tanto
q = q1 + q2 + + qn ;
r = rn
con lo que la existencia queda demostrada.

2.-Unicidad.- Demostremos que el par (q, r) as encontrado es nico. Supongamos que
hubiera otro par (q1, r1) que respondiese a la cuestin.
Entonces se verificaran a la vez las relaciones:
a = bq + r
g (r ) < g (b)
a = bq1 + r1
g (r1 ) < g (b)
de lo que se deduce:
bq + r = bq1 + r1
b(q q1) = r1 r,
por consiguiente:
g(b) + g(q q1) = g(r1 r)
(1)
adems tendra que ser:

g(r1 r) mx{g(r); g(r1)} < g(b)
(2)
Las relaciones (1) y (2) son incompatibles si g(q - q1) 0, es decir, si

q q1 0. Por lo tanto tendra que ser q = q1 y r = r1 y queda satisfecha la unicidad.
Propiedad 5.Para que b|a, es necesario y suficiente que sea nulo el resto de la
divisin euclidiana de a por b.
Anexo A: La nocin clsica de polinomio

a) Un ejemplo sencillo.
Sea x un nmero real cualquiera ( lo cual recordamos se escribe xR).
84
Supongamos que x designa una longitud indeterminada (medida en

metros), entonces x2 designar la superficie de un cuadrado de la lado x y x3 el volumen de
un cubo de arista x.
Imaginemos que una persona compra: una cuerda cuya longitud equivale
tres veces la longitud de x, es decir 3 x metros y cuyo precio es de 2 pesos el metro,
esta cuerda cuesta pues: 3x 2 = 6x pesos.
Un tablero de madera de superficie 2x2 (en metros cuadrados), al precio
de 12 pesos el metro cuadrado: por lo tanto, este tablero cuesta 2x2 12 = 24x2 pesos.
Un tonel de vino de capacidad igual x3 (en metros cbicos), al precio de
2 pesos el litro es decir, 2.000 pesos el metro cbico, puesto que en un metro cbico hay mil
litros; costo: 2.000x3 pesos.
Despus de estas compras, le quedan 50 pesos. Se pide expresar la suma
que esta persona tena inicialmente. Es perfectamente evidente que esta suma depende de
x y que no se puede conocer, puesto que x es indeterminado; sin embargo, puede
expresarse en pesos bajo la forma
50 + 6x + 24 x2 + 2.000 x3
(1)
Una expresin como (1) se denomina polinomio de una indeterminada (la

indeterminada es x); se representa con frecuencia por p(x), que se lee p de x.
Notacin y ejemplos prcticos.

Si escribimos 6x2 + 2x + 5, decimos que esto es una expresin
algebraica. Este trmino se usa, para representar una constante, una variable o una
combinacin de variables y constantes que, impliquen un nmero finito de operaciones
(adicin, sustraccin, multiplicacin, divisin etc. Ejemplos de expresiones algebraicas
son:
3x2y5;
5x2 8x + 2;
3x 2 x + y 4
.
(z + 2) 3 2x
Una expresin algebraica que comprende nicamente potencias enteras

no negativas de una o ms variables, que no contenga variable alguna en el denominador es
lo que llamamos polinomio. Por ejemplo:
3x;
4x + b;
3x2y4;
5x5 6x3 + 3x2 2x + 1; son polinomios en la variable x.

6x2 + 8y3 + 2; son polinomios en las variables x e y.
Un trmino
de un polinomio es una constante multiplicado por
potencias enteras no negativas de variables o bien una constante. Por ejemplo los trminos
del polinomio
85
5x2 + ( 8x) + 2 son: 5x2;
( 8x);
2.
A los trminos que difieren nicamente en sus coeficientes constantes se

les denomina trminos semejantes. Por ejemplo 6x2, x2, -3x2 son trminos semejantes.
En particular, si se tiene el polinomio dado por: 2 + 6x2 + 2x + x2 4x - 3x2 + 7, se puede
escribir como: 4x2 2x + 9.
Cuando un polinomio es de un solo trmino, se le denomina monomio, si
tiene dos trminos, binomio, si tiene tres trminos, trinomio.
Debido a que un polinomio es una suma de monomios y un monomio
representa un nmero real, a los polinomios pueden aplicarse las definiciones, axiomas y
teoremas que comprenden los nmeros reales.
Por ejemplo:
a)
ax + bx = (a + b)x,
b)
ax bx = (a - b)x,
c)
ax + bx + cx = (a + b + c)x,
d)
8x2 + 5x + 2x 4x = (8 + 2)x2 + (5 4)x

= 10x2 + x,
e)
7 a2b 3 a2b + 8ab2 5ab2 6ab2 = (7-3) a2b + (8-5-6) ab2

= 4a2b + (-3 ab2 )
= 4a2b - 3 ab2
Si tenemos que sumar los polinomios: 4y3 + 7y2 + 3y 8, y el dado por

6y 2y + 4, se realiza como sigue:
3
4y3 + 7y2 + 3y 8
6y3 2y2
+ 4
10y3 + 5y2 + 3y - 4
El producto de los monomios
4x3 y 5x4 puede escribirse como:
4x3 . 5x4 = 4.5.x3.x4

= 20x3+4
= 20 x7.
O por ejemplo : 4t3 (5t3 7t2 3t) = 4t3 . 5t3 - 4t37t2 - 4t3.3t = 20t6 - 28t5 12t4 .
En el caso del producto: (3x2 - 2x + 1)( x - 4x2 + 3), se deber aplicar la
propiedad distributiva. Una forma prctica, de hacer las cuentas es disponer el producto de
la siguiente manera:
3x2 - 2x + 1
-4x2 + x + 3
-12x4 + 8x3 - 4x2
3x3 - 2x2 + x
_____________9x2 - 6x + 3
-12x4 + 11x3 - 3x2 - 5x + 3
4.6.3.- Ejemplo y disposicin prctica para efectuar la divisin de

polinimios.
Efectuemos la divisin euclidiana de a = 3x5 + 4x2 +1 por b = x2 + 2x + 3.
La disposicin prctica es la siguiente:
a = 3x5
-bq1 = -3x5 - 6x4 - 9x3
r1 =
- 6x4 - 9x3
-bq2 =
- 6x4 + 12x3
r2 =
3x3
-bq3 =
-3x3
r3 =
-bq4 =
r4 =
+ 4x2
+1
+ 4x2
+1
+ 18x2
+ 22x2 - 9x
- 6x2 - 9x
16x2 - 9x +1
- 16x2 - 32x - 48
-41x - 47
x2 + 2x + 3
3x3 - 6x2 + 3x + 16
=b
=q
Se tiene, pues:
3x5 + 4x2 + 1 = (x2 + 2x + 3)( 3x3 - 6x2 + 3x + 16) 41x 47.
El grado del resto -41x 47 es estrictamente inferior al del divisor b.
87
4-7.- Divisores comunes.
-Dado un polinomio a. Sea D(a) el conjunto de sus divisores:

D(a) = {dK[x] / d|a}.
Si a y b son dos polinomios, todo polinomio de la interseccin D(a)D(b) recibe el
nombre de divisor comn de a y b.
Vamos a estudiar esta interseccin; para ello observemos que:
(u K[x])
(v K[x])
da dau
d(au + bv) ;
db dbv
Por consiguiente, cualesquiera que sean los polinomios u y v:

D(a) D(b) D(au + bv)
(1)
Consideremos el conjunto I de los polinomios au + bv para todo u y

todo v de K[x]. Se puede ver en I que:
(au + bv) (au + bv) = a(u u) + b(v v) I;
p(au + bv) = a(pu) + b(pv) I.
(pK[x])
Por lo tanto, todo polinomio de I es mltiplo de uno de los del I, d, de

grado mnimo:
g(d) = mn{g(p)} con p I*
I* = I {0}.
En estas condiciones, se tiene:

(u, v K[x])
dau + bv.
En particular,
si u = 1 y
v = 0,
si u = 0 y v = 1,
entonces da;
entonces
db.
Por consiguiente, d es un divisor comn de a y b;

de donde:
D(d) D(a) D(b)
(2)
d D(a) D(b),
88
Por otra parte, puesto que d I, existen dos polinomios u0 y v0

tales que, au0 + bv0 = d, es decir aplicando (1), D(a) D(b) D(d), relacin que
comparada con (2) da:
D(a) D(b) = D(d).
Definicin.El polinomio d se llama mximo comn divisor de a y b, y se escribe

d = m.c.d.(a, b).
Teorema3.El conjunto de los divisores comunes a los polinomios a y b coincide

con el conjunto de los divisores de su m.c.d.
4.7.1.-Polinomios primos entre s.Dos polinomios a y b son primos entre s, cuando su m.c.d. es una
constante (que puede tomarse igual a 1).
Teorema de Bezout.La condicin necesaria y suficiente para que dos polinomios a y b

sean primos entre s, es que existan dos polinomios u y v tales que: au + bv = 1.
Teorema de la divisibilidad.
Si a divide a bc y es primo con b, entonces divide a c.
En efecto:
m.c.d.(a,b) = 1 m.c.d.(ac, bc) = c

Puesto que a divide a bc, y es obvio que divide a ac, divide al
m.c.d.(ac,bc) = c.
89
4.7.2.- Forma prctica de calcular el m.c.d.

Teorema:
Si a y b son dos polinomios no nulos tales que, el g(b) g(a) el
m.c.d. (a, b) es el m.c.d.(b, r), donde r es el resto de la divisin euclidiana de a por b.
Se puede entonces determinar el m.c.d. de dos polinomios por el mtodo

del algoritmo de Euclides como se ilustra en el ejemplo que sigue en R[x].
Ejemplo.
Si
a = x4 + 3x3 - 2x2 - 2
b = x2 + x - 2 ; dividiendo se
observa que:
x4 + 3x3 - 2x2 - 2 = (x2 + x - 2)( x2 + 2x - 2) + (6x - 6)
(o sea, a = bq1 + r1);
dividiendo ahora,
b = x2 + x - 2 por r1 = 6x 6, se obtiene que:
x2 + x - 2 = (6x 6) (1/6x + 1/3) + 0
( b = r1q2 + r2);
El m.c.d. de a y b, es el ltimo resto no nulo del algoritmo, por

consiguiente de lo expuesto precedentemente m.c.d.(a, b) = 2x 2; que normalizado nos
da que:
m.c.d.(a, b) = x 1
Una forma de ordenar el algoritmo es hacer la siguiente tabla.
a = x + 3x - 2x - 2
q1 = x2 + 2x - 2
b = x2 + x - 2
r1 = 6x 6
q2 = 1/6x + 1/3
6x 6
0
cocientes
dividendos y divisores
restos
Se llama polinomio normalizado al polinomio cuyo monomio de mayor

grado tiene por coeficiente la unidad 1 del cuerpo K:
p = xn + an-1xn-1 + + a1x + a0
90
4.8.- Polinomio primo o irreducible
4.8.1.- Definicin.
En K[x]1 se da el nombre de primo o irreducible a todo
polinomio divisible solo por s mismo.
Por ejemplo, todo polinomio x + normalizado de grado 1 es un

polinomio irreducible.
Observacin. La caracterstica de irreductibilidad de un polinomio depende del cuerpo K,
as, x2 3 es un polinomio irreducible de Q[x], pero no es irreducible sobre R[x].
De la definicin resulta que, si un polinomio p primo no divide a un
polinomio a, entonces los polinomios p y a son primos entre s.
Propiedad 7.Si un polinomio irreducible divide a un producto de polinomio, divide

al menos a uno de ellos.
En efecto, si p divide a
divisibilidad tiene que dividir a b.
ab y es primo con
a, por el teorema de la
Propiedad 8.Si p primo divide a un producto de factores primos, es igual a uno de

ellos.
.
4.8.2.- Descomposicin en factores primos.

Teorema 6.Todo polinomio no primo, es el producto de polinomios primos
(irreducibles). Esta descomposicin es nica, salvo el orden de los factores.
91
4.9.- Derivacin.4.9.1.- Derivada de un polinomio.

Sea p un polinomio de A[x] sobre un anillo A: p = a0 + a1x + a2x2 + + anxn
Si damos a x, un valor de A, es decir, si reemplazamos x por el elemento
de A, obtenemos otro elemento bien determinado de A que representamos p().
p() = a0 + a1 + a22 + + ann
Queda as definida una aplicacin p() de A en s mismo, que
recibe el nombre de funcin polinmica.
En el estudio de Anlisis Matemtico se demuestra que:
p() = a1 + 2a2 + + nann-1
4.9.2.-Definicin.Se llama polinomio derivado de polinomio p = a0 + a1x + a2x2 + + anxn, al

siguiente polinomio:
p = a1 +2 a2x + + nanxn-1 .
En particular, si p es una constante, o es el polinomio cero, su derivada

p es 0. En los restantes casos, se tiene que g(p) = g(p) 1.
4.9.3.- Derivadas sucesivas.

Definicin.- El polinomio derivado de orden n, designado por p(n) del
polinomio p, se define como sigue:
1
p(0) = p
Supuesto definido p(h), definimos p(h+1) = [p(h)]
Segn lo anterior, se tiene sucesivamente:

p(0) = p;
p(1) = p;
p(2) = (p) = p;
p(3) = (p) = p;
92
Hallemos en primer lugar la derivada de orden h del monomio xk. Se

verifica la siguiente propiedad:
h k (xk)(h) = (Vk, h) xk h (Vk, h; variaciones de k elementos tomados de a h)
h > k (xk)(h) = 0.
Demostracin:
Se demuestra por induccin:

- La primera implicacin se verifica si h = 0.
- Suponiendo que es cierta para h < k, vamos a demostrar que es vlida para h + 1 k
(induccin limitada a k) y observando que:
(k h) Vk, h =
(k h)
k!
(k - h)!
= (k h)
k!
,
(k - h) (k - h - 1) (k - h - 2) ... 1
Simplificando (k h) nos queda:

(k h)
k!
k!
k!
=
=
= Vk, h+1
(k - h)!
(k - h - 1) (k - h - 2) ... 1
[k - (h + 1)]!
Es decir que:
(k h) Vk, h = Vk, h+1
Por consiguiente podemos escribir ahora:
(xk)(h+1) = [(xk)(h)] = [(Vk, h ) xk h ] =
= (k h) (Vk, h ) xkh-1 = (Vk, h+1 ) xk(h+1).
- La primer implicacin, es por tanto, cierta para todo h < k.
- Si h = k, resulta:
(xk)(k) = Vk, k x0 = k!,
y se obtiene una constante, lo que dice que, si h> k (xk)(k) = 0.
- Esto prueba la segunda implicacin.
93
4.9.3.- Derivada de orden n de un polinomio.

Sea el polinomio p =
a x
, del que vamos a hallar su derivada de
k =0
orden h. Derivando trmino a trmino y aplicando la propiedad anterior a cada monomio

resulta:
n
h n p (h) = a k Vk, h x k h
(1)
k =h
h > n p(h) = 0.
4.9.4.- Frmula de Mac-Laurin.

Consideremos ahora los elementos de A[x] como funciones polinmicas
de A en A, en el supuesto que la indeterminada x toma valores en un cuerpo A, que
puede ser C o un sub-cuerpo de C.
Si damos a x el valor cero en la igualdad (1):
(h n)
p(h)(0) = ahh! ;
ah =
de donde deducimos que:

p (h)
(0)
h!
y por consiguiente,
n
p (h)
(0)
h =0
h!
p(x) =
x h , es decir: p(x) = p (0) +
p (0)
x+
1!
'
p '(0)
2!
x 2 + ... +
p (n)
(0)
n!
xn
Esta es la frmula de Mac-Laurin para un polinomio.
4.9.5.- Frmula de Taylor.n
p = a k x k , sustituyendo x por
Sea un polinomio de una variable x;
k =0
x + y, se obtiene otro polinomio de x e y:
p(x + y) = a k (x + y)k .
k =0
Aplicando a cada trmino de lugar k la frmula del binomio de Newton

y recordando como escribir las derivadas sucesivas de (x + y)k y luego trabajando
algebraicamente se obtienen la frmula:
94
p(x + y) = p(x) +
p' (x)
p' ' (x) 2
p n ( x) n
y +
y + ... +
y ;
1!
2!
n!
que es la llamada Frmula de Taylor para los polinomios.
4.9.6.- Ceros de un polinomio.

Consideramos ahora el anillo
K[x] de los polinomio con una
indeterminada sobre un cuerpo conmutativo K (que puede ser Q, R, o C) y las
correspondientes funciones polinmicas.
Definicin.
El elemento a de K es un cero (o raz) del polinomio p K[x], si P(a) = 0.
Teorema.Para que a sea cero de

p K[x] sea divisible por x a:
p(x) = (x a)q(x) + r(x),
con
p K[x]
es necesario y suficiente que
g(r) < g(x - a) = 1
(1)
o sea que r es una constante.
4.9.7.-Teorema del resto.El resto de la divisin euclidiana de p(x) por x a es
p(a).
Si en (1) damos a x el valor a queda que p(a) = r(a) y por

consiguiente
p(x) = (x a)q(x) + p(a).
O sea, que para p(x) sea divisible por x a es necesario y suficiente
que p(a) = 0, es decir que, a sea un cero de p(x).
4.9.8.- Orden de multiplicidad de un cero.

Sea a un cero de p(x). entonces x a divide a p(x); por tanto, existen
p1(x) tal que p(x) = (x a)p1(x).
- Si p1(a) 0, decimos que a es un cero simple de p(x).
95
- Si p1(a) = 0, entonces p1(x) es divisible por

p2(x) tal que p1(x) = (x a) p2(x), de donde:
(x a) y existe un
p(x) = (x a)2p2(x).
- Si p2(x) 0, se dice que a es un cero doble de p(x).
- De manera general, si existe un entero natural h 1 tal que:
p(x) = (x a)hph(x),
con ph(a) 0,
se dice que a es un cero mltiple de orden h de p(x), o cero de multiplicidad h.
Definicin.
Se llama multiplicidad de un cero de p(x) el nmero natural h 1 que
verifica a:
p(x) = (x a)hph(x),
con ph(a) 0
Propiedad.
Si a1, a2, , ar son ceros diferentes de un polinomio p(x), de
multiplicidades h1, h2, , hr, existe un polinomio q(x) tal que:
p( x) = ( x a1 ) 1 L ( x ar ) r q( x),
h
siendo adems q(ai) 0 para i {1, 2, , r 1}.

Demostracin:
Razonemos por induccin sobre el nmero r de ceros distintos
considerados.
- La propiedad es cierta para r = 1.
- Supongamos cierta para r 1; es decir, supongamos que exista un polinomio t(x) tal
que:
p ( x ) = ( x a1 ) 1 ( x a2 ) 2 ... ( x ar 1 ) r 1 t ( x)
h
con t(ai) 0 para i {1, 2, , r 1}.
Vamos a demostrar que existe un polinomio q(x) tal que:

p ( x ) = (x a 1 )h1 L
(x
ar
)h r q ( x ),
(1)
96
siendo adems q(ai) 0 para i {1, 2, , r 1}.

tal que :
Puesto que ar es una raz de orden hr de p(x), existe el polinomio pr(x)

p ( x ) = (x a r
)h r
p r ( x ),
con pr(ar) 0 .
Ahora bien: x ar es primo con x ai para todo i [1, r-1], ya que estos ai son
distintos de ar. Por consiguiente, (x ar )hr es primo con (x ai )hi , cualquiera que
sea para i {1, r 1}. Segn el teorema de la divisibilidad y la hiptesis de induccin:
(x ar )hr | p(x)
(x ar )hr t(x)
y existe un polinomio q(x) tal que t(x) = (x ar )hr . q(x).

Adems:
(1 i r-1
d:
t(ai) 0)
q(ai) 0,
que sustituida en (1)
p( x ) = (x a1 ) 1 L (x ar ) r q( x ),
h
Por ltimo, sabemos que p(ai) 0 para i {1, 2, , r 1}, y, como

para estos valores de i es ai ar se ve que:
pr(ar) 0
Propiedad
Todo polinomio p de grado
q(ar) 0.
n 1 admite, como mximo n ceros
distintos.
4.10.- Teorema de DALEMBERT.

Todo polinomio de C[x], de grado n 1, admite al menos un cero en C.
4.10.1.- Consecuencia
Sea pC[x] con g(p) = n 1 . Por el teorema de dAlembert, p
admite al menos un cero 1 C, y existe un p1 C[x] tal que p = (x - 1)p1.
Si n = 1, g(p1) = 0, y p1 es una constante.
97
- Si n > 1, entonces g(p1) 1, y es posible aplicar de nuevo el teorema

de dAlembert a p1, que admitir al menos un cero 2 C[x] tal que,
p1 = (x - 1)(x - 2)p2, de donde:
p = ( x - 1)(x - 2)p2.
- Para n = 2, g(p2) = 0, y p2 es una constante.
- Si n 2, razonemos por induccin sobre el grado n del polinomio p;
supongamos que:
p = ( x - 1)(x - 2) ( x - n-1)pn-1 con g(pn-1) = 1.
Existe entonces una constante C* y un nmero n C tales que:
pn-1 = ( x - n) y, por consiguiente: p = ( x - 1)(x - 2) ( x - n).
De ah resulta que todo polinomio p C[x] de grado n 1 admite n
ceros, distintos o no.
Nota.- En C[x], todo polinomio primo es de grado 1. Se dice que el

cuerpo C de los nmeros complejos es algebraicamente cerrado.
4.11.- Ceros racionales de polinomios.Los ceros de un polinomio p son las races de la ecuacin p(x) = 0, esto
significa que si es un cero, deber ser p() = 0.
Por ejemplo si p = 2x4 + 5x3 + 11x + 6, entonces p(-3) = 0. Por lo tanto, 3 es un cero del polinomio.
En el caso de que el polinomio sea de segundo grado, los ceros se
determinan resolviendo la ecuacin de segundo grado correspondiente mediante
factorizacin o por la frmula cuadrtica.
Para un polinomio de tercer o cuarto grado, el mtodo general para
obtener los ceros es complejo, y se estudian en el ltimo captulo de esta gua de estudios.
Para los polinomios de grado mayor a cuatro, no existe una frmula general para su
resolucin.
Nosotros vimos que un polinomio: p = anxn + an-1xn-1 + + a1x + a0
con n 1, se puede escribir como:
p(x) = an(x r1)(x r2) (x rn-1)(x rn), an 0
98
donde cada ri ( i = 1, 2, ..., n) es un cero complejo de p. Los ceros complejos pueden ser
nmeros reales, nmeros imaginarios o nmeros complejos. Adems si un factor (x ri) se
representa k veces, entonces decimos que ri es un cero de multiplicidad k.
Ya dijimos que es difcil determinar los ceros de un polinomio, excepto
en casos especiales. Uno de estos se presenta cuando los coeficientes son enteros; en ese
caso si existen ceros racionales, se podrn hallar aplicando el siguiente teorema:
Teorema.Supngase que p = anxn + an-1 xn-1 + + a1x + a0 donde a0, a1, ..., an,
r
son enteros. Si
, en su mnima expresin, es un nmero racional y un cero de p,
q
entonces r es un factor entero de a0 y q es un factor entero de an.
Demostracin.-
Como
r
es una solucin de la ecuacin p(x) = 0.
q
n
Por lo tanto:
r
r
an + an-1
q
q
n -1
r
+ an-2
q
n -2
r
+ + a1 + a0 = 0
q
Multiplicando cada miembro de esta ecuacin por qn, se obtiene:

anrn + an-1 rn-1 q + an-1 rn-1 q + an-2 rn-2 q2 + + a1rqn-1 + a0qn = 0 (1)
A continuacin se suma -a0qn a cada miembro de la ecuacin (1) y se factoriza r de cada
trmino del primer miembro resultante. De esta manera se tiene la ecuacin equivalente.
r(anrn-1 + an-1 rn-2 q + an-2 rn-3 q2 + an-3 rn-4 q3 + + a1qn-1) = - a0qn
(2)
Como ai ( i = 1, 2, , n), r y q son enteros, y la suma el producto son enteros, la

expresin en parntesis del primer miembro de (2) es un entero, que se representa por t.
Por consiguiente (2) puede escribirse como:
r t = - a0qn (3)
El primer miembro de (3) es un entero que tiene a r como factor. Por lo tanto, r debe ser
r
un factor del segundo miembro, - a0qn. Como es una fraccin irreducible, r carece
q
de factor comn con q. As r debe ser un factor de a0.
La Ecuacin (1), (sacando factor comn q) es tambin equivalente a la ecuacin:
q(an-1rn-1 + an-2 rn-2 q + + a1 rqn-2 + a0qn-1) = - anrn
(4)
99
Ahora, como el primer miembro de (4) es un entero que tiene a q como factor; por lo que
q debe ser un factor del segundo miembro, - anrn. Como q carece de factor comn con
r, se deduce que q debe ser un factor de an.
Conviene aclarar que el teorema no garantiza que un polinomio con
coeficientes enteros tenga un cero racional; sin embargo, el teorema indica los medios para
hallar los nmeros que podran ser ceros racionales.
Ejemplo. Supngase p = 3x3 2x2 - 7x -2.
r
de p debe ser tal que r sea un factor
q
entero de -2 y q sea un factor entero de 3. Por lo tanto los posibles valores de r son 1, -1, 2
y -2; y los posibles valores de q sern 1, -1, 3 y -3. De esta manera el conjunto posible de
ceros racionales de p es:
Solucin: Sabemos que cualquier cero racional
{1, -1, 2, -2, 1/3, -1/3, 2/3, -2/3}

Como p es de grado 3, no ms de tres nmeros de este conjunto pueden ser races del
polinomio.
Utilizando el teorema del resto se tiene que p(-1) = 0, por lo que -1 es una
de las races del p y adems x + 1 tendr que ser un factor de p y se tiene que.
p = (x + 1)(3x2 5x 2)
Los otros dos ceros de p se pueden calcular resolviendo la ecuacin:
3x2 5x 2 = 0.
Resumen.
Cuando se trabajan con polinomios, conviene tener bien presentes los
siguientes teoremas y propiedades.
Teorema 1. Algoritmo de la divisin.

Sean, p(x) un polinomio de grado n 1 y d(x) un polinomio de
grado m con 1 m n. Entonces existen polinomio nicos q(x) y r(x), que tienen la
propiedad de que:
p(x) = d(x)q(x) + r(x)
100
y si r(x) tiene un grado (es decir, si r(x) no es el polinomio nulo), entonces este grado es
menor que el grado de d(x).
Teorema de Bezout.
Si a y b son dos polinomios primos entre s, existe un nico par (u, v)
de polinomios tales que:
au + bv = 1
g(u) < g(b);
g(v) < g (a).
Teorema de Gauss.Si un polinomio a divide al polinomio producto bc y si a es

primo con b, a divide a c.
Polinomio irreducible.Definicin: Un polinomio a de K[x] de grado estrictamente positivo es

irreducible si, y solamente si, a no es divisible por ningn polinomio de K[x] de grado
no nulo estrictamente inferior al grado de a.
Por ejemplo, todo polinomio de grado 1 est un polinomio irreducible.
OBSERVACIN. El carcter de irreducibilidad de un polinomio
depende del cuerpo K. As, x2 3 es un polinomio irreducible de Q[x] y no lo es de
R[x].
Teorema 2.-Teorema fundamental del lgebra.

Cualquier polinomio complejo de grado n 1 tiene, al menos, una raz.
Teorema 3.El polinomio complejo p(x) = ax2 + bx + c es siempre reducible sobre el

cuerpo C.
Teorema 4.- Teorema del residuo.

Si un polinomio p(x) es dividido por x r, para obtener un cociente
q(x) y un residuo R, entonces p( r) = R.
101
Teorema 5.- Teorema del factor

Sean, p(x) un polinomio y r un escalar. Entonces r es una raz de p(x) s y
slo s x r es un factor de p(x).
Ejemplo.
x3 3x2 x + 3 = (x + 1)(x 1)(x 3).
Teorema 6.Un polinomio complejo p(x) de grado n 1, p(x) = a0xn + a1xn-1 + +

an-1 + an , puede ser expresado como el producto del nmero complejo a0 y n factores de
primer grado de la forma x ri donde ri C ( i = 1,2,3,,n). Es decir, la factorizacin
completa de p(x) es:
p(x) = a0(x r1)(x r2) (x rn-1)(x rn).
Cuerpo algebraicamente cerrado.Definicin.Un cuerpo K es algebraicamente cerrado si, y solamente s, todo

polinomio de grado estrictamente positivo de K[x] admite al menos un cero en K.
Teorema 7.Un cuerpo K es algebraicamente cerrado si, y solamente si, los nicos
polinomios irreducibles de K[x] son los polinomios de primer grado.
Q no es algebraicamente cerrado ya que el polinomio x2 3 no tiene
ceros en Q.
R no es algebraicamente cerrado ya que el polinomio x2 + 4 no tiene
ceros en R.
Corolario.Un cuerpo K es algrbraicamente cerrado si, y solamente si, todo

polinomio de K[x] es divisible sobre K.
Teorema 8.Un polinomio complejo de grado n 1 tiene cuando ms n races. Un

polinomio de grado cero no tiene raz.
102
Consecuencias.
Todo polinomio no mulo de grado n de C[x] admite n ceros en C.

Todo polinomio no mulo de C[x] es divisible sobre C.
Bibliografa:
La Bibliografa referida al tema desarrollado es muy amplia pero, para
1 .- Dar el grado y los coeficientes, a0, a1 , ... , an, para cada uno de los siguientes
polinomios.a) p(x) = 6x3 - 17x2 + 11x - 2;
b) p(x) = x2 + 2;
c) p(x) = x3 - 2x2 + x - 2;
d) p(x) = x4 - 3x3; e) p(x) = 5x2 - 7x3 + 9x - 7 + x5; f) p(x) = x3 - 4x2 - 11x + 30;
2 .- Para p(x) dado en el ejercicio 1a, calcular los valores : p(-1); P(0); p(1); p(2); p(3).
3 .- Para p(x) dado en el ejercicio 1b, calcular los valores: p(-5); p(-4); p(-3); p(-2); p(-1);
p(0); p(1); p(2); p(3); p(4).
4 .- Para p(x) = x4 - 3x3 + 2x - 1, determinar: p(0); p(1); p(-2) y verificar si la igualdad
dada por 2p(-1) = p(3) -1 es verdadera.
103
5.- Sean los polinomios: p(x) = 3x5 - 2x3 + x2 - 5x - 1;

determine:
a) g( p2 - q3);
c) g(p + q);
6 .- Sean
q(x) = 2x4 - 3x2 - x + 5,
b) el coeficiente de x6 en p(x) . q(x);

d) el coeficiente de x10 en p(x) q(x)
p(x) = x3 - 2x + 3; q(x) = 2x5 -5x4 - 3x3 + 2x2.
Determinar polinomios t(x) y r(x) tales que:
q(x) = p(x)t(x) + r(x).
7.- En cada uno de los siguientes ejercicios, determinar la solucin de la ecuacin dada, si
el referencial es C.
a) (2 - 5i)x + 7 - 4i = 0 ;
c) (51/2 - 3)x + 4 - 71/2 = 0 ;
b) (6 + 7i)x + 11 = 0 ;
d) 11/6 x + 13/8 = 0.
8.- Hallar el cociente y el resto de la divisin de:

a) 2x4 - 3x3 + 4x2 - 5x + 6 por x2 - 3x + 1;
c) -4x3 + x2 por x + ;
e) x2 + x + 1 por x2;
9.- Hallar el cociente y el resto de la divisin de:
b) x5 - x4 + 1 por 2x3 - 2x;

d) x4 + x3 + x2 + x + 1 por x - 1;
f) x3 + x2 + 1 por x + 1.
xm - 1 por xn - 1.
10.- Factorizar:
a) 5x4 245; b) 7x4 - 847; c) x4 - 5x2 + 6 (hacer z = x2); d) x4 - x2 - 20.
11.- Dividir x4 - 14x3 + 2x2 + 49x + 3 por 2x2 + 3x - 2, identificar el cociente y el resto
en esta divisin, y escribir su resultado en la forma de la igualdad: p/q = c + r/q.
12.- Dividir x4 - 14x3 + 2x2 + 49x - 36 por x + 2 , identificar el cociente y el resto en
esta divisin y escribir su resultado en la forma de la igualdad p = qc + r.
13.- En cada uno de los siguientes ejercicios, comprobar el teorema del residuo para el
polinomio, dado p(x) y el nmero a, primero calculando p(a), y luego determinando el
resto cuando p(x) es dividido por x - a, hasta obtener un resto cte, y finalmente, observar
que p(a) = resto.
a) p(x) = 2x3 - 9x2 - 3x + 1, a =5;
c) p(x) = x2 + x + , a = k.
b) p(x) = x5 - 3x3 + 5x - 7,
a= -2 ;
104
14.- En cada uno de los ejercicios siguientes, demostrar que el primer polinomio es un
factor del segundo.
a) x 1, 4x3 + 3x2 - 5x - 2;
b) x + 2, x3 - 2x2 - 5x + 6;
c) y +1, y4 - 1.
15.- En cada uno de los ejercicios, dar las races del polinomio y la multiplicidad de cada
uno.
a) (x + 3)2 (x - 2)3 x;
b) (x2 + 3x + 2)2 (x + 2);
c) (x2 + 9) (x + 3i)2 (x - 3i)3.
16.- Factorizar completamente los siguientes polinomios.

a) Si una raz de p(x) = x3 - 5x2 - 17x + 21 es 7;
b) Si una raz de p(x) = 2x4 - x3 - 8x2 + 4x es -2;
c) Si p(x) = x5 - x4 - 2x3 + 2x2 + x - 1, tiene a 1 como raz de multiplicidad 3.
17.- Determinar una ecuacin polinomial compleja si la solucin es la dada por:
{1, 2, 2 + i (3)1/2 ; 2 - i (3)1/2 }
18.- Determinar un polinomio p(x) de tercer grado, que tenga como races: 1 + (3)1/2 y
1 - (3)1/2; sta ltima con multiplicidad dos.
19.- Encontrar el mximo comn divisor de:
a) 2x4 + 2x3 - 3x2 - 2x + 1 y x3 + 2x2 + 2x + 1;
b) x4 - 6x2 - 8x - 3 y x3 - 3x -2
5
4
3
2
5
4
2
c) x - x + 2x - 2x + 2x 1
y
x x + 2x - 2x + 1.
Ejercicios y problemas resueltos.Ejemplo1. Sean p = x3 + 1 y q = x4 + 1.

- Mostrar que son primos entre s y entonces u p + v q = 1. Determinar u y v.
Solucin. Dividimos q por p, es decir:
x4 + 0x3 + 0x2 + 0x + 1 x3 + 1
4
x
+ x
x
-x +1
105
por consiguiente:
x4 + 1 = x(x3 + 1) x + 1; es decir q = x p x + 1 o tambin q = x p (x 1),
ahora dividimos:
x3 + 0x2 + 0x + 1 x - 1
x3 - x2
x2 + x + 1
2
x
+1
x2 - x
x+1
x-1
2
por lo tanto:
p = x3 + 1 = (x2 + x + 1)(x 1) + 2, o tambin
2 = p - (x2 + x + 1)(x 1),
y entonces como x 1 = x p q, podemos escribir:

2 = p - (x2 + x + 1)(x p q)
2 = p [(x2 + x + 1)x p - (x2 + x + 1)q]

2 = p (x2 + x + 1)x p + (x2 + x + 1)q
2 = p [1 (x3 + x2 + x)] + (x2 + x + 1)q
2 = p ( x3 x2 x + 1) + (x2 + x + 1)q luego:
u = (1 x x2 x3) y v = (x2 + x + 1)
Ejemplo 2. Demostrar que el polinomio de R[x]

P = 36 x4 + 12 x3 11 x2 2x + 1,
tiene dos races dobles; determnese esas races.
Solucin:
Si 1 y 2 son races dobles de P; entonces:

P(i) = 0
P(i) = 0
y luego los reales i son races del polinomio R resto de la divisin euclidiana de P por
P:
P = PQ + R con g( R ) < 3
y el resto ser de grado inferior o igual a dos, 1 y 2 son entonces races de R.
106
Se tiene P = 2[72x3 + 18 x2 11 x 1] de donde se deduce:

R=
25
(6x2 + x 1)
24
Por consiguiente si P admite dos races dobles 1 y 2 necesariamente

1 = - 1/2
2 = 1/3
Ejemplo3.- Sea n un entero estrictamente positivo, Fn = (x2 1)n y Pn el polinomio

derivado de orden n de Fn.
1- Calcular: P1; P2 y P3; F1 = (x2 1)1; F2 = (x2 1)2; F3 = (x2 1)3.
Solucin:
P1 = 2x; F1 = 4x (x2 1) P2 = 4 (x2 1) + 4x . 2x = 4(x2 1 + 2x2) = 4(3x2 1)
F3 = (x2 1)3. F3 = 3 2x (x2 1)2 = 6x (x2 1)2
F3 = 6(x2 1)2 + 6x 2x 2 (x2 1) = 6 (x2 1)2 + 24x2 (x2 1)
P3 = 6 2 2x (x2 1) + 48x (x2 1) + 24x2 2x = 24x (x2 1) + 48x (x2 1) + 48x3 =
P3 = 24x [(x2 1) + 2 (x2 1) + 2x2 ] = 24x (x2 1 + 2x2 2 + 2x2 ) = 24x (5x2 3).
Ejemplo4.- Determnese los ceros del polinomio p = x4 2x3 11x2 +12x +36, sabiendo
que admite dos ceros distintos, donde el producto es igual a -6.
Solucin:
Sean x1 y x2 dos ceros distintos de P, tales que x1x2 = -6.
Tomamos x1 + x2 = . Entonces el polinomio P es divisible por polinomio x2 - x 6.
Luego de P = (x2 - x 6) (x2 - x 6), se deduce que:
x4 2x3 11x2 +12x +36 = x4 x3 x3 6x2 - 6x2 + x2 + 6x + 6x + 36 =
= x4 ( + )x3 (12 - )x2 + (6 + 6)x + 36
por consiguiente:
( + ) = 2;
12 - = -11 = 1;
6 + 6 = 12 + = 2;
107
y son las races del trinomio: t2 2t + 1 = 0 = = 1

de lo que resulta que:
P = (x2 - x 6)2 = (x 3)2(x + 2)2 y los ceros son -2 y 3 y son dobles.
Ejemplo5.- Determinar un complejo para que el polinomio P = x3 + 6x2 6x + ,

admita dos races donde la suma y el producto sean iguales. P(x) C[x].
Solucin:
Sean x1 y x2 dos races de P tales que x1 + x2 = x1 x2 = a
De P = x3 + 6x2 6x + = Q(x2 (x1 + x2) x + a) = Q(x2 a x + a);
podemos ahora determinar Q y el resto haciendo el cociente entre P(x) y x2 ax + a:
x3
x3
+
6x2
6x
ax2 +
ax
2
(6 + a)x - (6 + a)x
(6 + a)x2 - (6 + a)ax
-(6 + a)x + (6 + a)ax
x2 ax + a:
x + (6 + a)
+ (6 + a)a
+ ( - (6 + a)a)
Observar que:
-(6 + a)x + (6 + a)ax + ( - (6 + a)a) = (6 + a)x(-1 + a) - (6 + a)a + =
= - 6x + 6ax ax + a2x (6a + a2 + )
De acuerdo al algoritmo de la divisin, se tiene:
P(x) = (x2 ax + a)( x + 6 + a) - 6x + 6ax ax + a2x (6a + a2 + ) =
= (x2 ax + a)( x + 6 + a) + (a2x + 6ax ax 6x) (a2 + 6a - ) =
= (x2 ax + a)( x + 6 + a) + (a2 + 5a 6)x (a2 + 6a - ) =
y como P es mltiplo de x2 ax + a tendr que ser el resto de la divisin igual a cero, es
decir:
(a2 + 5a 6) = 0 y a2 + 6a - = 0, por lo tanto ser (a =1 o a = - 6) y = a2 + 6a
Se distinguen dos casos:
1 a = 1; de donde = 7. Entonces las races tendrn que verificar:
P = (x2 x + 1)(x + 7)
108
Entonces, de x + 7 = 0,
resolver x2 x +1 = 0.
O sea:
x 2,3 =
1 3
;
2
se deduce que una raz es
es decir:
x2 =
1
3
+i
;
2
2
x1 = 7 y las otras resultan de
x3 =
2 a = -6 de donde = 0, y las races de P son:

0;
-3 + 15 ;
3 - 15
1
3
i
2
2
109
5.- Cuerpo de las fracciones racionales
5.1.- Cuerpo de las fracciones racionales.
Sabemos que el conjunto K[x] de los polinomios con una indeterminada

sobre un cuerpo conmutativo K de un dominio de integridad. Sin embargo, la
multiplicacin de polinomios no define estructura de grupo en tal conjunto, puesto que no
todo polinomio admite inverso; por consiguiente, K[x] no es un cuerpo.
Se plantea ahora en K[x] el mismo problema que se estudi en lgebra 1
a propsito de la construccin del cuerpo de los nmeros racionales a partir del anillo de
los enteros relativos. Se trata aqu de prolongar el dominio de integridad K[x] a un
conjunto ms amplio, y que sea un cuerpo conmutativo. O sea, el problema es la:
construccin del cuerpo de las fracciones de un dominio cualquiera de integridad.
Escribiremos K[x]* = K[x] {0}.
5.1.1.-Fracciones racionales.
Recibe el nombre de fraccin racional un par (a, b) de K[x] x K[x]]*;
a se llama numerador, y b denominador. Se denota por a/b.
Dos fracciones racionales a/b y c/d son equivalentes si ad = bc, y se
escribe a/b c/d.
La anterior equivalencia en K[x] x K[x]*, cuyo conjunto cociente, FK[x],
es el conjunto de las clases de equivalencia de las fracciones racionales con una
indeterminada sobre el cuerpo K. Cuando se desee poner en evidencia un representante
a
a/b de una clase de FK[x] se utilizar la notacin para designar dicha clase.
b
110
5.1.2.- Fraccin irreducible.

a
Sea FK[x]. Si d = m.c.d.(a,b), existen entonces dos polinomios
b
a1 y b1 de K[x] tales que:

a = da1;
b = db1; m.c.d.(a1,b1) = 1,
de donde se deduce que:

a a1
b b1
La fraccin
a1/b1,
a a1 .
b = b
1
cuyos trminos son primos entre s, se llama
irreducible. Es el representante ms sencillo de la clase a .

b
Toda fraccin c/d equivalente a la

p K[x]. En efecto:
c a1
d b1
a/b
es de la forma
pa1/pb1 con
cb1 = da1
Entonces:
[ a1/da1
a1/cb1 y
m.c.d.(a1,b1)= 1]
a1 / c.
Por consiguiente, existe p K[x] tal que c = pa1, de donde

y la propiedad queda demostrada.
d = pb1
5.1.3.- Leyes de composicin en FK[x].

Definamos en FK[x] dos leyes de composicin (al igual que en el
conjunto Q de los racionales).
Adicin:
Multiplicacin:
a c ad + bc .
b + d = bd
a c ac
b d = bd .
Estas dos leyes en FK[x] no dependen de los representantes elegidos

para las clases; son asociativas y conmutativas.
111
La adicin admite como elemento neutro
0
b , y la multiplicacin,
b
b - Estas dos leyes dan a FK[x] estructura de grupo conmutativo.
a
a
El opuesto de para la adicin es . Para la multiplicacin, el
b
b
a
b
inverso de es .
b
a
Adems, como la segunda operacin es distributiva respecto de la

adicin, se verifica el teorema siguiente:
Teorema 1.
FK[x] es un cuerpo conmutativo.
5.2.- Descomposicin de una fraccin racional sobre un

cuerpo conmutativo.
5.2.1.- Parte entera de una fraccin racional.

Consideremos el conjunto FK[x] de las clases de fracciones racionales
sobre un cuerpo conmutativo cualquiera K. A todo elemento de FK[x] asociamos su
representante irreducible a/b (m.c.d. (a,b) = 1).
Hagamos la divisin euclidiana de a por b en K[x]:
a = bq + r
g(r) < g(b).
En FK[x], se podr entonces escribir:

r
a
=q+
b
b
g(r) < g(b).
La fraccin r/b es irreducible [puesto que m.c.d.(a, b) = m.c.d.(b, r)], y

el grado de su numerador es estrictamente inferior al de su denominador. El polinomio q
112
se llama parte entera de la fraccin racional a/b. Es claro que la descomposicin es nica,
debido a la unicidad de la divisin euclidiana en K[x].
Teorema 2.
Sea r/bFK[x] tal que: m.c.d.(r, b)= 1; g( r) < g(b) y b = b1b2 bn,
siendo los n polinomios bi primos entre s dos a dos; existen entonces n polinomios ri
tales que:
(i[1, n]
g(ri ) < g(bi);
m.c.d.(ri, bi) = 1
r
r r1 r2
=
+
+L+ n
b b1 b2
bn
Adems, a cada descomposicin b1b2 bn de b en factores primos

dos a dos, corresponde una nica descomposicin de r/b tal como la anterior.
Demostracin.
que b = b1b2
1.-Veamos primero que el teorema es cierto para n = 2. Supongamos

con m.c.d.(b1,b2) = 1.
Por el teorema de Bezout, existen dos polinomios v1 y v2 de K[x] tales

que v2b1+v1b2 = 1. Por consiguiente, cualquiera que sea rK[x], hay dos polinomios
u1 = v1r y u2 = v2r,
es decir que:
v1 =
u1
u
y v2 = 2 ;
r
r
reemplazando en la ecuacin v2b1+v1b2 = 1 nos queda,

u2
u
b1 + 1 b2 = 1
r
r
de manera que:
u2b1 + u1b2 = r
(1)
Efectuemos las divisiones euclidianas de u1 por b1 y de u2 por b2:

u1 = b1q1 + r1
u2 = b2q2 + r2
sustituyendo en (1), se obtiene:
g(r1) < g(b1)

g(r2) < g(b2).
113
b1b2 (q1 + q2 ) + r2b1 + r1b2 = r.

Probemos que q1 + q2 = 0. En efecto, si fuera q1 + q2 0, el grado del
primer miembro sera al menos igual al de b1 b2; ahora bien, el polinomio r del segundo
miembro tiene, por hiptesis, un grado estrictamente inferior al de b = b1b2 y, por tanto,
suponer q1 + q2 0 implica una contradiccin. Luego q1 + q2 = 0 y, por consiguiente:
r2b1 + r1b2 = r,
de donde
r
r
r
= 1 + 2
b1b 2 b1 b 2
con
g(r1) < g(bi)
(i = 1, 2).
Demostremos ahora que m.c.d.(ri,bi) = 1 (i = 1,2).

Como el razonamiento es el mismo para los dos ndices, lo haremos
para
i = 1.
1.- Sea d = m.c.d.(r1,b1). Entonces, como r1 es el resto de la divisin

euclidiana de u1 por b1, se tiene que d | u1.
En virtud de (1), y de que b = b1b2, se tiene:
(d u1 y d b1 ) d r
d b1
d b
d m.c.d.(b, r).
Como, por hiptesis, m.c.d. = 1; entonces d = 1, y

primos entre s.
r1
b1 son
Queda por demostrar que la descomposicin hallada de r/b, asociada al

producto b1b2 de b, es nica. En efecto, si existieran dos pares (r1, r2) y (r1, r2)
asociados a b1b2 = b, entonces:
de donde:
r1b2 + r2b1 = r1 b2 + r2 b1,

(r1 r1)b2 = (r2 r2)b1.
Teniendo en cuenta el teorema de la divisibilidad:
b1 (r1 r1' )b 2
m.c.d.(b1 , b 2 ) = 1
b1 (r1 r1' ).
Como, g(r1) < g(b1) y g(r1) < g(b1), se tiene:

Por consiguiente:
g(r1 - r1) mx{g(r1), g(r1)} < g(b1).

g (r1 r1' ) < g (b1 )
b1 (r1 r1' )
r1 r1' = 0.
114
La igualdad
nica.
r1 = r1
implica que
r2 = r2, y la descomposicin es
2.- Razonemos por induccin sobre n. Supongamos que, dada una

fraccin irreducible r/b con g( r) < g(b) y m.c.d.(r, b) = 1, para toda descomposicin
de b en producto de n 1 polinomios b1b2 bn-1 primos entre s dos a dos, exista una
descomposicin nica:
r r1 r2
r
= + + L + n 1
b b1 b2
bn 1
con
g(ri) < g(bi) y
(i[1, n[ N).
m.c.d.(r1, bi) = 1
Demostremos entonces el teorema para toda descomposicin de b en un producto b1b2 bn

de n polinomios primos entre s dos a dos. Observemos que b = (b1b2 bn-1) bn y, por ser
bn primo con cada uno de los bi (i < n), es primo con su producto b1b2 bn-1.
Apliquemos la primera parte de la demostracin a la descomposicin de
b en producto de dos factores primos entre s; se obtiene:
r
r
c
=
+ n
b b1 L b n 1 b n
con
g( c) < g (b1b2 bn-1),
g(rn) < g (bn)
m.c.d. (c, b1b2 bn-1) = 1
m.c.d.(rn, bn) = 1
y esta descomposicin es nica.

Apliquemos ahora la hiptesis de induccin a la fraccin
c
y se
b1 Lbn1
obtiene:
r r1 r2
r
r
= + +L+ n1 + n
b b1 b2
bn1 bn
con
g(ri) < g(bi) y
m.c.d.(r1,bi) = 1
(i[1, n] N)
y esta descomposicin es nica. El teorema 2 est demostrado.

CONSECUENCIAApliquemos al denominador b de la fraccin irreducible a/b la
descomposicin en factores primos en K[x]. Sabemos que esta descomposicin,
b = p1h1 p h2 2 L p hn n , es nica, salvo el orden de los factores.
115
pih i
h
pj j
Puesto que pi y pj son primos y distintos para i j, tambin los son

, y se puede aplicar el teorema 2 a tal descomposicin de b en factores primos.
y
Se obtiene:
a
r
r
= q + h1 + L + hn
1
b
pn n
p1
g(ri) < g( pih i )
donde q es la parte entera de a/b.
5.3.- Descomposicin de una fraccin irreducible.

Vamos a proseguir la descomposicin sobre cada una de las fracciones
del tipo r/ph, con g(r) < g(ph). Como paso previo, vamos a demostrar la siguiente
propiedad:
Propiedad 1.Toda fraccin irreducible racional

descomponerse de manera nica en la forma:
r/ph con g(r) < g(ph) puede
= hh + hh 11 + L + 1
h
p
p
p
p
Con
(i [1, h])
g(i) < g(p).
Razonemos por induccin sobre h.

-La propiedad es cierta para h = 1.
-Supongamos que se verifica para h - 1; es decir, supongamos que toda fraccin racional
irreducible q/ph-1, se descompone en la forma:
q
p
h 1
h 1
+L+ 1
h 1
p
p
g(i) < g(p)
(1 i h - 1),
y supongamos tambin que esta descomposicin es nica. Demostremos entonces la

propiedad para cualquier fraccin irreducible r/ph.
Efectuemos la divisin euclidiana de r por p en K[x]:
116
r = pq + h,
g(h) < g(p).
Dividamos los dos miembros por ph:

r
q
= h 1 + hh
h
p
p
p
Esta descomposicin es nica, a causa de la unicidad de la divisin

euclidiana en K[x].
5.3.1.- Descomposicin en elementos simples.

Teorema 3.Toda fraccin irreducible a/b en FK[x], tal que p1h p h2 L p hn sea la
descomposicin de b en factores primos en K[x], se descompone de manera nica en una
suma de la forma:
1
h h 1
a
= q + h 1 + h 1 1 + L + 1
1
1
p1
b
p1
p1
+
h 2
p h2 2
h 2 1
p h2 2 1
+L+
1
p1
+ .
+
hn
p hn n
h n 1
p hn n 1
+L+
11
pn
g(i) < g(pi)
g(i) < g(pi)

.
g(i) < g(pi).
DEFINICIONES.Toda fraccin racional /ph, con g() < g(p) y p primo en K[x], se
llama elemento simple o fraccin simple en F[x].
Cuando se ha determinado la suma del teorema 3, se dice que la fraccin
a/b se ha descompuesto en elementos simples.
117
5.3.2.- Descomposicin sobre el cuerpo de los nmeros complejos
5.3.2.1.- Parte principal relativa a un polo.Sabemos que el cuerpo C es algebraicamente cerrado; es decir, que todo
polinomio primo en C[x] es de primer grado. La descomposicin en factores primos de
cualquier polinomio bC[x] es de la forma:
b = (x 1 )
h1
(x 2 )h
L(x n )
hn
donde C y, para todo i, i C y hi N.

Los ceros i del denominador de la fraccin a/b, que pertenecen a
FC[x], se llaman polos de la fraccin; el orden de multiplicidad hi del cero i es el
orden del polo i de la fraccin a/b.
Todo elemento simple en FC[x] es de la forma /(x-)n, donde es una
constante ( C) y n un nmero natural.
Segn el teorema 3, la descomposicin en elementos simples de una
fraccin a/b FC[x] es, en general, el resultado de sumar la parte entera (polinomio de
C[x]) con sumas parciales del tipo:
h
h 1
+
+L+ 1 ,
h
h 1
x
(x ) (x )
siendo un polo de orden h de la fraccin a/b.

Tal suma
relativa al polo .
de elementos simples recibe el nombre de
parte principal
5.3.3.- Determinacin de la parte principal.

En la prctica, para obtener esta parte principal se pasa a las funciones
racionales; observemos que:
a(x)
a(x)
=
,
b(x) (x )c(x)
y = x - .
Se toma entonces
x-
con c() 0.
como una nueva indeterminada y, haciendo
118
Efectuada esta sustitucin, a(x) se convierte en un polinomio a1(y), y

c(x), en c1(y), con lo que la fraccin a/b toma la forma a1(y)/yhc1(y).
Hagamos la divisin de a1(y) por c1(y), segn las potencias crecientes
hasta el orden h 1; se obtiene:
a1(y) = [h + yh-1+ + yh-11]c1(y) + yhd(y),
(1)
donde los nmeros i son los coeficientes del cociente, e yhd(y) es el resto de la divisin.
En FC[y], obtendremos:
h
a1 (y)
d(y)
= hh + h 11 + L 1 +
,
h
y c1 (y)
y c1 (y) y
y
y, como c1(0) 0, el teorema 3 prueba que la suma h/yh + + /y es la parte principal

relativa al polo cero, de orden h, de a1(y)/yhc1(y).
Por consiguiente, los i , h as determinados son los coeficientes de la
parte principal relativa la polo de a/b FC[x].
Para tener en cuenta
consiguiente:
1.- Si en (1) reemplazamos y por 0, se obtiene a1(0) = hc1(0). Por
h =
a( )
c( )
(2)
relacin que da el coeficiente del elemento simple de mayor grado del polo
Sealemos que (1) es tambin cierta si h = 1, es decir, en el caso de un
polo simple, de manera que la relacin anterior determina en tal caso el nico elemento
simple de la parte principal relativa a un polo simple.
2.- En el caso de un polo simple, cabe emplear an otra relacin. Si es
un polo simple de a/b, entonces:
b(x) = (x - )c(x), con c( ) 0.
Tomando los polinomios derivados, se obtiene:
b(x) = c(x) + ( x - )c(x),
119
de donde b() = c(), y la relacin (2) da entonces como coeficiente relativo al polo
simple la expresin = a()/b().
Ejemplos.
1.- En FC[x], descompngase la fraccin
1
x 1
3
. Como el grado del
numerador es estrictamente inferior al del denominador, la parte entera de la

descomposicin e nula. Por otra parte, la descomposicin en factores primos del
denominador es.
x3 1 = (x i)(x - j)(x k),
siendo i, j, k las races cbicas de la unidad, adems k es el conjugado de j.
Ya que cada uno de
estos nmeros es un polo simple, se tiene la
descomposicin:
1
=
+
+
x3 1 x 1 x j x k
Para determinar , , , sabemos que

b(x) = x3 1
b(x) = 3x2.
y de acuerdo a 2 anterior lo coeficientes se pueden calcular como:

= a(j)/b(j)= 1/3j2;
= a(1)/b(1) = 1/3;
= a(k)/b(k)= 1/3k2.
con lo que la descomposicin buscada es:

1
1
j
k .
=
+
+
x 1 3 x 1 x j x k
3
120
5.3.4.- Descomposicin sobre el cuerpo de los nmeros reales.
Elementos simples en FR[x].-
Sabemos que el cuerpo R no es algebraicamente cerrado, y que los

polinomios primos en R[x] son de dos clases:
1 Los polinomios de primer grado.
2 Los de segundo grado ax2 + bx + c, para los cuales b2 4ac < 0.
En FR[x] existen, por tanto, dos clases de elementos simples:
- el elemento simple de primera especie, del tipo:
A
(x a )n
con
AR
n N.
- Y el elemento de segunda especie, de la forma:
(ax
Ax + B
2
+ bx + c
con A, B R;
nN
b2 4ac < 0.
Determinacin de los elementos de primera especie.-
Todo lo dicho al tratar la descomposicin en FC[x] es aplicable a los

elementos de primera especie en FR[x].
Ejemplo: Descompngase la fraccin
(x
4
2
en FR[x].
Puesto que el grado del numerador es inferior al del denominador, la

parte entera es nula. Por otra parte los divisores primos del denominador son de primer
grado en R[x]:
(x2 1)2 = (x 1)2 (x + 1)2;
121
Por consiguiente, en la descomposicin pedida hay slo elementos simples de primera

especie:
(x
4
2
+ A1
(x 1)
(x 1)
(x + 1)
+ B1
(x + 1)
(1)
La funcin es par, entonces:

4
(x
(x
1
4
=
=
(- x 1)
A
(x + 1)
A1
B
+
+ B1
2
(- x 1) (- x + 1)
(- x + 1)
A1
(x + 1)
(x 1)
- B1
(x 1)
(2)
Comparando (1) y (2), tenemos que: A = B y A1 = - B1.
Determinacin de los elementos de segunda especie.-
Veamos en primer lugar el caso en que el denominador b de fraccin a/b

tiene un solo divisor primo, y ste es de segundo grado.
Haciendo la divisin euclidiana de a por b, llegamos a una fraccin
con g(r) < g(b), por hiptesis, b = (x2 + x + )h con 2 + 4 < 0.
r
,
b
De lo estudiado antes, podemos efectuar las divisiones euclidianas

sucesivas y descomponer la fraccin irreducible.
Ejemplo:
(x
x5 + 2
2
+ x +1
. El grado del numerador es inferior al grado del denominador.
Hacemos la divisin de x5 + 2 por x2 + x + 1, y obtenemos:

x5 + 2 = (x2 + x + 1) (x3 x2 + 1) x + 1,
y dividiendo por (x2 + x + 1)3, obtenemos:
122
(x
x5 + 2
2
3
2
= x x +1 +
+ x +1
(x
+ x +1
(x
- x +1
2
+ x +1
La ltima fraccin es un elemento de segunda especie. Hacemos lo mismo con la fraccin

restante, es decir, dividimos x3 x2 + 1 por x2 + x + 1 y resulta: x3 x2 + 1 = (x2 + x +
1) (x 2) + x + 3. Ahora dividimos por (x2 + x + 1)2 y tenemos:
x2
x 3 x 2 +1 =
x+3
+
,
2
2
2
2
2
x
+
x
+
1
x + x +1
x + x +1
) (
y finalmente la descomposicin buscada ser:
(x
x5 + 2
2
+ x +1
(x
x2
2
) (x
+ x +1
x+3
+ x +1
(x
- x +1
2
+ x +1
La forma de determinacin de estos elementos de primera y segunda

especie se har segn los ejercicios de trabajo prctico.
Bibliografa
DONEDDU, A. Curso de Matemtica - Tomo 1
TAYLOR, W. E.- THOMAS, L. W. Matemticas Bsica .
LEITHOLD, LOUIS, Matemticas Previas al Clculo.
QUEYSANNE, MICHEL, lgebra Bsica.
N 1.- Descomponer en elementos simples sobre R las siguientes fracciones

recionales:
a)
d)
5x - 3
;
(x + 1)(x - 3)
2x + 7
;
(x - 1)(x + 2)(x - 3)
b)
1
;
1- x2
e)
x 2 + 2x + 3
;
x(x 1)(x + 3)
c)
f)
x
;
x + 4x 5
2
7x - 1
.
x x6
2
123
N 2.- Descomponer en elementos simples sobre R, las siguientes:
a)
x 2 + 2x + 3
;
x 3 (x - 1)(x + 3) 2
d)
b)
1
;
x + 3x 2
c)
x2
;
x2 + x - 6
e)
1
;
(t + 2) 2 (t + 1)
w 2 + 4w 1
.
w3 w
N 3.- Descomponer en elementos simples:

a)
4 - 2x
;
2
(x + 1)(x - 1) 2
e)
b)
1
;
x(x + 1) 2
7x 3 + 2x 2 + 15x + 6
;
( x 2 + x 2)( x 2 + 4)
f)
c)
x4
;
(x 2 + 1) 2
d)
1
;
x + x2 +1
4
2x 6 + 5x 5 + 3x 4 + 5x 3 + 4x 2 + 7x + 1
( x + 2)( x 4 + x 2 + 1)
EJERCICIOS RESUELTOS.
Ejercicio 3d). Solucin.p = x4 + x2 + 1 = (x2 + 1)2 x2 , de donde (por diferencia de cuadrados)

x4 + x2 + 1 = (x2 + 1 x)( x2 + 1 + x) = (x2 + x + 1)( x2 x + 1).
Los dos factores son primos en R[x], de donde la descomposicin es:
1
Ax + B
Cx + D
= 2
+ 2
.
2
x + x +1 x + x +1 x - x +1
4
Como p es una funcin par p(x) = p(-x) por lo tanto
1
1
=
, o lo que es
p(x) p(-x)
lo mismo:
Ax + B
Cx + D
A(-x) + B
C(-x) + D
+ 2
=
+
2
2
x + x + 1 x - x + 1 (-x) + ( x) + 1 (-x) 2 - (-x) + 1
Ax + B
Cx + D
- Ax + B
- Cx + D
+ 2
= 2
+ 2
2
x + x +1 x - x +1 x x +1 x + x +1
124
De la unicidad de la descomposicin, resulta:

C = -A
B=D
1
1
1
= 4
=1= B+ D B+ D =1 B = D =
2
2
p(0) 0 + 0 + 1
1
1 A + 12 C + 12
= =
+
p(1) 3
3
1
1
3
A
3
+ 16 A + 12
como C = -A resulta:
1
3
16 12 =
A
3
de donde:
A=
Ejercicio 3e)
y C=-.
7x 3 + 2x 2 + 15x + 6
( x 2 + x 2)( x 2 + 4)
Solucin
-El trinomio x2 + x 2 admite los ceros simples 1 y -2.
-El polinomio x2 + 4 no tiene races reales.
-El grado del numerador es estrictamente inferior al del denominador. De ello
resulta que la parte entera es nula y que la descomposicin en elementos simples de la
fraccin es de la forma:
7x 3 + 2x 2 + 15x + 6
A
B
Cx + D
=
+
+ 2
2
2
( x + x 2)( x + 4) x - 1 x + 2 x + 4
Respuesta:
A = 2;
Ejercicio 3f)
B = 3;
C = 2;
D = -1.
2x 6 + 5x 5 + 3x 4 + 5x 3 + 4x 2 + 7x + 1
( x + 2)( x 4 + x 2 + 1)
Solucin
El grado del numerador p es mayor que el grado del denominador q
q = (x + 2)(x4 + x2 + 1) = x5 + x3 + x + 2x4 + 2x2 + 2 = x5 + 2x4 + x3 + 2x2 + x + 2
125
Al dividir p por q se obtiene un cociente c = 2x + 1 y un resto r = -x4 + 2x 1, por lo

que resulta:
- x 4 + 2x 1
2x 6 + 5x 5 + 3x 4 + 5x 3 + 4x 2 + 7x + 1
x
=
+
+
2
1
x5 + 2x 4 + x3 + 2x 2 + x + 2
x5 + 2x 4 + x3 + 2x 2 + x + 2
Parte entera 2x + 1
Fraccin irreducible:
- x 4 + 2x 1
( x + 2)( x 4 + x 2 + 1)
del ejercicio 3 d) tenemos:
- x 4 + 2x - 1
A
Bx + C
Dx + E
+ 2
=
+ 2
2
2
(x + 2)(x x + 1)(x + x + 1) x + 2 x x + 1 x + x + 1
Queda entonces determinar A, B, C, D y E por algunos de los mtodos ya conocidos.
126
6.- Ecuaciones Algebraicas.
6.1.- Ecuaciones Algebraicas.
Generalidades.
1) En esta unidad K designa un cuerpo conmutativo, el caso usual de
aplicacin ser K = C. La funcin polinmica asociada al polinomio p K[x], ser
denotado p.
2) Una igualdad de la forma A = B entre dos expresiones que contienen
combinaciones de nmeros pertenecientes al conjunto C, estando estos nmeros escritos
tanto en forma numrica como en forma de letras, puede ser:
- siempre cierta, cualesquiera que sean los valores dados a las letras que
figuran en A y B: se denominar entonces identidad.
- solamente cierta para ciertos valores dados a las letras que figuran en A
y B, se denominar entonces ecuacin. Por ejemplo, la igualdad:
(a + b)2 = a2 + 2ab + b2
es una identidad, ya que se puede dar a a y b cualquier valor sin alterarla. En cambio, la
igualdad:
3x + 7 = 5x + 15
solo es cierta para x = - 4; para todo otro valor de x la igualdad no se verifica, es una
ecuacin.
3) Resolver una ecuacin es encontrar el valor de las incgnitas en
trminos de las cantidades conocidas. Para ciertos tipos de ecuaciones, se ha establecido
una frmula de resolucin que permite encontrar rpidamente las soluciones. El o los
nmeros que, puestos en lugar de la incgnita, verifican la ecuacin dada se denominan
races o soluciones de la ecuacin. Por ejemplo, en el ejemplo anterior x = - 4 es la raz de
la ecuacin propuesta.
4) Dos ecuaciones que admitan las mismas soluciones se llaman
equivalentes, puede reemplazarse la una por la otra en los clculos.
127
6.1.1.- Ecuaciones algebraicas y polinomios.
1.Teorema y definicin.
Sea p un polinomio de K[x]. La ecuacin p(x) = 0 admite por races
las races del polinomio p. Se dice que es la ecuacin algebraica asociado al polinomio p.
Vocabulario.Se llama grado (resp. coeficiente; resp. orden de multiplicidad de una
raz ) de una ecuacin algebraica p(x) = 0 al grado (resp. coeficiente; resp. el orden de
multiplicidad de la raz ) del polinomio p.
Observacin.Como para un polinomio, la nocin de races de una ecuacin, est
ligado al cuerpo sobre el cual est definido.
Consideraremos nicamente las ecuaciones algebraicas
grado al menos igual a 1; este grado ser denotado n.
p(x) = 0 de
2.Ecuaciones equivalentes.Dos ecuaciones algebraicas p(x) = 0 y q(x) = 0 se dicen equivalentes

sobre el cuerpo K si admiten en K las mismas races y los mismos rdenes de
multiplicidad.
6.1.2.- Relaciones entre los coeficientes y las races de un polinomio.

Consideremos el polinomio p de grado n 1:
p = anxn + an-1xn-1 + + a1x + a0.
si 1, 2, , n son los ceros de p, distintos o no, entonces podemos descomponer p en
un producto de polinomios de primer grado:
p = (x - 1)(x - 2) (x n)
(1).
- Desarrollemos este producto por ejemplo, para el caso de un polinomio de segundo grado
con dos races reales.
128
p = (x - 1)(x - 2) por lo que resulta:

a2 = ;
a1= -(1 + 2);
a0 = 1 2.
- Para el caso de un polinomio de tercer grado:

p = a3x3 + a2x2 + a1x + a0 = (x - 1)(x - 2)(x 3)
entonces ser:
es decir:
p = [x3 - x2 ( 1 + 2 + 3) + x ( 12+ 13 + 23) - (123)
a3 = ; a2 = - ( 1 + 2 + 3); a1 = (12 + 13 + 2 3); a0 = - (123)

- Para uno de cuarto grado:
p = a4x4 + a3x3 + a2x2 + a1x + a0 = (x - 1)(x - 2)(x 3) (x 4)
= [x4 - x3(1 + 2 + 3 + 4) + x2 ( 12 + 13 + 14 + 23 + 24 + 34) - x(123
+ 124 + + 234 + 134) + 1234].
Es decir:
a4 = ; a3 = - (1 + 2 + 3 + 4); a2 = ( 12 + 13 + 14 + 23 + 24 + 34)
a1 = - (123 + 124 + + 234 + 134);
a0 = (1234).
Tomemos otro ejemplo:
p = a6x6 + a5x5 +a4x4 + a3x3 + a2x2 + a1x + a0 , que factoreado queda:
p = (x - 1)(x - 2)(x 3) (x 4) (x 5) (x 6)
(2)
Supongamos que queremos encontrar el coeficiente de x2, es decir a2. En

el desarrollo de (2) tenemos que considerar el producto de x por si mismo, quedan entonces
4 races libres. Es decir el producto de races ser del tipo 1234; y el nmero total de
stos productos lo podemos calcular por medio de las combinaciones de 6 elementos (6
races) tomados de a 4:
C6,2 = 15; los productos sern (tomamos slo los sub-ndices de 1 a 6).
1234
1456
1235
2345
1236
2346
1245
2356
1246
2456
1256 1345
3456.
1346
1356
129
Es decir: a2 = (1234 + 1235 + 1235 + + 3456) ; el

signo ser positivo, porque multiplicamos las races un nmero par de veces.
El coeficiente de x o sea a1: k = 1, n = 6, y
12345 12346
12356 12456
13456
C6,1 = 6 sern:
23456 .
Y, si desarrollamos el polinomio p dado en (1), para el trmino de grado

n, se obtienen an = ; para el trmino n 1, tendremos la suma de races:
an-1 = - (1+ 2 + + n)
En general, hallemos el coeficiente del trmino xn-k para 1 k n.
Hay que tomar x en n k factores de (1) y los i en los k restantes,
y efectuar el producto (-1)ki1 i2 ir.
Existen Cn, k productos de esta clase, nmero de las combinaciones de
los n ndices tomado en [1, n]; para tener el coeficiente de xn-k que buscamos, hay que
sumar los Cn,k productos obtenido.
Emplearemos la siguiente notacin:
1 = 1 + 2 + + n;
2 = 1 2 + 1 3 + + n-1n;
3 = 1 2 3 + 1 24 + + n-2 n-1n;
y n = 1 2 n
son respectivamente, la suma y el producto de las races.
Segn los expuesto antes, puesto que = an, se tendr:
a n k ( 1) k k
=
= ( 1) k k
an
an
k [1, n]
que proporciona las n relaciones entre los coeficientes y los ceros. El polinomio p se
puede expresar en la forma:
p = an[xn - 1xn-1 + + (-1)k k xn-k + +(-1)n n]
Como todo polinomio que admite como races 1, 2, , n puede
escribirse en la forma p = (x -1)(x - 2) (x - n), se verifica el teorema que damos a
continuacin.
Teorema 4.-
Para que 1, 2, , n sean los ceros del polinomio:
p = anxn + + a1x +a0

es necesario y suficiente que, para todo k [1, n], se verifique:
130
a n k
= (1) k k ,
an
con
k = i1 i2 L ik .
Ejemplos.
1. Polinomios de segundo grado:
p = ax2 + bx + c
(p C[x]).
El polinomio p posee dos ceros 1 y 2 en C, distintos o no, se tiene:

1 = 1 + 2 = -b/a;
2 = 12 = c/a
p = a(x2 - 1x + 2)
2. Polinomios de tercer grado:

p = ax3 + bx2 + cx + d
(p C[x]).
El polinomio p admite tres ceros 1, 2 , 3 en C. Se tiene:

1 = 1 + 2 + 3 = -b/a;
2 = 12 + 23 + 31 = c/a;
y
3 = 1 2 3 = d/a;
p = a(x3 - 1x2 + 2x - 3).
Problema 1.
Determinar los ceros del polinomio p = x3 + 5x2 8x 48, sabiendo que
admite dos ceros distintos, donde, la suma es igual a -1.
Solucin:
Sean x1 y x2 los dos ceros distintos de p tal que: x1 + x2 = -1.
Tomamos x1x2 = . Entonces p es divisible por polinomio x2 + [-(x1 + x2)x] + x1x2, es
decir, por q = x2 + x + . Hacemos el cociente entre p y q, (el resto tendr que ser cero) y
obtenemos segn el algoritmo de Euclides:
x3 + 5x2 8x 48 = (x2 + x + ) x + 4) (8 + + 4)x 48 - 4
=(x2 + x + )(x + 4) (12 + )x 48 - 4
O sea: (12 + )x + 4( + 12) = 0, de donde = -12.
131
Se deduce que p = (x2 + x - 12) (x + 4) = (x 3)(x + 4) (x + 4) = (x 3 )(x + 4)2,

Luego los ceros de p son los valores +3 y -4.
Problema 2.
Determinar los ceros del polinomio: p = x4 2x3 11x2 + 12x + 36,
sabiendo que admite dos ceros distintos, y donde su producto es igual a -6.
Sean x1 y x2 dos ceros distintos de p tal que x1x2 = -6, llamamos = x1 + x2. El
polinomio p por lo tanto es divisible por x2 - x 6; Ahora, vamos a determinar un
polinomio de segundo grado, tal que multiplicado por x2 - x 6 nos permita comparar los
coeficientes del producto de ambos con los del dado p, con la condicin de que el
coeficiente de x4 se 1 y que el trmino independiente sea +36. Dicho polinomio tendr que
tener la forma:
x2 - x 6
Entonces: p = x4 2x3 11x2 + 12x + 36 = (x2 - x 6)(x2 - x 6)
de los que se deduce, haciendo el producto indicado:
x4 2x3 11x2 + 12x + 36 = x4 ( + )x3 + (-6 + - 6)x2 + (6 + 6)x + 36,
tendremos las siguientes ecuaciones:
+ = 2; - 12 = -11 = 1;
6 + 6 = 12 + = 2;
y son las races de t2 2t + 1. es decir: = = 1.
6.2.- Polinomio en R[x]

Es evidente la implicacin:
RC
R[x] C[x],
por consiguiente, todo lo dicho para polinomios de coeficientes complejos se aplica en

particular a los polinomios de coeficientes reales. As por ejemplo, todo polinomio de
coeficientes reales admite al menos un cero real o complejo.
Hay que tener presente que los ceros de un polinomio de R[x] no son
siempre nmeros reales; as por ejemplo, el polinomio de segundo grado y coeficientes
reales: p = ax2 + bx + c posee ceros reales solo si se verifica que b2 4ac 0. En el
132
caso en que b2- 4ac < 0, los ceros pertenecen a C R. El cuerpo R de los nmeros reales
no es, por tanto algebraicamente cerrado. Todo polinomio primo en R[x] no es
necesariamente de primer grado.
Queremos hacer ver en lo que sigue que todo polinomio primo en R[x]
es de primero o de segundo grado.
Propiedad
Sean p R[x] y C. Entonces p(( = p() (con designamos al
conjugado de )
Tomemos un polinomio de coeficientes reales:
n
p = anxn + L+ a0 = akxk
con ak R, cualquiera que sea k [0, n]
k =0
Recordemos que la involucin de C;

, que asocia a cada
complejo su conjugado , es un automorfismo para la adicin y la multiplicacin:
+ = + ,
= .
Sabemos tambin que a R, su conjugado satisfase a a = a , tendremos,

por tanto:
n
p( ) = a k x k
k =0
p() = a k () k .
k =0
Ahora bien, puesto que: es un automorfismo multiplicativo,

() = , de donde, ya que ak R, ser a k () k = a k k
k
Por ltimo, debido al automorfismo aditivo de

n
p() = a k () k
k =0
p() = (a k k ) = p( ) ,
k =0
la propiedad queda demostrada.
Teorema 5.
Si es un cero de orden h de un polinomio con coeficientes reales,
tambin su conjugado es cero de orden h.
133
En efecto:
p() = p( ) = = ph-1( ) = 0
ph () 0.
Puesto que 0 es conjugado se si mismo, se tiene:

p( ) = p' ( ) = L = p (h 1) ( ) = 0
p (h) ( ) 0
Por consiguiente es un cero de orden h de p.
6.2.1.- Polinomios primos en R[x].Sea q R[x]; q admite n ceros reales o complejos, distintos o no. Si es
hi el orden de multiplicidad del cero i, entonces:
q = (x - 1)h1(x - 2)h2 (x - r)hr;
con R; 1, , rC,
h1 + h2 + + hr = n.
En esta descomposicin a todo cero i C R le corresponde otro

distinto j = i con hi = hj.
Fijemos la atencin sobre dos de tales ceros conjugados; en la
descomposicin anterior se obtendr para ellos un producto de la forma:
(x ) h (x ) = (x )(x )
Ahora bien,
(x )(x ) = x 2 ( + ) + ,
Observemos que:
+ = sR
= p R + ; por consiguiente:
(x ) h (x ) h = x 2 sp + p R[x].
De lo dicho se desprende que todo polinomio qR[x], puede descomponerse en producto

de polinomios de dos tipos, en R[x].
1. Factores de primer grado (x - ) para todo real .
134
2. Factores de segundo grado, x2 sx + p, para todo par de ceros

complejos
(s2 4p < 0).
Teorema.
Por lo estudiado anteriormente podemos enunciar:
Los polinomios primos en R[x] son de primero o de segundo grado.
6.3.- Ceros comunes a dos polinomios.

Consideremos dos polinomios p y q de C[x], y veamos si existen
ceros comunes a ambos. Para que p y q tengan un cero comn , es necesario y
suficiente que ambos sean divisibles por x - , o, lo que es igual, que dicho monomio
divida al m.c.d.(p, q).
Por consiguiente, para ver si p
y q
debemos primero hallar el m.c.d.(p, q). Despus se sigue:
admiten algn cero comn,
1. S el grado del m.c.d.(p,q) es nulo, los polinomios son primos entre s

y carecen de ceros comunes.
2. Si el grado es igual por lo menos a 1, entonces el polinomio
m.c.d.(p,q) tiene al menos un cero en C; x - divide al m.c.d.(p, q), lo que implica
que divide a la vez a p y a q. Por consiguiente es un cero comn de p y q.
Podemos incluso decir que si es cero de orden h del m.c.d.(p, q),
entonces h es el orden del cero para uno de los dos polinomios; para el otro, el orden
de dicho cero es al menos igual a h.
Ejemplo.-
Determnese a para que los polinomios:

p = x4 x + a,
Sabemos que:
q = x2 ax + 1, admitan ceros comunes.
g[m.c.d.(p, q)] mn{g(p), g(q)} = 2.
Si deseamos que p y q tengan dos races comunes deber cumplirse,

segn lo que hemos visto antes, que g[m.c.d.(p, q)] = 2; es decir , m.c.d.(p, q) = q.
135
Por consiguiente, para que se verifique la condicin impuesta, es

necesario y suficiente que q divida a p. Efectuando la divisin euclidiana, se obtiene:
x4 x + a =( x2 ax + 1)(x2 + ax + a2 1) + (a+ 1)(a2 a 1)x - a2 + a + 1
Para que qp es necesario y basta que el resto sea nulo:
es decir,
(a + 1)(a2 a 1)x - a2 + a + 1 = 0
o sea,
(a + 1)(a 2 a 1) = 0
2
a + a +1 = 0
{a
a 1 = 0
Sistema que es equivalente a la segunda ecuacin. Existen por lo tanto

dos valores para a:
a1 =
1+ 5
2
a2 =
1 5
2
Los ceros comunes son los ceros de los correspondientes polinomios q:

q1 = x 2
1+ 5
x +1
2
q2 = x2
1 5
x +1
2
Sus valores se calculan:

q1:
1+ 5
1+ 5 i
1 1+ 5
x=
4
= 4 4 10 2 5
2 2
y para q2 ser entonces:
x=
1 5 i
10 2 5
4
4
6.4.- Eliminacin.
Siendo
x p(x) una funcin polinmica de C en C, la relacin
p(x) = 0 recibe el nombre de ecuacin algebraica
136
Resolverla es hallar los ceros de p C[x]; tales ceros se llaman tambin

races de la ecuacin.
Definicin.Eliminar x entre dos ecuaciones algebraicas p(x) = 0 y q(x) = 0 es

hallar la condicin necesaria y suficiente para que ambas ecuaciones tengan al menos una
raz comn.
Esta condicin es una relacin entre los coeficientes de los polinomios p
y q (coeficientes que dependen de ciertas variables llamadas parmetros), tal relacin
recibe el nombre de resultante (de la eliminacin).
6.4.1.- Mtodos de eliminacin.Primer caso:

- Una de las ecuaciones es fcil de resolver.
Se calculan las races de esta ecuacin y se expresa que la otra se verifica
para cada una de las races halladas.
Ejemplo.Elimnese x entre las dos ecuaciones:
x3 - x +1 = 0
x2 2x 3 = 0
Las races de la segunda ecuacin son 1 y 3. Expresando que -1 y 3
son races de la primera, dividiendo entonces (x3 - x +1) por (x + 1) y por (x 3) se
obtienen usando el algoritmo de la divisin:
x3 - x +1 = (x + 1) [ x2 x + (1 - )] + [1 (- + 1)] (1)
x3 - x +1 = (x 3) [x2 + 3x + (9 - )] + [1 + 3(9 - )]
(2)
Los restos de las dos divisiones expresadas en (1) y (2) tendrn que ser iguales a cero,
esto es:
1 (- + 1) = 0 y
1 + 3(9 - ) = 0
Se obtienen as los valores:

= 0 y = 28/3.
137
La resultante de la eliminacin es ( - 28/3) = 0

Segundo caso.Mtodo del m.c.d.
Los polinomios p y q tienen al menos un cero comn, si el grado del
m.c.d.(p,a) es igual o mayor que 1. Expresemos pues esta condicin.
Observemos que el conjunto engendrado por p y q es el conjunto de los
polinomios up + vq cuando u y v recorren C[x]. Cabe pues sustituir p o q por un
polinomio up + vq, eligiendo convenientemente u y v.
Ejemplo.Elimnese x entre :
p = a x2 + b x + c = 0
q = ax2 + bx + c = 0
Sustituyamos p y q por los polinomios siguientes:
p1 = ap aq = (ab ab)x + ac ac
q1 = bp - bq = (ab-ab)x2 + cb bc
Cabe considerar dos casos:
Primero:
ab-ab 0.
El polinomio p1 es de primer grado; para que p y q tengan un cero

comn, es necesario y suficiente que m.c.d.(p,q) = p1, dicho cero comn ser:
p1 = 0 = (ab ab)x + ac ac= 0
de donde,
x=
la eliminacin:
(ab ab)x = ac ac
ac'a' c
ac'a' c
=
a' b ab'
ab'a' b
Expresando que este nmero es un cero de q1, se obtiene la resultante de

q1 = 0
(ab ab)x2 + cb bc = 0
138
ac'a'c
(ab'a' b)
+ cb'bc'= 0
ab'a' b
(ac ac)2 = ( bc cb)(ab ba)
(1)
Segundo.- ab ba = 0.
En estas condiciones p1 = ac ca.
Si ac ca 0, es decir a/a = b/b c/c entonces g(p1) = 0, al ser p
y q primos entre s, carecen de cero comn.
Si ac - ca = 0, es decir: a/a = b/b = c/c, entonces p y q tienen
comunes sus dos ceros.
Por consiguiente, como resumen, cabe decir que la relacin (1) es la
condicin necesaria y suficiente para que las dos ecuaciones de segundo grado propuestas
tengan una raz comn al menos.
6.5.- Resolucin de ecuaciones particulares

6.5.1.- Ecuacin de tercer grado.
La ecuacin general de tercer grado es:
u3 + au2 +bu + c = 0
(con a, b, c C)
(1)
Efectuando el cambio u = x + h, la ecuacin (1) se escribe:

(x + h)3 + a(x + h)2 + b(x + h) + c = 0
x3 + 3x2h + 3xh2 + h3 + a(x2 + 2xh + h2) + b(x + h) + c = 0
Determinemos h de manera que se anule el coeficiente en x2. Se
obtiene:
3x2h + ax2 = 0 3h + a = 0 o sea, h = -a/3
De donde resulta que, haciendo u = x a/3, la ecuacin (1) se escribe
en su forma reducida:
x3 + px + q = 0
(2)
139
Vamos a exponer el mtodo de Cardan para la resolucin de la ecuacin

(2). Hagamos el cambio:
x = y + z,
sustituyendo la incgnita x por otras dos, con objeto de poder expresar entre estas ltimas
una condicin que simplifique el problema, segn vamos a ver.
La ecuacin toma la forma:
(y + z)3 + p(y + z) + q = y3 + 3y2z + 3yz2 + z3 + py + pz + q = 0
= y3 + z3 + 3yz(y + z) + p(y + z) + q = 0
= y3 + z3 + (3yz + p)(y + z) + q = 0
Elijamos la condicin de simplificacin de manera que el coeficiente de y + z sea nulo; es
decir:
3yz + p = 0
(4)
Entonces la ecuacin reducida (x3 + px + q = 0), se escribe:

y3 + z3 + q = 0
(5)
Si (y, z) es una solucin del sistema formado por (4) y (5), entonces
solucin de (2).
y+z
es una
De los nmeros y3 y z3 sabemos que:

y3 + z3 = - q; yz = -p/3, o sea, y3z3 = -p3/27,
luego tales nmeros son solucin de la ecuacin:
t2 + qt p3/27 = 0
la cual admite dos races t y t en C que sabemos hallar. Tenemos t = y3 y t = z3.
Si es una de las races cbicas de t las otras dos sern: j y
j2;
con:
j = cos 2/3 + i sen 2/3.
Se obtienen as para y los tres valores: y1 = ; y2 = j; y3 = j2
Los valores de z vienen dados, de 3yz + p = 0 z = -p/3y, es decir
son:
z1 =
p
;
3
z2 =
p
;
3j
z3 =
p
3j 2
140
(obsrvese que
z1,
z2 = j2z1 y z3 = jz1 son las races de la ecuacin z3 = t).
Por consiguiente, las races de la ecuacin (2) son:
x1 =
p
;
3
x2 = j
p 2
j;
3
x3 = j2
p
j
3
donde es una raz cbica de una solucin de (6).
6.5.2.- Resolucin trigonomtrica en el caso: 4p3 + 27q2 < 0.

En este supuesto, la ecuacin x3 + px + q = 0 tiene sus tres races reales.
Designemos con r y el mdulo y el argumento del complejo que
interviene en la resolucin precedente:
= r(cos + isen).
Si se designa con Re(z) la parte real del complejo z, de acuerdo con lo
anterior, las races reales son:
x1 = +
x = j + j
2
x3 = j2 + j2
x 1 = 2Re ( ) = 2rcos
2
x = 2Re( j ) = 2rcos( + ),
2
3
x 3 = 2Re(j2) = 2rcos( +
4
),
3
Solo falta determinar r y para las frmulas anteriores nos den las races. Ahora bien:
para este caso = - p/3. Por consiguiente, puesto que r2 = , r = (-p/3)1/2.
Para calcular el arg, hay que volver a la ecuacin (6), una de cuyas races es 3. Como
el discriminante es real negativo, se ve inmediatamente que Re(3) = -q/2. Ahora bien:
||3 = r3 y arg 3 3 (md 2),
y por consiguiente:
r 3cos3 =
q
2
cos3 = -
q
3q 3
=+
3
2p p
2r
En resumen: la resolucin trigonomtrica consiste en calcular primero el

ngulo por su coseno:
141
cos =
3q 3
2p p
y hallar a continuacin las races, mediante las frmulas:

x1 = 2
Ejemplo.-
cos ,
3
3
p 2
x 2 = 2 cos + ,
3 3 3
x3 = 2
p
4
cos +
3
3 3
Resulvase la ecuacin: 8y3 12y2 18y + 19 = 0
(1)
Solucin:
Haciendo el cambio y = x + , la ecuacin se reduce a: x3 3x + 1 = 0 (2)
Se observa que:
4p3 + 27q2 = 27(-4 + 1) = -3 27 < 0,
y por lo tanto, la ecuacin (2) tiene sus tres races reales. Apliquemos la resolucin
trigonomtrica. Tendremos cos = -1/2, y podemos tomar = -2/3, con lo que las
races de (2) son:
x1 = 2 cos 2/9 ;
x2 = 2 cos 4/9 ;
x3 = 2cos 10/9 ;
es decir, sus valores con tres cifras decimales exactas son:

x1 = 1,532;
x2 = 0,347;
x3 = -1,879.
Por ltimo, con el mismo grado de aproximacin, se obtiene para la

ecuacin (1):
y1 = 2,032;
y2 = 0,847;
y3 = -1,379.
6.5.3.- Resolucin de una ecuacin de 4 grado.

ax4 + bx3 + cx2 + dx + e = 0
El mtodo de Ferrari consiste en:
- dividir todos los trminos por a, para obtener una ecuacin de la
forma:
142
x4 + px3 + qx2 + rx + s = 0
- descomponer el primer miembro en un producto de trinomios de
Segundo grado considerando que x4 + px3 es el comienzo del
desarrollo del cuadrado de (x2 + p/2 x + ), estando determinado
por las condiciones del clculo (condiciones que llevan a una
ecucin de tercer grado, cuya incgnita es y que es resuelta por la
frmula Cardano).
Se obtiene entonces la ecuacin bajo la forma:
(Ax2 + Bx + C) (Ax2 + Bx + C) = 0
y se encuentran sin dificultad sus cuatro races (dos por cada trinomio), que son todas
complejas si los coeficientes a, b, son complejos, y reales o complejas conjugadas si los
coeficientes son reales.
El mtodo de Ferrari conduce generalmente a clculos complicados. En
la prctica, se intenta simplificar el problema utilizando con la astucia que proporciona la
experiencia del clculo algebraico- las particularidades de la ecuacin propuesta.
En general, las ecuaciones algebraicas de grado mayor que dos, son
complicadas de resolverlas en forma analtica y para resolverlas, en la prctica, se utilizan
mtodos del Clculo Numrico.
Sin embargo es interesante estudiar esta unidad, por sus implicancias
tericas, que constituyen un buen test de lo aprendido antes y por su riqueza en la
historia de la Matemtica.
Bibliografa.
Adems de la sealada, en este apunte, el alumno deber recurrir a la lista
de libros que figuran en el programa de la materia, o aquella que el Profesor les
recomiende durante el cursado de la Asignatura.
143
ndice.
TITULOS
Unidad 1.Nmeros complejos.
Planteamiento del problema
Definicin.
Adicin en C.
Multiplicacin en C.
Propiedades de la Adicin.
Propiedades de la Multiplicacin
Distributividad.
Cuerpo de los Nmeros complejos.
Inmersin de R en C.
Imaginarios puros.
Nmeros complejos conjugados.
Mdulo de un nmero complejo.
Valuacin sobre C
Sub-grupo multiplicativo U.
Ecuacin de segundo grado con coeficientes complejos.
Plano Complejo.
Rotaciones.
Similitudes
ANEXO.
Nmero de
pgina
2
5
6
8
8
8
9
10
12
12
13
14
16
19
20
23
25
26
28
30
34
34
Unidad 2.Razones y Funciones Trigonomtricas

ngulos orientados.
Medidas de ngulos.
Seno y coseno
Tangente y cotangente
Frmulas relativas a los ngulos asociados.
Funciones sinusoidales
Expresin trigonomtrica del producto escalar
Frmulas trigonomtricas de adicin
Frmulas de transformacin
Valores de las funciones trigonomtricas
Razones trigonomtricas y vectores
Ley de los senos y de los cosenos
37
37
38
39
40
41
43
44
50
52
53
54
54
56
58
Unidad 3.Races de Nmeros Complejos

Argumento de un nmero complejo
Expresin trigonomtrica de un n complejo.
62
62
62
63
144
Frmula de Moivre.
Races de n complejos.
Aplicacin de los n comp. a los clculos trig.
Frmulas trigonomtricas de adicin.
Expresin trigonomtica del producto escalar
65
67
68
68
70
72
Unidad 4
Anillos de Polinomios.
Polinomio formal
Polinomio nulo.
Grado y Valuacin
Adicin en A[x].
Multiplicacin por un elemento de A.
Multiplicacin en A[x].
Propiedades de grados y valuaciones.
Divisin euclidiana..
Anexo A: La nocin clsica de polinomio
Ejemplo y disposicin prctica para efectuar la divisin
de polinomios
Divisores comunes
Polinomios primos entre si.
Forma prctica de calcular el m.c.d.
Polinomio primo o irreducible.
Descomposicin en factores primos
Derivacin.
Derivadas de orden n de un polinomio
Frmula de McLaurin.
Frmula de Taylor.
Ceros de un polinomio.
Teorema del resto
Orden de multiplicidad de un cero
Teorema de DAlembert.
Ceros racionales de polinomios
Resumen.
Ejercicios propuestos y resueltos
74
74
74
75
75
76
77
78
80
81
83
86
87
88
89
90
90
91
91
93
93
94
94
94
96
97
99
102
Unidad 5.Cuerpo de fracciones racionales

Fraccin irreducible.
Leyes de composicin en FR[x].
Parte entera de una fraccin racional.
Descomposicin de una fraccin irreducible
Descomposicin en elementos simples.
Determinacin de la parte principal.
Descomposicin sobre el cuerpo de los n reales.
Ejercicios propuestos y resueltos
109
109
110
110
111
115
116
117
120
122
Unidad 6.-
145
Ecuaciones Algebraicas.
Ecuaciones algebraicas y polinomios
Relacin entre los coeficientes y las races de un
polinomio.
Polinomio en R[x].
Polinomios primos en R[x].
Ceros comunes a dos polinomios
Eliminacin.
Mtodos de eliminacin
Resolucin de ecuaciones particulares
Ecuaciones de tercer grado
Resolucin trigonomtrica.
Resolucin de una ecuacin de cuarto grado
Bibliografa
ndice
126
127
127
131
133
134
135
135
138
138
140
141
142
143
Victor Wall
Profesor Titular de lgebra 1 y lgebra 2 de la Carrera del Profesorado
de Matemtica de la Facultad de Ciencias Exactas, Qumicas y Naturales de la Universidad
Nacional de Misiones.
Ao 2007.-

Cuaderno 2 - Algebra2 PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Cuaderno 2 - Algebra2 PDF

Încărcat de

Drepturi de autor:

Formate disponibile

LGEBRA

El curso, sin prdida del rigor y de su nivel de excelencia deber

Est organizado de manera que cada captulo se corresponda con una

III.- Races de nmeros complejos.

La semirrecta da es entonces el conjunto de puntos a cuando

e1 (primer vector de la base

cannica) se denomina eje polar)

Definicin.Se llama crculo unidad, y se lo denota U, al siguiente conjunto:

En efecto, sea la semirrecta da (a 0). La interseccin da U es el

1.1.- Planteamiento del problema

1.2.- Condiciones necesarias.

(a + ib) + (c + id) = (a + c) + i(b + d),

por conmutatividad y asociatividad de la adicin y por distributividad. Se ve que el

(a + ib)(c + id) = ac bd + i(ad + ib)

y el resultado es del mismo tipo.

1.3.- Nmeros complejos.

Al conjunto de los nmeros complejos, munidos de estructura aditiva y

1.4.- Propiedades de la Adicin.

1.4.3.- Elemento neutro: = (0, 0)

1.4.4.- Nmeros complejos opuestos.

1.5.- Propiedades de la multiplicacin.

= (c, d). Se tiene:

= (ac bd; ad + bc),

= (ca - db; da + cb)

Los dos nmeros obtenidos son iguales ya que la multiplicacin es

1.5.3.- Elemento neutro:

1.5.4.- Nmeros complejos inversos.

Sea = (a, b). Tomemos = (x, y) tal que

Dado que a2 + b2 0, el sistema admite una nica solucin:

De lo que resulta que todo nmero complejo = (a, b) (0, 0) tiene

Entonces C* es un grupo multiplicativo conmutativo.

Consecuencia: Al ser C* un grupo multiplicativo conmutativo, todos sus elementos

1.5.5.- Distributividad de la multiplicacin respecto a la adicin.

Tomando: = (a, b); = (c, d);

= (ac bd; ad + bc),

= (ae bf; af + be),

+ = (ac bd + ae bf; ad + bc + af + be)

1.5.6.- Cuerpo de los nmeros complejos.

En particular, el elemento neutro de la adicin en C es

Se dice que C es un sobre cuerpo de R o una extensin de R. En

1.6.2.- Imaginarios puros.

Todo nmero complejo ia con aR se denomina imaginario puro.

1.7.- Nmeros complejos conjugados.

del nmero complejo

Queda definida as una aplicacin

Por ejemplo: Si = - 2 + 3i entonces ser = -2 3i ;

Problema: Halle dos nmeros complejos y de manera que su suma de por

De esta manera los dos nmeros complejos son: = a + bi y = a - bi =

+ = (5 + 2i) + (4 - 6i) = 9 4i luego + = 9 + 4i;

= (5 + 2i) (4 - 6i) = 20 + 12 -30i + 8i = 32 22i luego + = 32 + 22i

Dado un nmero complejo cualquiera, se puede escribir:

1.8.- Mdulo de un nmero complejo.

Se llama mdulo de un nmero complejo al nmero real positivo o

Queda as definida una aplicacin de C en R+:

Ejemplo 6.- a) Si = (3, 4), entonces | | =

1.8.2.- Valuacin sobre C.

En efecto, se tiene en R, las siguientes equivalencias lgicas:

es un morfismo del grupo multiplicativo de C sobre el

Aplicando la propiedad 3 (automorfismo del producto), y la conmutatividad, se obtiene:

El mdulo del inverso es igual al inverso del mdulo.

Cualquiera que sea el nmero complejo , se tiene:

Se debe precisar que la desigualdad que se trata de demostrar aqu, tiene

a 2 + b 2 (nmero real positivo o nulo).

Sea una similitud s S ( C). Tomamos || = R + . Para todo