INTRO. VECTORES. NM.

COMPLEJOS
El presente tema se dedicar al estudio de los conceptos de n"meros comple#os. ectores !

Se comen$ar con un pe%ue&o estudio de los ectores del plano ! sus propiedades 'undamentales( as) como de las *ases ! coordenadas. +espu,s se -ar un somero estudio de los n"meros comple#os( enla$ndolo con la primera parte del tema ! con la tri.onometr)a ista en cap)tulos anteriores.

El estudio de los vectores es uno de tantos conocimientos de las matemticas que provienen de la fsica. En esta ciencia se distingue entre magnitudes escalares y magnitudes vectoriales. Se llaman magnitudes escalares aquellas en que slo influye su tamao. Por el contrario, se consideran magnitudes vectoriales aquellas en las que, de alguna manera, influyen la direccin y el sentido en que se aplican. Como ejemplos de magnitudes escalares se pueden citar la masa de un cuerpo, la temperatura, el volumen, etc. Cuando se plantea un movimiento no asta con decir cunto se !a despla"ado el mvil, sino que es preciso decir tam i#n en qu# direccin y sentido !a tenido lugar el movimiento. $o son los mismos los efectos de un movimiento de %&& 'm a partir de un punto si se !ace !acia el norte o si se !ace en direccin suroeste, ya que se llegara a distinto lugar. (unque el estudio matemtico de los vectores tard muc!o en !acerse formalmente, en la actualidad tiene un gran inter#s, so re todo a partir de los estudios de )avid *il ert +%,-./ %0123 y Stefan 4anac! +%,0./%0153, que !icieron uso de la teora de espacios vectoriales, aplicndolos a las t#cnicas del anlisis matemtico.

VECTORES /IJOS
6n vector fijo del plano es un segmento cuyos e7tremos estn dados en un cierto orden +se suele decir que es un segmento orientado3. Se representa por B ( un segmento , siendo los e7tremos A y

le corresponden dos vectores fijos distintos8

Se considera como caso singular el vector fijo definido por un segmento cuyos e7tremos coinciden. En este caso el vector fijo se reduce a un solo punto. 9os puntos en los que empie"a y termina un vector se llaman origen y extremo, respectivamente. M0dulo( direcci0n ! sentido de un ector 'i#o

En un vector fijo se llama mdulo del mismo a la longitud del segmento que lo define.
El mdulo de un vector fijo se representa por y se leer :mdulo de ;.

 Se dice que un vector fijo tiene la misma direccin que otro

definen pertenecen a rectas paralelas.

si los segmentos que los

)ados dos vectores fijos

del plano que tengan la misma direccin, se dice que

tienen el mismo sentido si los segmentos y +los segmentos que unen el origen de cada uno con el e7tremo del otro3 tienen un punto en com<n. En otro caso se dice que los dos vectores tienen sentido contrario o sentido opuesto. =am i#n se puede decir que dos vectores de la misma direccin tienen el mismo sentido si la recta definida por sus orgenes deja a los e7tremos en el mismo semiplano. Estas dos definiciones son vlidas en el caso en que los dos vectores se encuentren en distinta recta. Si los dos vectores se encontrasen en la misma recta, se uscara un vector fijo en una recta paralela que tuviese el mismo sentido que am os. Si lo !u iese, se dira que los dos vectores tienen el mismo sentido. En otro caso se dira que los dos vectores tienen sentido contrario.

Vectores e%uipolentes Se dice que dos vectores son equipolentes si tienen el mismo mdulo, la misma direccin y el mismo sentido. Si y son equipolentes, el cuadriltero ABCD es un paralelogramo.

VECTORES LI1RES +EL PL2NO

6n vector libre es el conjunto de todos los vectores fijos del plano que son equipolentes a uno dado. Como todos los vectores fijos del plano consistentes en un solo punto son equipolentes, definen un <nico vector li re, que reci ir el nom re de vector cero, . Representantes de un ector li*re ( uno cualquiera de los vectores que constituyen un vector li re se le denomina representante del vector libre. Para representar un vector li re se escri e uno cualquiera de sus representantes, o ien se escri e una letra con una flec!a encima. Resultado 'undamental )ados un punto P y un vector li re del plano, , e7iste un <nico representant de con origen en P. >gualmente se puede encontrar un <nico representante de con e7tremo en el punto P. Demostracin: Para construir un representante de que contenga al punto P. con origen en P se tra"a una recta paralela al vector

En ella, desde P, y con el mismo sentido que , se mide una distancia igual al mdulo de , , o teni#ndose un punto Q. El vector fijo Para !allar un representante de es un representante de . en sentido

con e7tremo en P, se mide la distancia

contrario, o teniendo el punto Q?. El representante de .

es, en este caso, el vector fijo

S3M2 +E VECTORES
)ados dos vectores li res del plano construido as8

y , se define su suma como el vector li re

Se elige un punto ar itrario del plano, O. Con origen en O se usca un representante del vector . Se llamar P a su e7tremo.

Con origen en P se usca el vector

, representante de

. +se une el origen del

El vector suma representante de

@ viene representado por el vector fijo, con el e7tremo del representante de 3.

Propiedades de la suma de ectores Conmutati a4 )ados dos vectores del plano 2sociati a4 )ados tres vectores Elemento neutro8 )ado Es decir, el vector plano. Demostracin: Becu#rdese que es el vector del plano formado por todos los vectores fijos cuyo origen coincide con el e7tremo. Se elige un punto fijo del plano, O, y con origen en O se usca el vector de . 9os vectores (s se tiene8 @ A @ A A y @ A y son representantes del vector . representante y y y , @ A @ A @ . @ + @ 3. A @ A .

