直交行列 例題集

$Q1$.
次の行列が直交行列となるような $a$ と $b$ の値を全て求めなさい。

$\dfrac{1}{\sqrt{53}}\begin{pmatrix} -7 & a \\ 2 & b \end{pmatrix}$
解答・解説を見る
$a=2$ かつ $b=7$
$a=-2$ かつ $b=-7$

$A = \dfrac{1}{\sqrt{53}}\begin{pmatrix} -7 & a \\ 2 & b \end{pmatrix}$ とすると

${}^t\!A = A^{-1}$

より $A{}^t\!A =E$ が成り立てばよいので

$\dfrac{1}{53}\begin{pmatrix} -7 & a \\ 2 & b \end{pmatrix} \begin{pmatrix} -7 & 2 \\ a & b \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$

左辺を計算すると

$\dfrac{1}{53}\begin{pmatrix} -7 & a \\ 2 & b \end{pmatrix} \begin{pmatrix} -7 & 2 \\ a & b \end{pmatrix} = \dfrac{1}{53}\begin{pmatrix} a^2+49 & ab-14 \\ ab-14 & b^2+4 \end{pmatrix}$

となるので, ここから

$\left\{ \begin{aligned}a^2+49 &= 53\\ ab-14&=0 \\ b^2+4 &= 53 \end{aligned} \right.$

であることがわかります。$a^2 = 4$ より $a =\pm 2$ であり,

$a = 2$ の時 $b = \dfrac{14}{a} = 7$, $a=-2$ の時 $b=-7$ となり, これはどちらも $b^2 + 4 = 53$ を満たします。

よって $A$ が直交行列となる時, $a=2$ かつ $b=7$, または $a=-2$ かつ $b=-7$ となります。

$Q2$.
$2$ つのベクトル $\overrightarrow{a} = (a_1,a_2)$, $\overrightarrow{b}=(b_1,b_2)$ に対し, 行列 $A = \begin{pmatrix} a_1 & b_1 \\ a_2 & b_2 \end{pmatrix}$ が直交行列となるための必要十分条件は次が成り立つことであることを証明しなさい。

$|\overrightarrow{a}| = |\overrightarrow{b}| =1$ かつ $\overrightarrow{a}\cdot \overrightarrow{b}=0$
解答・解説を見る

$A$ が直交行列である時 ${}^t\!AA=E$ であるから

$\begin{pmatrix} a_1 & a_2 \\ b_1 & b_2 \end{pmatrix} \begin{pmatrix} a_1 & b_1 \\ a_2 & b_2 \end{pmatrix} = \begin{pmatrix} a_1^2 + a_2^2 & a_1b_1+a_2b_2 \\ a_1b_1 + a_2b_2 & b_1^2 + b_2^2 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$

よって

$\begin{eqnarray*} |\overrightarrow{a}| & = & \sqrt{a_1^2 + a_2^2} = 1 \\ |\overrightarrow{b}| & = & \sqrt{b_1^2 + b_2^2} = 1\\ \overrightarrow{a}\cdot \overrightarrow{b} & = & a_1b_1 + a_2b_2 = 0 \end{eqnarray*}$

逆に

$|\overrightarrow{a}| = |\overrightarrow{b}| =1$ かつ $\overrightarrow{a}\cdot \overrightarrow{b}=0$

が成り立っていれば ${}^t\!AA=E$ であるので, $A$ は直交行列である。

$Q3$.
次の行列 $A$ が直交行列になるように $y$, $z$ の値を定めなさい。

$A = \dfrac{1}{6} \begin{pmatrix} 4 & -2 & 4 \\ y & -4 & 2 \\ -2 & z & 4 \end{pmatrix}$
解答・解説を見る
$y = -4$
$z = 4$

${}^t\!AA =E$ であればよいので ${}^t\!AA$ を計算すると

$\begin{eqnarray*} {}^t\!AA & = & \dfrac{1}{36} \begin{pmatrix} 4 & y & -2 \\ -2 & -4 & z \\ 4 & 2 & 4 \end{pmatrix} \begin{pmatrix} 4 & -2 & 4 \\ y & -4 & 2 \\ -2 & z & 4 \end{pmatrix}\\[1em] & = & \dfrac{1}{36}\begin{pmatrix} y^2 + 20 & -4y-2z-8 & 2y+8 \\ -4y-2z-8 & z^2 + 20 & 4z -16 \\ 2y +8 & 4z -16 & 36 \end{pmatrix} \end{eqnarray*}$

これが単位行列となればよいので $y = -4$, $z = 4$ とすれば

${}^t\!AA = E$

となることがわかります。