対角化の応用 例題集

$Q1$.
次の $2$ 次形式を対称行列を用いて表しなさい。

(1) $x^2 - y^2 $
(2) $3x^2 -4xy + 2y^2 $
(3) $6xy$
(4) $(x+y)^2$
解答・解説を見る
(1) $(xy)(1001) (xy)$
(2) $(xy)(3222) (xy)$
(3) $(xy)(0330) (xy)$
(4) $(xy)(1111) (xy)$

$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)(1001) (xy)$

(2)
$a=3$, $b=-2$, $c=2$ とすればよいので

$3x^2 -4xy +2y^2 = (xy)(3222) (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)$

$Q2$.
次の $2$ 次形式を対称行列を用いて表しなさい。

(1) $x^2 + 2y^2 + 3z^2 + 6xy+ 8yz + 2zx$
(2) $(x+y+z)^2$
解答・解説を見る
(1) $(xyz)(131324143) (xyz)$
(2) $(xyz)(111111111) (xyz)$

$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$ 次形式の標準形を求めなさい。

$9x^2 -8xy -6y^2$
解答・解説を見る
$-7x'^2 + 10y'^2$ (または $10x'^2 - 7y'^2$)

$2$ 次形式を対称行列を用いて表すと

$9x^2 -8xy -6y^2 = (xy)(9446)(xy)$

$A = (9446)$ として, $A$ の固有値を求めていきます。

$|λEA|=|λ944λ+6|=λ23λ70=(λ+7)(λ10)=0$

よって $\lambda = -7, 10$ となります。

$\lambda = -7$ の時

$(16441)(xy) = (16x+4y4xy) = (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}}(1441)$

とすると ${}^t\!TAT = (70010)$ となるので

$A = T(70010) {}^t\!T$

が成り立ちます。ここで

$(xy) = (xy)T = \dfrac{1}{\sqrt{17}}(x+4y4x+y)$

とすれば

$(xy) = {}^t (xy) = {}^t\!\left( (xy)T\right) = {}^t\!T(xy)$

であることに注意すると

$9x28xy6y2=(xy)A(xy)=(xy)T(70010)tT(xy)=(xy)(70010)(xy)=7x2+10y2$

よって標準形は $-7x'^2 + 10y'^2$ となります。