del plano, + @ 3 @

, un vector cualquiera del plano,

es el elemento neutro de la operacin suma de vectores li res del

@ +/

3 A +/

Elemento sim,trico4 )ado un vector del plano, e7iste otro vector / , tal que, A . El vector / reci e el nom re de sim trico u opuesto de .
3@

Demostracin: 4astar con demostrar una de las dos igualdades8 Sea

@ +/ 3A

un representante de . Consid#rese el vector / A @ A A y

+/ 3@

Como consecuencia de todas las propiedades vistas se dice que el conjunto de los vectores fijos del plano, junto con la suma de vectores, constituye un grupo conmutativo. Observaciones: 5. )ado un vector , su opuesto / tiene el mismo mdulo, la misma direccin y sentido contrario al de , 4asta con ver la contruccin de / . 6. )ados dos vectores y , e7iste un <nico vector A @ ( ) + que verifica A @ .

Si e7iste tal vector, sera8

A ( ) + ( @ ) C@ A @ A A ( ) + .

Por la propiedad asociativa, ( ) + ( @ ) = [ ( ) +

(s, el <nico vector que puede verificar tal propiedad es el vector Dalta ver que efectivamente la verifica8 @ A @ E ( ) + C A E @ ( ) ] + A @

A , que es la igualdad uscada. y , y suele

El vector +/ 3 @ reci e el nom re de diferencia entre los vectores representarse por / .

PRO+. +E VECTOR POR NM. RE2L

Sean un vector del plano y r un n<mero real. Se define el producto r ! forma8 a" Si r A & A , el producto es r F A y r &, se define8 de la siguiente

b" El caso contrario, es decir, si

El 9a El

mdulo de r F direccin de r F sentido de r F

es Gr F G A Gr #G G, donde Gr G es el valor a soluto de r . es la misma que la de es el mismo que el de . si r es positivo, y contrario si r es negativo.

H s#rvese que el producto de un vector por un n<mero slo puede ser nulo en el caso de serlo alguno de ellos. En dic!os casos las propiedades son de compro acin inmediata, por lo que, en lo que sigue, se supondr que tanto el n<mero como el vector son no nulos. Primeras propiedades del producto de n"meros por ectores 5. )ado un vector Demostracin: En efecto, G%F G A G%G G G A G G Por definicin %F tiene la misma direcin que . Como % es positivo, el sentido de %F es el de . Por tener el mismo mdulo, la misma direccin y el mismo sentido, los vectores li res %F coinciden. 6. Para cualquier vector , se verifica que +/%3F A / Demostracin: Para verlo conviene recordar que / tiene el mismo mdulo, la misma direccin y sentido contrario al de . Si se concluye que +/%3F cumple esas tres condiciones, se tendr la propiedad dada. G+/%3F G A G/%G G G A %G G A G G 9a direccin de +/%3F es la de . El sentido de +/%3F es opuesto al de , porque /%es negativo. (s pues +/%3F tiene mdulo, direccin y sentido iguales a los de / . Por tanto8 +/%3F A / . 7. Sean y dos vectores no nulos. Entonces8 A r F I y r es positivo si y se verifica que %F A .

Si y tienen la misma direccin, e7iste un n<mero r tal que y tienen el mismo sentido, y negativo en caso contrario.

( partir de a!ora, para diferenciar n<meros de vectores, a los primeros se les llamar, a menudo, escalares. Otras propiedades del producto de escalares por ectores 5. )ados dos n<meros reales r y s, y un vector se tiene8 +r !s3 Ar +s! 3

+)e ido al e7traordinario parecido que tiene esta propiedad con la propiedad asociativa del producto de n<meros, a veces se la denomina propiedad asociativa.3 6. Propiedad distri*uti a del producto respecto de la suma de escalares )ados dos n<meros r y s y un vector +r $s3 Ar Demostracin: Se !ar <nicamente en el caso r , s J &. Para compro arlo en los dems casos, astar con !acer pequeas modificaciones teniendo en cuenta los sentidos de los vectores. 9os vectores r y s tienen la misma direccin y el mismo sentido. (l sumarlos se suman los mdulos y se mantienen la direccin y el sentido. (s pues, Gr @s GAGr G@Gs G A rG G@sG G Pero G+r @ s3 G A +r @ s3G G A rG G @ sG G 9uego am os vectores tienen el mismo mdulo. 9a direccin y el sentido de am os coinciden con los de . , se cumple la igualdad8 $s

Por tener iguales el mdulo, la direccin y el sentido am os vectores li res son iguales. 7. Propiedad distri*uti a del producto respecto de la suma de ectores )ados un n<mero real r y dos vectores Demostracin: y , se verifica r + @ 3A r @r .

Para demostrarlo se elige un punto P del plano y a partir de #l se llevan los vectores
yr A con origen en %, o teni#ndose el punto &. tiene & ? como

Se construye el vector
punto de interseccin.

Prolongando la recta P& y tra"ando por % ? una paralela a %&, se o

9os dos tringulos P%& y P%'&? son semejantes por el teorema fundamental de
semejan"a de tringulos. Su ra"n de semejan"a es8

 Ka es fcil demostrar el resultado enunciado8

)e a! la igualdad. E#ercicio de aplicaci0n

)ados un n<mero real x y un vector , demostrar que +/73 A 7+/ 3 A /+x 3 (esolucin: Se compro ar que los dos primeros vectores son iguales a /+ x 3 o, lo que es lo mismo, que sumados a x el resultado es el vector .

)e la misma forma, x+ /

