Práctica 8:

(Vuelta a la P7):

1 2 1 2
2 3 0 5
In[ ]:= A1 =
4 9 6 7
1 1 5 5
Out[ ]= {{1, 2, 1, 2}, {2, 3, 0, 5}, {4, 9, 6, 7}, {1, 1, 5, 5}}

In[ ]:= A1s = (A1 + Transpose[A1]) / 2

transposición
5 3 9 5 9 3
Out[ ]= 1, 2, , , 2, 3, , 3,  , , 6, 6,  , 3, 6, 5
2 2 2 2 2 2

In[ ]:= X = {x, y, z, t}

Out[ ]= {x, y, z, t}

In[ ]:= p = Expand[X.A1.X]

expande factores

Out[ ]= 5 t2 + 3 t x + x2 + 6 t y + 4 x y + 3 y2 + 12 t z + 5 x z + 9 y z + 6 z2

In[ ]:= q = (x + a1 y + a2 z + a3 t)2 + b11 (y + b1 z + b2 t)2 + c11 (t + c1 z)2 + d11 z2

Out[ ]= d11 z2 + (a3 t + x + a1 y + a2 z)2 + b11 (b2 t + y + b1 z)2 + c11 (t + c1 z)2

In[ ]:= Coefficientp, x2 , y2 , z2 , t2 , x y, x z, x t, y z, y t, z t

coefficiente

Out[ ]= {1, 3, 6, 5, 4, 5, 3, 9, 6, 12}

In[ ]:= SolveCoefficientp, x2 , y2 , z2 , t2 , x y, x z, x t, y z, y t, z t 

resue⋯ coefficiente

Coefficientq, x2 , y2 , z2 , t2 , x y, x z, x t, y z, y t, z t

coefficiente

5 3 1 9 11 81
Out[ ]= a1  2, a2  , a3  , b1  , b11  - 1, b2  0, c1  , c11  , d11  - 
2 2 2 11 4 44

In[ ]:= q /. % [[1]]

z 2 11 9z 2 81 z2 3t 5z 2
Out[ ]= - y+ + t+ - + +x+2y+
2 4 11 44 2 2

Por pasos:

In[ ]:= q1 = (x + a1 y + a2 z + a3 t)2

Out[ ]= (a3 t + x + a1 y + a2 z)2

In[ ]:= s1 = SolveCoefficientp, x2 , x y, x z, x t  Coefficientq1, x2 , x y, x z, x t

resue⋯ coefficiente coefficiente

5 3
Out[ ]= a1  2, a2  , a3  
2 2
2 P8 matess (3-11-23).nb

In[ ]:= p1 = Expand[p - q1 /. s1〚1〛]

expande factores
2
11 t 9tz z2
Out[ ]= - y2 + -yz-
4 2 4

In[ ]:= q2 = b11 (y + b1 z + b2 t)2

Out[ ]= b11 (b2 t + y + b1 z)2

In[ ]:= s2 = SolveCoefficientp1, y2 , y z, y t  Coefficientq2, y2 , y z, y t

resue⋯ coefficiente coefficiente

1
Out[ ]= b1  , b11  - 1, b2  0
2

In[ ]:= p2 = Expand[p1 - q2 /. s2〚1〛]

expande factores

11 t2 9tz
Out[ ]= +
4 2

In[ ]:= q3 = c11 (t + c1 z)2

Out[ ]= c11 (t + c1 z)2

In[ ]:= s3 = SolveCoefficientp2, t2 , z t  Coefficientq3, t2 , z t

resue⋯ coefficiente coefficiente

9 11
Out[ ]= c1  , c11  
11 4

In[ ]:= Expand[p2 - q3 /. s3〚1〛]

expande factores

81 z2
Out[ ]= -
44

81 z2
In[ ]:= (q1 /. s1〚1〛) + (q2 /. s2〚1〛) + (q3 /. s3〚1〛) -
44
2 2 2
z 2 11 9z 81 z 3t 5z
Out[ ]= - y+ + t+ - + +x+2y+
2 4 11 44 2 2

Práctica 8:

Ejercicio 1:

In[ ]:= Clear[x, y, z, t, a, q, q1, q2, p]

borra

1 -1 2 1
-1 2 -3 1
In[ ]:= M1 =
2 -3 4 + a 0
1 1 0 5 - a + a2
Out[ ]= {1, - 1, 2, 1}, {- 1, 2, - 3, 1}, {2, - 3, 4 + a, 0}, 1, 1, 0, 5 - a + a2 
 P8 matess (3-11-23).nb 3

In[ ]:= Table[Minors[M1, k]〚1, 1〛, {k, 1, 4}]

tabla menores

Out[ ]= 1, 1, - 1 + a, a - 2 a2 + a3 

In[ ]:= Plot1, 1, - 1 + a, a - 2 a2 + a3 , {a, - 2, 2}

representación gráfica

-2 -1 1 2

Out[ ]=
-2

-4

In[ ]:= Factora - 2 a2 + a3 

factoriza

Out[ ]= (- 1 + a)2 a

Tenemos que:
* Si a < 0 los menores son: +, +, -, -  Por tanto es indefinida.
* Si 0 < a < 1 los menores son: +, +, -, + Indefinida
* Si a > 1 los menores son: +, +, +, +  Definida positiva.

