Examen Final de Álgebra y Geometrı́a Analı́tica

Modelo de Resolución
15 de febrero de 2022

Ejercicio 1. Consideremos el haz de planos de ecuación α(2x − y + k) + β(z − x − y) = 0 con

α, β, k ∈ R.
1−y
(a) Hallar, si existe, un plano en el haz tal que la proyección de la recta r : x − 2 = =z+3
2
sobre el mismo sea (2, 1, −3).
(b) Calcular la distancia entre L : (x, y, z) = λ(1, 2, 1) + (2, 0, 1), con λ ∈ R, y el plano del haz que
se obtiene cuando α = k = 1 y β = 0.

Resolución

(a) Primero recordemos que el único caso en el cual la proyección de una recta sobre un plano es
un punto, se da cuando la recta es ortogonal al plano. Es decir, si ~v es un vector director de la
recta y ~n es un vector normal al plano entonces estos vectores deben ser paralelos.
Para hallar ~v llevemos la recta r a sus ecuaciones simétricas:
1−y
r :x − 2 = = z + 3,
2
y−1
x−2=− = z + 3,
2
y−1
x−2= = z + 3.
−2
Entonces, mirando los denominadores, podemos elegir ~v = (1, −2, 1).
Por otro lado, sabemos que el plano pertenece al haz, cuya ecuación podemos reescribir de la
siguiente manera:
α(2x − y + k) + β(z − x − y) = 0,
(2α − β)x − (α + β)y + βz + αk = 0.
Final AGA Andrea Rey

Luego, podemos elegir ~n = (2α − β, −α − β, β).

Como ya dijimos, estos vectores deben ser paralelos con lo cual debe existir t ∈ R tal que

~n = t~v ,
(2α − β, −α − β, β) = t(1, −2, 1).

Igualando coordenadas, 
2α − β = t,

−α − β = −2t,

β = t.


Reemplazando la tercera ecuación en la primera, tenemos que

2α − t = t =⇒ 2α = 2t =⇒ α = t.

Finalmente, verificamos que se cumple la segunda ecuación ya que −α − β = −t − t = −2tX.

Si tomamos t = 1 entonces ~n = (1, −2, 1), con lo cual ecuación implı́cita del plano pedido debe
ser de la forma
x − 2y + z + k = 0.
Para hallar el valor de k podemos usar que el punto que resulta de la proyección de r sobre el
plano pertenece al mismo. Entonces, reemplazando (2, 1, −3) en la ecuación del plano, tenemos
que
2 − 2 − 3 + k = 0 =⇒ k = 3.
Ası́, existe el plano pedido y su ecuación es:

x − 2y + z + 3 = 0 .

(b) Reemplazando los valores α = k = 1 y β = 0 en la ecuación del haz, tenemos que la ecuación
implı́cita del plano es:
π : 2x − y + 1 = 0.
Podemos decir que ~n = (2, −1, 0) es un vector normal al plano π. Por otro lado, de la ecuación
vectorial de la recta L, sabemos que ~v = (1, 2, 1) es un vector director. Observemos lo siguiente:

~n · ~v = (2, −1, 0) · (1, 2, 1) = 2 − 2 + 0 = 0 =⇒ ~n ⊥ ~v =⇒ π k L.

Hemos probado que la recta y el plano son paralelos, por lo para calcular la distancia entre ellos
alcanza con calcular la distancia de un punto de la recta al plano, por ejemplo P = (2, 0, 1).
Entonces,
|2 · 2 − 0 + 1| 5 √
d(π, L) = d(π, P ) = = √ = 5.
k(2, −1, 0)k 5

Página 2
Final AGA Andrea Rey

Ejercicio 2. Definir, si existe, una transformación lineal T : R2×2 → R3 tal que su núcleo contenga
a las matrices antisimétricas
(a) y además sea un epimorfismo (suryectiva).

(b) y además no sea un epimorfismo.

Resolución
Primero recordemos que una matriz A es antisimétrica si A = −At . En este ejercicio, como se
pide que el núcleo de T contenga a este tipo de matrices y N u(T ) ⊆ Dom(T ) = R2×2 , tenemos que
A ∈ R2×2 . Entonces,

