FACULTAD DE INGENIERIA UCA

ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011

Complemento de la Pr ctica 1 a

Indice

Ejercicio 1 Ejercicio 2 Ap ndice e

(compleci n de cuadrados) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 o (forma trigonom trica) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 e (Funciones trigonom tricas) e ......................................... 5

Ejercicio 3 Ap ndice e

(valor del argumento en un intervalo dado) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 (Unicidad del argumento en un intervalo de longitud 2) . . . . . . . . . . . . . . . .7

Ejercicio 4 Ejercicio 5 Ejercicio 6 Ap ndice e

(argumento del producto) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 (distancia entre dos puntos del plano complejo) . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 (races de n mero complejo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 u (Races n simas de la unidad) e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

Ejercicio 7 Ejercicio 8

(subconjuntos del plano complejo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .18 (exponencial compleja) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

1. a) En cada una de las siguientes expresiones aplique la compleci n de cuadrados o (i) x2 + 4x + 7 (ii) t2 5t (iii) 3x2 12x 3 (iv) sen2 2 sen cos + 1 b) Sean u = x2 y2 y v = 2xy. Compruebe que u2 + v2 = w2 para alg n w R. u c) Utilice uno de los c lculos anteriores para hallar las intersecciones entre la par bola a a 2 y = 3x 12x 3 y el eje x. d) Utilice uno de los resultados obtenidos para mostrar que sen2 2 sen cos + 1 > 0 para todo R. Inciso a) (i) x2 + 4x + 7 = x2 + 2.2x + 7 = (x + 2)2 4 + 7 = (x + 2)2 + 3 (ii)
5 t2 5t = t2 2 5 t = (t 2 )2 ( 5 )2 = (t 5 )2 2 2 2 25 4

(iii) 3x2 12x 3 = 3[x2 4x] 3 = 3[(x 2)2 4] 3 = 3(x 2)2 15 (iv) sen2 2 sen cos + 1 = sen2 2 sen cos + sen2 + cos2 = cos2 + sen2 2 sen cos + sen2 = [cos sen ]2 + sen2

Inciso b)

u2 + v2 = (x2 y2 )2 + 4x2 y2 = x4 + y4 2x2 y2 + 4x2 y2 = x4 + y4 + 2x2 y2 = (x2 + y2 )2 Entonces, u2 + v2 = w2 con w = x 2 + y2

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

Inciso c) Utilizando el resultado obtenido en el inciso a)-(iii) la ecuaci n de la par bola es o a y = 3(x 2)2 15 La intersecci n entre la par bola y el eje x est dada por o a a y = 3(x 2)2 15 o sea, 3(x 2)2 15 = 0 que equivale a (x 2)2 = 5 i.e., |x 2| = 5 e e y=0 y=0 e y=0 e y=0

Por lo tanto los puntos de intersecci n son o (2 5, 0)

(2 +

5, 0)

Inciso d) A partir del resultado obtenido en el inciso a)-(iv) sen2 2 sen cos + 1 = [cos sen ]2 + sen2 0

S lo nos resta entonces ver que no puede ser cero. Supongamos, razonando por el absurdo, o que existe alg n para el cual u [cos sen ]2 + sen2 = 0 Siendo cada sumando mayor o igual que cero, esto implica que cada uno de ellos debe ser cero cos = sen y sen = 0 pero esto es decir + k = 4 m para alg n k Z u para alg n m Z u

lo que es imposible. Luego, sen2 2 sen cos + 1 > 0 para todo R.

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

2. Escriba el n mero complejo z = 2 3i en forma trigonom trica u e Se trata de escribir a z en la forma z = |z|(cos arg z + i sen arg z) Por tanto, s lo necesitamos hallar o | 2 3i| N C lculo del m dulo a o | 2 3i| = es decir, | 2 3i| = (2)2 + (3)2 = 4+9= 13 , arg(2 3i)

13