Queda por estudiar a = 0 y a = 1

Caso a = 0

In[ ]:= A0 = M1 /. {a  0}
Out[ ]= {{1, - 1, 2, 1}, {- 1, 2, - 3, 1}, {2, - 3, 4, 0}, {1, 1, 0, 5}}

In[ ]:= Eigenvalues[A0]

autovalores
1 1
Out[ ]= 7, 5 + 33 , 5 - 33 , 0
2 2

In[ ]:= N[%]

valor numérico

Out[ ]= {7., 5.37228, - 0.372281, 0.}

4 P8 matess (3-11-23).nb

Como hay dos de distinto signo es indefinida

Caso a = 1

In[ ]:= A1 = M1 /. {a  1}
Out[ ]= {{1, - 1, 2, 1}, {- 1, 2, - 3, 1}, {2, - 3, 5, 0}, {1, 1, 0, 5}}

In[ ]:= Eigenvalues[A1]

autovalores
1 1
Out[ ]=  13 + 5 , 13 - 5 , 0, 0
2 2

In[ ]:= N[%]

valor numérico

Out[ ]= {7.61803, 5.38197, 0., 0.}

Como son positivos y 0 es semidefinida positiva.

Ejercicio 3:

In[ ]:= Clear[x, y, z]

borra

1 -2 1
In[ ]:= M3 = -2 6 -4
1 -4 3
Out[ ]= {{1, - 2, 1}, {- 2, 6, - 4}, {1, - 4, 3}}

In[ ]:= Table[Minors[M3, k]〚1, 1〛, {k, 1, 3}]

tabla menores

Out[ ]= {1, 2, 0}

O por VP:

In[ ]:= Eigenvalues[M3]

autovalores

Out[ ]= 5 + 19 , 5 - 19 , 0

In[ ]:= N[%]

valor numérico

Out[ ]= {9.3589, 0.641101, 0.}

 P8 matess (3-11-23).nb 5

Es semidefinida positiva, además se puede llegar a () ^2 + ()2 con base lineal. Para que sea 0 el
resultado necesariamente base 1 = 0 y base 2 = 0 que es un sistema homogéneo así que es
compatible pero tiene 3 variables y solo 2 ecuaciones: indeterminado; así que hay infinitas
soluciones.

Para resolver necesitamos ponerlo en forma de sumas de cuadrados (Lagrange).

In[ ]:= X = {x, y, z}

Out[ ]= {x, y, z}

In[ ]:= p = Expand[X.M3.X]

expande factores

Out[ ]= x - 4 x y + 6 y2 + 2 x z - 8 y z + 3 z 2
2

In[ ]:= q = (x + a1 y + a2 z)2 + b11 (y + b1 z)2 + c11 z2

Out[ ]= c11 z2 + (x + a1 y + a2 z)2 + b11 (y + b1 z)2

In[ ]:= Solve

resuelve

Coefficientp, x2 , y2 , z2 , x y, x z, y z  Coefficientq, x2 , y2 , z2 , x y, x z, y z

coefficiente coefficiente

Out[ ]= {{a1  - 2, a2  1, b1  - 1, b11  2, c11  0}}

In[ ]:= q /. %〚1〛

Out[ ]= 2 (y - z)2 + (x - 2 y + z)2

In[ ]:= Solve[{y - z  0, x - 2 y + z  0}, {x, y, z}]

resuelve

Solve: Equations may not give solutions for all "solve" variables.

Out[ ]= {{y  x, z  x}}

¿Se podría haber resuelto directamente?

In[ ]:= Solvex2 - 4 x y + 6 y2 + 2 x z - 8 y z + 3 z2  0

resuelve

1 1
Out[ ]= z  - x + 4 y - 2 - x2 + 2 x y - y2 , z  - x + 4 y + 2 - x2 + 2 x y - y2 
3 3

Ejercicio 2:

0 0 0
In[ ]:= M2 = 0 0 -1
0 -1 0
Out[ ]= {{0, 0, 0}, {0, 0, - 1}, {0, - 1, 0}}

In[ ]:= p = X.M2.X

Out[ ]= -2 y z
6 P8 matess (3-11-23).nb

In[ ]:= Eigenvalues[M2]

autovalores

Out[ ]= {- 1, 1, 0}

-1 0 0
Tendremos una diagonal, por ejemplo, 0 1 0 pero cualquier otra con el mismo número de
0 00
-4 0 0
positivos (signatura) de 0 (rango), por ejemplo 0 0 0 .
0 07
La forma cuadrática es indefinida.
Para la restringida lo primero es saber cuantos grados de libertad quedan (o cuantas variables
quedan) 3 (variables) - 1 (rango) = 2 grados de libertad. Esta lectura se hace sobre el sistema que
restringe.
Resolvemos este sistema:

In[ ]:= S = Solve[y + z  0, {x, y, z}]

resuelve

Solve: Equations may not give solutions for all "solve" variables.

Out[ ]= {{z  - y}}

In[ ]:= pr = p /. S〚1〛

Out[ ]= 2 y2

Pero la matriz de la restringida es 2x2 (2 grados de libertad)

0 0
. Como ya es diagonal y la diagonal es positiva o 0 es semidefinida positiva
0 2