Universidad Tecnica Federico Santa Mara

Departamento de Inform atica

ValparasoSantiago
Computacion Cientca I
Solucion Certamen N
o
1 Sabado 01 de Abril de 2007
1
1. Sean a, b, c R
3
. El producto cruz en R
3
se dene mediante:
a b =

e
1
e
2
e
3
a
1
a
2
a
3
b
1
b
2
b
3

= e
1
_
a
2
b
3
a
3
b
2
_
e
2
_
a
1
b
3
a
3
b
1
_
+ e
3
_
a
1
b
2
a
2
b
1
_
(1)
donde
_
e
1
, e
2
, e
3
_
es la base canonica de R
3
. Demuestre o refute:
_
a b
_
T
.
_
_
b c
_

_
c a
_
_
=
_
det
_
a

c
_
2
. (2)
Desarrollo. De (1) se desprende que:
a b =
_
_
a
2
b
3
a
3
b
2
a
1
b
3
a
3
b
1
a
1
b
2
a
2
b
1
_
_
_
b c
_

_
c a
_
=

e
1
e
2
e
3
b
2
c
3
b
3
c
2
b
1
c
3
+ b
3
c
1
b
1
c
2
b
2
c
1
c
2
a
3
c
3
a
2
c
1
a
3
+ c
3
a
1
c
1
a
2
c
2
a
1

=
_
a
1
b
2
c
3
a
1
b
3
c
2
+ a
2
b
3
c
1
a
2
b
1
c
3
+ a
3
b
1
c
2
a
3
b
2
c
1
_
_
_
c
1
c
2
c
3
_
_
=

a
1
b
1
c
1
a
2
b
2
c
2
a
3
b
3
c
3

_
_
c
1
c
2
c
3
_
_
,
de donde resulta:
_
a b
_
T
.
__
b c
_

_
c a
__
=

a
1
b
1
c
1
a
2
b
2
c
2
a
3
b
3
c
3

_
_
a
2
b
3
a
3
b
2
a
1
b
3
a
3
b
1
a
1
b
2
a
2
b
1
_
_
T
_
_
c
1
c
2
c
3
_
_
=

a
1
b
1
c
1
a
2
b
2
c
2
a
3
b
3
c
3

_
c
1
_
a
2
b
3
a
3
b
2
_
+ c
2
_
a
1
b
3
a
3
b
1
_
+ c
3
_
a
1
b
2
a
2
b
1
_
_
=

a
1
b
1
c
1
a
2
b
2
c
2
a
3
b
3
c
3

a
1
b
1
c
1
a
2
b
2
c
2
a
3
b
3
c
3

=
_
det
_
a

c
_
2
,
lo que demuestra la identidad (2).
1
c Luis Salinas Carrasco, Valparaso, 6 de mayo de 2007. De antemano se agradece toda correccion, crtica
o comentario que el amable lector tenga a bien hacer llegar a luis.salinas@usm.cl.
1
2. Considere la matriz cuadrada tridiagonal:
D
n
=
_

_
1 i sin

4
0 . . . 0 0 0
i sin

4
1 i sin
2
4
. . . 0 0 0
0 i sin
2
4
1 . . . 0 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 . . . 1 i sin
(n2)
4
0
0 0 0 . . . i sin
(n2)
4
1 i sin
(n1)
4
0 0 0 . . . 0 i sin
(n1)
4
1
_

_
, n N, (3)
donde i
2
= 1.
(a) Calcule det D
4
y det D
8
.
(b) Despues de (a), Ud. ya debera saber calcular todos los det D
4n
. Cuanto vale det D
4n
?
(c) Escriba un programa en pseudoc odigo para calcular det D
2007
. En el contexto de esta tarea,
discuta brevemente el escandaloso conicto entre Gauss y Laplace.
(d) Yapa: Por un puntaje adicional signicativo, calcule explcitamente det D
2007
.
Desarrollo. (a) Observamos que:
det D
4
= det
_

_
1
i

2
0 0

2
1 i 0
0 i 1
i

2
0 0
i

2
1
_

_
=

1
i

2
0

2
1 i
0 i 1

1
i

2
0

2
1 i
0 0
i

=
_
1 1
1
2
_

1
2
_
1
1
2
_
=
3
4
.
Sobre esta base obtenemos ahora:
det D
8
= det
_

_
1
i

2
0 0 0 0 0 0

2
1 i 0 0 0 0 0
0 i 1
i

2
0 0 0 0
0 0
i

2
1 0 0 0 0
0 0 0 0 1
i

2
0 0
0 0 0 0
i