Con esto ya podemos decir que, 2 3i = 13(cos arg z + i sen arg z) = 13 cos arg z + i 13 sen arg z N C lculo del argumento a Igualando las partes reales y las partes imaginarias de ambos n meros, u 13 cos arg z = 2 y 13 sen arg z = 3 2 3 cos arg z = y sen arg z = 13 13 Para entender mejor la situaci n es conveniente hacer un esquema gr co o a entonces,

-2

-2-3i

-3

Nota: denota el valor del argumento de z que se encuentra entre 0 y 2 Como z est en el tercer cuadrante, los valores a
3 arcsen( 13 ) 2 arccos( 13 )

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

no pueden representar ning n valor de arg z dado que u arcsen t [ , ] 2 2 cualquiera sea t entre 1 y 1; con lo cual arcsen t s lo puede ser argumento de puntos en el primero o cuarto cuadrante (nunca o del tercero) arccos t s lo puede ser argumento de puntos en el primero o segundo cuadrante (nunca o del tercero) Miremos el siguiente gr co, a y arccos t [0, ]

3 -2

-2-3i -3

= +
El seno y coseno de y satisfacen cos = cos por lo tanto, ahora s podemos decir que 2 2 cos = 13 y 3 sen = 13 , sen = sen

y como 0

2 = arccos 13 y por supuesto tambi n que e 3 = arcsen 13 Finalmente, recordando que =+ obtenemos: 2 = + arccos 13
1

3 por supuesto tambi n podramos haber dicho que = + arcsen e 13

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

Y entonces, 2 3i =

( 13 cos( + arccos

2 ) 13

+ i sen( + arccos

2 ) 13

Ap ndice e Es importante tener siempre presente la siguiente informaci n sobre las funciones sen , cos o y tan y sus inversas arcsen , arccos y arctan
/2 1

/2

a /2 -1

b 1

b -1

a /2

sen(a) = b

arcsen(b) = a

1 b

/2

/2

-1

cos(a) = b

-1 arccos(b) = a

b 1

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

b a

/2

/2

/2

b /2

arctan(b) = a tan(a) = b

3. Halle un valor del argumento de z = 2 3i que est entre 3 y e Teniendo en cuenta que en el ejercicio anterior calculamos | 2 3i| = 13 y 2 arg(2 3i) = + arccos + 2k 13 (k Z)

se trata ahora de encontrar el valor 2 de k que haga que 3 2 + arccos + 2k < 13

2 13

sumamos miembro a miembro arccos 2 3 arccos 13 es decir,

2 2k < arccos 13

2 2 4 arccos 2k < 2 arccos 13 13 recordando que el arccocoseno toma valores entre 0 y , tenemos 0 y por lo tanto, Resulta as que 5 2 4 arccos 13 2 2k < 2 arccos 13 2 2 arccos 13 0 2 arccos 13

puede haber m s de uno? a

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

y por consiguiente 5 2k < 2 1 2 multiplicando miembro a miembro por el n mero positivo u 5 2 k < 1

5 y como el unico entero que es mayor que y menor que 1 es 2, debe ser 2 k = 2 y entonces el valor de arg(2 3i) que est entre 3 y es a 2 2 2 + arccos + 2k = + arccos 4 = arccos 3 13 13 13 En consecuencia, la respuesta a este ejercicio es | 2 3i| = 13 , 2 arg(2 3i) = arccos 3 13

Ap ndice e Dado + i C tal que | + i| = 1, el sistema de ecuaciones cos t = sen t = tiene soluci n unica si consideramos que t toma valores exclusivamente en un intervalo de o longitud 2. Digamos que [a, a + 2) es el intervalo de longitud 2 donde est t y llamemos al angulo a que forma + i que est sobre la circunferencia unitaria con el semieje real positivo. a La siguiente gura ilustra la situaci n o

. + 1 [ a t ) a+ 2

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

Entonces podemos escribir (dado que | + i| = 1) = cos con lo cual y = sen

cos t = cos sen t = sen , sen t = sen t = + 2m

pero cos t = cos t = + 2k

para ciertos enteros k y m. Claramente k = m y entonces tenemos que t debe cumplir t = + 2k es decir, a + 2k < a + 2
1 sumando miembro a miembro y luego multiplicando por el n mero positivo 2 llegamos u a que a a k< +1 2 2 y como en cualquier intervalo de longitud 1 (uno de cuyos extremos no est incluido) no a puede haber m s de un n mero entero, resulta que k es unico y en consecuencia tambi n lo a u e es t, como armamos.

t < a + 2

4. Escriba (cos + i sen )(cos + i sen ) en la forma cos + i sen e interprete el valor de , y . Es importante recordar las siguientes identidades trigonom tricas e cos(x y) = cos x cos y sen x sen y sen(x y) = sen x cos y sen y cos x Efectuamos entonces el producto de los n meros complejos u z = cos + i sen Usando la denici n de este producto, o zw = cos cos sen sen + i (sen cos + sen cos ) = cos( + ) + i sen( + ) es decir, (cos + i sen )(cos + i sen ) = cos( + ) + i sen( + ) , w = cos + i sen

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

Interpretaci n: o notemos que |z| = 1 , Entonces, al escribir z = cos + i sen , w = cos + i sen , zw = cos( + ) + i sen( + ) |w| = 1 , |zw| = 1

estamos dando sus respectivas formas trigonom tricas; con lo cual, e O es un valor del argumento de z O es un valor del argumento de w O + es un valor del argumento de zw Conclusi n: o la suma de los argumentos es un valor del argumento del producto. 5. Muestre que la distancia entre dos puntos z y w del plano complejo est dada por a |zw|

La distancia entre z y w est dada por la longitud del segmento que los une. Miremos el a siguiente gr co, a

w d z

Debemos probar entonces que d = |z w| Recordemos que zw = z+(w) y hagamos un esquema gr co de la situaci n representando a o los vectores z , w , w y z w = z + (w)

10

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

mide d z=w+z-w

z+(-w)=z-w -w z-w = z+(-w) d=|z-w|

Como la suma la denimos a partir de la regla del paralelogramo resulta que el vector z w mide lo mismo que el segmento que une z con w; por consiguiente, d = |z w| como debamos probar. Una vez comprobado esto nos podemos plantear: qu mide |z + w|? Es tambi n una e e distancia? Entre qu puntos? e

mide |z-w|

6. En cada caso, encuentre todos los z C que satisfacen las condiciones dadas a) z3 = i b) (z 1 + 2i)3 = i c) (z 1 + 2i)5 = 2 + 2 i Inciso a) La idea ser trabajar con la forma trigonom trica dado que la f rmula de De Moivre nos a e o facilita el c lculo de la parte real e imaginaria de una potencia. a N C lculo del m dulo de los z que buscamos a o Como z3 = i

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