3@x

A x E+ /

3 @ C A x! , luego x+ /

3 A /+ x 3

COM1IN2CIONES LINE2LES
)ada una familia de vectores combinacin lineal

%, ., 2, ... y un vector cualquiera , se dice que es de la familia, si e7isten n<meros reales x%) x.) x2, ... tales que
A x%

% @ x. . @ x2 2 @ ...

Primera propiedad 9os vectores que son com inacin lineal de un solo vector vectores que son paralelos a . Demostracin: Si es com inacin lineal de , es de la forma A &F A A r F , luego es paralelo a

son el vector

y todos los

A r ! . Entonces8

a" Si r * &, b" Si r &,

por tener am os la misma direccin.

Se.unda propiedad )ados dos vectores del plano

% y . que tengan distinta direccin, el <nico vector que es

com inacin lineal de cada uno de ellos es el vector . Demostracin: Si !u iese un vector no nulo que fuese com inacin lineal de cada uno de ellos, tam i#n !a ra de ser paralelo a cada uno de ellos, con lo que % y . !an de ser paralelos entre s, lo cual va contra la !iptesis. Teorema Sean % y

. dos vectores del plano con distinta direccin. Entonces cualquier vector del plano se puede poner de manera <nica como com inacin lineal de % y ..
Demostracin:

Consid#rese P un punto cualquiera del plano y trcense, con origen en P, representantes de los vectores %, . y . 9lamando A al e7tremo de
, se tra"an por #l paralelas a los vectores

% y ..

Prolongando las rectas que contienen a

% y ., se o

tienen los puntos B y C. .

)e la figura se deduce inmediatamente que Pero es paralelo a

%, por lo que se tiene que ., para cierto escalar x..

A x%

A x%

%, para un cierto n<mero x%

(nlogamente Por tanto A

A x.

% @ x. ..

Dalta ver la unicidad8

Si A y%

% @ y. ., x% % @ x. . A y% % @ y. .

+7 % / y% 3

A +7. / y. 3

.
con lo que se tiene un vector que es com inacin lineal de cada uno de ellos. Por la segunda propiedad vista anteriormente, se concluye que dic!o vector !a de ser . (s, +7 % / y% 3

% A +7. / y. 3 . A

. Para ello !an de ser & los coeficientes, es decir8

12SES. COOR+EN2+2S
Se llama base del plano a cualquier pareja de vectores L distinta direccin. )ados una ase del plano L

%, .M del mismo, que tengan

%, .M y un vector , se llama coordenadas de respecto de la base a los n<meros reales x% y x. que verifican que Ax% % @ x. ..
Por el teorema demostrado anteriormente, las coordenadas de un vector respecto de una ase e7isten y son <nicas. E#ercicios de aplicaci0n

Sea L

%, .M una

ase del plano. )ecir si las siguientes parejas de vectores son ases8

(esolucin: Para ver si dos vectores constituyen una ase !ay que compro ar si tienen o no la misma direccin. Pero ya se vio que dos vectores tienen la misma direccin cuando uno de ellos es com inacin lineal del otro. a3 *ay que ver si e7iste un n<mero t tal que

Por la unicidad de las coordenadas de un vector respecto de una ase se !a de verificar que8 .t A 2 t A 2N. 2t A % t A %N2 Pero no !ay ning<n n<mero que verifique simultneamente am as condiciones. (s pues, los dos vectores tienen distinta direccin y, por tanto, constituyen una ase. b3 Se repite el proceso8

>gualando coordenadas8 2t A - t A . /.t A /1 t A . es un n<mero vlido para la igualdad. 9os vectores dados tienen la misma direccin y, por tanto, no constituyen una ase. Sea L

%, .M una

ase del plano vectorial y sean x%, x., +% e +. n<meros reales.

(esolucin:
Para

que dos vectores y formen ase, no !an de ser paralelos, es decir, no !a de e7istir un t que verifique t A .

Para que los vectores no sean paralelos se !a de verificar

Sea L

%, .M una

ase del plano. Compro ar que L.

% @ ., % / .M es una
ase.

ase del

plano y !allar las coordenadas del vector 5 (esolucin:

% @ 1 . respecto de dic!a

>gualando las coordenadas8 .t A % y t A /%. Puesto que ning<n n<mero verifica am as condiciones, los vectores dados constituyen una ase, por no ser paralelos.

Se trata a!ora de calcular las coordenadas del vector 5 % @ 1 . respecto de dic!a 9as coordenadas son los dos n<meros x% y x. tales que8

ase.

Hperando en dic!a igualdad8

Por unicidad de las coordenadas de un vector respecto de la ase L u% ) u.M

PRO+3CTO ESC2L2R
)ados dos vectores no nulos del plano, se llama producto escalar al n<mero o tenido como producto de sus mdulos por el coseno del ngulo que forman8

Si alguno de los dos vectores fuese el vector , su producto escalar sera igual a &. Propiedades del producto escalar

Primera propiedad del producto escalar

El producto escalar de dos vectores y es igual al producto del mdulo de por la proyeccin de so re +este producto ser positivo si y la proyeccin de so re #l tienen el mismo signo, y negativo en caso contrario3. Demostracin: 9a proyeccin de so re es un segmento de medida x.

Sustituyendo en la definicin de producto escalar8

Propiedad conmutativa del producto escalar de vectores

)ados dos vectores y ,

Demostracin:

Propiedad distributiva respecto de la suma

Demostracin: Para demostrarlo se utili"a la primera propiedad del producto escalar. En la figura, la proyeccin de (s pues8 so re es el segmento x, la proyeccin de

Propiedad de linealidad
Si se multiplica uno de los factores de un producto escalar por un n<mero real, el producto escalar queda multiplicado por dic!o n<mero. +7 3 A 7+ 3 Demostracin: Se e7cluirn los casos en que alguno de los datos sea nulo. Se distinguen dos casos8

Si x J &, Gx

G A xG GI y x tiene el mismo sentido que , con lo que formar con

Si x O &, Gx

G A +/x"G GI y por tener sentido opuesto al de , forma con suplementario al que forma con . Pero cos+%,&P / 3 A /cos , luego8

un ngulo

 Propiedad de ortogonalidad ,perpendicularidad"

)ados dos vectores no nulos y , si A &, entonces son perpendiculares, entonces A & Demostracin: y son perpendiculares, y si y