A = −At ,
   
a b −a −c
= .
c d −b −d

Igualando coordenadas, tenemos que:



 a = −a, =⇒ a = 0 ,

b = −c,


 c = −b,
d = −d =⇒ d = 0 .


La segunda y la tercera ecuación son equivalentes. Ası́, una matriz antisimétrica de tamaño 2 × 2
es de la forma:    
0 b 0 1
=b .
−b 0 −1 0
 
0 1
Esto prueba que es una base del subespacio formado por las matrices antisimétricas
−1 0
siendo el mismo de dimensión 1.
Pasemos ahora a analizar cada inciso.
(a) Por el Teorema de la Dimensión, sabemos que

dim(N u(T )) + dim(Im(T )) = dim(Dom(T )) = dim R2×2 = 4.

Si T es un epimorfismo, debe cumplirse que Im(T ) = Codom(T ) = R3 , con lo cual dim(Im(T )) =

3 y entonces dim(N u(T )) = 1. En este caso, como vimos que el subespacio formado por las
matrices antisimétricas tiene dimensión 1 y el mismo está contenido en el núcleo de la transfor-
mación, ambos subespacios son iguales.

Página 3
Final AGA Andrea Rey

Para definir la transformación vamos a usar el Teorema Fundamental de las Transforma-

ciones Lineales (TFTL). Definimos T : R2×2 → R3 como
 
0 1
T = (0, 0, 0),
−1 0
 
1 0
T = (1, 0, 0),
0 0
 
0 1
T = (0, 1, 0),
0 0
 
0 0
T = (0, 0, 1).
0 1

La primera condición es para que se cumpla lo que se pide para el núcleo, mientras que las tres
restantes hacen que la imagen tenga dimensión 3. Lo único que nos restarı́a ver es la hipótesis
del TFTL que dice que la buena definición se da si la transformación lineal está definida sobre
una basedel
  dominio,
  que  es este
caso tiene dimensión 4. Luego, alcanza con probar que
0 1 1 0 0 1 0 0
, , , es linealmente independiente. Planteamos entonces
−1 0 0 0 0 0 0 1
         
0 1 1 0 0 1 0 0 0 0
α +β +γ +δ = ,
−1 0 0 0 0 0 0 1 0 0
   
β α+γ 0 0
= .
−α δ 0 0

Igualando coordenadas, tenemos que:




 β=0,

α + γ = 0,


 −α = 0 =⇒ α = 0 =⇒ γ = 0 ,

δ=0.

Hemos probado que todos los escalares se anulan por lo que las matrices son l.i. y al ser 4,
forman una base de R2×2 .

(b) El razonamiento para este punto es análogo al anterior sólo que para que T no se un epimorfismo
hay que pedir que dim(Im(T )) ≤ 2, lo que implica que dim(N u(T )) ≥ 2 por el Teorema de la

Página 4
Final AGA Andrea Rey

Dimensión. En este caso definimos T : R2×2 → R3 como

 
0 1
T = (0, 0, 0),
−1 0
 
1 0
T = (0, 0, 0),
0 0
 
0 1
T = (0, 1, 0),
0 0
 
0 0
T = (0, 0, 1).
0 1

Las dos primeras condiciones hacen que el núcleo tenga dimensión 2, mientras que las dos últimas
condiciones hacen que la imagen también tenga dimensión 2. Esto cumple con el Teorema de la
Dimensión. Observemos además que la primera condición se pide para que el núcleo contenga a
las matrices antisimétricas. Como los elementos sobre los cuales se define la transformación son los
mismos que los del ı́tem anterior, ya vimos que forman una base del dominio por lo cual el TFTL
garantiza la buena definición.

Ejercicio 3. Sean B = {(1, 2, 3), (0, 1, 1), (0, 1, −1)} y B 0 = {(0, 0, 1), (1, 0, 0), (0,
−1, 0)} dos bases

4 1 1
de R3 . Sea T : R3 → R3 la transformación lineal definida mediante MBB 0 (T ) =  k 1 −1.
−2 −1 −1