11

debe ser |z|3 = |i| = 1 es decir, todos los z que satisfacen la condici n tienen o |z| = 1

N C lculo de los argumentos de los z que buscamos a Como ya sabemos que z tiene m dulo 1, se escribe en la forma o z = cos arg z + i sen arg z elevamos al cubo y aplicamos De Moivre y nos queda cos(3 arg z) + i sen(3 arg z) = i esto equivale a cos(3 arg z) = 0 sen(3 arg z) = 1

Como cada vez que sen x = 1 resulta cos x = 0, las dos condiciones anteriores son equivalentes a sen(3 arg z) = 1 o sea, 3 arg z = + 2k 2 (k Z)

con lo cual, los z que satisfacen z3 = i son los de la forma z = cos arg z + i sen arg z con arg z = 2k + 6 3 (k Z)

Dej ndolos expresados de esta forma alguien podra pensar que son innitos, tantos como a k Z. Pero esto no es cierto, hay s lo tres (distintos) a pesar de que k pueda tomar todos o 3 los valores enteros . Para ver esto, recordando que seno y coseno son 2peri dicas, vamos a escribir 2k en o 3 la forma 2k 2r = + 2q (r = 0, 1, 2 , q Z) 3 3 Para hacer esto nos va ser util el algoritmo de divisi n: dados los enteros k y 3 sabemos o que existen unicos enteros q y r tales que k = 3q + r
3

con

r<3

Es consecuencia de la periodicidad del seno y el coseno

