You are on page 1of 21

Ingenier as: Aeroespacial, Civil y Qu mica. Matemticas I. 2010-2011.

a
Departamento de Matemtica Aplicada II. a Escuela Superior de Ingenieros. Universidad de Sevilla.

Tema 2.- Los n meros complejos. Polinomios. u


2.1.- Los nmeros complejos. Operaciones. u Forma binmica. Operaciones y propiedades. o Forma exponencial. Potencias y ra ces. 2.2.- Polinomios. Factorizacin de polinomios. El Teorema del resto. o El Teorema fundamental del Algebra. Las ra de un polinomio real. ces 2.3.- Movimientos en el plano. Traslaciones. Homotecias. Giros. Proyecciones. Simetr as. Transformaciones lineales. 2.4.- Ejercicios. 2.5.- Apndice: MATLAB. e En la seccin 1 estudiamos los n meros complejos y sus operaciones. Por una parte, los o u utilizaremos para el estudio de la factorizacin de un polinomio y por otra, para expresar o ciertas transformaciones del plano mediante operaciones sobre ellos. En la seccin 2, dedicada o a la factorizacin de polinomios, se puede apreciar la necesidad y conveniencia del estudio o de los n meros complejos. La seccin 3 est dedicada al estudio de algunas transformaciones u o a del plano y a su expresin mediante n meros complejos y mediante matrices y vectores. o u

2.1.- Los n meros complejos. Operaciones. u


Histricamente, los n meros complejos surgieron para tratar ecuaciones polinmicas, tales o u o 2 como x + 1 = 0, que no tienen solucin real. En esta direccin, el resultado principal que o o consideraremos en esta seccin ser el Teorema Fundamental del Algebra que asegura o a que toda ecuacin polinmica con coecientes complejos tiene, al menos, una solucin. o o o Previamente, habremos denido los n meros complejos, sus operaciones ms importantes u a y la interpretacin geomtrica de las mismas, cuyo manejo nos permite describir transforo e maciones sobre el plano complejo. Ms importante que la denicin en s de los n meros complejos, son las operaciones a o u que hay denidas sobre ellos y las propiedades de dichas operaciones. Un n mero complejo u 39

40

Tema 2.- Los n meros complejos. Polinomios. u

vendr dado por dos n meros reales o, si se quiere por un punto o un vector del plano. Sobre a u los n meros complejos deniremos las operaciones suma y producto. Desde el punto de vista u de la operacin suma, los n meros complejos pueden ser tratados como vectores reales de o u dos coordenadas. La operacin producto tendr, en los aspectos aritmticos, propiedades o a e similares a las del producto de n meros reales. Dentro de los n meros complejos tendremos u u a los n meros reales. Cuando estemos considerando n meros complejos, no tendr sentido u u a trabajar con desigualdades a menos que previamente hayamos impuesto que los trminos de e dichas desigualdades sean n meros reales. u 2.1.1.- Forma binmica. Operaciones y propiedades. o Denicin. Un n mero complejo es un n mero de la forma z = a + bi (o z = a + ib) donde o u u 2 i verica que i = 1 y a y b son n meros reales. A i se le llama unidad imaginaria. Los u n meros reales a y b se conocen, respectivamente, como parte real y parte imaginaria del u n mero complejo z y se suele escribir u Re(z) = a, Im(z) = b.

Esta expresin que acabamos de describir de los n meros complejos (ms adelante veremos o u a otra) se denomina forma binmica del n mero. o u Dos n meros complejos z y w son iguales si, y slo si, u o Re (z) = Re (w) y Im (z) = Im (w) .

Al conjunto de los n meros complejos lo denotaremos por C, es decir, u C = {z = a + bi : a, b R} . Sea z = a + bi. Si b = 0 escribiremos simplemente z = a. Si a = 0 escribiremos z = bi. En este ultimo caso diremos que z es un nmero imaginario puro. En lo que sigue identi u caremos el n mero real a con el n mero complejo a + 0i. De esta forma se puede entender u u que el conjunto de los n meros reales es un subconjunto del de los n meros complejos. u u Un n mero complejo z = a + bi lo podemos representar por el punto P del plano que u tiene por coordenadas cartesianas (a, b). A veces tambin lo respresentaremos por el vector e de posicin OP del punto P . Interpretado de esta manera, al plano cartesiano se le denomina o tambin plano complejo. El eje de abscisas tambin se suele denominar eje real y el eje e e de ordenadas eje imaginario. Denicin. Suma y Producto. Dados dos n meros complejos z = a + bi y w = c + di o u denimos la suma z + w y el producto zw mediante: z + w = (a + c) + (b + d) i, zw = (ac bd) + (ad + bc) i. La suma y la diferencia de dos n meros complejos se puede interpretar en el plano u complejo de la misma forma que la suma y diferencia de vectores: Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

2.1.- Los n meros complejos. u

41

w
z

+w

w z
z w

El producto de n meros complejos no tiene una interpretacin directa en trminos de los u o e vectores asociados (no es el producto escalar de dos vectores, que es un n mero real). Ms u a adelante daremos una interpretacin geomtrica del producto de dos n meros complejos. o e u En lo que se reere a las propiedades de la suma y el producto, de forma genrica puede e decirse que se verican las mismas propiedades algebraicas que se conocen para la suma y el producto de n meros reales. Al considerar propiedades algebraicas se estn excluyendo las u a propiedades de la suma y producto de n meros reales en las que aparecen desigualdades. u Propiedades. Sean z, w, v C. (1) Conmutativas: z + w = w + z y zw = wz. (2) Asociativas: (z + w) + v = z + (w + v) y (zw) v = z (wv). (3a) Existe un elemento nulo para la suma, el 0 = 0 + 0i tal que z + 0 = 0 + z = z para todo z C. (3b) Existe un elemento unidad para el producto, el 1 = 1 + 0i, tal que z1 = 1z = z, para todo z C. (4a) Cada n mero complejo z = a + bi tiene un elemento opuesto , z = a + (b) i, tal u que z + (z) = 0. (4b) Cada n mero complejo z = a + bi = 0 tiene un elemento inverso z 1 tal que u zz 1 = z 1 z = 1. De hecho, si z = a + bi = 0 se tiene que z 1 = a2 a b + 2 i. 2 +b a + b2