(a) Hallar, todos los k ∈ R para que (1, 0, 1) sea un autovector de T .

(b) Hallar, todos los k ∈ R para que exista T −1 .

Resolución

(a) Recordemos que si v es un autovector de T , entonces existe un λ ∈ R tal que T (v) = λv.
Debemos tener en cuenta que conocemos la matriz asociada de la transformación, por lo que
vamos a usar el siguiente resultado:

MBB 0 (T )[v]B = [T (v)]B 0 .

Página 5
Final AGA Andrea Rey

Entonces, necesitamos calcular las coordenadas del vector (1, 0, 1) en la base B. Para lo cual
planteamos:

(1, 0, 1) = α(1, 2, 3) + β(0, 1, 1) + γ(0, 1, −1) = (α, 2α + β + γ, 3α + β − γ).

De la primera componente observamos que α = 1. Usando la segunda componente, vemos

que 0 = 2 + β + γ =⇒ γ = −β − 2. Finalmente, de la tercera componente tenemos que
1 = 3 + β + β + 2 =⇒ 2β = −4 =⇒ β = −2 =⇒ γ = 0. Ası́,
    
4 1 1 1 2
MBB 0 (T )[(1, 0, 1)]B =  k 1 −1 −2 = k − 2 = [T (1, 0, 1)]B 0 .
−2 −1 −1 0 0

Usando la definición de coordenadas, tenemos que

T (1, 0, 1) = 2(0, 0, 1) + (k − 2)(1, 0, 0) + 0(0, −1, 0) = (k − 2, 0, 2).

Retomando la definición de autovector,

(k − 2, 0, 2) = T (1, 0, 1) = λ(1, 0, 1).

Igualando componentes vemos que


k − 2 = λ,

0 = 0, X

2 = λ =⇒ k − 2 = 2 =⇒ k = 4 .


(b) Para que exista T −1 , T debe ser un isomorfismo (biyectiva) lo que es equivalente a que la
matriz asociada a la transfomación sea inversible. Sabemos que una matriz es inversible si
su determinante no es cero. Calculamos el determinante de MBB 0 (T ) usando el desarrollo de
Laplace por la primera fila:
 
4 1 1       
  1 −1  k −1  k 1 
k
 1 −1 −1 −1 −2 −1 −2 −1 = 4 · (−2) − (−k − 2) + (−k + 2)
 = 4

− + 
−2 −1 −1
= −8 + k − 2 − k + 2 = −8 + k + 2 − k + 2 = −4 6= 0.

Hemos probado que, sin importar el valor de k, el determinante nunca se anula. Luego, existe
T −1 para todo k ∈ R .

Página 6
Final AGA Andrea Rey

Ejercicio 4. Sea la ecuación x2 + A(y − 1)2 + (z − 3)2 − 2x + A2 = 0.

(a) Hallar todos los valores de A ∈ R para que la misma represente un cono.

(b) Para A = −2, indicar el tipo de superficie resultante y dar una parametrización de la curva que
se obtiene al intersecarla con el plano z = 3.

Resolución
Lo primero que vamos a hacer es completar cuadrados:

x2 − 2x + A(y − 1)2 + (z − 3)2 + A2 = 0,

(x − 1)2 − 1 + A(y − 1)2 + (z − 3)2 + A2 = 0,
(x − 1)2 + A(y − 1)2 + (z − 3)2 = 1 − A2 .

(a) Para que la ecuación represente un cono debe pasar que 1−A2 = 0 ⇐⇒ A = ±1. Además, en la
ecuación del cono (una vez completados cuadrados) los coeficientes de las expresiones elevadas
al cuadrado deben ser dos del mismo signo y el tercero de signo contrario. Concluimos entonces
que A = −1 .

(b) Reemplazando A = −2 en la ecuación obtenida luego de completar cuadrados, tenemos la

superficie dada por:

(x − 1)2 (y − 1)2 (z − 3)2

(x − 1)2 − 2(y − 1)2 + (z − 3)2 = −3 ⇐⇒ − + − = 1.
3 3/2 3

Podemos decir que esta ecuación corresponde a un hiperboloide de dos hojas .