12

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

entonces, 2k 2(3q + r) 6q + 2r + = + = + 6 3 6 3 6 3 2r = + + 2q 6 3 entonces, ) ( ) 2k 2r cos + = cos + + 2q 6 3 6 3 ( ) ( ) 2k 2r sen + = sen + + 2q 6 3 6 3 ( ( ) 2r cos + 6 3 ) ( 2r sen + 6 3 (

es 2perodica

= =

es 2perodica

y entonces,

) ( ) 2r 2r z = cos + + i sen + 6 3 6 3

lo que da exactamente 3 valores distintos dado que r = 0, 1, 2. Llegamos as a que hay exactamente tres complejos z que satisfacen z3 = i y son ( ) ( ) () () 2 2 z1 = cos + i sen , z2 = cos + + i sen + 6 6 6 3 6 3 y ) ( ) 4 4 z3 = cos + + i sen + 6 3 6 3 3 1 z1 = +i 2 2 , 3 1 z2 = +i 2 2 , z3 = i (

o sea,

z2

z1 1

z3

son los vrtices de un tringulo equiltero inscripto en la circunferencia unitaria

Inciso b) Notemos que z satisface (z 1 + 2i)3 = i si y s lo si w = z 1 + 2i satisface w3 = i. Pero en o el inciso anterior encontramos que hay exactamente tres complejos que cumplen la ultima ecuaci n, o

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

13

3 1 w1 = +i 2 2

3 1 w2 = +i 2 2

w3 = i

por lo tanto, los z que satisfacen (z 1 + 2i)3 = i ser n a z1 = w1 + 1 2i Es decir, , z2 = w2 + 1 2i z2 = 1 , z3 = w3 + 1 2i

3 3 z1 = +1 i , 2 2

3 3 i 2 2

z3 = 1 3i

Teniendo en cuenta lo hecho en el inciso anterior y que z j w j = 1 2i ( j = 1, 2, 3)

podemos decir que los z que satisfacen (z 1 + 2i)3 = i son tambi n v rtices de un tri ngulo e e a equil tero, ahora inscripto en la circunferencia de radio 1 pero con centro en 1 2i a

-1 z2 -2 z1

z3

Inciso c) Siguiendo el razonamiento del inciso anterior, vamos a encontrar primero todos los w C que satisfacen, w5 = 2 + 2i para concluir nalmente que los z buscados ser n a z = w + 1 2i (siendo w cada uno de los anteriores)

14

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

N Calculamos el m dulo de w o |w|5 = | 2 + i 2| = 2 + 2 = 2 por lo tanto, todos los w que buscamos tienen |w| = 5 2

N Calculamos los argumentos de los w que buscamos Como ya conocemos el m dulo, podemos escribir o 5 w = 2(cos arg w + i sen arg w) elevando a la quinta y recordando De Moivre, w5 = 2(cos 5 arg w + i sen 5 arg w) tenemos entonces 2(cos 5 arg w + i sen 5 arg w) = pero 2+i 2

( ) 2 + i 2 = 2 cos + i sen 4 4 por lo tanto, la condici n sobre arg w es o ( ) 2(cos 5 arg w + i sen 5 arg w) = 2 cos + i sen 4 4 cos 5 arg w = cos 4 sen 5 arg w = sen
4

es decir,

lo cual, teniendo en cuenta la periodicidad del seno y del coseno, equivale a decir 5 arg w = o sea, + 2k 4 (k Z)

2k + (k Z) 20 5 Y ahora, para comprobar que a pesar de haber innitos valores de k, s lo hay nitos w que o son soluci n, procedemos como en el inciso a); i.e., aplicamos el algoritmo de divisi n o o para dividir a k por 5 arg w = k = 5q + r con lo cual 2k = 2(5q + r) = 2r + 2.5q (para unicos enteros q y 0 r < 5) (para unicos enteros q y 0 r < 5)

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

15