(5) Distributiva (del producto respecto a la suma) z (w + v) = zw + zv. Como es habitual, para los n meros reales, el inverso z 1 de z = 0 y un producto wz 1 u 1 w los representaremos por y , respectivamente. z z La parte real y la parte imaginaria en una divisin de n meros complejos puede obtenerse o u de la siguiente forma. Si z = a + bi = 0 y w = c + di (c + di) (a bi) w a c + di b = = (c + di) (a + bi)1 = (c + di) 2 + 2 i = . z a + bi a + b2 a + b2 a2 + b2 No obstante, tras estudiar la conjugacin y el mdulo veremos otra forma ms eciente para o o a calcular el inverso de un n mero complejo o dividir n meros complejos. u u Matemticas I. a 2010-2011

42

Tema 2.- Los n meros complejos. Polinomios. u

Observacin. No es posible establecer en el conjunto de los n meros complejos una relacin o u o de orden que verique las mismas propiedades que verica la relacin de orden que conocemos o entre los n meros reales. u Denicin. Conjugado. Sea z = a + bi un n mero complejo. Se dene el conjugado de z, o u y se representa por z, como el n mero complejo z = a bi. u z Geomtricamente, si el n mero complejo z = a + bi e u se representa por el punto P = (a, b), su conjugado z = a bi se representa por el punto P = (x, y) que es el simtrico de P respecto del eje X. e Notemos que las partes real e imaginaria de un n mero complejo se pueden expresar en trminos u e del n mero complejo y de su conjugado, u
1 z + z = 2a Re (z) = 2 (z + z) , 1 z z = 2ib Im (z) = 2i (z z

z Propiedades del conjugado. (1) z = z (2) z1 + z2 = z1 + z2 . (3) z1 z2 = z1 z2 . (4) Si z2 = 0, z1 z2 = z1 . z2

(5) z z = (Re (z))2 + (Im (z))2 . Por tanto, z z > 0 para todo z = 0. Denicin. Mdulo. Se dene el mdulo del n mero o o o u complejo z = a + bi, y se representa por |z|, como el n mero real u |z| = a2 + b2 . Considerando el punto P = (a, b), asociado al n mero u complejo z = a + bi, el mdulo de z no es otra cosa o que la longitud del segmento OP (la distancia entre el origen de coordenadas y el punto P ). Observaciones. a) Ntese que |z| = o z z. Por tanto, |z|2 = z z y z 1 = z . |z|2

z
|z |

b) Podemos observar tambin que para dividir dos n meros complejos w/z, basta con e u multiplicar numerador y denominador por el conjugado del denominador w wz wz = = 2. z zz |z| Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

2.1.- Los n meros complejos. u

43

El mdulo permite trabajar con distancias en el plano. As si los n meros complejos o , u z1 = a1 + b1 i y z2 = a2 + b2 i se representan en el plano por los puntos P1 = (a1 , b1 ) y P2 = (a2 , b2 ), respectivamente, entonces z1 z2 = (a1 + b1 i) (a2 + b2 i) = (a1 a2 ) + (b1 b2 ) i y su mdulo |z1 z2 | = + (a1 a2 )2 + (b1 b2 )2 es la distancia entre P1 y P2 . o Teniendo en cuenta lo anterior, el conjunto de puntos P = (x, y) del plano que equidistan del origen O una cantidad constante r, es decir, los puntos P = (x, y) de la circunferencia con centro en el origen de coordenadas y radio r, pueden expresarse en trminos de las coore 2 2 = r y mediante los n meros complejos denadas cartesianas mediante la ecuacin x + y o u por la ecuacin |z| = r (ver gura). o De la misma forma, si el n mero complejo z0 = x0 + y0 i se representa en el plano por el u punto C = (x0 , y0), entonces el conjunto de puntos P = (x, y) del plano que equidistan de C una cantidad constante r, es decir, los puntos P = (x, y) de la circunferencia de centro C y radio r (ecuacin cartesiana (x x0 )2 + (y y0 )2 = r) se puede expresar en forma o compleja mediante |z z0 | = r (ver gura).

z0

z0
z

|z| = r

|z z0 | = r

En lo que se reere a la suma las propiedades del mdulo coinciden con las propiedades o del clculo de distancias y de la norma/mdulo de vectores. a o Propiedades del mdulo. Sean z, z1 y z2 n meros complejos. o u (1) |z| = 0 si, y slo si, z = 0. o (2) |z| = |z|. (3a) |z1 z2 | = |z1 | |z2 |. (3b) Si z2 = 0,
1

z |z1 | . = z2 |z2 | |Im (z)| |z|.

(4) |Re (z)| |z|,

(5) Desigualdad triangular: |z1 + z2 | |z1 | + |z2 | . Matemticas I. a 2010-2011

44 Demostremos la desigualdad triangular: |z1 + z2 |2 = = =

Tema 2.- Los n meros complejos. Polinomios. u

(z1 + z2 ) (z1 + z2 ) = (z1 + z2 ) (z1 + z2 ) z1 z1 + z1 z2 + z2 z1 + z2 z2 = |z1 |2 + 2 Re (z1 z2 ) + |z2 |2 |z1 |2 + 2 | Re (z1 z2 )| + |z2 |2 |z1 |2 + 2 |z1 z2 | + |z2 |2 |z1 |2 + 2 |z1 | |z2 | + |z2 |2 = (|z1 | + |z2 |)2 |z1 + z2 | |z1 | + |z2 | z1 z2 + z2 z1 = 2 Re (z1 z2 ) .

en la cuarta igualdad usamos que z1 z2 = z1 z2 = z1 z2 y, por tanto,