Positividad del producto escalar

Demostracin: )ado un vector cualquiera, se tiene que A G G. +pues cos &P A %3 y, por tanto, se tiene que &. El <nico caso en que A & es cuando A

Clculo del producto escalar Puesto que A G G G G cos , parece sencillo calcular , pero en la prctica puede resultar complicado conocer el mdulo de los vectores y el ngulo que forman. En general, resulta ms sencillo calcular el producto escalar de dos vectores conociendo sus coordenadas respecto de una ase y los productos escalares de los vectores que forman dic!a ase.

del plano tienen coordenadas +x%, x.3 e ++%, +.3, es decir8

(dems,

respect o de la suma y de linealidad3

E#ercicio4 clculo del producto escalar de dos ectores

*allar el producto escalar de los vectores

A.

%@2 .y

A1

% / .,

% y ., forman un ngulo de -&P.

(esolucin:

Clculo del m0dulo de un ector Para !allar el mdulo de un vector se puede aplicar la <ltima propiedad vista para el producto escalar.

Clculo del n.ulo 'ormado por dos ectores

E#ercicio4 clculo del n.ulo %ue 'orman dos ectores

)ada la ase del plano L

%, .M donde G %G A ., G .G A % y los vectores %, .

(esolucin:

)e la misma forma8

Sustituyendo en la frmula o tenida para el ngulo de dos vectores se tiene8

12SES ORTONORM2LES

tienen mdulo % y son perpendiculares entre s. Cuando se tra aja con este tipo de ases es sencillo calcular los productos escalares, ya que

(plicando estos resultados a las frmulas ya o tenidas, se tiene que dados los

y siendo el ngulo que forman,

E#ercicios con *ases ortonormales

ortonormal del plano. *allar la proyeccin del vector A2 so re el vector , siendo A.

%@ .y

% @ . ..

(esolucin: En primer lugar se calcula el mdulo de dic!a proyeccin. Para ello es conveniente recordar que el producto escalar de dos vectores es igual al producto del mdulo de uno de ellos por la proyeccin del otro so re #l.

Para determinar la proyeccin se o serva que, por ser #sta paralela al vector

el mismo sentido que , con lo que t !a de ser positivo.

Sustituyendo8

*allar el rea de un paralelogramo cuyos lados no paralelos son los vectores

(esolucin: El rea de un paralelogramo es igual al producto de dos de sus lados por el seno del ngulo que forman8

Para calcular el seno de este ngulo se aplica la frmula fundamental de la trigonometra8 sen. @ cos. A %.

K as el rea es8

(plicando la definicin de producto escalar, demostrar el teorema de Pitgoras. (esolucin:

figura, se tiene8

(s8

)emostrar que las dos diagonales de un rom o son perpendiculares.

(esolucin:

Para ver que son perpendiculares astar con compro ar que su producto escalar es &8

*asta a!ora no se !a utili"ado el !ec!o de que se est tra ajando con un rom o.

perpendiculares.

NMEROS COMPL. INTRO. 8 I 9

Como ya se sa e, e7isten algunas ecuaciones de segundo grado que no tienen ninguna solucin real. =al es el caso de la ecuacin 7 . @ % A &.

Si ien esto no era un pro lema e7cesivamente grave en la #poca en que se o serv, un ingenioso m#todo ideado por Qernimo Cardano +%5&%/%5R-3 para la resolucin de las ecuaciones de tercer grado precisa a resolver cualquier tipo de ecuaciones de segundo grado, para su aplicacin. Esto dio lugar a que se admitieran tam i#n las races cuadradas de los n<meros negativos llamndolas :n<meros imaginarios;. Casi un siglo tuvo que pasar para que se !iciese un estudio completo de los mismos, llegndose a lo que !oy se llama el cuerpo de los n<meros complejos. El teorema ms importante que e7iste so re los n<meros complejos es el :=eorema Dundamental del Slge ra;, demostrado por Carl Driederic! Tauss +%RRR/%,553 que dice que cualquier polinomio con coeficientes complejos tiene una ra" compleja. Se llama unidad imaginaria a un ente a stracto i , al que se le atri uye la propiedad de que su cuadrado es /%8 i . A /%.

(adiendo este elemento al cuerpo de los n<meros reales, se tiene una solucin para la

ecuacin 7 . @ % A &, pero ocurre que ya no se dispone de un procedimiento para calcular la suma y el producto de dos elementos de la estructura as o tenida. Para que se puedan !acer multiplicaciones, es preciso que dado un n<mero real b y la unidad imaginaria i e7ista el producto bi . (dems para que estos n<meros puedan sumarse con los n<meros reales es preciso tam i#n que, dado un n<mero real a e7ista el elemento a $ bi .

Esto da lugar a un conjunto de e7presiones a las que se denominar n<meros complejos. 6n pro lema que vale la pena plantearse es si podr ocurrir que dos e7presiones distintas den el mismo resultado. 9a respuesta es negativa. Si a $ bi * c $ di se tendra que a - c * +d - b3i . Elevando al cuadrado8

Como el primer miem ro es mayor o igual que & +por ser un cuadrado3 y el segundo es menor o igual que & +por ser un cuadrado cam iado de signo3 se tiene que am os !an de ser nulos. Por tanto8

9as e7presiones son as las mismas. $tese que !asta a!ora se !a !ec!o uso de las propiedades propias de un cuerpo para ciertas e7presiones que no se !a demostrado que lo constituyan. =eniendo en cuenta que tampoco se !a dado una definicin correcta de lo que son los complejos, esto podra servir para justificar el porqu# de la definicin. =ampoco se !a compro ado que con las e7presiones de la forma a $ bi se puedan !acer todas las sumas y todos los productos posi les. Para que se verifiquen las propiedades de cuerpo es interesante o servar que !a de ser8 +a $ bi 3 @ +c $ di 3 A +a $ c3 @ +b $ d3i , que es otra e7presin del mismo tipo. Para el producto sera +a$bi 3 @ +c$di 3 A ac $ bci $ adi $ bdi . * ,ac-bd" $ ,ad$bc"i , que de nuevo es una e7presin de la forma dada. Parece pues ra"ona le dar la siguiente definicin8 Se llama n.mero complejo a cualquier e7presin de la forma a $ bi, siendo a y b n<meros reales.

I.ualdad de n"meros comple#os )os n.meros complejos a $ bi y c $ di son iguales si a A c y b A d . Parte real ! parte ima.inaria de un n"mero comple#o )ado el complejo / * a $ bi , el n<mero a reci e el nom re de parte real de / y b se llama parte imaginaria de /. Se representan por (e+/3 e 0m+/3 respectivamente. Si un n<mero complejo tiene una de sus partes +real o imaginaria3 igual a cero, #sta no suele escri irse. (s, se escri ir a en lugar de a $ &i y tam i#n bi en lugar de escri ir & @ bi .

Se puede considerar que los n<meros reales son los n<meros complejos cuya parte imaginaria es &. 9os n<meros complejos cuya parte real es & suelen reci ir el nom re de imaginarios puros. Suma ! producto de n"meros comple#os )ados dos n.meros complejos a $ bi y c $ di se definen su suma y su producto como sigue8 +a $ bi 3 @ +c $ di 3 A +a $ c3 @ +b $ d3i +a $ bi 3 +c $ di 3 A +ac - bd3 @ +ad $ bc3i El producto puede !acerse operando con i como si fuese un n<mero real y teniendo en cuenta que i . A /%.

,a $ bi ",c $ di " * ac $ adi $ bci $ bdi * ac - bd $ i ,ad $ bc"

. * ac $ i,ad $ bc" $ bd+/%3 *

Propiedades de la suma de n"meros comple#os 9a suma de n<meros complejos tiene las siguientes propiedades8

Conmutati

)ados dos n<meros complejos a $ bi y c $ di se tiene la igualdad8 +a $ bi 3 @ +c $ di 3 A +c $ di 3 @ +a $ bi 3 Ejemplo8 +. / 2 i 3 @ +/2 @ i 3 A +. / 23 @ i +/2 @ %3 A /% / .i +/2 @ i 3 @ +. / 2i 3 A +/2 @ .3 @ i +% / 23 A /% / .i

2sociati

)ados tres complejos a $ bi) c $ di y e $ fi , se cumple8 E+ a $ bi 3 @ +c $ di 3C @ +e $ fi 3 A +a $ bi 3 @ E+c $ di 3 @ +e @ fi 3C Ejemplo8 E+5 @ .i 3 @ +2 / 1i 3C @ +/0 @ ,i 3 A +, / .i 3 @ +/0 @ ,i 3 A /% @ -i +5 @ .i 3 @ E+2 / 1i 3 @ +/0 @ ,i 3C A +5 @ .i 3 @ +/- @ 1i 3 A /% @ -i

Elemento neutro
El elemento neutro es & @ &i , puesto que +a $ bi 3 @ +& @ &i 3 A +a @ &3 @ i +b @ &3 A a $ bi El n<mero & @ &i se escri e simplificadamente & y se le llama :cero;.

 Elemento sim,trico
El elemento sim#trico de un n<mero complejo cualquiera a $ bi es +/ a / bi 38 + a $ bi 3 @ +-a - bi3 A & @ &i A & Ejemplo8 El sim#trico de . / 2i es /. @ 2i pues +. / 2i 3 @ +/. @ 2i 3 A & Propiedades del producto de comple#os

Conmutati

)ados dos complejos a $ bi y c $ di , se cumple que8 + a $ bi 3 +c $ di 3 A +c $ di 3 +a $ bi 3 Ejemplo8

2sociati

)ados los complejos a $ bi) c $ di y e $ fi se cumple que8 E+ a $ bi 3 +c $ di 3C+e $ fi 3 A +a $ bi 3 E+c $ di 3 +e $ fi 3C Ejemplo8

Elemento neutro
El elemento neutro del producto es % @ & F i A %, puesto que para cualquier complejo a $ bi , +a $ bi 3 +% @ & F i 3 A +a $ bi 3 F % A a $ bi . El elemento neutro es el uno.

+istri*uti

a del producto con respecto a la suma

)ados tres n<meros complejos a $ bi , c $ di y e $ fi , se cumple8 +a $ bi 3 E+c $ di 3 @ +e $ fi 3C A +a $ bi 3 +c @ di 3 @ +a $ bi 3 +e $ fi 3 Ejemplo8

+% / .i 3 E2i @ +. / Ri 3C A +% / .i 3 +. / 1i 3 A . / 1i / 1i @ ,i . A /- / ,i +% / .i 3 2i @ +% / .i 3 +. / Ri 3 A +2i / -i .3 @ +. / Ri / 1i @ %1i .3 A A +2 i @ -3 @ +/%. / %%i 3 A / - / ,i El conjunto de los n<meros complejos, por contar con todas las propiedades anteriores para la suma y para el producto, se dice que es un anillo conmutativo. El conjunto de los n<meros complejos se sim oli"a por C, o tam i#n +C, @, F3.

Elemento sim,trico respecto del producto

)ado un complejo cualquiera a $ bi , distinto de & @ &i , e7iste otro complejo que, multiplicado por #l, da el elemento neutro del producto, es decir, % @ & i . Demostracin: Se intentar calcular el inverso de a $ bi , x $ +i . *a de verificarse que +a $ bi 3 +x $ +i 3 A % @ &i +a $ bi 3 +x $ +i 3 A +ax - b+3 @ +a+ $ bx3i . Por tanto !a de ser8 ax - b+ A %, multiplicando por a se tiene8 a.x - ab+ * a bx $ a+ A &, multiplicando por b se tiene8 b.x $ ab+ * 1

)espejando + en la segunda ecuacin8