y entonces 2k 2r = + 2q 5 5 Finalmente, como ) ( ) ( ) 2k 2r 2r + = cos + + 2q = cos + cos 20 5 20 5 20 5 ( y ) ( ) ( ) 2k 2r 2r sen + = sen + + 2q = sen + 20 5 20 5 20 5 2 + i 2 y son ( (para unicos enteros q y 0 r < 5)

llegamos a que hay exactamente 5 complejos w que satisfacen w5 = ( ( ) ( )) 2r 2r 5 wr = 2 cos + + i sen + 20 5 20 5

(r = 0, 1, 2, 3, 4)

w1

w2 w0

w3 w4

Resulta entonces que hay exactamente 5 complejos z que satisfacen (z 1 + 2i)5 = 2 + 2i

16

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

y son

[ ] (8r + 1) (8r + 1) 5 5 zr = 2 cos 2 sen +1 + i 2 20 20

(r = 0, 1, 2, 3, 4)

w1 w2 w0 1 w3 z2 -2 z0 w4 z1

z3

z4

Ap ndice e Races n simas de la unidad e

Llamamos as a los complejos z que satisfacen zn = 1 (n N jo)

Despu s de lo hecho reci n, esto nos va a resultar mucho m s simple. Comenzamos por e e a calcular el m dulo de tales z. Debe ser o |z|n = 1 es decir, todos estos z est n sobre la circunferencia unitaria. Lo unico que nos falta determia nar es su argumento. Para ello escribimos a z en forma trigonom trica e z = cos arg z + i sen arg z elevamos a la n y usamos De Moivre, zn = cos n arg z + i sen n arg z entonces, como zn debe ser 1, cos n arg z + i sen n arg z = 1

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

17

es decir,

cos n arg z = 1 sen n arg z = 0 cos n arg z = 1

y siendo que cada vez que el coseno vale 1, el seno se anula, esto equivale a

o sea, n arg z = 2k y por consiguiente los valores de arg z que buscamos son 2k (k Z) n para determinar cu ntos z realmente hay usamos el algoritmo de divisi n para dividir al a o entero k por el natural n arg z = k = nq + r con lo cual, 2k 2nq + 2r 2r = = + 2q (para unicos enteros q y 0 r < n) n n n y dada la periodicidad del seno y del coseno vemos que hay exactamente n races n simas e de la unidad que son 2r 2r + i sen n n Si tomamos en particular n = 4, obtenemos zr = cos z0 = 1 , z1 = i , z2 = 1 , z3 = i (r = 0, 1, . . . , n 1) (para unicos enteros q y 0 r < n) (k Z)

que resultan ser los v rtices de un cuadrado inscripto en la circunferencia unitaria e

-1

-i

En el caso general, las races n nsimas de la unidad son los v rtices de un polgono regular e e de n lados inscripto en la circunferencia unitaria, siendo siempre uno de sus v rtices z = 1. e

18

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

7. En cada caso indique, y represente gr camente, qu subconjuntos del plano complejo dea e terminan las siguientes condiciones a) |z 2 + 3i| = 2 b) |z 2 + 3i| 2

c) |z 2 + 3i| > 2 d) arg z = 2 3 e) arg z ( , ) 4 4 f) < arg(w 2) < 4

4

g) arg z ( , ) y Re(z) 4 4

Inciso a) Recordando lo hecho en el Ejercicio 5 |z 2 + 3i| = |z (2 3i)| = distancia de z a 2 3i por lo tanto, |z 2 + 3i| = 2 signica que los z buscados son los que distan 2 de 2 3i. Claramente esto representa la circunferencia de radio 2 centrada en 2 3i

-3

2-3i

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

19

Inciso b) Ahora debemos agregar su interior a la circunferencia del inciso anterior, dado que ah est n a los que distan del centro menos que 2.

-3

2-3i
Nota: como pide |z 2 + 3i| Inciso c) En este caso la condici n es que z diste m s que 2 del centro. Por lo tanto, el conjunto resulta o a ser el exterior de la circunferencia, excluy ndola, dado que la desigualdad es estricta. e

2, el borde est incluido. a

-3

2-3i

20

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

Inciso d)

Al jar el argumento estamos determinando una semirrecta y, en realidad, todos sus puntos deben ser incluidos ya que no se est condicionando el m dulo a o