2
1 i 0
0 0 0 0 0 i 1
i

2
0 0 0 0 0 0
i

2
1
_

_
= det
_
D
4
0
0 D

4
_
= det D
4
det D

4
= (det D
4
)
2
=
_

3
4
_
2
=
_
3
4
_
2
.
Esto responde (a).
(b) De la parte (a) resulta ahora evidente que det D
4n
=
_
3
4
_
n
para todo n N. El lector esceptico
podra demostrar este resultado mediante induccion.
(c) Hay varios algoritmos posibles para calcular det D
2007
. Quizas el mas simple de todos se base en
la igualdad:
det D
2007
= det D
4501
det
_

_
1
i

2
0

2
1 i
0 i 1
_

_ =
_

3
4
_
501
_
1 1
1
2
_
=
1
2
_
3
4
_
501
,
cuya programacion es directa.
Otra solucion posible consiste en hacer el desarrollo de Laplace de det D
n
con respecto a la ultima
columna (resp., la ultima la):
det D
n
= det D
n1
i sin
(n1)
4
det
_

_
1 i sin

4
. . . 0 0 0
i sin

4
1 . . . 0 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . 1 i sin
(n3)
4
0
0 0 . . . i sin
(n3)
4
1 i sin
(n2)
4
0 0 . . . 0 0 i sin
(n1)
4
_

_
= det D
n1
i sin
(n1)
4
_
i sin
(n1)
4
_
det D
n2
= det D
n1
sin
2
_
(n1)
4
_
det D
n2
, 3 n N.
Esta ecuacion de recurrencia, junto con las condiciones iniciales:
D
1
= 1 , D
2
= 1 sin
2
4
= cos
2
4
=
1
2
,
permite calcular det D
n
para todo 3 n N. Nuevamente, la programacion es directa.
Todava otra solucion posible consiste en aplicar el metodo de la eliminacion Gaussiana. Para discutir
con mayor simplicidad los aspectos esenciales de este algoritmo, supondremos que tenemos la matriz
D
n
almacenada en un arreglo bidimensional D
n
[i, j], i = 1 : n, j = 1 : n + 1, con D
n
[i, n + 1] = 0
para todo i = 1, n. Hemos agregado la (n + 1)-esima columna de ceros solamente para simplicar el
algoritmo (se evita as un tratamiento diferente para la ultima la del arreglo D
n
[i, j]). Obviamente
esta suposicion representa un enorme desperdicio de memoria pues D
n
es una matriz tridiagonal
Hermitiana. No obstante, las diversas optimizaciones posibles seran mas que evidentes; ellas quedan
de tarea.
Algoritmo 1 Eliminacion Gaussiana
i := 2
Det := 1
while i n do
for j := i 1 to i + 1 do
D
n
[i, j] D
n
[i, j] D
n
[i 1, j] D
n
[i, i 1]/D
n
[i 1, i 1]
end for
Det Det D
n
[i, i]
end while
Observese que la clausula de actualizacion de las celdas D
n
[i, j] corresponde a la substraccion a la
i-esima de un m ultiplo de la (i 1)-esima la. Tal operacion no altera el valor del determinante. La
matriz resultante de la aplicacion del algoritmo precedente a la matriz inicial D
n
[i, j], i, j = 1 : n,
es una matriz triangular superior, de modo que el valor nal de la variable Det es el valor del
determinante det D
n
.
La complejidad de eliminacion Gaussiana aplicada la calculo de un determinante general , con pocos
o ning un coeciente nulo, es de orden n
3
. La misma complejidad para la expansion de Laplace
es, como se sabe, de orden n!. La diferencia de complejidad entre ambos metodos es, ciertamente,
escandalosa. Sin embargo, en el calculo del determinante det D
n
, no hay ning un conicto pues D
n
es una matriz tridiagonal: la complejidad de ambos metodos es del mismo orden aproximadamente.
Queda de tarea calcular exactamente la complejidad de ambos metodos para matrices tridiagonales.
3. Con referencia a la matriz D
n
de (3):
(a) Determine el spektrum (D

4
D
4
) =
_

1
,
2
,
3
,
4
_
de D

4
D
4
.
(b) Sea A
1
=
1
I
4
D
4
D
4
. Calcule Null(A
1
) y Col(A
1
).
(c) Ortonormalice los vectores columnas de A
1
.
(d) Yapa: Por un puntaje adicional signicativo, calcule las normas espectral y natural de A
1
.
Desarrollo. (a) Un calculo directo muestra que la matriz M := D

4
D
4
y su polinomio caracterstico
p
M
() p
D

