$Q1$.
次の $2$ 次形式を対称行列を用いて表しなさい。
$Q2$.
次の $2$ 次形式を対称行列を用いて表しなさい。
$2$ 次形式 $ax^2 + by^2 + cz^2 + 2dxy + 2eyz + 2fzx$ は, 対称行列を用いて
$ax^2 + by^2 + cz^2 + 2dxy + 2eyz + 2fzx = (xyz)(adfdbefec) (xyz)$
と表すことができます。
(1)
$a=1$, $b=2$, $c=3$, $d=3$, $e=4$, $f=1$ なので
$x^2 + 2y^2 + 3z^2 + 6xy + 8yz + 2zx = (xyz)(131324143) (xyz)$
(2)
$(x+y+z)^2 = x^2 + y^2 + z^2 + 2xy + 2yz +2zx$ であるから
$(x+y+z)^2 = (xyz)(111111111) (xyz)$
となります。
$Q3$.
次の $2$ 次形式の標準形を求めなさい。
$2$ 次形式を対称行列を用いて表すと
$9x^2 -8xy -6y^2 = (xy)(9−4−4−6)(xy)$
$A = (9−4−4−6)$ として, $A$ の固有値を求めていきます。
$|λE−A|=|λ−944λ+6|=λ2−3λ−70=(λ+7)(λ−10)=0$
よって $\lambda = -7, 10$ となります。
$\lambda = -7$ の時
$(−1644−1)(xy) = (−16x+4y4x−y) = (00)$
$y = 4x$ より, 固有ベクトルは
$\overrightarrow{x_1} = c_1(14)~~(c_1\not=0)$
また $\lambda=10$ の時
$(14416)(xy) = (x+4y4x+16y) = (00)$
$x = -4y$ より, 固有ベクトルは
$\overrightarrow{x_2} = c_2(−41)~~(c_2\not=0)$
よって 直交行列 $T$ を
$T = \dfrac{1}{\sqrt{17}}(1−441)$
とすると ${}^t\!TAT = (−70010)$ となるので
$A = T(−70010) {}^t\!T$
が成り立ちます。ここで
$(x′y′) = (xy)T = \dfrac{1}{\sqrt{17}}(x+4y−4x+y)$
とすれば
$(x′y′) = {}^t (x′y′) = {}^t\!\left( (xy)T\right) = {}^t\!T(xy)$
であることに注意すると
$9x2−8xy−6y2=(xy)A(xy)=(xy)T(−70010)tT(xy)=(x′y′)(−70010)(x′y′)=−7x′2+10y′2$
よって標準形は $-7x'^2 + 10y'^2$ となります。
$2$ 次形式 $ax^2 + 2bxy + cy^2$ に対し, 対称行列を $(abbc)$ と定めれば
$ax^2 + 2bxy + cy^2 = (xy)(abbc) (xy)$
が成り立ちます。
(1)
$a=1$, $b=0$, $c=-1$ とすればよいので
$x^2 - y^2 = (xy)(100−1) (xy)$
(2)
$a=3$, $b=-2$, $c=2$ とすればよいので
$3x^2 -4xy +2y^2 = (xy)(3−2−22) (xy)$
(3)
$a=0$, $b=3$, $c=0$ とすればよいので
$6xy = (xy)(0330) (xy)$
(4)
$(x+y)^2 = x^2 + 2xy+y^2$ であるから
$(x+y)^2 = (xy)(1111) (xy)$