Answer on Question#40158, Math, Linear Algebra
Find the rank of the quadratic form 2 x 2 + 2 y 2 + 3 z 2 + x y + 4 y z + 5 x z 2x^{2} + 2y^{2} + 3z^{2} + xy + 4yz + 5xz 2 x 2 + 2 y 2 + 3 z 2 + x y + 4 yz + 5 x z .
Solution.
Find a canonical expression of the quadratic form ( x , y , z ) = 2 x 2 + 2 y 2 + 3 z 2 + x y + 4 y z + 5 x z (x,y,z) = 2x^{2} + 2y^{2} + 3z^{2} + xy + 4yz + 5xz ( x , y , z ) = 2 x 2 + 2 y 2 + 3 z 2 + x y + 4 yz + 5 x z , by using Lagrange's Reduction.
f ( x , y , z ) = ( 2 x 2 + 1 8 y 2 + 25 8 z 2 − x y + 5 x z − 5 4 y z − 1 8 y 2 − 25 8 z 2 + 5 4 y z ) + 2 y 2 + 3 z 2 + 4 y z = = ( 2 x − 1 2 2 y + 5 2 2 z ) 2 + 15 8 y 2 − 1 8 z 2 + 25 4 y z . \begin{array}{l}
f(x, y, z) = \left(2x^{2} + \frac{1}{8}y^{2} + \frac{25}{8}z^{2} - xy + 5xz - \frac{5}{4}yz - \frac{1}{8}y^{2} - \frac{25}{8}z^{2} + \frac{5}{4}yz\right) + 2y^{2} + 3z^{2} \\
+ 4yz = \\
= \left(\sqrt{2}x - \frac{1}{2\sqrt{2}}y + \frac{5}{2\sqrt{2}}z\right)^{2} + \frac{15}{8}y^{2} - \frac{1}{8}z^{2} + \frac{25}{4}yz.
\end{array} f ( x , y , z ) = ( 2 x 2 + 8 1 y 2 + 8 25 z 2 − x y + 5 x z − 4 5 yz − 8 1 y 2 − 8 25 z 2 + 4 5 yz ) + 2 y 2 + 3 z 2 + 4 yz = = ( 2 x − 2 2 1 y + 2 2 5 z ) 2 + 8 15 y 2 − 8 1 z 2 + 4 25 yz .
The quadratic form 15 8 y 2 − 1 8 z 2 + 25 4 y z \frac{15}{8}y^{2} - \frac{1}{8}z^{2} + \frac{25}{4}yz 8 15 y 2 − 8 1 z 2 + 4 25 yz is in two variables y y y and z z z and does not depend on x x x . Now we repeat the above described procedure for this quadratic form:
f ( x , y , z ) = ( 2 x − 1 2 2 y + 5 2 2 z ) 2 + 15 8 y 2 − 1 8 z 2 + 25 4 y z = = ( 2 x − 1 2 2 y + 5 2 2 z ) 2 + 15 8 ( y 2 + 10 3 y z ) − 1 8 z 2 = = ( 2 x − 1 2 2 y + 5 2 2 z ) 2 + 15 8 ( y 2 + 10 3 y z + 25 9 z 2 − 25 9 z 2 ) − 1 8 z 2 = = ( 2 x − 1 2 2 y + 5 2 2 z ) 2 + 15 8 ( y + 5 3 z ) 2 − 209 72 z 2 . \begin{array}{l}
f(x, y, z) = \left(\sqrt{2}x - \frac{1}{2\sqrt{2}}y + \frac{5}{2\sqrt{2}}z\right)^{2} + \frac{15}{8}y^{2} - \frac{1}{8}z^{2} + \frac{25}{4}yz = \\
= \left(\sqrt{2}x - \frac{1}{2\sqrt{2}}y + \frac{5}{2\sqrt{2}}z\right)^{2} + \frac{15}{8}\left(y^{2} + \frac{10}{3}yz\right) - \frac{1}{8}z^{2} = \\
= \left(\sqrt{2}x - \frac{1}{2\sqrt{2}}y + \frac{5}{2\sqrt{2}}z\right)^{2} + \frac{15}{8}\left(y^{2} + \frac{10}{3}yz + \frac{25}{9}z^{2} - \frac{25}{9}z^{2}\right) - \frac{1}{8}z^{2} = \\
= \left(\sqrt{2}x - \frac{1}{2\sqrt{2}}y + \frac{5}{2\sqrt{2}}z\right)^{2} + \frac{15}{8}\left(y + \frac{5}{3}z\right)^{2} - \frac{209}{72}z^{2}.
\end{array} f ( x , y , z ) = ( 2 x − 2 2 1 y + 2 2 5 z ) 2 + 8 15 y 2 − 8 1 z 2 + 4 25 yz = = ( 2 x − 2 2 1 y + 2 2 5 z ) 2 + 8 15 ( y 2 + 3 10 yz ) − 8 1 z 2 = = ( 2 x − 2 2 1 y + 2 2 5 z ) 2 + 8 15 ( y 2 + 3 10 yz + 9 25 z 2 − 9 25 z 2 ) − 8 1 z 2 = = ( 2 x − 2 2 1 y + 2 2 5 z ) 2 + 8 15 ( y + 3 5 z ) 2 − 72 209 z 2 .
Putting
{ t 1 = 2 x − 1 2 2 y + 5 2 2 z t 2 = y + 5 3 z t 3 = z \left\{
\begin{array}{l}
t_{1} = \sqrt{2}x - \frac{1}{2\sqrt{2}}y + \frac{5}{2\sqrt{2}}z \\
t_{2} = y + \frac{5}{3}z \\
t_{3} = z
\end{array}
\right. ⎩ ⎨ ⎧ t 1 = 2 x − 2 2 1 y + 2 2 5 z t 2 = y + 3 5 z t 3 = z
So, the canonical form is
g ( t 1 , t 2 , t 3 ) = t 1 2 + 15 8 t 2 2 − 209 72 t 3 2 g(t_{1}, t_{2}, t_{3}) = t_{1}^{2} + \frac{15}{8}t_{2}^{2} - \frac{209}{72}t_{3}^{2} g ( t 1 , t 2 , t 3 ) = t 1 2 + 8 15 t 2 2 − 72 209 t 3 2
The rank of the quadratic form in the canonical form is equal to the total number of square terms. The rank of f ( x , y , z ) = f(x, y, z) = f ( x , y , z ) = the rank of g ( t 1 , t 2 , t 3 ) = 3 g(t_{1}, t_{2}, t_{3}) = 3 g ( t 1 , t 2 , t 3 ) = 3 .
Answer: 3
Comments