Ejercicio. Demuestra que |z1 z2 | ||z1 | |z2 ||. 2.1.2.- Forma exponencial. Potencias y ra ces. Coordenadas polares. Como acabamos de ver, al n mero complejo z = a + bi le corresponde el punto P del u plano de coordenadas (a, b). Si representamos por r la longitud del segmento OP, que une el origen O de coordenadas y P , y por el ngulo (los ngulos) que forma OP con el semieje a a positivo de abscisas, se dice que (r, ) son las coordenadas polares del punto P . Si r = 0, es decir, si P O, entonces el ngulo no est denido. Consideraremos, por tanto, que a a z = 0. En este caso, r es unico pero no lo es. Dado r > 0, cualesquiera dos ngulos que se a diferencien en un m ltiplo entero de 2 (n mero completo de vueltas) dan lugar al mismo u u punto. Se establece como convenio que es positivo si es medido en sentido antihorario, y negativo en caso contrario. A cualquiera de tales n meros se le llama argumento de z y u se representa mediante arg (z). Se sigue fcilmente que, para n meros complejos cuya parte a u real sea no nula, se tiene que y r = + a2 + b2 = |z| y que tg () = . x Si para x = 0 se calcula el argumento de z = x + iy utilizando la funcin arco tangente o de una calculadora (o de cualquier paquete de clculo matemtico), lo que se obtiene es un a a ngulo que est en el intervalo 2 , 2 . Dicho ngulo puede ser uno de los argumentos de a a a y y z o uno de los argumentos de z (puesto que x = x ). Para determinar si se trata de uno o de otro hay que tener en cuenta los signos de la parte real y de la parte imaginaria. Por otra parte, para obtener alguno de los argumentos de z que no est en el intervalo , e 2 2 habr que suma alg n m ltiplo apropiado de 2. a u u El argumento de un n mero complejo con parte real nula puede ser (+2k) si la parte u 2 imaginaria es negativa o (+2k) si la parte imaginaria es positiva. 2 Puesto que a = r cos y b = r sen, tenemos que z se puede expresar de la forma z = a + bi = r (cos + i sen) . La expresin de un n mero complejo no-nulo en trminos de su mdulo r y su argumento o u e o (uno de ellos) se suele denominar forma polar o trigonomtrica de z. e Notemos que para que dos n meros complejos, dados en forma trigonomtrica por uno u e cualquiera de sus argumentos, z1 = r1 (cos 1 + i sen1 ) Matemticas I. a y z2 = r2 (cos 2 + i sen2 ) Ingenier Aeroespacial, Civil y Qu as: mica

2.1.- Los n meros complejos. u

45

sean iguales tiene que ser iguales sus mdulos pero no necesariamente tienen que serlo los o argumentos considerados z1 = z2 r1 = r2 , 1 2 = 2k con k Z.

El uso de la forma trigonomtrica permite dar una interpretacin geomtrica del e o e producto de dos nmeros complejos. Para los n meros z1 y z2 considerados tenemos u u z1 z2 = r1 (cos 1 + i sen1 ) r2 (cos 2 + i sen2 ) = r1 r2 [(cos 1 cos 2 sen1 sen2 ) + i ( sen1 cos 2 + cos 1 sen2 )] = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )] . Es decir, el producto de dos n meros complejos es un n mero complejo cuyo mdulo es el u u o producto de los mdulos y uno de sus argumentos es la suma de los argumentos. o El inverso del n mero complejo z = r (cos + i sen) = 0 se puede obtener en forma u trigonomtrica del siguiente modo: e z 1 = 1 1 1 1 cos i sen cos i sen = = = z r (cos + i sen) r (cos + i sen) (cos i sen) r (cos )2 + ( sen)2 = r 1 (cos i sen) = r 1 (cos() + i sen()) . r1 z1 = [cos (1 2 ) + i sen (1 2 )] . z2 r2 Forma exponencial de un nmero complejo. u Observemos que, en los clculos anteriores, el trmino f () = cos + i sen tiene algunas a e de las propiedades de una funcin exponencial (de exponente real), pues o f (1 + 2 ) = f (1 ) f (2 ) . Es posible mostrar, aunque est fuera del alcance de este curso, que la funcin exponencial a o t real e puede extenderse de manera razonable al caso de exponentes complejos y que dicha extensin, para el caso de un exponente complejo imaginario puro, est dada necesariamente o a por la siguiente frmula llamada frmula de Euler. o o Frmula de Euler: ei = cos + i sen, o R

Del mismo modo podemos dividir dos n meros complejos, u

Utilizaremos esta expresin como denicin de ei , R. o o De esta forma, se puede representar todo n mero complejo u (forma exponencial) mediante z = rei (= r (cos + i sen)) siendo r el mdulo de z y uno cualquiera de sus argumeno tos. Matemticas I. a Leonhard Euler 1707-1783 2010-2011

46

Tema 2.- Los n meros complejos. Polinomios. u

Las propiedades aritmticas de la exponencial real et , t R, se cumplen para la expoe nencial compleja ei , R. Las propiedades de la exponencial real relativas a desigualdades, crecimiento, etc. no son trasladables a la exponencial compleja y de hecho no tienen sentido para sta. Para cualquier R, los puntos ei son puntos de la circunferencia unidad y e cuando + dichos puntos recorren la circunferencia unidad en sentido o positivo o negativo, respectivamente. Propiedades. Sean z = rei , r > 0, y w = ei , > 0, dos n meros complejos dados en u forma exponencial. (1) |z| = rei = r y arg(z) = . (2) z = w rei = ei (3) z = rei = rei = r 1 . ei rei r z = i = ei() . w e r=y es un m ltiplo entero de 2. u

(4) zw = rei (ei ) = rei(+) ,