Cuando intersecamos con el plano z = 3, obtenemos la ecuación

(x − 1)2 (y − 1)2
− + = 1,
3 3/2

que corresponde a una hipérbola con centro (1, 1, 3) y eje focal paralelo al eje de ordenadas.
Luego, una posible parametrización de esta curva es:
 √

 x = 3 tg(θ) + 1,
 y = p3/2 sec(θ) + 1,




 z = 3,
θ ∈ [0, 2π), θ 6= π/2, θ 6= 3π/2.


Página 7
Final AGA Andrea Rey

Ejercicio 5. Analizar si las siguientes afirmaciones son verdaderas o falsas, justificando adecuada-
mente la respuesta.

(a) Sea A ∈ R4×4 tal que su polinomio caracterı́stico es χA (λ) = λ4 − λ2 , y sea S el conjunto
solución del sistema lineal AX = 0. Si dim(S) = 2, entonces A es diagonalizable.

(b) La representación gráfica del conjunto de los z ∈ C que satisfacen

(
4|z − 3|2 + 3Im(z)Im(z̄) + 6Re(iz) − 7 = 0,
0 ≤ arg(z) ≤ π,

es una elipse.

Resolución

(a) Reescribiendo el polinomio caracterı́stico,

χA (λ) = λ4 − λ2 = λ2 (λ2 − 1) = λ2 (λ + 1)(λ − 1).

Los autovalores de A coinciden con las raı́ces de este polinomio que son λ = 0 (doble), λ = 1
(simple) y λ = −1 (simple). Una manera de estudiar si una matriz es diagonalizable es ana-
lizando las multiplicidades algebraicas y geométricas de sus autovalores, que deben coincidir
para asegurar la diagonalización. Los autovalores simples siempre cumplen que tanto su mul-
tiplicidad geométrica como su multiplicidad algebraica valen 1, por lo que restarı́a ver cuánto
vale la multiplicidad geométrica del autovalor doble.
Sabemos que S es el conjunto solución del sistema lineal AX = 0; es decir, si v ∈ S, entonces

Av t = 0 = 0v t ⇐⇒ v es autovector de A de autovalor λ = 0.

Esto prueba que S es en realidad el autoespacio de A asociado al autovalor λ = 0. Como

dim(S) = 2 por hipótesis, el autovalor λ = 0 tiene multiplicidad geométrica igual a 2 que coin-
cide con su multiplidad algebraica puesto que es un autovalor doble. Luego, A es diagonalizable.
Hemos probado entonces que la proposición es VERDADERA .

Página 8
Final AGA Andrea Rey

(b) Comencemos analizando la primera restricción usando la forma binómica del complejo z = x+iy,

4|z − 3|2 + 3Im(z)Im(z̄) + 6Re(iz) − 7 = 0,

4|x + iy − 3|2 + 3Im(x + iy)Im(x − iy) + 6Re[i(x + iy)] − 7 = 0,
4[(x − 3)2 + y 2 ] + 3y(−y) + 6Re[ix − y)] − 7 = 0,
4(x − 3)2 + 4y 2 − 3y 2 − 6y = 7,
4(x − 3)2 + y 2 − 6y = 7,
4(x − 3)2 + (y − 3)2 − 9 = 7,
4(x − 3)2 + (y − 3)2 = 16,
(x − 3)2 (y − 3)2
+ = 1.
4 16

Hemos llegado a la ecuación de una elipse en el plano complejo con centro en 3+3i, cuya gráfica
es:

Im
8
7
6
5
4
3 3 + 3i
•
2
1

Re
−1−1 1 2 3 4 5 6

−2

Sin embargo, al considerar la restricción sobre el argumento, debemos quedarnos con la porción
de curva que se encuentre en el primer y en el segundo cuadrante. Con lo cual concluimos que
la representación gráfica del conjunto pedido es la siguiente:

Página 9
Final AGA Andrea Rey

Im
8
7
6
5
4
3
2
1

Re
−1−1 1 2 3 4 5 6

−2

Vemos entonces que el resultado final no es una elipse, con lo cual la proposición es FALSA .

Página 10