Ejercicio 5.

10
Hay que calcular un vector unitario ortogonal a los vectores (1, 2, 3, 0) y (1, 1,
0, 0)

--> v:[x,y,z,t];
u1:[1,2,3,0];
u2:[1,1,0,0];
(%o1) [x, y, z, t]
(%o2) [1, 2, 3, 0]
(%o3) [1, 1, 0, 0]
El comando
innerproduct( , )
es el producto escalar estándar. Para usarlo se necesitar cargar previamente
load(eigen)

--> load(eigen);

(%o4) D : /ARCHIV 1/M AXIM A 1.1/share/maxima/5.20.1/share/matrix/eigen.mac

Entonces, las ecuaciones que debe cumplir son: Las que se deducen de la im-
posición v ortogonal a u1 y v ortogonal a u2.

--> innerproduct(v,u1)=0;

(%o5) 3 z + 2 y + x = 0

--> innerproduct(v,u2)=0;

(%o6) y + x = 0

--> innerproduct(v,v)=1;

(%o7) z 2 + y 2 + x2 + t2 = 1

--> linsolve([3*z+2*y+x=0 , y+x=0], [x,y,z,t]);

(%o8) [x = 3 %r2, y = −3 %r2, z = %r2, t = %r1]

El conjunto de soluciones del sistema se interpreta como sigue:
el subespacio ortogonal al generado por (1,2,3,0) y (1,1,0,0) es un subespacio de
R^4 de dimensión 2 (hay dos parámetros %r1 y %r2). El vector pedido es de la
forma:

1
(3*%r2,-3*%r2,%r2,%r1)
y además, para que sea unitario, es decir, de norma 1.

--> (3*%r2)^2+(-3*%r2)^2+(%r2)^2+(%r1)^2=1;
2 2
(%o9) 19 %r2 + %r1 = 1
Existen infinitos vectores de la forma (3*%r2,-3*%r2,%r2,%r1) de R^4 que son
solución de la ecuación 19*%r2^2+%r1^2=1. Comprobación de que (3sqrt(1/19),
-3sqrt(1/19), sqrt(1/19),0) es unitario y ortogonal a u1 y u2

--> a:[3*sqrt((1)/19), -3*sqrt((1)/19) , sqrt((1)/19), 0];

3 3 1
(%o10) [ √ , − √ , √ , 0]
19 19 19
unitario,

--> innerproduct(a,a);

(%o11) 1
ortogonal a u1 y u2

--> innerproduct(a,u1);

(%o12) 0

--> innerproduct(a,u2);

(%o13) 0