Potencias de un nmero complejo. Frmula de De Moivre. u o Utilizando las propiedades que hemos visto del clculo de productos y cocientes de a n meros complejos dados en forma polar-trigonomtrica-exponencial, las potencias enteras u e de un n mero complejo z = 0 son fciles de expresar en trminos del mdulo y el argumento u a e o de z. Si z = rei , para n = 1, 2, 3, ... tenemos: z 0 = 1 (por convenio), z 1 = z = rei , z 2 = r 2 ei2 y, en general, z n = r n ein La interpretacin geomtrica del clculo de las potencias de un n mero complejo es sencilla. o e a u Simplemente hay que elevar el mdulo a n y multiplicar el argumento por n. En la gura se o consideran dos situaciones, mdulo mayor que 1 o mdulo menor que 1. o o z3 z2 z 1 z3 z2 1 z

Para exponentes negativos n = 1, 2, 3, ... las expresiones anteriores siguen siendo vlidas. Siendo m = n tenemos a z n = z 1 Matemticas I. a
m

1 i e r

= r 1

m im

= r n ein .

Ingenier Aeroespacial, Civil y Qu as: mica

2.1.- Los n meros complejos. u Frmula de De Moivre. Siendo R y n = 0, 1, 2, . . . se verica: o ei


n

47

= ein (cos + i sen)n = cos (n) + i sen (n) .

Ejemplo. Las potencias de la unidad imaginaria z = i son i0 = 1, i1 = i, i2 = 1, i3 = 1, i4 = 1, i5 = i, i6 = 1, i7 = 1, i7 = 1, i8 = i Es decir, las potencias de la unidad imaginaria se repiten de cuatro en cuatro. Por tanto, para calcular, por ejemplo, i1397 lo que har amos ser dividir el exponente entre cuatro, hallar el a resto (en este caso se tendr 1397 = 4 349 + 1) y expresar: a i1397 = i4349+1 = i4
349

i1 = i.

Ra ces de un nmero complejo. Representacin grca. u o a Se dice que el n mero complejo z = rei es ra n-sima de w = ei = 0 si, y slo si, u z e o n z = w: n w = z w = zn . Veamos cuntas ra a ces n-simas tiene un n mero complejo. Seg n la denicin dada e u u o deber ser a w = zn ei = rei
n

= r n ein .

De acuerdo con la caracterizacin de la igualdad de n meros complejos dados en forma polar o u tenemos, r= n = rn n = + 2k k = 0, 1, 2, . . . = +2k n Ahora bien, al dar valores a k obtenemos k = 0 z1 = n ei n , +2 k = 1 z2 = n ei n , +2(n1) n k = n 1 zn = n ei i +2n k = n zn+1 = n e n = n ei( n +2) . i y esta ultima ra zn+1 = n e n = z1 . Por tanto, todo n mero complejo no nulo tiene n z u ra n-simas (distintas). ces e Para Para Para Para Representacin grca de las ra o a ces. Observamos que todas las ra ces n-simas del e i n ces n mero complejo w = e tienen el mismo mdulo |w|, y los argumentos de dos ra u o obtenidas para k = p y k = p + 1 se diferencian en + 2 (p + 1) + 2p 2 = . n n n Matemticas I. a 2010-2011

48

Tema 2.- Los n meros complejos. Polinomios. u

Por tanto, los puntos que representan a esas n ra ces son los vrtices de un pol e gono regular de n lados inscrito en una circunferencia con centro en el origen de coordenadas y radio n . En la siguiente gura hemos representado las ra ces cuartas, quintas y sextas de un n mero complejo z de mdulo mayor que 1 y argumento /3. u o w z2 z3 z1 z4 z4 z4 Ejemplo. Ra ces n-simas de la unidad. e El n mero w = 1 es un n mero complejo que tiene mdulo la unidad y su argumento es u u o i0 cero, es decir, escrito en forma exponencial w = 1 = e . Entonces n 1 = ei
0+2k n

w z2 z3 z2 z1 z6

z1 z3

z5

z5

= cos 2k + i sen 2k , para k = 0, 1, 2, . . . , n 1 n n

w1 = ei0 = cos 0 + i sen0 = 1, w2 = ei2/n = cos 2 + i sen 2 , n n 4 4 i4/n w3 = e = cos n + i sen n , i2(n1)/n wn = e = cos 2(n1) + i sen n

2(n1) n

Estos n n meros se denominan las ra n-simas de la unidad. u ces e En las guras siguientes se esquematizan las ra cuadradas, c bicas y cuartas de w = 1 y ces u de w = i.

Observacin.- En general, para tener una expresin de las ra nsimas de un n mero o o ces e u complejo, hace falta obtener el argumento de dicho n mero complejo. Sin embargo, para el u caso de las ra cuadradas, n = 2, el problema se puede abordar directamente en forma es binmica. Por ejemplo, para calcular las ra cuadradas de w = 3 2i basta con resolver o es el sistema de dos ecuaciones (no lineales) que se obtiene al plantear la ecuacin z 2 = w con o z = x + yi. Desarrollando el primer trmino e igualando tenemos e (x + iy)2 = 3 2i x2 y 2 + 2xyi = 3 2i Matemticas I. a x2 y 2 = 3 2xy = 2

Ingenier Aeroespacial, Civil y Qu as: mica

2.2.- Polinomios.

49

1 Despejando y en funcin de x de la segunda ecuacin, y = x , y sustituyendo en la primera o o tenemos una ecuacin bicuadrada, o

x2

1 = 3 x4 1 = 3x2 x4 3x2 1 = 0. x2
3+ 13 2 3 13 2

Resolvin esta ecuacin tenemos e o x2 = 3 9+4 2 x2 = x2 = x= <0

3+ 13 , 2

x R.

Y basta ahora obtener el valor de y correspondiente a cada valor de x,

x= x=

3+ 13 2 3+ 13 2

y= y=+

3+ 13 2

z1 = z2 =

3+ 13 2

2 , 3+ 13 2 3+ 13

3+ 13

3+ 13 2

+i

= z1 .