4
D
4
() vienen dados, respectivamente, por:
M := D

4
D
4
=
_

_
1
2
0
1

2
0
0
1
2
0
1

2
1

2
0
1
2
0
0
1

2
0
1
2
_

_
, p
M
() p
D

4
D
4
() =
1
16
_
3 4
2
_
2
.
Luego, el spektrum de M := D

4
D
4
viene dado por (D

4
D
4
) =
_

3
2
,

3
2
_
, donde cada uno de los
valores propios tiene multiplicidad algebraica 2.
(b) Elijamos
1
=

3
2
. Entonces:
A
1
=
1
I
4
D

4
D
4
_

_
1

3
2
0
1

2
0
0
1

3
2
0
1

2
0
1

3
2
0
0
1

2
0
1

3
2
_

_
Evidentemente A
1
es una matriz real simetrica. Observamos que:
x Null(A
1
) A
1
. x = 0 ,
A
1,k
. x =
_
k-esima la de A
1
_
. x = 0 , k = 1 : 4 ,

_
A

1
_
T
. x =
_
-esima columna de A
1
_
. x = 0 , = 1 : 4 (A
1
es simetrica) ,
x Col(A
1
)
T
.
Por consiguiente, bastara hallar una base ortonormal B = {b
1
, b
2
, b
3
, b
4
} de R
4
tal que (por ejemplo)
{b
1
, b
2
} constituya una base Col(A
1
). Entonces, automaticamente {b
3
, b
4
} sera una base de Null(A
1
).
Para hallar tal base basta aplicar adecuadamente el metodo de ortonormalizacion de Gram-Schmidt,
partiendo de los vectores columnas de A
1
:
b
1
=
A
1
1
A
1
1

=
_

_
3+

3
6
, 0 ,
1

3+

3
, 0
_
T
,
b
2
=
A
2
1
(A
2
1
.b
1
).b
1
A
2
1
(A
2
1
.b
1
).b
1

=
_
0 ,
_

31
2

3
, 0 ,
1

3
, 0
_
T
.
Facilmente se verica que A
3
1
y A
4
1
estan en el espacio generado por b
1
y b
2
. En efecto, se comprueba
que:
A
3
1

_
A
3
1
.b
1
_
b
1

_
A
3
1
.b
2
_
b
2
= A
4
1

_
A
4
1
.b
1
_
b
1

_
A
4
1
.b
2
_
b
2
= 0 .
Se deduce de aqu, entonces, que Col(A
1
) efectivamente es generado por los vectores b
1
y b
2
. Evi-
dentemente, Col(A
1
) tambien queda generado por las dos primeras columnas de la matriz A
1
. Ello
responde la primera parte de la pregunta (b).
Para hallar b
3
y b
4
podemos partir de dos vectores arbitrarios que no esten en el espacio generado
por b
1
y b
2
, por ejemplo, U =
_
0, 1, 0, 0

T
y V =
_
0, 0, 1, 0

T
. Se obtiene:
b
3
=
U (U.b
1
).b
1
(U.b
2
).b
2
U (U.b
1
).b
1
(U.b
2
).b
2

=
_
0 ,
_
3+

3
6
, 0 ,
1

3+

3
_
T
,
b
4
=
V (V.b
1
).b
1
(V.b
2
).b
2
(V.b
3
).b
3
V (V.b
1
).b
1
(V.b
2
).b
2
(V.b
3
).b
3

=
_
1

3+

3
, 0 ,
_
3+

3
6
, 0
_
T
.
Facilmente se verica que:
b
T
1
.b
1
= b
T
2
.b
2
= b
T
3
.b
3
= b
T
4
.b
4
= 1 ,
b
T
1
.b
2
= b
T
1
.b
3
= b
T
1
.b
4
= b
T
2
.b
3
= b
T
2
.b
4
= b
T
3
.b
4
= 0 ,
i.e., {b
1
, b
2
, b
3
, b
4
} es una base ortonormal de R
4
tal que {b
1
, b
2
} es una base de Col(A
1
) y, por lo
tanto, {b
3
, b
4
} es una base de Null(A
1
), lo que responde la segunda parte de (b).
(c) En el desarrollo de (b) ya se efectuo la ortonormalizacion pedida: ella viene dada por los vectores
b
1
y b
2
.
Nota sine qua non: Duraci on del certamen: 90 minutos. El certamen debe ser resuelto indi-
vidualmente con un bolgrafo de tinta indeleble. Buena suerte!
Your CC1 Team: LS+Teaching Assistants/lsc, 6 de mayo de 2007