直交行列を用いた主軸変換

こんにちはコーヤです。

このページでは直交行列を用いた主軸変換を4ステップに分けて勉強します。斜めになった図形をまっすぐに直せるようになります。微積の分野で極値を見つけるときにも必要な計算です。

主軸変換の目的

(1)3x2+4xy+3y2=5

この式がどんな図形か分かりますか?答えは楕円です。

式を見ただけでは分かりませんが、実際にグラフを書くと楕円になっています。

楕円のグラフ

x,y軸から見ると斜めになっているので、新しくx,y軸を作ります。

主軸変換

こうすると見慣れたまっすぐな楕円になります。この楕円の式は

(2)x2+5y2=5

です。

このようにx,y軸では見にくいものをx,y軸に変換して見やすくする、というのが主軸変換の目的です。

そして式(1)から式(2)に変換するのに必要な知識が直交行列を用いた行列の対角化です。

二次形式と標準形の意味

具体的な計算に入る前に主軸変換の分野で出てくる言葉の意味の紹介です。計算方法が知りたい方は飛ばしてください。

(1)3x2+4xy+3y2=5(2)x2+5y2=5

式(1)のように変数が混ざった積(4xyのところ)がある形を二次形式といいます。

式(2)には変数が混ざった積がありません。このような形を標準形といいます。

主軸変換は二次形式から標準形への変換です。

一般的に二次形式は見にくい形、標準形は見やすい形です。斜めの楕円よりまっすぐな楕円のほうが見やすいですよね。

主軸変換の計算4ステップ

主軸変換の計算は4ステップです。

  1. 対称行列を用いた行列の形に変形する
  2. 対称行列の対角化を行う
  3. 旧軸と新軸の関係式を作る
  4. 行列の形から式の形へ変形する

冒頭の例の式を再掲します。

(1)3x2+4xy+3y2=5(2)x2+5y2=5

この変換をやってみます。

Step1. 対称行列を用いた行列の形に変形する

式(1)の左辺を対称行列を用いた行列の形で表すと

3x2+4xy+3y2=(xy)(3223)(xy)

となります。

S=(3223)

として式を書き換えます。

(3)3x2+4xy+3y2=(xy)S(xy)

すっきりした形になりました。

ここでの注意ポイントは対称行列を作るように行列の値を決めることです。

3x2+4xy+3y2=(xy)(3403)(xy)

このように行列の値を決めても式変形は満たしていますが、主軸変換はできなくなってしまいます。

Step2. 対称行列の対角化を行う

S=(3223)

この対称行列の対角化を行います。

U=12(1111)tU=12(1111)D=(1005)

を用いてtUSU=Dとなります。

詳しい計算は対称行列の対角化のページで行っています。不安な方はご覧ください。

Step3. 旧軸と新軸の関係式を作る

変換前のx,y軸と変換後のx,y軸の関係式を作ります。

(4)(xy)=U(xy)

これは主軸変換の公式みたいなものです。このようにx,y軸とx,y軸を設定してあげると、この後の工程でうまく計算できるようになります。

式(4)からもう1つの関係式を導けます。

(xy)=t(xy)=t{U(xy)}=t(xy)tU(5)=(xy)tU

です。途中の式変形で転置の性質であるt(AB)=tBtAを使っています。

Step4. 行列の形から式の形へ変形する

最後のステップです。式(3)に式(4)(5)を代入して、行列の形から式の形へ変形します。

3x2+4xy+3y2=(xy)S(xy)=(xy)tUSU(xy)=(xy)D(xy)=(xy)(1005)(xy)=x2+5y2

となります。途中で対角化の式tUSU=Dを使いました。

これで主軸変換完了です。

(1)3x2+4xy+3y2=5(2)x2+5y2=5

式(1)から式(2)へ変換できました。参考として式(1)と式(2)を同じ軸に書いたグラフを載せます。

主軸変換のグラフ

このグラフを見ると、式(2)の楕円に比べて式(1)の楕円は45回転しています。

45回転の種はUに隠されています。Uを変形すると

U=12(1111)=(cos(45)sin(45)sin(45)cos(45))

となり45の回転行列になっています。

式(4)で変換前のx,y軸と変換後のx,y軸の関係式を作りました。

(4)(xy)=U(xy)

これはx,y軸とx,y軸を45回転した軸が等しいという意味です。

軸を45回転させれば斜めの楕円がまっすぐな楕円になる、とも読み取れますので、もともと楕円も軸から45分だけ斜めになっていたということです。

まとめ

主軸変換は4ステップです。

  1. 対称行列を用いた行列の形に変形する
  2. 対称行列の対角化を行う
  3. 旧軸と新軸の関係式を作る
  4. 行列の形から式の形へ変形する

コメント欄