Como es lgico se obtienen dos soluciones que son las dos ra o ces cuadradas de w (hacer la comprobacin). o

2.2.- Polinomios.
2.2.1.- Factorizacin de polinomios. El teorema del resto. o De forma indistinta usaremos los trminos cero ra de un polinomio e o z p(z) = an z n + + a1 z + a0 (con coecientes reales o complejos) para designar a los nmeros complejos z0 C que u verican que p(z0 ) = 0 (las soluciones complejas de la ecuacin p(z) = 0). o Al igual que para polinomios reales es fcil comprobar que para polinomios complejos se a verica el teorema del resto. Teorema del Resto. Sea z0 C y sea p(z) un polinomio. (a) El resto de la divisin de p(z) entre z z0 es p(z0 ). Es decir, hay un polinomio q(z) (de o un grado menos que p(z)) tal que p(z) = (z z0 )q(z) + p(z0 ). (b) p(z0 ) = 0 si y slo si p(z) es divisible por z z0 . o 2.2.2.- El teorema fundamental del lgebra. a Cualquier polinomio real se puede factorizar en un producto de polinomios reales de grados uno y dos. Obviamente hay polinomios reales que no pueden descomponerse en un producto de polinomios de grado uno; por ejemplo p(x) = x2 + 1. El siguiente resultado permite establecer que cualquier polinomio (real o complejo) se puede descomponer en un producto de polinomios complejos de grado uno (iguales o distintos). Matemticas I. a 2010-2011

50

Tema 2.- Los n meros complejos. Polinomios. u

El Teorema fundamental del Algebra. Todo polinomio no constante con coecientes complejos tiene algn cero complejo. u Aunque era un resultado intuido con anterioridad, la primera demostracin del Teorema Fundamental del Algebra se debe a o C.F. Gauss. A lo largo de su vida dio muchas demostraciones de este resultado, aunque ninguna de ellas es puramente algebraica y la descripcin de cualesquiera de ellas se sale de los objetivos o de la asignatura.

Carl Friedrich Gauss 1777-1855

Combinando el Teorema fundamental del Algebra con el Teorema del resto, tenemos: Teorema. Sea p(z) un polinomio complejo de grado n 1, p (z) = a0 + a1 z + a2 z 2 + + an z n a0 , a1 , a2 , . . . , an C, an = 0. (1) p(z) tiene n ra ces complejas (contando cada una segn su multiplicidad). Es decir, u existen n nmeros complejos (iguales o distintos) z1 , z2 , . . . , zn C tales que u p(z) = an (z z1 )(z z2 ) (z zn ). (2) Se verican las siguientes relaciones entre las ra y los coecientes de p(z), ces z1 + z2 + . . . + zn = an1 , an
a0 z1 z2 zn = (1)n an .

De acuerdo con el teorema anterior las ecuaciones polinmicas del tipo x2 + 1 = 0, que o justicaron la ampliacin del conjunto de los n meros reales porque esas ecuaciones no tienen o u solucin real, tienen solucin en el conjunto de los n meros complejos. Concretamente esa o o u ecuacin tiene como soluciones z1 = i y z2 = i, de manera que x2 + 1 = (x i) (x + i). o 2.2.3.- Las ra ces de un polinomio real. No es cierto que todo polinomio no constante con coecientes reales tenga alguna ra z real; sin embargo se verica el siguiente resultado. Teorema. (1) Todo polinomio de grado impar con coecientes reales tiene alguna ra real. z (2) En los polinomios con coecientes reales las ra ces complejas no reales aparecen por pares conjugados. Es decir, si z0 = x0 + iy0 C es una ra de un polinomio con z coecientes reales, entonces su conjugada z0 = x0 iy0 C tambin lo es. e Resumiendo, en relacin con la factorizacin de polinomios, la diferencia entre considerar o o o no los n meros complejos radica en que: u Todo polinomio, de grado n 1, con coecientes reales se puede factorizar: (a) como un producto de polinomios reales de grados uno y dos. (b) como un producto de polinomios complejos de grado uno. Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

2.3.- Movimientos en el plano.

51

2.3.- Movimientos en el plano.


Vamos a considerar aqu dos expresiones para transformaciones sencillas en el plano: traslaciones, homotecias, proyecciones ortogonales, giros y simetr as. 2.3.1- Traslaciones. Como conocemos del estudio de los vectores en el plano y del estudio de los n meros u complejos, la suma u + v de dos vectores, o la suma z + w de dos n meros complejos, u se obtiene geomtricamente sin ms que hacer la traslacin, seg n el vector v, del punto e a o u cuyas coordenadas son las de u (o viceversa). As la transformacin del plano consistente , o en desplazar cada punto seg n un vector (a, b) (a unidades hacia la derecha (izquierda) y b u hacia arriba (abajo)) puede expresarse mediante R2 R2 (x, y) (x , y ) = (x, y) + (a, b); 2.3.2- Homotecias. Para una homotecia de centro el origen de coordenadas y razn > 0, es decir, la o transformacin que a cada vector v con origen en el origen de coordenadas le transforma en o el vector w = v, tenemos las expresiones R2 R2 (x, y) (x , y ) = (x, y) = (x, y); 2.3.4.- Proyecciones ortogonales. En lo que se reere a proyecciones ortogonales, sabemos que calcular la parte real de un n mero complejo consiste simplemente en proyectar su ajo (el punto que lo representa) u sobre el eje OX. Calcular la parte imaginaria consiste en proyectar sobre el eje OY . As , tenemos Sobre OX : Sobre OY : 2.3.3.- Giros. Si un punto P del plano tiene como coordenadas polares r > 0 (su distancia al origen) y (el ngulo que forma su vector de posicin con el semieje positivo de abscisas), entonces a o sus coordenadas cartesianas son x = r cos() y = r sen() () R2 R2 (x, y) (x , y ) = (x, 0) (x, y) (x , y ) = (0, y) C C z w = Re (z) =
1 2