/3

Inciso e)

Esta regi n est limitada por las semirrectas arg z = y arg z = o a 4

/4 /4

Como las desigualdades son estrictas, las semirrectas arg z = y arg z = 4 cluidas.

no est n ina

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

21

Inciso f)

Para poder entender mejor lo que nos pide el ejercicio, analicemos primero la siguiente situaci n o

w' b

w-(a+bi) a

De la denici n de suma de vectores 4 resulta que el angulo que forma w (a + bi) con el o semieje real positivo es igual al que forma w con la semirrecta L, que es paralela al eje real. Por lo tanto si, por ejemplo, nos pidieran hallar el conjunto de complejos w tales que 3 arg(w (a + ib)) = , obtendramos como resultado 4

S z' w z=w-(a+bi) 3/4 u=w'-(a+bi) a u' b w' 3/4 L

Vemos as que todos los w cuyo extremo est sobre la semirrecta S satisface que su diferencia a con a + bi es paralela y con el mismo sentido que esta semirrecta, con lo cual su argumento 3 es siempre . 4
4

a partir de la regla del paralelogramo

22

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

Por lo tanto, las semirrectas L1 : resultan ser arg(w 2) = 4 , L2 : arg(w 2) = 4

5

L2

/4 1 2 /4

L1

y entonces, la respuesta a este inciso es

/4 1 2 /4

Inciso g)

La regi n del plano que tratamos de determinar es claramente la intersecci n de la que eno o contramos en el inciso e) con
5

Desde luego aqu debemos pedir que w

2 dado que no est denido el argumento del origen. a

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

23

Entonces, la respuesta en este caso es

/4 /4

8. Inyectividad de la exponencial compleja sobre bandas horizontales Consideremos la banda horizontal B = R [0, 2) = {x + iy | 0 y < 2} C

cuyo ancho es 2. Dado u + iv C muestre que hay un unico z B tal que ez = u + iv

Tenemos dos trabajos por hacer: encontrar un z y luego ver que no puede haber otro. La siguiente gura ilustra esta situaci n o

24

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

4 B'

x'+iy' B

x+iy 1 x' = x y' = y+2

u+iv

Si escribimos z = x + iy tenemos que hallar x e y de modo que e x+iy = u + iv Recordando la denici n de la exponencial compleja, esto es decir o e x cos y + ie x sen y = u + iv Calculando el m dulo de cada miembro encontramos x pues debe ser o ex = o sea, x = ln u2 + v2 (con 0 y < 2) (con 0 y < 2)

u2 + v2

y ahora, igualando partes real e imaginaria 6 obtenemos que y debe cumplir u cos y = u2 + v2 (1) sen y = v u2 + v2 ) ( v u , es unitario; entonces, lo visto en el Ap ndice del ejerPero el vector e u2 + v2 u2 + v2 cicio 3 nos permite asegurar que en [0, 2) 7 hay un unico y que satisface (1).
y reemplazando e x por u2 + v2 7 y tambi n en cualquier otro intervalo de longitud 2 e
6

FAC. DE INGENIERIA UCA ALGEBRA Y GEOMETRIA Primer Cuatrimestre 2011 Complemento de la Pr ctica 1 a

25

Hemos encontrado el z que busc bamos y adem s obtuvimos la unicidad pues a a x = ln u2 + v2 e y es el unico que cumple (1) y est en el intervalo [0, 2) a Como caso particular vamos a considerar la situaci n de la gura. Ah tomamos o 2 6 u + iv = +i 2 2 En este caso resulta que los valores de x e y est n dados por a cos y = 1 x 2 , e = 2 , sen y = 3 2 o sea, x = ln 2 , y= 3

y < 2

De modo que el unico z que satisface 2 6 z e = +i 2 2 es z = ln

zB

2+i 3

Con referencia al x + iy que se representa en la gura, resulta ser ( ) x + iy = ln 2 + i + 2 = z + 2i 3 2 6 y es el unico complejo de la banda horizontal B al que la exponencial manda a +i . 2 2