Академический Документы
Профессиональный Документы
Культура Документы
INSTRUMENTACIN Y CONTROL
TEMA II
CLCULO DE RACES DE POLINOMIOS Y NMEROS COMPLEJOS
ANTECEDENTES HISTRICOS
Pedro Rothe (Petrus Roth), en su libro Arithmetica Philosophica (publicado en 1608),
escribi
que
una
ecuacin
polinmica
de
grado n (con
coeficientes reales) puede tener n soluciones. Alberto Girardo, en su libro L'invention
nouvelle en l'Algebre (publicado en 1629), asever que una ecuacin de
grado n tiene n soluciones, pero no menciona que dichas soluciones deban ser nmeros
reales. Ms an, l agrega que su aseveracin es vlida "salvo que la ecuacin sea
incompleta", con lo que quiere decir que ninguno de los coeficientes del polinomio sea
igual a cero. Sin embargo, cuando explica en detalle a qu se est refiriendo, se hace
evidente que el autor piensa que la aseveracin siempre es cierta; en particular, muestra que
la ecuacin: x 4 4 x 3. A pesar de ser incompleta, tiene las siguientes cuatro soluciones
(la raz 1 tiene multiplicidad 2): 1,1,1 i 2 y 1 i 2. Leibniz en 1702 y ms
tarde Nikolaus Bernoulli, conjeturaron lo contrario.
Como se mencionar de nuevo ms adelante, se sigue del teorema fundamental del lgebra
que todo polinomio con coeficientes reales y de grado mayor que cero se puede escribir
como un producto de polinomios con coeficientes reales del cual sus grados son 1 2. De
todas formas, en 1702 Leibniz dijo que ningn polinomio de tipo x a (con a real y
distinto de 0) se puede escribir en tal manera. Luego, Nikolaus Bernoulli hizo la misma
4
2 x 1 7 x 2 2 x 1 7
x4 a4 x2 a 2x a2 x2 a 2x a2
El primer intento que se hizo para demostrar el teorema lo hizo d'Alembert en 1746. Su
demostracin tena un fallo, en tanto que asuma implcitamente como cierto un teorema
PROFESOR: JULIO C BARRETO G
TRAYECTO INICIAL
MATEMTICA
(actualmente conocido como el teorema de Puiseux) que no sera demostrado hasta un siglo
ms tarde. Entre otros Euler (1749), de Foncenex (1759), Lagrange (1772)
y Laplace (1795) intentaron demostrar este teorema. A finales del siglo XVIII, se
presentaron dos nuevas pruebas, una por James Wood y otra por Gauss (1799), pero ambas
igualmente incorrectas. Finalmente, en 1806 Argand public una prueba correcta para el
teorema, enunciando el teorema fundamental del lgebra para polinomios con coeficientes
complejos. Gauss produjo otro par de demostraciones en 1816 y 1849, siendo esta ltima
otra versin de su demostracin original. El primer libro de texto que contiene la
demostracin de este teorema fue escrito por Cauchy. Se trata de Course d'anlyse de l'cole
Royale Polytechnique (1821). La prueba es la debida a Argand, pero sin embargo en el
texto no se le da crdito. Ninguna de las pruebas mencionadas ms arriba son constructivas.
Es Weierstrass quien por primera vez, a mediados del siglo XIX, menciona el problema de
encontrar una prueba constructiva del teorema fundamental del lgebra. En 1891 publica
una demostracin de este tipo. En 1940 Hellmuth Knesser consigue otra prueba de este
estilo, que luego sera simplificada por su hijo Marin Kneser en 1981.
CLCULO DE RACES DE POLINOMIOS
DESPEJE DIRECTO: Esto se basa en la transposicin de trminos en una ecuacin.
Comnmente es denominado despeje de manera fsica. Y se cambian al cambiar de los
lados del miembro de una ecuacin las operaciones bsicas ( , ) por sus respectivas
opuesta e inversa multiplicativa ( , ), adems la potenciacin y su inversa la radicacin y
viceversa. En general existen ms operaciones o funciones inversas para cada una de las
funciones definidas, lo cual va a depender del dominio de definicin. Vea los ejemplos:
4 x 3 19 4 x 19 3 4 x 16 x
16
x4
4
x
x
x
2 22 22 2 24 x 24 2 x 48
2
2
2
x 5 9 x 95 x 4
x 4
x 3 2 3 x 23 3 x 5
x 5 x 125
x 16
3
x 2 9 x 2 9 x 3
MATEMTICA
Figura: Acepcin geomtrica de la Factorizacin sacando Factor Comn, la cual tiene relacin
con la propiedad distributiva del producto respecto a la adicin asociada algebraicamente.
ca cb ca b.
Ejemplos de Sacar Factor comn:
1. Buscamos el factor comn de
2a
es
2,
procedemos a factorizarlo:
2a 4 2 a 2 2
2a 4 2a 2
Notemos que en cierto sentido aqu existe una descomposicin de los factores de cada
sumando:
2a
a
1
Luego, el factor comn es el
signo de la suma son una
4
2
1
2
a
y un
3a , 4a 2 y 5a 3 es
a,
2
2
procedemos a factorizarlo.
MATEMTICA
3a + 4a 2 5a 3 3 a + 4 a a 5 a a 2
3a + 4a 2 5a 3 a 3 + 4a 5a 2 .
Notemos que en cierto sentido aqu existe una descomposicin de los factores de cada
sumando:
3a
a
1
4a 2
3
a
2a
a2
a
1
2
2
a
a
5a 3
a
a2
a
1
5
a
a
a
3, 4a y 5a 2
en
RESOLVENTE CUADRTICO
En matemticas, una funcin cuadrtica o funcin de segundo grado es una funcin
MATEMTICA
x,
x1
b
b
y x2
2a
2a
x1 x2
b
2a
x1
i
i
y x2
2a
2a
2a
2a
MATEMTICA
FORMA DESARROLLADA
La forma desarrollada de una funcin cuadrtica (o forma estndar) corresponde a la del
polinomio
de
segundo
grado,
escrito
convencionalmente
como:
f x ax2 bx c con a 0.
FORMA FACTORIZADA
Toda funcin cuadrtica se puede escribir en forma factorizada en funcin de sus races
como: f x a x x1 x x2 .
f x ax x1
MATEMTICA
Esta regla se aplica en general para dividir un P(x) entre un divisor que tenga o adopte las
siguientes formas:
x b;
ax b; y ax b.
n
x5 2 x 4 3x 2
x 1
Solucin: Escribimos los coeficientes en el cuadro (completamos con ceros los trminos
que faltan):
Cocientes del dividendo
Termino
Independiente
del divisor con
signo
cambiado.
Entonces:
obtenido)
2
0
0
3
-1
-1
1
-1
1
-1
1
2
Coeficiente del cociente
-1
1
2
-2
0
Resto
Si y 0, entonces 0 x3 2x 2 5x 6
Por divisin sinttica: Los factores de 6 son: 1, 2, 3, 6. Usemos Ruffini segn el
Anexo B.
1
-2
-5
-1
-6
-1
-6
f ( x) x 3 2x 2 5x 6 ( x 1) ( x 2 x 6)
MATEMTICA
x 2 x 6 ( x 3) ( x 2)
Finalmente: Si y 0, entonces x3 2x 2 5x 6 0, es decir, ( x 1) ( x 3) ( x 2) 0
Los valores de x por despeje directo son:
x 1 0
x 3 0
x20
x 1
x3
x 2
Ejercicio 2:
Dado Px 2x4 x3 + 2x2 ax + 3, determinar a para que al dividirlo entre
Dx x 2 d por resto 5
Observaciones:
a. Cuando su forma general es: ax b.
1. Se transforma el divisor, extrayendo factor comn, el primer trmino del divisor, es
decir :
b
ax b a x
a
MATEMTICA
3. Los coeficientes del cociente obtenido se dividen entre el primer coeficiente del
divisor.
4. El resto obtenido no sufre alteracin.
b. Cuando el divisor es de la forma: axn b. En este caso para que la divisin se
pueda efectuar los exponentes de la variable del dividendo, deben ser mltiplos del
exponente de la variable del divisor
NMEROS COMPLEJOS
Los nmeros complejos son una extensin de los nmeros reales y forman el
mnimo cuerpo algebraicamente cerrado que los contiene. El conjunto de los nmeros
complejos se designa como C , siendo R el conjunto de los reales en donde se cumple que
R C. Los nmeros complejos incluyen todas las races de los polinomios, a diferencia
de los reales. Todo nmero complejo puede representarse como la suma de un nmero
real y un nmero imaginario (que es un mltiplo real de la unidad imaginaria, que se indica
con la letra i ), o en forma polar.
Los nmeros complejos son la herramienta de trabajo del lgebra, anlisis, as como de
ramas de las matemticas puras y aplicadas como variable compleja, ecuaciones
diferenciales, aerodinmica y electromagnetismo entre otras de gran importancia. Adems
los nmeros complejos se utilizan por doquier en matemticas, en muchos campos de
la fsica (notoriamente en la mecnica cuntica) y en ingeniera, especialmente en
la electrnica y las telecomunicaciones, por su utilidad para representar las ondas
electromagnticas y la corriente elctrica.
MATEMTICA
UNIDAD IMAGINARIA
i +1 = i;
i -1 = -i;
-i -1 = i;
i i = i2 = 1;
i i i = i2 i = 1 i = i;
i i i i=i 2 i 2= 1 1=1.
Con lo anterior se puede construir una tabla de las potencias de la unidad imaginaria:
i1
i3
i5
i7
i
i
i
i
1
1
1
1
i2
i4
i6
i8
Esta tabla indica que las potencias impares de i son iguales a i o i y que las potencias
pares de son iguales a 1o 1. Se cumple adems que: i 1.
0
Nota: Los valores se repiten de cuatro en cuatro, por eso, para saber cunto vale una
determinada potencia de i, se divide el exponente entre 4, y el resto es el exponente de la
potencia equivalente a la dada. Debemos destacar que el sobrante o resto que oscilar
entre 0 y 3 (lo cual es lo que nos importa para realizar los clculos como vemos en el
ejemplo de abajo).
22
Ejemplos: Hallar i .
Solucin: Como haciendo la divisin, tenemos que:
22
2
4
, entonces:
5
i 22 i 4 i 2 1 1 1 1 1
5
10
MATEMTICA
27
4 4 1 4 1 2 i.
Ejercicio: Demostrar que:
a) 9 3 i
b)
10
i
2
b es un nmero real
i es la unidad imaginaria
Con los nmeros imaginarios podemos calcular races con ndice par y radicando negativo.
2
Es decir: x1 9 x1 9 1 x1 9
Y x1 9 x1 9 1 x1 9
1 3 i
1 3 i
11
MATEMTICA
Imz 0.
Si a = 0 el nmero complejo se reduce a 0+bi bi, y se dice que es un nmero
imaginario puro, es decir, Rez 0.
C a bi / a, b R
Y tenemos que:
z2 son iguales
z2 10 3 yi sean iguales.
Solucin: Debe cumplirse que las partes reales y complejas de los nmeros deben ser
iguales, es decir:
2 x 10 x
10
6
x 5 y 6 3 y y 2 y
2
3
12
MATEMTICA
a, b
que se llama
1
1
z1=2+3i; z 2= i; z3= i 9;
3
2
13
z4=2;
z5=10i.
MATEMTICA
1
3
1
2
a+bi+c di=a+c+b+d i
a bi-c+di=a -c+b -d i
z z1 z2 z3 .
z z1 z2 z3 z4 z5 .
14
MATEMTICA
z z1 z2 .
z
3 5i
2i
3i
8
En forma canonca:
3 5i
2i
3i
8
3,1
,5
3,1
,5
e,0
0,0
e,0
0,0
0, 3 0, 3
Por lo tanto:
z 2 i, halla el producto de z z.
z.z 2 i 2 i 4 (1) 2 2i 5
z.z 5
Vamos a probar ahora la propiedad para cualquier par de complejos conjugados (Frmula):
Si tenemos que z a+bi y z a bi, entonces:
15
MATEMTICA
z.z a
b2
0i
z.z a 2 b 2 (Frmula)
a+bi ac bd bc ad
=
+
i
c di c 2 d 2 c 2 d 2
Ejemplo: Sean z1 3+2i y z2 1 2i, calcule z
z1
.
z2
3+2i
1 2i
3 1 2 2 2 1 3 2
i
= 2
+ 2
2
2
1 2 1 2
3 4 2 6
+
i
1 4 1 4
3 4 8
+ i
5 5
1 8
+ i
5 5
z 3 2i
2i
z 27 8i
5 6i
16
MATEMTICA
z
Por lo tanto:
(3) 2 4 2
9 16
25
z 5
ARGUMENTO DE UN NMERO COMPLEJO
El argumento de un nmero complejo es el ngulo que forma el vector con el eje real. Se
designa por Arg z . El argumento de un complejo puede tomar infinitos valores que se
diferencian
entre
s
por
un
nmero
enteros
de
vueltas:
comprendido entre 0,2 , o sea una vuelta; y se calcula usando cualquier funcin
trigonomtrica como por ejemplo:
Sen
a
a
b
b
b
b
arcSen , Cos arcCos , Tg arcTg .
r
r
a
a
r
r
b
prescindiendo de los signos,
a
para ubicar el cuadrante en que se encuentra tendremos en cuenta:
Para calcular el argumento, calculamos el arcotangente de
17
MATEMTICA
00 , si b 0 y a 0
, en el cuadrante I
90 0 , si a 0 y b 0
b 180 0 , en el cuadrante II
arctg
180 0 , si a 0 y b 0
a
180 0 , en el cuadrante III
270 0 , si a 0 y b 0
360 , en el cuadrante IV
Ejemplos: Halla el argumento de los siguientes complejos:
z1 2 2 .i
z2 7 5.i
Solucin:
2
arcTg 1
2
Argumento de z1:
Tg
Por lo tanto:
3
2k
4
Argumento de z2:
Tg
5
arcTg0,714286
7
Sen b
de
donde
18
b .Sen ;
MATEMTICA
Y tambin: Cos a
de
a .Cos .
donde
z .Cos .Sen .i ,
Lo cual organizndolo nos queda: z .Cos i .Sen , y ahora sacando el factor
comn resulta: z Cos i.Sen , y por ltimo llamando a la expresin
Cos i.Sen = Cis se tiene la Forma Trigonomtrica o Polar de Z:
z .Cis
Ejemplo 1: Convierta de la forma polar a la forma binmica: z 2120
Solucin: Para pasar de la forma polar a la binmica, tenemos que pasar en primer lugar a
la forma trigonomtrica. Tomando en cuenta que: z r rcos isen. As,
z 2 cos120 0 isen120 0
z 2 cos120 2 isen120 0
0
1
De aqu que la parte real es dada por: a 2 cos120 0 2 1.
2
3
3.
Y la parte imaginaria es: b 2 sen1200 2
2
Por tanto, el nmero complejo en forma binmica es dado por: z 1 3i
Nota: Reales e imaginarios puros de mdulo unidad:
z =1180 = 1
z =10 = 1
z =190 = i
z =1270 = i
12
arcTg
3 z 1 3 z 4 z 2.
3
600.
19
MATEMTICA
z 260
UNA FRMULA MARAVILLOSA
Relaciona los nmeros imaginarios (i = raz cuadrada de (1)), con las potencias (nmero
e y logaritmos neperianos) y con las funciones trigonomtricas. Permite recordar, sin
esfuerzo, frmulas trigonomtricas como la del seno o coseno de una suma de ngulos, del
ngulo doble o mitad, y calcular, con facilidad, derivadas de funciones trigonomtricas.
ei cos isen
ei 1 o bien ei 1 0
Para finalizar, se enunciar la opinin que emiti alrededor de la cuarta dcada del siglo
XX el eminente cientfico John von Neumann acerca de los nmeros complejos: Hace 150
aos, uno de los problemas ms importantes de la ciencia aplicada -de la que dependa el
desarrollo de la industria, comercio y gobierno- era el problema de salvar vidas en el mar.
Las estadsticas sobre esas prdidas eran terribles. El dinero y los esfuerzos empleados en
resolver el problema eran tambin terrficos, los matemticos desarrollaban una
herramienta que salvara ms vidas que las que esperaba salvar el grupo de excntricos
inventores. Esa herramienta se lleg a conocer como la teora de Funciones de Variable
Compleja. Entre las muchas aplicaciones de esta nocin puramente matemtica, una de las
ms fructferas es la Teora de la Comunicacin por Radio.
REFERENCIAS BIBLIOGRFICAS
INTERNET: http://www.vitutor.com/di/c/a_11.html#
PROFESOR: JULIO C BARRETO G
20
MATEMTICA