C C z w = z + (a + bi).

C C z = x + yi w = z = x + yi.

(z + z)

z w = iIm (z) = 1 (z z) . 2

y es fcil obtener las coordenadas cartesianas del punto que se obtiene al hacer un giro de a centro el origen de coordenadas y ngulo , pues es el punto cuya distancia al origen es a Matemticas I. a 2010-2011

52

Tema 2.- Los n meros complejos. Polinomios. u

r (coincide con la de P ) y cuyo vector de posicin forma con el semieje positivo de abscisas o el ngulo + , es decir, el punto cuyas coordenadas cartesianas son a x = r cos( + ) = r [cos() cos() sen() sen()]

y = r sen( + ) = r [sen() cos() + cos() sen()] y teniendo en cuenta las relaciones (*) se obtiene x = x cos() y sen() y = y cos() + x sen() Las relaciones anteriores las podemos expresar en forma matricial/vectorial x y = cos() sen() sen() cos() x y

donde la matriz G involucrada se denomina matriz del giro (de centro 0 y ngulo ). Hacer a la anterior transformacin sobre el vector de coordenadas (x, y) es lo mismo que multiplicar o al n mero complejo z = x + iy por el n mero complejo de mdulo 1 y argumento , es decir u u o , o por ei . As tenemos la expresin del giro en forma compleja C C z = x + yi w = ei z Desde este punto geomtrico, la multiplicacin (de un nmero complejo genrico) por el e o u e n mero complejo de mdulo y argumento , es decir ei , consiste en hacer un giro (de u o centro el origen y ngulo ) y una homotecia (de centro el origen y razn ). a o En el tema anterior hemos estudiado las ecuaciones reducidas de las hiprbolas. Estas e ecuaciones reducidas se obtienen al considerar un sistema de coordenadas cuyos ejes sean los ejes de simetr de la hiprbola. Ahora estamos en condiciones de comprobar que las grcas a e a k y = , k = 0, son un caso particular de hiprbola tal y como la hemos considerado en el e x tema anterior. Si hacemos un giro de centro el origen de coordenadas y ngulo = radianes obtena 4 emos los puntos de coordenadas (x , y ) dados por x y = cos() sen() sen() cos() x y .

Puesto que la anterior relacin es equivalente a o x y cos() sen() sen() cos() x y x y 2 x + y 2

sustituyendo (x, y) en la ecuacin xy = k tenemos o x y 2 Matemticas I. a x + y 2 (x )2 (y )2 = k =1 2k 2k Ingenier Aeroespacial, Civil y Qu as: mica

2.3.- Movimientos en el plano. que es la ecuacin de una hiprbola equiltera o e a con centro (x = 0, y = 0) (x = 0, y = 0), con ejes xy y = 0 = 0 y 2 x+y x = 0 = 0 2 Y Y

53

xy = k X

y con as ntotas y = x (o lo que es lo mismo y = 0 y x = 0). Cuando una hiprbola (equiltera) viene dada por una ecuacin del tipo xy = k se dice e a o que la hiprbola est referida a sus as e a ntotas y cuando viene dada por una ecuacin del tipo o x2 y 2 2 = 1 se dice que est referida a sus ejes. a a2 b Ejercicio.- Comprueba que los focos de la hiprbola xy = 1 son los puntos F1 = ( 2, 2) e y F2 = ( 2, 2) 2.3.5.- Simetr as. Por ultimo, podemos considerar dos tipos de simetr simetr respecto a un punto o a: a simetr respecto a una recta. Yendo a la situacin ms simple, tenemos la simetr respecto a o a a al origen de coordenadas, (x, y) R2 (x, y) R2 , que podemos expresar en forma matricial y compleja, respectivamente, como x y = 1 0 0 1 x y ; C C z = x + yi w = z.

La simetr respecto al eje OX tiene expresiones simples tanto en forma matricial como a compleja: x y Ejemplos. (1) Qu representa geomtricamente la transformacin: z C (1 + i)z 2 C ? e e o Puesto que 1 + i tiene mdulo 2 y argumento rad., tenemos que o 4 (1 + i)z = 2 ei/4 z es el n mero complejo/punto/vector que se obtiene al hacer un giro de ngulo rad. (y u a 4 centro el origen) y una homotecia de razn 2. Una vez hechas estas transformaciones, o nos queda restar 2, es decir, hacer (sobre lo obtenido) la traslacin de vector (2, 0). o Matemticas I. a 2010-2011 = x y = 1 0 0 1 x y ; C C z = x + yi w = z.

54 Im

Tema 2.- Los n meros complejos. Polinomios. u 2ei/4 z = (1 + i)z Im (1 + i)z 2(1 + i)z

ei/4 z

z Re 0

z Re y luego trasladamos.

0 Primero giramos ...

Notemos que si bien hacer primero el giro y despus la homotecia da el mismo resultado e que hacer primero la homotecia y despus el giro, esto no sucede con la traslacin; no es e o lo mismo hacer primero el giro (o la homotecia) y despus la traslacin que hacerlo al e o revs. Si hicieramos primero la traslacin y despus el giro y la homotecia el resultado e o e ser (1 + i)[z 2]. a Im Im ei/4 (z 2) z2 z (1 + i)(z 2)

z2 0

z Re 0

Re

Primero trasladamos

y luego giramos...

Las expresiones matriciales de las anteriores operaciones las podemos obtener sin ms a que determinar la parte real y la parte imaginaria de los resultados. Para w = (1+i)z2 obtenemos: x y = 2 cos sen
2 2 2 2 4 4

sen 4 cos 4

x y 2 0

2 0

22
2 2

x y

(2) Cmo podemos expresar en trminos complejos la transformacin del plano consiso e o tente en hacer una simetr respecto al eje OY ? En trminos de parte real y parte a e imaginaria tenemos: z = x + yi C w = x + yi 1 1 y teniendo en cuenta que x = Re (z) = (z + z), y = Im (z) = (z z), obtenemos 2 2i 1 1 w = (z + z) + (z z)i = z. 2 2i O sea, que hacer una simetr respecto al eje OY es lo mismo que hacer la simetr a a respecto al eje OX seguida de la simetr respecto al origen. a Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