El inverso de un n.mero complejo / * a $ bi , se suele

Por tanto, si / * a $ bi ,

El conjunto de los n<meros complejos es un cuerpo conmutativo con la suma y el producto definidos. +i isi0n de n"meros comple#os 9a divisin es la operacin inversa de la multiplicacin. Esto es, dividir un n<mero complejo entre otro es el resultado de multiplicar el primero por el inverso del segundo.

E#ercicios de aplicaci0n

(esolucin:

(esolucin:

Ra)ces cuadradas de un n"mero comple#o (dems del m#todo general que se ver ms adelante para calcular races cualesquiera de un n<mero complejo argumental, e7iste un procedimiento para !allar especficamente las races cuadradas de un complejo en su forma inmica. El procedimiento es id#ntico en todos los casos, por lo que astar con aplicarlo una ve". Se va a intentar !allar las races cuadradas del complejo R @ .1 i . Sea a $ bi una de dic!as races cuadradas. Entonces, R @ .1i A +a $ bi 3. A A a. @ .abi @ +bi 3. A +a. / b.3 @ .abi

Para que estos complejos sean iguales, !an de tener iguales su parte real y su parte imaginaria. Por tanto8 R A a. / b.

*aciendo el cam io t * a. resulta la ecuacin t. / Rt / %11 A &. Esta ecuacin tiene dos soluciones, una positiva y una negativa. En este caso slo nos interesa la positiva, ya que t es el cuadrado de un n<mero real.

(s, a. A t A %-, lo que da lugar a las soluciones a A U1

E#ercicio4 clculo de la ra)$ cuadrada de un n"mero comple#o

Besolver la ecuacin /. @ +. @ i 3/ / +%2 / %2i 3 A &

(esolucin:

Siendo un cuerpo el conjunto de los n<meros complejos, se puede aplicar la frmula

conocida para la resolucin de la ecuacin de segundo grado8

donde a A %, b A . @ i y c A / +%2 / %2i 3.

El discriminante es8

b. / 1ac A +. @ i 3. @ 1 +%2 / %2i 3 A 1 @ i . @ 1i @ 5. / 5.i A 55 / 1,i

*ay que calcular su ra" cuadrada. Sea x $ +i

dic!a ra"8

55 / 1, i A +x $ +i 3. A +x. / +.3 @ .x+i >gualando parte real e imaginaria8 55 A x. / +.

*aciendo el cam io t * +., t. @ 55t / 5R- A & (plicando la frmula de la ecuacin de segundo grado8

Como t es el cuadrado de un n<mero real y, por tanto positivo, se desprecia la solucin t A /-1

Se tiene entonces que las races cuadradas de 55 / 1,i son , @ 2i y /, / 2i . Sustituyendo en la frmula de la ecuacin de segundo grado8

Representaci0n .r'ica de un n"mero comple#o Puesto que cualquier n<mero complejo se puede representar de forma <nica mediante dos n<meros reales +su parte real y su parte imaginaria3, se puede identificar cada complejo a $ bi con el punto del plano +a)b3 y viceversa. Es ms, cualquier punto del plano +a)b3 define un vector de origen +&,&3 y e7tremo + a)b3. )e esta forma, cualquier n<mero complejo puede representarse como un vector en el plano cuyo origen es el de coordenadas +&,&3 y cuyo e7tremo es el par ordenado asociado al complejo +a)b3.

(s, en el plano, el vector asociado al n<mero complejo . / 2 i tiene por coordenadas +.,/ 23. Con#u.ado de un n"mero comple#o Se llama conjugado de un n.mero complejo al n<mero complejo que se o tiene por simetra del dado respecto del eje de a scisas. Bepresentando el n<mero complejo a $ bi y !aciendo la correspondiente simetra, se tiene que su conjugado es a - bi . )ado un n<mero complejo, su conjugado puede representarse poniendo encima del mismo una lnea !ori"ontal. (s se escri ir8

Propiedades de los con#u.ados

Primera propiedad
El conjugado del conjugado de un complejo / es el propio /2 Demostracin: En efecto si / * a $ bi se tiene que A a - bi , de donde, A a $ bi * /

3egunda propiedad
)ados dos n<meros complejos cualesquiera / y /' , el conjugado de su suma es igual a la suma de sus conjugados. Esto se e7presa escri iendo que Demostracin: =omando / * a $ bi y /' * c $ di , se tiene8 A a $ bi y ? A c - di , con lo que Por otra parte8 @ ? A +a $ bi 3 @ +c - di " * ,a $ c" $ ,-b - d"i

y es fcil ver que esta e7presin coincide con la anterior.

4ercera propiedad
El conjugado del producto de dos n<meros complejos es igual al producto de los conjugados de dic!os n<meros8

Demostracin: Si / * a $ bi y / * c $ di se tiene que / ! / * +ac - bd 3 @ +ad $ bc3i , cuyo conjugado es A ,ac - bd" - ,ad $ bc"i 2 Calculando por otro lado el producto de los conjugados, resulta que F ? A +a - bi 3+ c - di 3 A + ac - bd 3 @ + -ad - bc3 i . El resultado es igual al anterior.

Cuarta propiedad
9os complejos que coinciden con sus conjugados son los n<meros reales. Demostracin: Sea un complejo a $ bi que coincida con su conjugado. Esto equivale a que a $ bi * a - bi Pero esto slo ocurre si b A &, es decir si a $ bi es un n<mero real.

Quinta propiedad
9a suma y el producto de un complejo y su conjugado son, am os, n<meros reales. Demostracin: + a $ bi 3 +a - bi 3 A a. / +bi 3. A a. @ b. + a $ bi 3 @ +a - bi 3 A .a

NMEROS COMPL. INTRO. 8 II 9

+i isi0n de n"meros comple#os Como consecuencia de este resultado, se tiene un procedimiento ms sencillo que el visto para efectuar una divisin. 4asta con multiplicar numerador y denominador por el conjugado del denominador. Por ejemplo8

E#ercicio4 di isi0n de n"meros comple#os

a3 Beal. b3 >maginario puro. c3 =enga la parte real igual a la imaginaria. (esolucin:

a3 Para que este cociente sea un n<mero real es preciso que su parte imaginaria sea &8

b3 Para que sea imaginario puro !a de tener parte real nula8

Besolviendo dic!a ecuacin se o tienen dos valores para 58

/orma tri.onom,trica ! 'orma m0dulo:ar.umental de un comple#o (l representar un n<mero complejo como un vector en la forma ya descrita, #ste viene definido de manera <nica por dos valores8 su mdulo y el ngulo formado por el eje positivo de a scisas con el vector. Este ngulo reci e el nom re de argumento del n<mero complejo. )ado un complejo / * a $ bi en su forma inmica y llamando argumento, se tienen las siguientes relaciones8 a su mdulo y a su

)espejando a y b en estas igualdades, a A )e a! se tiene que8 a $ bi A cos @ sen i A

cos y b A

sen

+ cos @ i sen 3 +

Cualquier n<mero complejo / puede representarse as como una e7presin de la forma cos @ i sen 3. Esta manera de escri ir un n<mero complejo reci e el nom re de forma trigonom trica.

En muc!os casos se escri e simplemente el mdulo, y el argumento como su ndice. (s se podra escri ir sen 3.

, en lugar de escri

ir la forma trigonom#trica completa

+ cos @ i

Esta manera de e7presar un n<mero complejo se llama forma mdulo argumental o polar. $tese que si al argumento de un n<mero complejo es incrementado en 2-&P, al no variar el seno ni el coseno de dic!o ngulo, el n<mero complejo definido no vara. Clculo de m0dulo ! ar.umento de un comple#o Para calcular el argumento de un n<mero complejo / * a $ bi , asta con tener en cuenta que8 a A G"GFcos b A G"GFsen )ividiendo estas dos igualdades,

Entre &P y 2-&P !ay, en general, dos ngulos cuya tangente toma ese valor. Para decidirse entre ellos es preciso fijarse en qu# cuadrante se encuentra el complejo en cuestin. Para calcular el mdulo se suman los cuadrados de las dos igualdades o tenidas8 a. @ b. A G"G cos @ G"G. sen A

A G"G. +cos @ sen 3 A G"G.

E#ercicio4 'ormas de escri*ir un n"mero comple#o

Escri ir en forma mdulo/argumental los complejos 2 @ . i , % / i , /. / 5i2 (esolucin:

=eniendo en cuenta que dos ngulos que difieren en %,&P tienen la misma tangente, podra aceptarse A .%2P 1%? .1?? .

Pero el complejo dado se encuentra en el primer cuadrante.

9os ngulos que tienen tangente /% son los ngulos de %25P y 2%5P. Como el complejo dado pertenece al cuarto cuadrante, el argumento es 2%5P.

9os ngulos cuya tangente es .,5 son -,P %% 51 y .1,P %% 51. El complejo dado pertenece al tercer cuadrante, por lo que el argumento es el segundo valor.

Bepresentar en forma inmica los complejos 25&P, .%,&P, y %..&P (esolucin: 25&P A 2+cos 5&P @ i!sen 5&P3 A 2+ &,-12 @ &,R-- i 3 A %,0.0 @ .,.0,i .%,&P A .+cos %,&P @ i!sen %,&P3 A . + /% @ &i 3 A / . %..&P A %+cos ..&P @ i!sen ..&P3 A / &,R-- / &,-12 i

Producto de comple#os en 'orma m0dulo:ar.umental (unque ya se dispone de un m#todo para calcular el producto de dos n<meros complejos cualesquiera, cuando am os n<meros vienen dados en su forma mdulo/argumenal e7iste un procedimiento muc!o ms sencillo. Este m#todo consiste en multiplicar sus mdulos y sumar sus argumentos. Para ver que esto es correcto, asta con efectuar la multiplicacin8 ( F ('? A ( +cos @ i sen 3 F (' +cos ? @ isen ? 3 A

A ((? L +cos F cos ? / sen F sen ? 3 @ i + sen F cos ? @ cos F sen ? 3M Pero las e7presiones que se encuentran entre par#ntesis son precisamente las

( F ('? A ((' Lcos + @ ?) @ i sen + @ ? 3M A +((' 3 E#ercicios de aplicaci0n

@ ?

)emostrar que para dividir dos n<meros complejos se dividen sus mdulos y se restan sus argumentos. (esolucin: Supngase que se quieren dividir los complejos ( F ('? . 9lmando (?? al mdulo del cociente y ? ? a su argumento,

Compro ar la frmula vista para el producto multiplicando por dos m#todos distintos los complejos 2i y . / .i . (esolucin:

En primer lugar se multiplican directamente los dos n<meros8

2 i +. / .i 3 A -i / -i . A - @ -i

(!ora se calcula el mdulo y el argumento de cada uno de los factores8

Por ser positiva la ordenada, A 0&P 2i A 20&P.

Como el complejo dado est en el cuarto cuadrante, ser Vultiplicando en forma mdulo/argumental8 =ransformando dic!o n<mero a su forma inmica8

)emostrar que el producto de un complejo por su conjugado es igual al cuadrado del mdulo. (esolucin: Se van a dar dos demostraciones8

b3 Si se considera el complejo dado en la forma mdulo/argumental, cuyo mdulo es B y cuyo argumento es , en la figura adjunta se ve que su conjugado tiene tam i#n mdulo (,

Vultiplicando8 ( F (2-&P

/ ? A +(2(32-&P A (2 +cos 2-&P @ isen 2-&P3 A (2 +%@ &i 3 A (2

/0rmula de Moi re El mdulo de una potencia cuya ase es un n<mero complejo, es otro complejo cuyo mdulo se o tiene elevando el mdulo al e7ponente correspondiente y cuyo argumento se o tiene multiplicando el argumento por el e7ponente. Es decir,

Demostracin: +( 3n A ( F ( ..... ( A +( ! ( 222 (3 +

n ... + A +( 3n

Esta igualdad reci e el nom re de frmula de &oivre, en !onor del matemtico franc#s ( ra!am de Voivre +%--R/%R513. E#ercicio4 aplicaci0n de la '0rmula de Moi re

(plicar la frmula de Voivre para !allar la e7presin de sen 1x y de cos 1x en funcin de las ra"ones trigonom#tricas de x2 (esolucin: Se considera el complejo %7. Calculando su cuarta potencia8 +% 731 A %17 A cos 1x $ i sen 1x

Pero %7 A cos x $ i sen x, con lo que +%731 A +cos x $ i sen x31. (plicando el inomio de $eWton a esta e7presin8 +cos x $ i sen x31 A cos1x @ 1i cos2x ! sen x @ - cos.x+i sen x3. @ @ 1 cos x ! +i sen x32 @ +i sen x31 Pero i . A /%, i 2 A i . F i A /% F i * -i e i 1 A i . F i . A +/%3 +/%3 A % (s8 +cos x $ i sen x31 A cos1x @ 1i cos2x ! sen x - - cos.x ! sen.x / 1 cos x ! sen2x i $ sen1x 9a parte real de este n<mero es8 cos 1x * cos1x - -cos.x ! sen.x $ sen1x K la parte imaginaria es8 sen 1x * 1cos2x ! sen x / 1cos x ! sen2x

Ra)ces de un n"mero comple#o Para !allar las races de un n<mero complejo se aplica la frmula de Voivre, teniendo en cuenta que para que dos complejos coincidan !an de tener el mismo mdulo y la diferencia de sus argumentos !a de ser un m<ltiplo entero de 2-&P. Sea ( un n<mero complejo y consid#rese otro complejo (??, tal que ( A +(? ? 3n A ++(? 3n 3n Esto equivale a que

?
, y que

A (, o lo que es lo mismo, que

(unque esto parece aportar una infinidad de soluciones, ntese que si a 5 se le suma un m<ltiplo de n, al dividir el nuevo argumento, #ste aparece incrementado en un n<mero entero de circunferencias. Por tanto, asta con dar a 5 los valores %, ., 2, ..., n / %, lo que da un total de n / % races, que junto a 5 A & da un total de n races. E#ercicio4 clculo de ra)ces de un n"mero comple#o

*allar las races c< icas de ,. (esolucin: El m#todo descrito permite calcular races <nicamente en la forma mdulo/argumental. Se de e escri ir el n<mero , en dic!a forma8

Como la parte real de % es positiva el valor adecuado es A &P. Calculando los valores precisos8

(s, las races c< icas son las que tienen mdulo igual a . y argumento &P @ %.&P5, donde 5 puede tomar los valores &, % y .. Se tienen pues las tres races8 .&P A .+cos &P @ i sen &P3 A .+% @ &i 3 A .

*allar las races cuartas de . @ .i . (esolucin: En primer lugar se calcula el mdulo y el argumento de . @ . i 8

)ando a 5 los valores &, %, . y 2 se o tienen las cuatro races cuartas de . @ . i, que son8