2.3.- Movimientos en el plano. 2.3.6.- Transformaciones lineales en el plano.

55

Notemos que las homotecias, los giros y las simetr con centro el origen de coordenadas as son trasformaciones en el plano real que quedan denidas mediante una matriz (real, 2 2). Lo mismo sucede con las proyecciones ortogonales y las simetr cuando se consideran rectas as que pasan por el origen de coordenadas. Es decir, se trata de transformaciones de vectores del plano, T : R2 R2 , para las cuales puede determinarse una matriz A (real, 2 2, unica) para la que se verica que T (v) = Av para cualquier vector v R2 . Este tipo de transformaciones tiene buenas propiedades que provienen del hecho de que respetan las combinaciones lineales, es decir, el transformado de una combinacin lineal de vectores es o igual a la combinacin lineal de los transformados, o T (u + v) = T (u) + T (v), , R y u, v R2 . Las transformaciones que verican la condicin anterior se denominan transformaciones o lineales. Obviamente la condicin anterior es equivalente a que se respeten mltiplos y sumas o u de vectores, T (v) = T (v) + T (v), R y v R2 , El concepto de transformacin lineal lo consideraremos ms adelante para vectores con un o a n mero genrico (nito) de coordenadas reales o complejas. Dichas transformaciones podrn u e a ser tratadas mediante una cierta matriz (real o compleja). Algunas de las caracter sticas ms a importantes de la transformacin lineal estarn asociadas a los sistemas de ecuaciones que o a tienen a la matriz en cuestin como matriz de coecientes de las incgnitas. o o Cuando se consideran homotecias, giros o simetr con centro en un punto que no es as el origen de coordenadas (o proyecciones y simetr respecto de rectas que no pasan por as el origen de coordenadas) la transformacin se puede obtener mediante una ecuacin de la o o forma x a b x = + y c d y donde a, b, c, d, y son constantes reales. Por tanto, son transformaciones que pueden obtenerse mediante una transformacin lineal (dada por la matriz) y una traslacin (dada o o por el vector de coordenadas (, )). T (u + v) = T (u) + T (v), u, v R2 .

Matemticas I. a

2010-2011

56

Tema 2.- Los n meros complejos. Polinomios. u

2.4.- Ejercicios.
Ejercicio 1. Dados los n meros complejos z1 = 1 + i, z2 = 1 i, z3 = 3 + 4i, calcula u 5z1 + 2z2 z3 ,
2 z1 ,

z1 z2 z3 ,

z1 z3 , z2

|2z1 3z3 | ,

1 3

zz , z2

n z1 n2 (n N). z2

Ejercicio 2. Dados los n meros complejos z1 = 2, z2 = 2i, z3 = 33i, y z4 = 2+2 3i: u (1) Represntalos geomtricamente y escribirlos en forma polar y exponencial. e e z3 27 200 , z , z4 . z4 3 2 2 (3) Calcula y representa geomtricamente: 3 z1 , 5 z3 , 4 z4 , 4 z1 , ( 4 z1 ) . e (2) Calcula y representa geomtricamente: z1 + z3 , z2 z3 , z3 z4 , e Ejercicio 3. (1) Utilizando la frmula de De Moivre, expresa sen(2), cos(2), sen(3) y cos(3) en o funcin de sen() y cos(). o (2) Siendo z = reix , calcula
2

(z + z) (z 2 + z 2 ) (z n + z n ) . cos(x) cos(2x) cos(nx)

(3) Siendo z = ei 5 (comprueba que z 4 = z), calcula w = 1 + z + z 4 + z 9 + z 16 . Ejercicio 4. Calcula: (1) La parte imaginaria de (1 i)5 y la parte real de (1 i)2002 . (2) Las ra sextas de z = 1. ces
100 100 k=0 k

(3) La parte real de las sumas


k=0

i ,

1+i 2

Ejercicio 5. Representa en el plano complejo las curvas y recintos determinados por las siguientes igualdades y desigualdades:
1 1 (1) Ima( z ) > Re( z ).

(2) Re(z 2 ) = 0. (3) Ima(z 2 ) = 3. (4) |z 3| = |z + i|. (5) |z 3| > |z + i|. Ejercicio 6. Resuelve las siguientes ecuaciones polinmicas y factoriza los polinomios correso pondientes: z 2 2z + 2 = 0, z 2 + (i 1)z i = 0, z 6 2z 3 + 2 = 0. Ejercicio 7. (1) Resuelve, para n = 1, 2, . . . , la ecuacin polinmica: z n + (z 2)n = 0. o o Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

2.4.- Ejercicios. (2) Resuelve las siguientes ecuaciones (no polinmicas) o (a) z 1 = 3i; (b) (z)2 = z 2 . z

57

Ejercicio 8. Indica la respuesta correcta. El teorema fundamental del lgebra garantiza que a un polinomio real de grado 9, tiene 9 ra reales porque sus coecientes son reales. ces no puede tener ra reales. ces tiene 9 ra complejas. ces

Ejercicio 9. Sin tratar de calcular las ra de los siguientes polinomios, ces P1 (z) = z 3 + 28z 2 + 2z 1, P2 (z) = z 4 + 2z 3 2z 15, 2 P3 (z) = iz + (3 i)z (1 + i), P4 (z) = iz 5 + z 3 (1 + i)z 2 , qu se puede decir de ellas?, puede garantizarse la existencia de alguna ra real?: e z Ejercicio 10. Expresa mediante operaciones con n meros complejos y en trminos matriu e ciales las siguientes transformaciones del plano: (1) Proyeccin ortogonal sobre el eje OY . o (2) Giro con centro en el punto (1, 1) y ngulo rad. (en sentido positivo). a 3 (3) Homotecia con centro en (1, 2) y razn 3. o Ejercicio 11. Qu representan geomtricamente las siguientes operaciones sobre n meros e e u complejos y vectores respectivamente? (1) (a) (3 + i)2 z 2,

(b) (3 + i)2 (z 2), x y , (b)

(c) (3 + i)2 z 2.
3 2 1 2

(2) (a) 5

3 2 1 2

1 2
3 2

1 2
3 2

x y

Ejercicio 12. Expresa mediante operaciones con n meros complejos y en trminos matriu e ciales las siguientes transformaciones del plano: (1) Giro con centro el origen y ngulo el ngulo 0 < < a a el semieje positivo de abscisas.
2

que forma la recta y = 2x con

(2) Giro con centro el origen que lleva el punto P = (1, 2) sobre el punto P = (2, 1). (3) Giro con centro C = (1, 0) que lleva el punto P = (1, 2) sobre el punto P = (2, 1).

Matemticas I. a

2010-2011

58

Tema 2.- Los n meros complejos. Polinomios. u

1.5.- Apndice: MATLAB. e


A continuacin describimos algunas de las funciones de MATLAB relacionadas con el o contenido de este tema. Nmeros complejos. u La unidad imaginaria. La unidad imaginaria se puede indicar mediante I o J salvo que se hayan usado dichas letras para indicar ndices, variables, ... Las expresiones 5-2i, 5-2*i, 5-2j, 5-2*j y 5-2*sqrt(-1) denotan todas al mismo n mero complejo. u Las partes real e imaginaria. Siendo X una matriz (o un vector o un n mero) u con entradas complejas, REAL(X) IMAG(X) es la parte real de X, es la parte imaginaria de X.

Siendo A y B matrices, vectores o n meros reales, con las mismas dimensiones, C u = COMPLEX(A,B) nos da la matriz, vector o n mero complejo C = A + Bi. u El mdulo y el conjugado. Siendo X una matriz, vector o n mero complejos, o u CONJ(X) = REAL(X) - i*IMAG(X) es el complejo conjugado de X, ABS(X) es el mdulo de las entradas de X. o El argumento. La funcin ANGLE permite obtener, en radianes, el argumento o principal (el del intervalo (, ]) de un n mero complejo. Siendo H una matriz u con elementos complejos, la orden ANGLE(H) nos da la matriz de los ngulos de a fase (argumentos) de las entradas de la matriz H. Polinomios. Aunque algunas cosas puedan hacerse desde un punto de vista simblico, o la manipulacin genrica que permite MATLAB de los polinomios es numrica y se o e e efectua a travs del vector de coecientes del correspondiente polinomio en orden de e potencias decrecientes. Las ra ces de un polinomio. ROOTS. Siendo C el vector de los n + 1 coecientes del polinomio C(1) X N + ... + C(N) X + C(N + 1),

la orden ROOTS(C) calcula las ra del polinomio descrito, es decir, las soluciones ces (reeales o complejas) de la ecuacin o C(1) X N + ... + C(N) X + C(N + 1) = 0.

Consultar la orden FZERO. Polinomio con ra ces dadas. POLY. Siendo V un vector, la orden POLY(V) nos da el vector de los coecientes del polinomio cuyas ra ces son los elementos del vector V . Siendo A una matriz N N, la orden POLY(A), es un vector la cuyos N + 1 elementos son los coecientes del polinomio (de grado N) det (I A), polinomio que, salvo signo, denominaremos polinomio caracter stico de la matriz A (ver Tema 9). Matemticas I. a Ingenier Aeroespacial, Civil y Qu as: mica

1.5.- Apndice: MATLAB. e

59

Para vectores, los comandos ROOTS y POLY son uno inverso del otro salvo ordenacin, escalamiento y errores de redondeo. o Valores de un polinomio POLYVAL permite evaluar un polinomio. Siendo P un vector de longitud N + 1 cuyos elementos son los coecientes de un polinomio, la orden Y = POLYVAL(P,X), nos da el valor del polinomio P (1) X N + P (2) X ( N 1) + ... + P (N) X + P (N + 1) en X que puede ser un n mero (real o complejo), una matriz o un vector. Cuando u X es una matriz o un vector, el resultado es la matriz o vector formados con los valores del polinomio en las correspondientes entradas de X. Polinomio de matriz. Notemos que cuando se ejecuta POLYVAL(P,X) siendo P un polinomio (sus coecientes) y X una matriz, es resultado es la matriz de los valores que alcanza el polinomio en cada una de las entradas de la matriz. Si, por ejemplo, tenemos el polinomio 3t2 2t + 5 y siendo A una matriz cuadrada e I la matriz identidad del mismo orden que A, queremos obtener la matriz 3A2 2A+5I, necesitamos otra funcin que es POLYVALM. La orden Y = POLYVALM(P,X) eval a o u el polinomio dado por P en la matriz cuadrada X, en el sentido de las operaciones matriciales y no elemento a elemento. Polinomio de interpolacin. La funcin POLYFIT permite ajustar un polinomio o o a unos datos dados, en el sentido de los m nimos cuadrados (ver Tema 7). Cuando las entradas del vector X = [X(1), , X(k)] son distintas dos a dos, Y es un vector con las mismas dimensiones que X y N = k 1, la orden POLYFIT(X,Y,N) nos da el polinomio (los coecientes del polinomio) P de grado N que verica que P (X(I)) = Y (I), I = 1, 2, . . . , k. Descomposicin en fracciones simples. Consultar RESIDUE. o Giros. Giros en el plano. PLANEROT [G,Y] = PLANEROT(X), donde X es un vector columna con dos entradas, da la matriz del giro que lleva el vector X sobre un vector Y = G X que verica Y (2) = 0, Y (1) 0, es decir sobre un vector del semieje positivo de abscisas. Giros en el espacio. Consultar el comando/funcin ROTATE. o

Matemticas I. a

2010-2011

You might also like