目次 / 行列と一次変換 / 旧数学C(課程外)

第7章 回転・対称移動・拡大

—— 代表的な一次変換の行列を、基本ベクトルの行き先から作る ——

第 6 章で、一次変換の柱となる事実を手に入れました。**行列の 2 つの列は、基本ベクトル $\vec{e_1}$,$\vec{e_2}$ の行き先そのもの**。この章では、その 1 本だけを武器にして、図形の移動としてなじみのある操作を次々と行列に翻訳していきます。原点まわりの回転、原点を通る直線に関する対称移動、原点を中心とする拡大・縮小、軸方向の伸縮。どれも「$\vec{e_1}$ はどこへ行くか」「$\vec{e_2}$ はどこへ行くか」を図で読むだけで、行列が書けてしまいます。三角比と三角関数の第 9 章で加法定理から導いた回転の公式も、ここで行列の姿に書き直されます。行列は計算の道具から、平面の動きを記録する言葉になります。

問題マップ記録を読み込み中…
未回答 25× 0○ 01か月定着 0

回転を行列で書く

原点まわりに角 θ\theta だけ回す。図形の移動として、いちばんなじみのある操作でしょう。これを一次変換として書くには、第 6 章 公式4 のとおり、基本ベクトル 2 本の行き先だけを調べればよいことになります。

e1⃗\vec{e_1}=(10){}= \begin{pmatrix} 1 \\ 0 \end{pmatrix} は、原点から右へ長さ 11 のベクトルです。これを θ\theta 回すと、長さは 11 のままで、向きが xx 軸から θ\theta になります。単位円の定義そのままで、行き先は (cos⁡θ, sin⁡θ)(\cos\theta,\ \sin\theta) です。

e2⃗\vec{e_2}=(01){}= \begin{pmatrix} 0 \\ 1 \end{pmatrix} は真上を向いていて、xx 軸とのなす角が 90∘90^\circ です。θ\theta 回すと角は θ\theta+90∘{}+ 90^\circ になるので、行き先は (cos⁡(θ+90∘), sin⁡(θ+90∘))(\cos(\theta + 90^\circ),\ \sin(\theta + 90^\circ))。三角関数の公式でこれは (−sin⁡θ, cos⁡θ)(-\sin\theta,\ \cos\theta) です。

あとは 2 本を横に並べるだけです。

公式1:回転を表す行列

原点まわりに角 θ\theta だけ回転する一次変換を ff とすると、ff を表す行列は

R(θ)\displaystyle R(\theta)=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}

である(第 1 列が f(e1⃗)f(\vec{e_1})、第 2 列が f(e2⃗)f(\vec{e_2}))。したがって点 (x, y)(x,\ y) の像 (x′, y′)(x',\ y') は

(x′y′)\displaystyle \begin{pmatrix} x' \\ y' \end{pmatrix}=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)(xy),\displaystyle {}= \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}\begin{pmatrix} x \\ y \end{pmatrix},{x′=xcos⁡θ−ysin⁡θy′=xsin⁡θ+ycos⁡θ\displaystyle \begin{cases} x' = x\cos\theta - y\sin\theta \\ y' = x\sin\theta + y\cos\theta \end{cases}

θ\theta は反時計まわりを正とする。この章では回転を表す行列を R(θ)R(\theta) と書く。

O O e₁ e₂ f(e₁) f(e₂) 60° 変換前 60° 回したあと 1 辺 1 の正方形 形も大きさも変わらず、向きだけ回る

下の連立の形に見覚えがあるかもしれません。三角比と三角関数の第 9 章 j18 で、加法定理を使って導いた回転の公式そのものです。あのときは xx,yy をいったん極形式に直し、加法定理で展開して整理する、という手順が必要でした。ここでは「e1⃗\vec{e_1} と e2⃗\vec{e_2} の行き先を並べる」だけで同じ式が出ました。行列という器を用意したことで、導出が 2 行で終わったわけです。

第 6 章でゴムシートの例えを使いました。回転は、そのシートを伸ばしも縮めもせず、原点に刺した画びょうを軸にくるりと向きだけ変える操作です。手元の地図を傾けて持つのに近い。地図の上の建物どうしの距離や角度は何も変わらず、ただ北の向きが斜めになります。

回転を表す行列は、e1⃗\vec{e_1} が (cos⁡θ, sin⁡θ)(\cos\theta,\ \sin\theta) へ、e2⃗\vec{e_2} が (−sin⁡θ, cos⁡θ)(-\sin\theta,\ \cos\theta) へ移ることから、その 2 本を列として並べれば作れるということです。

例題1:回転の行列と点の像

原点まわりに 60∘60^\circ 回転する一次変換を ff とする。次の問いに答えなさい。

(1) ff を表す行列を求めなさい。

(2) ff による点 (2, 0)(2,\ 0) の像を求めなさい。

(3) ff による点 (1, 3)(1,\ \sqrt{3}) の像を求めなさい。


【解答】

(1) cos⁡60∘\cos 60^\circ=12{}= \dfrac{1}{2},sin⁡60∘\sin 60^\circ=32{}= \dfrac{\sqrt{3}}{2} を公式1 に入れます。

R(60∘)\displaystyle R(60^\circ)=(12−323212)‾\displaystyle {}= \underline{\begin{pmatrix} \dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}}

(2)

(12−323212)(20)\displaystyle \begin{pmatrix} \dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 2 \\ 0 \end{pmatrix}=(13)\displaystyle {}= \begin{pmatrix} 1 \\ \sqrt{3} \end{pmatrix}⟹点 (1, 3)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (1,\ \sqrt{3})}

(3)

(12−323212)(13)\displaystyle \begin{pmatrix} \dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 1 \\ \sqrt{3} \end{pmatrix}=(12−3232+32)\displaystyle {}= \begin{pmatrix} \dfrac{1}{2} - \dfrac{3}{2} \\[4pt] \dfrac{\sqrt{3}}{2} + \dfrac{\sqrt{3}}{2} \end{pmatrix}=(−13)\displaystyle {}= \begin{pmatrix} -1 \\ \sqrt{3} \end{pmatrix}⟹点 (−1, 3)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (-1,\ \sqrt{3})}

答えの意味を確かめておきます。(2) の点 (2, 0)(2,\ 0) は原点からの距離 22、向きは 0∘0^\circ。像 (1, 3)(1,\ \sqrt{3}) は距離が 1+3\sqrt{1 + 3}=2{}= 2 で変わらず、向きは 60∘60^\circ です。(3) の点 (1, 3)(1,\ \sqrt{3}) は距離 22・向き 60∘60^\circ で、像 (−1, 3)(-1,\ \sqrt{3}) は距離 22・向き 120∘120^\circ。どちらも距離はそのまま、向きが 60∘60^\circ 増える。回転の答えは、この 2 点を見れば検算できます。

回して、また回す

30∘30^\circ 回してから、続けて 60∘60^\circ 回せば、合わせて 90∘90^\circ 回ったことになります。当たり前の事実ですが、行列の側ではどう見えるでしょうか。R(α)R(\alpha) と R(β)R(\beta) の積を計算してみます。

R(α)R(β)\displaystyle R(\alpha)R(\beta)=(cos⁡α−sin⁡αsin⁡αcos⁡α)(cos⁡β−sin⁡βsin⁡βcos⁡β)\displaystyle {}= \begin{pmatrix} \cos\alpha & -\sin\alpha \\ \sin\alpha & \cos\alpha \end{pmatrix}\begin{pmatrix} \cos\beta & -\sin\beta \\ \sin\beta & \cos\beta \end{pmatrix}

(1, 1)(1,\ 1) 成分は cos⁡αcos⁡β\cos\alpha\cos\beta−sin⁡αsin⁡β{}- \sin\alpha\sin\beta。加法定理そのもので、cos⁡(α+β)\cos(\alpha + \beta) です。(2, 1)(2,\ 1) 成分は sin⁡αcos⁡β\sin\alpha\cos\beta+cos⁡αsin⁡β{}+ \cos\alpha\sin\beta=sin⁡(α+β){}= \sin(\alpha + \beta)。残りの 2 つも同じように整理できて、結果は

R(α)R(β)\displaystyle R(\alpha)R(\beta)=(cos⁡(α+β)−sin⁡(α+β)sin⁡(α+β)cos⁡(α+β))\displaystyle {}= \begin{pmatrix} \cos(\alpha + \beta) & -\sin(\alpha + \beta) \\ \sin(\alpha + \beta) & \cos(\alpha + \beta) \end{pmatrix}=R(α+β)\displaystyle {}= R(\alpha + \beta)

角が足し算になりました。加法定理が、行列の積の中に隠れていたわけです。

公式2:回転を表す行列の性質
R(α)R(β)\displaystyle R(\alpha)R(\beta)=R(β)R(α)\displaystyle {}= R(\beta)R(\alpha)=R(α+β)\displaystyle {}= R(\alpha + \beta)R(θ)n\displaystyle R(\theta)^n=R(nθ)\displaystyle {}= R(n\theta)(n は自然数),\displaystyle (n \ \text{は自然数}),R(θ)−1\displaystyle R(\theta)^{-1}=R(−θ),\displaystyle {}= R(-\theta),R(0∘)\displaystyle R(0^\circ)=E\displaystyle {}= E

また、行列式は

Δ\displaystyle \Delta=cos⁡2θ\displaystyle {}= \cos^2\theta+sin⁡2θ\displaystyle {}+ \sin^2\theta=1\displaystyle {}= 1

で、θ\theta によらず 11 である。とくに R(θ)R(\theta) は常に正則で、逆行列は −θ-\theta の回転を表す。

R(θ)nR(\theta)^n=R(nθ){}= R(n\theta) は、R(α)R(β)R(\alpha)R(\beta)=R(α+β){}= R(\alpha + \beta) を繰り返し使えば出ます。R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) は R(θ)R(−θ)R(\theta)R(-\theta)=R(0∘){}= R(0^\circ)=E{}= E からすぐです。

ここで 2 つ、注意があります。

ひとつめ。第 2 章でくどいほど述べたとおり、行列の積は一般に交換できません。ところが回転どうしは、角の足し算が交換できるおかげで R(α)R(β)R(\alpha)R(\beta)=R(β)R(α){}= R(\beta)R(\alpha) が成り立ちます。回転は行列の世界では例外的に仲のよい仲間なのです。この先に出てくる対称移動や伸縮とは、順番を入れかえると結果が変わります(実践 j16)。

ふたつめ。「R(α)R(β)R(\alpha)R(\beta) が α\alpha 回してから β\beta 回すことにあたる」という意味づけのほうは、まだきちんと証明していません。ここでは積を計算した結果が R(α+β)R(\alpha + \beta) になった、という計算事実だけを使っています。移動を続けて行うことが行列の積にあたる、という一般の話は第 8 章で扱います。

ダイヤル錠のイメージが近いでしょう。3030 目盛り回してから 6060 目盛り回すのは、9090 目盛り回すのと同じ。そして戻すときは同じ数だけ逆向きに回す。これが R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) です。

回転を表す行列は、かけると角が足され、nn 乗すると角が nn 倍になり、逆行列は逆向きの回転になるということです。

例題2:回転の積と nn 乗

RR=R(45∘){}= R(45^\circ) とする。次の問いに答えなさい。

(1) R2R^2 を求めなさい。

(2) R6R^6 を求めなさい。

(3) 第 2 章 j13 で、AA=(01−10){}= \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} が A4A^4=E{}= E をみたすことを確かめた。この AA がどんな一次変換を表すか答え、A4A^4=E{}= E の理由を回転の言葉で説明しなさい。


【解答】

(1) 公式2 より角が足されるだけです。

R2\displaystyle R^2=R(90∘)\displaystyle {}= R(90^\circ)=(0−110)‾\displaystyle {}= \underline{\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}}

(2) R6R^6=R(45∘×6){}= R(45^\circ \times 6)=R(270∘){}= R(270^\circ) です。cos⁡270∘\cos 270^\circ=0{}= 0,sin⁡270∘\sin 270^\circ=−1{}= -1 なので

R6\displaystyle R^6=(01−10)‾\displaystyle {}= \underline{\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}}

(3) AA=(01−10){}= \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} を公式1 と見比べます。cos⁡θ\cos\theta=0{}= 0,sin⁡θ\sin\theta=−1{}= -1 なので θ\theta=−90∘{}= -90^\circ。つまり AA は原点まわりに −90∘-90^\circ(時計まわりに 90∘90^\circ)回転する一次変換を表す行列です。

−90∘-90^\circ の回転を 4 回続ければ −360∘-360^\circ、つまり 1 周して元に戻ります。A4A^4=R(−360∘){}= R(-360^\circ)=E{}= E はそのことを言っていたのです。

第 2 章では、この行列を「44 回かけると EE に戻る不思議な行列」として、成分を 4 回かけ算して確かめました。正体が回転だと分かれば、計算せずとも A2026A^{2026} の答えが見えます。20262026=4×506{}= 4 \times 506+2{}+ 2 なので A2026A^{2026}=A2{}= A^2=R(−180∘){}= R(-180^\circ)=−E{}= -E です。(2) の R6R^6 が AA と同じ行列になったのも、270∘270^\circ の回転と −90∘-90^\circ の回転が同じ動きだからです。

R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) は、第 6 章 公式6 の原像をさがすときにそのまま使えます。「回したあとの位置」が分かっていて「回す前の位置」を知りたいのなら、逆向きに回せばよい。ビデオの巻き戻しと同じ発想です。

例題3:逆向きに回して原像を求める

原点まわりに 30∘30^\circ 回転する一次変換 ff によって点 (3, 1)(\sqrt{3},\ 1) に移る点を求めなさい。


【解答】

求める点を p⃗\vec{p} とすると R(30∘)p⃗R(30^\circ)\vec{p}=(31){}= \begin{pmatrix} \sqrt{3} \\ 1 \end{pmatrix} です。両辺に左から R(30∘)−1R(30^\circ)^{-1}=R(−30∘){}= R(-30^\circ) をかけます。

R(−30∘)\displaystyle R(-30^\circ)=(cos⁡(−30∘)−sin⁡(−30∘)sin⁡(−30∘)cos⁡(−30∘))\displaystyle {}= \begin{pmatrix} \cos(-30^\circ) & -\sin(-30^\circ) \\ \sin(-30^\circ) & \cos(-30^\circ) \end{pmatrix}=(3212−1232)\displaystyle {}= \begin{pmatrix} \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \\[4pt] -\dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \end{pmatrix}p⃗\displaystyle \vec{p}=(3212−1232)(31)\displaystyle {}= \begin{pmatrix} \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \\[4pt] -\dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \end{pmatrix}\begin{pmatrix} \sqrt{3} \\ 1 \end{pmatrix}=(32+12−32+32)\displaystyle {}= \begin{pmatrix} \dfrac{3}{2} + \dfrac{1}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} + \dfrac{\sqrt{3}}{2} \end{pmatrix}=(20)\displaystyle {}= \begin{pmatrix} 2 \\ 0 \end{pmatrix}⟹点 (2, 0)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (2,\ 0)}

第 6 章の例題6 では逆行列の公式 1Δ(d−b−ca)\dfrac{1}{\Delta}\begin{pmatrix} d & -b \\ -c & a \end{pmatrix} を使いましたが、回転なら θ\theta の符号を変えるだけで済みます。Δ\Delta=1{}= 1 なので分数も出てきません。

検算は向きと距離で。点 (2, 0)(2,\ 0) は距離 22・向き 0∘0^\circ、像 (3, 1)(\sqrt{3},\ 1) は距離 3+1\sqrt{3 + 1}=2{}= 2・向き 30∘30^\circ です。

直線に関する対称移動

次は、原点を通る 1 本の直線を鏡に見立てて、平面を裏返す操作です。直線を ℓ\ell とし、ℓ\ell が xx 軸となす角を θ\theta とします。つまり ℓ\ell は yy=xtan⁡θ{}= x\tan\theta です(θ\theta=90∘{}= 90^\circ のときは yy 軸)。

ここでも調べるのは基本ベクトル 2 本の行き先だけ。折り紙を思い出してください。ℓ\ell を折り目として紙を折ると、e1⃗\vec{e_1} は折り目の向こう側に写ります。このとき、折り目までの角と同じ角だけ、折り目の向こう側へ回る。e1⃗\vec{e_1} の向きは 0∘0^\circ で、折り目までの角は θ\theta。だから像の向きは θ\theta をさらに θ\theta 越えて 2θ2\theta になります。長さは 11 のままですから、行き先は (cos⁡2θ, sin⁡2θ)(\cos 2\theta,\ \sin 2\theta) です。

e2⃗\vec{e_2} の向きは 90∘90^\circ で、折り目までの角は θ\theta−90∘{}- 90^\circ。像の向きは 2θ2\theta−90∘{}- 90^\circ になり、行き先は (cos⁡(2θ−90∘), sin⁡(2θ−90∘))(\cos(2\theta - 90^\circ),\ \sin(2\theta - 90^\circ))=(sin⁡2θ, −cos⁡2θ){}= (\sin 2\theta,\ -\cos 2\theta) です。並べます。

公式3:直線に関する対称移動を表す行列

原点を通り、xx 軸とのなす角が θ\theta である直線 ℓ\ell(yy=xtan⁡θ{}= x\tan\theta)に関する対称移動を表す行列は

S(θ)\displaystyle S(\theta)=(cos⁡2θsin⁡2θsin⁡2θ−cos⁡2θ)\displaystyle {}= \begin{pmatrix} \cos 2\theta & \sin 2\theta \\ \sin 2\theta & -\cos 2\theta \end{pmatrix}

である。現れるのは 2θ2\theta であることに注意する。行列式は

Δ\displaystyle \Delta=−cos⁡22θ\displaystyle {}= -\cos^2 2\theta−sin⁡22θ\displaystyle {}- \sin^2 2\theta=−1\displaystyle {}= -1

で、常に −1-1 である。代表的な場合は次のとおり。

ℓ\ellθ\theta行列
xx 軸0∘0^\circ(100−1)\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}
直線 y=xy = x45∘45^\circ(0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}
yy 軸90∘90^\circ(−1001)\begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}
直線 y=−xy = -x−45∘-45^\circ(0−1−10)\begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}
O O e₁ f(e₁) θ θ θ ℓ ℓ もとの e₁ 変換前 ℓ で折り返したあと ℓ は x 軸と θ = 30° をなす e₁ の像は 2θ = 60° の向き

2θ2\theta が出てくるところが、この公式の山場です。ℓ\ell をなす角が 30∘30^\circ なら、e1⃗\vec{e_1} は 30∘30^\circ ではなく 60∘60^\circ の向きへ移ります。折り目の手前で θ\theta、先でもう θ\theta 進むからです。ℓ\ell の傾きが与えられているときは、まず tan⁡θ\tan\theta から θ\theta を読み、2θ2\theta に直してから行列を書く、という順番を守ってください。

行列式が −1-1 という事実も覚えておく価値があります。回転は Δ\Delta=1{}= 1、対称移動は Δ\Delta=−1{}= -1。この符号の違いが「裏返したか、裏返していないか」を表しています。理由は第 9 章で面積と結びつけますが、判別にはいま使えます。Δ\Delta の符号を見れば、回転と対称移動を見分けられるのです。

なお、ℓ\ell 自身の上にある点は動きません。折り目の上の点は、折っても位置が変わらないからです。ℓ\ell の上にない点で、動かないのは原点だけです。

原点を通り xx 軸と θ\theta をなす直線に関する対称移動の行列は 2θ2\theta で書かれ、行列式は必ず −1-1 になるということです。

例題4:直線に関する対称移動

直線 ℓ:y\ell : y=3 x{}= \sqrt{3}\,x に関する対称移動を表す一次変換を gg とする。次の問いに答えなさい。

(1) gg を表す行列を求めなさい。

(2) gg による点 (2, 0)(2,\ 0) の像を求めなさい。

(3) gg による点 (1, 3)(1,\ \sqrt{3}) の像を求めなさい。


【解答】

(1) 傾きが 3\sqrt{3} なので tan⁡θ\tan\theta=3{}= \sqrt{3}、つまり θ\theta=60∘{}= 60^\circ です。公式3 に使うのは 2θ2\theta=120∘{}= 120^\circ で、cos⁡120∘\cos 120^\circ=−12{}= -\dfrac{1}{2},sin⁡120∘\sin 120^\circ=32{}= \dfrac{\sqrt{3}}{2}。

S(60∘)\displaystyle S(60^\circ)=(−12323212)‾\displaystyle {}= \underline{\begin{pmatrix} -\dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}}

(2)

(−12323212)(20)\displaystyle \begin{pmatrix} -\dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 2 \\ 0 \end{pmatrix}=(−13)\displaystyle {}= \begin{pmatrix} -1 \\ \sqrt{3} \end{pmatrix}⟹点 (−1, 3)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (-1,\ \sqrt{3})}

距離は 22 のまま、向きは 0∘0^\circ から 120∘120^\circ へ。たしかに 2θ2\theta だけ回っています。

(3)

(−12323212)(13)\displaystyle \begin{pmatrix} -\dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 1 \\ \sqrt{3} \end{pmatrix}=(−12+3232+32)\displaystyle {}= \begin{pmatrix} -\dfrac{1}{2} + \dfrac{3}{2} \\[4pt] \dfrac{\sqrt{3}}{2} + \dfrac{\sqrt{3}}{2} \end{pmatrix}=(13)\displaystyle {}= \begin{pmatrix} 1 \\ \sqrt{3} \end{pmatrix}⟹点 (1, 3)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (1,\ \sqrt{3})}

もとの点と同じになりました。ミスではありません。3\sqrt{3}=3×1{}= \sqrt{3} \times 1 なので点 (1, 3)(1,\ \sqrt{3}) は ℓ\ell の上にあり、折り目の上の点は動かないのでした。

例題1 (3) では、同じ点 (1, 3)(1,\ \sqrt{3}) が 60∘60^\circ 回転で (−1, 3)(-1,\ \sqrt{3}) に移りました。いっぽう例題4 (2) では、点 (2, 0)(2,\ 0) が対称移動で (−1, 3)(-1,\ \sqrt{3}) に移っています。行き先が同じでも、平面全体の動かし方はまるで違う。1 点の像だけでは変換を特定できないという第 6 章の教えを、具体例で見ていることになります。

拡大・縮小と、軸方向の伸縮

いちばん単純な一次変換は、平面をそのままの形で大きくしたり小さくしたりする操作です。点 (x, y)(x,\ y) を (kx, ky)(kx,\ ky) に移すのですから、行列は kEkE です。第 2 章で kEkE を「数の化身」と呼びましたが、変換として見れば倍率 kk の拡大でした。

公式4:拡大・縮小、軸方向の伸縮、せん断
  • kEkE=(k00k){}= \begin{pmatrix} k & 0 \\ 0 & k \end{pmatrix}:原点を中心とする kk 倍の拡大(相似変換)
  • (a00b)\begin{pmatrix} a & 0 \\ 0 & b \end{pmatrix}:xx 軸方向に aa 倍、yy 軸方向に bb 倍
  • (1k01)\begin{pmatrix} 1 & k \\ 0 & 1 \end{pmatrix}:xx 軸を動かさず、高さ yy に比例して横へずらす(せん断)

いずれも第 6 章 公式4 のとおり、各列が e1⃗\vec{e_1},e2⃗\vec{e_2} の行き先である。kk<0{}< 0 の kEkE は、∣k∣|k| 倍の拡大と原点に関する対称移動(=180∘= 180^\circ 回転)を合わせたものになる。

拡大はコピー機の倍率そのものです。A4 の原稿を A3 に引き伸ばすときの 141%141\% が、kk=1.41{}= 1.41 にあたります。全体が同じ割合で大きくなるので、形は変わりません。

(a00b)\begin{pmatrix} a & 0 \\ 0 & b \end{pmatrix} のほうは、aa≠b{}\neq b だと形が変わります。4:34:3 の映像を 16:916:9 の画面いっぱいに無理に広げたときの、横に伸びた顔を思い出してください。xx 軸方向だけ伸ばすので、円は楕円になります。

せん断は、トランプの束を上から横へ押したときの形です。一番下のカードは動かず、上へ行くほど大きくずれる。文字の斜体(イタリック)も、まっすぐな字にせん断をかけたものです。第 2 章 例題7 で (1301)\begin{pmatrix} 1 & 3 \\ 0 & 1 \end{pmatrix} の nn 乗を計算して (13n01)\begin{pmatrix} 1 & 3n \\ 0 & 1 \end{pmatrix} になりましたが、あれは「同じせん断を nn 回かければ、ずれも nn 倍になる」という当たり前の事実だったのです。

kEkE は形を変えない拡大、対角成分が違う (a00b)\begin{pmatrix} a & 0 \\ 0 & b \end{pmatrix} は軸方向だけの伸縮、(1k01)\begin{pmatrix} 1 & k \\ 0 & 1 \end{pmatrix} は片側をずらすせん断だということです。

例題5:拡大・伸縮・せん断

次の一次変換を表す行列を求め、点 (3, 4)(3,\ 4) の像を求めなさい。

(1) 原点を中心とする 33 倍の拡大

(2) xx 軸方向に 22 倍、yy 軸方向に 12\dfrac{1}{2} 倍する変換

(3) (1201)\begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix} が表す変換(点 (0, 1)(0,\ 1) の像もあわせて求めなさい)


【解答】

(1) 3E3E=(3003)‾{}= \underline{\begin{pmatrix} 3 & 0 \\ 0 & 3 \end{pmatrix}} で、像は 点 (9, 12)‾\underline{\text{点} \ (9,\ 12)}。原点からの向きは変わらず、距離だけ 33 倍になります。

(2) 行列は (20012)‾\underline{\begin{pmatrix} 2 & 0 \\ 0 & \dfrac{1}{2} \end{pmatrix}} です。

(20012)(34)\displaystyle \begin{pmatrix} 2 & 0 \\ 0 & \dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 3 \\ 4 \end{pmatrix}=(62)\displaystyle {}= \begin{pmatrix} 6 \\ 2 \end{pmatrix}⟹点 (6, 2)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (6,\ 2)}

横に広がり、縦につぶれました。行列式は 2×122 \times \dfrac{1}{2}=1{}= 1 で、伸びとつぶれがちょうど釣り合っています。

(3) 各列を読むと、e1⃗\vec{e_1} は (1, 0)(1,\ 0) のまま動かず、e2⃗\vec{e_2}=(0, 1){}= (0,\ 1) が (2, 1)(2,\ 1) に移ります。

(1201)(34)\displaystyle \begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix}\begin{pmatrix} 3 \\ 4 \end{pmatrix}=(3+84)\displaystyle {}= \begin{pmatrix} 3 + 8 \\ 4 \end{pmatrix}=(114)\displaystyle {}= \begin{pmatrix} 11 \\ 4 \end{pmatrix}⟹点 (11, 4)‾,\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (11,\ 4)},(1201)(01)\displaystyle \begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix}\begin{pmatrix} 0 \\ 1 \end{pmatrix}=(21)‾\displaystyle {}= \underline{\begin{pmatrix} 2 \\ 1 \end{pmatrix}}

yy 座標は変わらず、xx 座標だけが yy の 22 倍ぶん右へずれています。高さ 44 の点は 88 ずれ、高さ 11 の点は 22 ずれる。xx 軸上(高さ 00)の点はまったく動きません。

回転と拡大をまとめた行列

第 3 章の厳密定義で、(a−bba)\begin{pmatrix} a & -b \\ b & a \end{pmatrix} という形の行列だけを集めると、足し算・かけ算について複素数とまったく同じようにふるまう、という話をしました。その正体をここで明かします。

AA=(a−bba){}= \begin{pmatrix} a & -b \\ b & a \end{pmatrix}(ただし (a, b)(a,\ b)≠(0, 0){}\neq (0,\ 0))とおき、rr=a2+b2{}= \sqrt{a^2 + b^2} とします。(ar)2\left(\dfrac{a}{r}\right)^2+(br)2{}+ \left(\dfrac{b}{r}\right)^2=1{}= 1 なので、cos⁡θ\cos\theta=ar{}= \dfrac{a}{r},sin⁡θ\sin\theta=br{}= \dfrac{b}{r} をみたす θ\theta が取れます。すると

A\displaystyle A=r(ar−brbrar)\displaystyle {}= r\begin{pmatrix} \dfrac{a}{r} & -\dfrac{b}{r} \\[4pt] \dfrac{b}{r} & \dfrac{a}{r} \end{pmatrix}=r(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle {}= r\begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}=rR(θ)\displaystyle {}= rR(\theta)
公式5:回転と拡大を合わせた行列

(a, b)(a,\ b)≠(0, 0){}\neq (0,\ 0) のとき

(a−bba)\displaystyle \begin{pmatrix} a & -b \\ b & a \end{pmatrix}=rR(θ),\displaystyle {}= rR(\theta),r\displaystyle r=a2+b2,\displaystyle {}= \sqrt{a^2 + b^2},cos⁡θ\displaystyle \cos\theta=ar,\displaystyle {}= \frac{a}{r},sin⁡θ\displaystyle \sin\theta=br\displaystyle {}= \frac{b}{r}

すなわち、この形の行列は原点まわりに θ\theta 回転して、原点を中心に rr 倍に拡大する変換を表す。行列式は Δ\Delta=a2{}= a^2+b2{}+ b^2=r2{}= r^2 である。また kEkE と R(θ)R(\theta) は交換可能なので

(rR(θ))n\displaystyle \left(rR(\theta)\right)^n=rnR(nθ)\displaystyle {}= r^n R(n\theta)

が成り立つ。

Δ\Delta=r2{}= r^2 が rr の 2 乗になるのは、縦にも横にも rr 倍しているからです(面積との関係は第 9 章)。

うず巻きを思い浮かべてください。rR(θ)rR(\theta) を何度もかけていくと、点は回りながら原点から遠ざかっていきます。rr>1{}> 1 なら外へ広がるうず、rr<1{}< 1 なら内へ吸い込まれるうず。オウムガイの殻やヒマワリの種の並びが、この形の変換を繰り返した跡だと考えられています。

Δ\Delta=a2{}= a^2+b2{}+ b^2 という式は、第 3 章の厳密定義で「複素数 aa+bi{}+ bi の絶対値の 2 乗にあたる」と書いたものです。行列の言葉で言えば、(a−bba)\begin{pmatrix} a & -b \\ b & a \end{pmatrix} が複素数 aa+bi{}+ bi の化身で、その rr が絶対値、θ\theta が偏角。複素数をかけることが「回転と拡大」だという話は、複素数平面と曲線の第 2 章でも出てきました。同じ事実を、いま行列の側から見ていることになります。詳しくは小話 kb3 で。

(a−bba)\begin{pmatrix} a & -b \\ b & a \end{pmatrix} の形の行列は、rr=a2+b2{}= \sqrt{a^2 + b^2} 倍の拡大と θ\theta の回転を同時に行う変換で、nn 乗すると倍率が rnr^n、角が nθn\theta になるということです。

例題6:回転と拡大に分ける

AA=(3−113){}= \begin{pmatrix} \sqrt{3} & -1 \\ 1 & \sqrt{3} \end{pmatrix} について、次の問いに答えなさい。

(1) AA を rR(θ)rR(\theta) の形に表しなさい。

(2) AA による点 (1, 0)(1,\ 0) の像を求めなさい。

(3) A6A^6 を求めなさい。


【解答】

(1) aa=3{}= \sqrt{3},bb=1{}= 1 の形なので

r\displaystyle r=(3)2+12\displaystyle {}= \sqrt{(\sqrt{3})^2 + 1^2}=2,\displaystyle {}= 2,cos⁡θ\displaystyle \cos\theta=32,\displaystyle {}= \frac{\sqrt{3}}{2},sin⁡θ\displaystyle \sin\theta=12\displaystyle {}= \frac{1}{2}⟹θ\displaystyle {}\Longrightarrow \quad \theta=30∘\displaystyle {}= 30^\circA\displaystyle A=2R(30∘)‾\displaystyle {}= \underline{2R(30^\circ)}

念のため確かめます。2R(30∘)2R(30^\circ)=2(32−121232){}= 2\begin{pmatrix} \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \\[4pt] \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \end{pmatrix}=(3−113){}= \begin{pmatrix} \sqrt{3} & -1 \\ 1 & \sqrt{3} \end{pmatrix} で、AA と一致します。

(2) (1, 0)(1,\ 0) は距離 11・向き 0∘0^\circ なので、像は距離 22・向き 30∘30^\circ です。

A(10)\displaystyle A\begin{pmatrix} 1 \\ 0 \end{pmatrix}=(31)\displaystyle {}= \begin{pmatrix} \sqrt{3} \\ 1 \end{pmatrix}⟹点 (3, 1)‾\displaystyle {}\Longrightarrow \quad \underline{\text{点} \ (\sqrt{3},\ 1)}

(3) 公式5 より、倍率は 66 乗、角は 66 倍になります。

A6\displaystyle A^6=26R(30∘×6)\displaystyle {}= 2^6 R(30^\circ \times 6)=64R(180∘)\displaystyle {}= 64R(180^\circ)=64(−100−1)\displaystyle {}= 64\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}=(−6400−64)‾\displaystyle {}= \underline{\begin{pmatrix} -64 & 0 \\ 0 & -64 \end{pmatrix}}

第 5 章では、AnA^n を求めるのに次数下げや数学的帰納法が必要でした。回転と拡大に分けられる形なら、角を nn 倍して倍率を nn 乗するだけで終わります。変換として読めると計算が軽くなる、その典型例です。

行列から変換を読み取る

ここまでは「こういう動きの行列を書きなさい」という向きでした。逆向き、つまり与えられた行列がどんな動きなのかを読む練習もしておきます。手順は次の 3 段です。

  1. 行列式 Δ\Delta を計算する。
  2. Δ\Delta=1{}= 1 で成分が (cos⁡θ−sin⁡θsin⁡θcos⁡θ)\begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} の形なら回転。cos⁡θ\cos\theta,sin⁡θ\sin\theta から θ\theta を読む。
  3. Δ\Delta=−1{}= -1 で成分が (cos⁡2θsin⁡2θsin⁡2θ−cos⁡2θ)\begin{pmatrix} \cos 2\theta & \sin 2\theta \\ \sin 2\theta & -\cos 2\theta \end{pmatrix} の形なら対称移動。2θ2\theta を読んで半分にしてから ℓ\ell を書く。

Δ\Delta の符号だけで回転と対称移動が仕分けられるところが便利です。回転は裏返さず(Δ\Delta=1{}= 1)、対称移動は裏返す(Δ\Delta=−1{}= -1)。この 2 つが、原点からの距離を変えない一次変換のすべてであることも証明できます(実践 j19)。

例題7:行列が表す変換を答える

次の行列が表す一次変換は、原点まわりの回転か、原点を通る直線に関する対称移動のいずれかである。回転ならその角、対称移動ならその直線を求めなさい。

(1) (0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}

(2) (−12−3232−12)\begin{pmatrix} -\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}

(3) (12−32−32−12)\begin{pmatrix} \dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}


【解答】

(1) Δ\Delta=0×0{}= 0 \times 0−1×1{}- 1 \times 1=−1{}= -1 なので対称移動です。公式3 と見比べると cos⁡2θ\cos 2\theta=0{}= 0,sin⁡2θ\sin 2\theta=1{}= 1 より 2θ2\theta=90∘{}= 90^\circ、θ\theta=45∘{}= 45^\circ。tan⁡45∘\tan 45^\circ=1{}= 1 なので

直線 y=x に関する対称移動‾\underline{\text{直線} \ y = x \ \text{に関する対称移動}}

(x, y)(x,\ y) が (y, x)(y,\ x) に移る、つまり座標を入れかえる変換です。yy=x{}= x を折り目にすれば、たしかに縦と横が入れかわります。

(2) Δ\Delta=(−12)(−12){}= \left(-\dfrac{1}{2}\right)\left(-\dfrac{1}{2}\right)−(−32)(32){}- \left(-\dfrac{\sqrt{3}}{2}\right)\left(\dfrac{\sqrt{3}}{2}\right)=14{}= \dfrac{1}{4}+34{}+ \dfrac{3}{4}=1{}= 1 なので回転です。cos⁡θ\cos\theta=−12{}= -\dfrac{1}{2},sin⁡θ\sin\theta=32{}= \dfrac{\sqrt{3}}{2} より

原点まわりに 120∘ の回転‾\underline{\text{原点まわりに} \ 120^\circ \ \text{の回転}}

(3) Δ\Delta=(12)(−12){}= \left(\dfrac{1}{2}\right)\left(-\dfrac{1}{2}\right)−(−32)(−32){}- \left(-\dfrac{\sqrt{3}}{2}\right)\left(-\dfrac{\sqrt{3}}{2}\right)=−14{}= -\dfrac{1}{4}−34{}- \dfrac{3}{4}=−1{}= -1 なので対称移動です。cos⁡2θ\cos 2\theta=12{}= \dfrac{1}{2},sin⁡2θ\sin 2\theta=−32{}= -\dfrac{\sqrt{3}}{2} より 2θ2\theta=−60∘{}= -60^\circ、θ\theta=−30∘{}= -30^\circ。tan⁡(−30∘)\tan(-30^\circ)=−13{}= -\dfrac{1}{\sqrt{3}} なので

直線 y=−13x に関する対称移動‾\underline{\text{直線} \ y = -\dfrac{1}{\sqrt{3}}x \ \text{に関する対称移動}}

2θ2\theta をそのまま θ\theta と読んでしまい、yy=−3x{}= -\sqrt{3}x と答えるのがいちばん多い誤りです。対称移動の行列に入っているのは 2θ2\theta。読み取ったら必ず半分にしてください。

基礎確認問題(全5問)

まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。

問1

原点まわりに 90∘90^\circ 回転する一次変換を表す行列を求めなさい。

つまずいたときは:
答えを見る
答え

(0−110)\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}(cos⁡90∘\cos 90^\circ=0{}= 0,sin⁡90∘\sin 90^\circ=1{}= 1)

自己採点:
記録を読み込み中…

問2

原点まわりに 30∘30^\circ 回転する一次変換による点 (2, 0)(2,\ 0) の像を求めなさい。

答えを見る
答え

点 (3, 1)(\sqrt{3},\ 1)(距離 22 のまま、向きが 30∘30^\circ)

自己採点:
記録を読み込み中…

問3

xx 軸に関する対称移動を表す行列と、その変換による点 (3, −5)(3,\ -5) の像を求めなさい。

答えを見る
答え

(100−1)\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}、像は点 (3, 5)(3,\ 5)

自己採点:
記録を読み込み中…

問4

原点を中心として 44 倍に拡大する一次変換を表す行列を求めなさい。

答えを見る
答え

4E4E=(4004){}= \begin{pmatrix} 4 & 0 \\ 0 & 4 \end{pmatrix}

自己採点:
記録を読み込み中…

問5

回転を表す行列を R(θ)R(\theta) と書くとき、R(60∘)R(60∘)R(60^\circ)R(60^\circ) を求めなさい。

つまずいたときは:
答えを見る
答え

R(120∘)R(120^\circ)=(−12−3232−12){}= \begin{pmatrix} -\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}(角が足される)

自己採点:
記録を読み込み中…

実践問題(全20問)

難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。

問1 ★

次の 4 つの角

(1) 45∘45^\circ (2) 120∘120^\circ (3) −60∘-60^\circ (4) 180∘180^\circ

について、原点まわりにその角だけ回転する一次変換を表す行列をそれぞれ求めなさい。

つまずいたときは:
答えを見る
答え

(1) (22−222222)\begin{pmatrix} \dfrac{\sqrt{2}}{2} & -\dfrac{\sqrt{2}}{2} \\[4pt] \dfrac{\sqrt{2}}{2} & \dfrac{\sqrt{2}}{2} \end{pmatrix}  (2) (−12−3232−12)\begin{pmatrix} -\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}  (3) (1232−3212)\begin{pmatrix} \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}  (4) (−100−1)\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}

解説

公式1 の R(θ)R(\theta)=(cos⁡θ−sin⁡θsin⁡θcos⁡θ){}= \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} に値を入れるだけです。

(1) cos⁡45∘\cos 45^\circ=sin⁡45∘{}= \sin 45^\circ=22{}= \dfrac{\sqrt{2}}{2}。

(2) cos⁡120∘\cos 120^\circ=−12{}= -\dfrac{1}{2},sin⁡120∘\sin 120^\circ=32{}= \dfrac{\sqrt{3}}{2}。

(3) cos⁡(−60∘)\cos(-60^\circ)=12{}= \dfrac{1}{2},sin⁡(−60∘)\sin(-60^\circ)=−32{}= -\dfrac{\sqrt{3}}{2} です。(1, 2)(1,\ 2) 成分は −sin⁡θ-\sin\theta なので +32+\dfrac{\sqrt{3}}{2} になります。符号を 2 回変えることになるので、いちばん間違いやすいところです。

(4) cos⁡180∘\cos 180^\circ=−1{}= -1,sin⁡180∘\sin 180^\circ=0{}= 0 なので −E-E です。

自己採点:
記録を読み込み中…

問2 ★

原点まわりに 45∘45^\circ 回転する一次変換 ff による、(1) 点 (2, 0)(\sqrt{2},\ 0)、(2) 点 (2, 2)(2,\ 2)、(3) 点 (1, −1)(1,\ -1) の像をそれぞれ求めなさい。

つまずいたときは:
答えを見る
答え

(1) 点 (1, 1)(1,\ 1) (2) 点 (0, 22)(0,\ 2\sqrt{2}) (3) 点 (2, 0)(\sqrt{2},\ 0)

解説

R(45∘)R(45^\circ)=22(1−111){}= \dfrac{\sqrt{2}}{2}\begin{pmatrix} 1 & -1 \\ 1 & 1 \end{pmatrix} と、共通の 22\dfrac{\sqrt{2}}{2} をくくり出しておくと計算が楽です。

(1) 22(1−111)(20)\dfrac{\sqrt{2}}{2}\begin{pmatrix} 1 & -1 \\ 1 & 1 \end{pmatrix}\begin{pmatrix} \sqrt{2} \\ 0 \end{pmatrix}=22(22){}= \dfrac{\sqrt{2}}{2}\begin{pmatrix} \sqrt{2} \\ \sqrt{2} \end{pmatrix}=(11){}= \begin{pmatrix} 1 \\ 1 \end{pmatrix}

(2) 22(2−22+2)\dfrac{\sqrt{2}}{2}\begin{pmatrix} 2 - 2 \\ 2 + 2 \end{pmatrix}=22(04){}= \dfrac{\sqrt{2}}{2}\begin{pmatrix} 0 \\ 4 \end{pmatrix}=(022){}= \begin{pmatrix} 0 \\ 2\sqrt{2} \end{pmatrix}

(3) 22(1+11−1)\dfrac{\sqrt{2}}{2}\begin{pmatrix} 1 + 1 \\ 1 - 1 \end{pmatrix}=22(20){}= \dfrac{\sqrt{2}}{2}\begin{pmatrix} 2 \\ 0 \end{pmatrix}=(20){}= \begin{pmatrix} \sqrt{2} \\ 0 \end{pmatrix}

向きで検算できます。(2) の点 (2, 2)(2,\ 2) は向き 45∘45^\circ なので、像は 90∘90^\circ、つまり yy 軸上に来るはずで、たしかに xx 座標が 00 です。(3) の点 (1, −1)(1,\ -1) は向き −45∘-45^\circ なので像は 0∘0^\circ、つまり xx 軸上です。

自己採点:
記録を読み込み中…

問3 ★

次の 4 つの対称移動

(1) xx 軸に関する対称移動 (2) yy 軸に関する対称移動

(3) 直線 yy=x{}= x に関する対称移動 (4) 原点に関する対称移動

について、それを表す行列と、その変換による点 (2, 3)(2,\ 3) の像をそれぞれ求めなさい。

つまずいたときは:
答えを見る
答え

(1) (100−1)\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}、点 (2, −3)(2,\ -3)  (2) (−1001)\begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}、点 (−2, 3)(-2,\ 3)  (3) (0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}、点 (3, 2)(3,\ 2)  (4) (−100−1)\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}、点 (−2, −3)(-2,\ -3)

解説

(1) θ\theta=0∘{}= 0^\circ、2θ2\theta=0∘{}= 0^\circ なので (cos⁡0∘sin⁡0∘sin⁡0∘−cos⁡0∘)\begin{pmatrix} \cos 0^\circ & \sin 0^\circ \\ \sin 0^\circ & -\cos 0^\circ \end{pmatrix}=(100−1){}= \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}。yy の符号だけ変わります。

(2) θ\theta=90∘{}= 90^\circ、2θ2\theta=180∘{}= 180^\circ なので (−1001)\begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}。xx の符号だけ変わります。

(3) θ\theta=45∘{}= 45^\circ、2θ2\theta=90∘{}= 90^\circ なので (0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}。座標が入れかわります。

(4) 原点に関する対称移動は (x, y)(x,\ y)↦(−x, −y){}\mapsto (-x,\ -y) なので −E-E です。これは直線に関する対称移動ではなく、180∘180^\circ の回転です(j06)。Δ\Delta=1{}= 1 なので、公式3 の形にはあてはまりません。

(1)〜(3) の行列式はどれも −1-1、(4) だけ 11。この違いが「裏返したかどうか」の違いです。

自己採点:
記録を読み込み中…

問4 ★

原点まわりに 90∘90^\circ 回転する一次変換 ff について、点 (3, 1)(3,\ 1) の像と、ff によって点 (3, 1)(3,\ 1) に移る点を求めなさい。

つまずいたときは:
答えを見る
答え

像は点 (−1, 3)(-1,\ 3)、点 (3, 1)(3,\ 1) に移る点は点 (1, −3)(1,\ -3)

解説

R(90∘)R(90^\circ)=(0−110){}= \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} です。像は

(0−110)(31)\displaystyle \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 3 \\ 1 \end{pmatrix}=(−13)\displaystyle {}= \begin{pmatrix} -1 \\ 3 \end{pmatrix}

原像は逆向きに 90∘90^\circ 回せばよいので、R(−90∘)R(-90^\circ)=(01−10){}= \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} をかけます。

(01−10)(31)\displaystyle \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}\begin{pmatrix} 3 \\ 1 \end{pmatrix}=(1−3)\displaystyle {}= \begin{pmatrix} 1 \\ -3 \end{pmatrix}

検算します。(0−110)(1−3)\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 1 \\ -3 \end{pmatrix}=(31){}= \begin{pmatrix} 3 \\ 1 \end{pmatrix} で条件どおりです。90∘90^\circ 回転は (x, y)(x,\ y)↦(−y, x){}\mapsto (-y,\ x)、−90∘-90^\circ 回転は (x, y)(x,\ y)↦(y, −x){}\mapsto (y,\ -x) と覚えておくと速く動けます。

自己採点:
記録を読み込み中…

問5 ★

xx 軸方向に 33 倍、yy 軸方向に 22 倍する一次変換を表す行列と、その変換による点 (−1, 4)(-1,\ 4) の像を求めなさい。

答えを見る
答え

(3002)\begin{pmatrix} 3 & 0 \\ 0 & 2 \end{pmatrix}、像は点 (−3, 8)(-3,\ 8)

解説

e1⃗\vec{e_1}=(1, 0){}= (1,\ 0) は xx 軸方向に 33 倍されて (3, 0)(3,\ 0) へ、e2⃗\vec{e_2}=(0, 1){}= (0,\ 1) は yy 軸方向に 22 倍されて (0, 2)(0,\ 2) へ移ります。これを列として並べると (3002)\begin{pmatrix} 3 & 0 \\ 0 & 2 \end{pmatrix} です。

(3002)(−14)\displaystyle \begin{pmatrix} 3 & 0 \\ 0 & 2 \end{pmatrix}\begin{pmatrix} -1 \\ 4 \end{pmatrix}=(−38)\displaystyle {}= \begin{pmatrix} -3 \\ 8 \end{pmatrix}

対角成分だけの行列(対角行列。第 5 章)では、xx 座標と yy 座標が混ざりません。Δ\Delta=6{}= 6 で、面積は 66 倍になります(第 9 章)。

自己採点:
記録を読み込み中…

問6 ★

行列 −E-E が表す一次変換は原点まわりの 180∘180^\circ の回転であり、これは原点に関する対称移動と同じであることを示しなさい。

つまずいたときは:
答えを見る
答え

R(180∘)R(180^\circ)=−E{}= -E で、どちらも点 (x, y)(x,\ y) を点 (−x, −y)(-x,\ -y) に移すので一致する。

解説

まず公式1 に θ\theta=180∘{}= 180^\circ を入れます。cos⁡180∘\cos 180^\circ=−1{}= -1,sin⁡180∘\sin 180^\circ=0{}= 0 なので

R(180∘)\displaystyle R(180^\circ)=(−100−1)\displaystyle {}= \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}=−E\displaystyle {}= -E

次に、−E-E による点 (x, y)(x,\ y) の像を計算します。

−E(xy)\displaystyle -E\begin{pmatrix} x \\ y \end{pmatrix}=(−x−y)\displaystyle {}= \begin{pmatrix} -x \\ -y \end{pmatrix}

点 (−x, −y)(-x,\ -y) は、線分の中点が原点になる位置、つまり原点に関して点 (x, y)(x,\ y) と対称な点です。よって −E-E が表す変換は原点に関する対称移動でもあります。

半回転すると、点は原点をはさんだ反対側に来る。図で見ればあたりまえのことですが、R(180∘)R(180^\circ)=−E{}= -E という等式の形で書けたおかげで、第 1 章で導入した「−A-A」という記号と、変換としての意味がつながりました。なお Δ\Delta=1{}= 1 なので、これは裏返しではありません(直線に関する対称移動とは別物です)。

自己採点:
記録を読み込み中…

問7 ★

回転を表す行列 R(θ)R(\theta) の行列式が 11 であること、原点を通る直線に関する対称移動を表す行列 S(θ)S(\theta) の行列式が −1-1 であることを示しなさい。

つまずいたときは:
答えを見る
答え

ΔR\Delta_R=cos⁡2θ{}= \cos^2\theta+sin⁡2θ{}+ \sin^2\theta=1{}= 1、ΔS\Delta_S=−cos⁡22θ{}= -\cos^2 2\theta−sin⁡22θ{}- \sin^2 2\theta=−1{}= -1

解説

回転のほうは

ΔR\displaystyle \Delta_R=cos⁡θ⋅cos⁡θ\displaystyle {}= \cos\theta \cdot \cos\theta−(−sin⁡θ)⋅sin⁡θ\displaystyle {}- (-\sin\theta) \cdot \sin\theta=cos⁡2θ\displaystyle {}= \cos^2\theta+sin⁡2θ\displaystyle {}+ \sin^2\theta=1\displaystyle {}= 1

対称移動のほうは

ΔS\displaystyle \Delta_S=cos⁡2θ⋅(−cos⁡2θ)\displaystyle {}= \cos 2\theta \cdot (-\cos 2\theta)−sin⁡2θ⋅sin⁡2θ\displaystyle {}- \sin 2\theta \cdot \sin 2\theta=−(cos⁡22θ+sin⁡22θ)\displaystyle {}= -(\cos^2 2\theta + \sin^2 2\theta)=−1\displaystyle {}= -1

どちらも sin⁡2\sin^2+cos⁡2{}+ \cos^2=1{}= 1 ひとつで片づきます。

結果の意味のほうが大切です。Δ\Delta が ±1\pm 1 なので、どちらも 00 ではなく、回転も対称移動も必ず逆行列をもちます(正則である)。そのうえで符号が違う。Δ\Delta の絶対値が面積の倍率、符号が裏返しの有無を表すことは第 9 章で示しますが、いまは回転は Δ\Delta=1{}= 1、対称移動は Δ\Delta=−1{}= -1 で仕分けられるという判別の道具として使えます。

自己採点:
記録を読み込み中…

問8 ★

RR=R(30∘){}= R(30^\circ) とする。R2R^2 と R3R^3 を成分で計算し、それぞれ 60∘60^\circ,90∘90^\circ の回転を表す行列と一致することを確かめなさい。

つまずいたときは:
答えを見る
答え

R2R^2=(12−323212){}= \begin{pmatrix} \dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}=R(60∘){}= R(60^\circ)、R3R^3=(0−110){}= \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}=R(90∘){}= R(90^\circ)

解説

RR=(32−121232){}= \begin{pmatrix} \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \\[4pt] \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \end{pmatrix} です。12\dfrac{1}{2} をくくり出して RR=12(3−113){}= \dfrac{1}{2}\begin{pmatrix} \sqrt{3} & -1 \\ 1 & \sqrt{3} \end{pmatrix} としておきます。

R2\displaystyle R^2=14(3−113)(3−113)\displaystyle {}= \frac{1}{4}\begin{pmatrix} \sqrt{3} & -1 \\ 1 & \sqrt{3} \end{pmatrix}\begin{pmatrix} \sqrt{3} & -1 \\ 1 & \sqrt{3} \end{pmatrix}=14(3−1−3−33+3−1+3)\displaystyle {}= \frac{1}{4}\begin{pmatrix} 3 - 1 & -\sqrt{3} - \sqrt{3} \\ \sqrt{3} + \sqrt{3} & -1 + 3 \end{pmatrix}=14(2−23232)\displaystyle {}= \frac{1}{4}\begin{pmatrix} 2 & -2\sqrt{3} \\ 2\sqrt{3} & 2 \end{pmatrix}

約分すると (12−323212)\begin{pmatrix} \dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix} で、cos⁡60∘\cos 60^\circ=12{}= \dfrac{1}{2},sin⁡60∘\sin 60^\circ=32{}= \dfrac{\sqrt{3}}{2} ですから R(60∘)R(60^\circ) です。

R3\displaystyle R^3=R2R\displaystyle {}= R^2 R=12(1−331)\displaystyle {}= \frac{1}{2}\begin{pmatrix} 1 & -\sqrt{3} \\ \sqrt{3} & 1 \end{pmatrix}⋅12(3−113)\displaystyle \qquad \cdot \frac{1}{2}\begin{pmatrix} \sqrt{3} & -1 \\ 1 & \sqrt{3} \end{pmatrix}=14(3−3−1−33+1−3+3)\displaystyle {}= \frac{1}{4}\begin{pmatrix} \sqrt{3} - \sqrt{3} & -1 - 3 \\ 3 + 1 & -\sqrt{3} + \sqrt{3} \end{pmatrix}=(0−110)\displaystyle {}= \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}

cos⁡90∘\cos 90^\circ=0{}= 0,sin⁡90∘\sin 90^\circ=1{}= 1 なので R(90∘)R(90^\circ) と一致します。公式2 を使えば R2R^2=R(60∘){}= R(60^\circ),R3R^3=R(90∘){}= R(90^\circ) と即答できますが、一度は成分で確かめておくと、公式2 が加法定理そのものだという実感が持てます。

自己採点:
記録を読み込み中…

問9 ★★

AA=(−12−3232−12){}= \begin{pmatrix} -\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix} のとき、A2026A^{2026} を求めなさい。

つまずいたときは:
答えを見る
答え

A2026A^{2026}=A{}= A=(−12−3232−12){}= \begin{pmatrix} -\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}

解説

成分を公式1 と見比べます。cos⁡θ\cos\theta=−12{}= -\dfrac{1}{2},sin⁡θ\sin\theta=32{}= \dfrac{\sqrt{3}}{2} なので θ\theta=120∘{}= 120^\circ、つまり AA=R(120∘){}= R(120^\circ) です。

公式2 より

A2026\displaystyle A^{2026}=R(120∘×2026)\displaystyle {}= R(120^\circ \times 2026)=R(243120∘)\displaystyle {}= R(243120^\circ)

120∘120^\circ の回転は 33 回で 1 周して EE に戻ります(A3A^3=R(360∘){}= R(360^\circ)=E{}= E)。そこで 20262026 を 33 で割ります。

2026\displaystyle 2026=3×675\displaystyle {}= 3 \times 675+1\displaystyle {}+ 1 A2026\displaystyle A^{2026}=(A3)675⋅A\displaystyle {}= (A^3)^{675} \cdot A=E675⋅A\displaystyle {}= E^{675} \cdot A=A\displaystyle {}= A

よって答えは AA そのものです。243120∘243120^\circ を 360∘360^\circ で割った余りを見ても同じで、243120243120=360×675{}= 360 \times 675+120{}+ 120 なので R(120∘)R(120^\circ) に戻ります。

第 5 章では、周期を見つけて余りで考える方法を「AnA^n の求め方その 2」として扱いました。回転だと分かれば、周期は「11 周が何回分か」を数えるだけで出ます。

自己採点:
記録を読み込み中…

問10 ★★

直線 ℓ:y\ell : y=13x{}= \dfrac{1}{\sqrt{3}}x に関する対称移動を表す行列と、その変換による点 (0, 2)(0,\ 2) の像を求めなさい。

つまずいたときは:
答えを見る
答え

(123232−12)\begin{pmatrix} \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}、像は点 (3, −1)(\sqrt{3},\ -1)

解説

傾きが 13\dfrac{1}{\sqrt{3}} なので tan⁡θ\tan\theta=13{}= \dfrac{1}{\sqrt{3}}、つまり θ\theta=30∘{}= 30^\circ です。公式3 に入れるのは 2θ2\theta=60∘{}= 60^\circ で、cos⁡60∘\cos 60^\circ=12{}= \dfrac{1}{2},sin⁡60∘\sin 60^\circ=32{}= \dfrac{\sqrt{3}}{2}。

S(30∘)\displaystyle S(30^\circ)=(cos⁡60∘sin⁡60∘sin⁡60∘−cos⁡60∘)\displaystyle {}= \begin{pmatrix} \cos 60^\circ & \sin 60^\circ \\ \sin 60^\circ & -\cos 60^\circ \end{pmatrix}=(123232−12)\displaystyle {}= \begin{pmatrix} \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}

像を計算します。

(123232−12)(02)\displaystyle \begin{pmatrix} \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 0 \\ 2 \end{pmatrix}=(3−1)\displaystyle {}= \begin{pmatrix} \sqrt{3} \\ -1 \end{pmatrix}⟹点 (3, −1)\displaystyle {}\Longrightarrow \quad \text{点} \ (\sqrt{3},\ -1)

向きで検算します。点 (0, 2)(0,\ 2) は距離 22・向き 90∘90^\circ。折り目 ℓ\ell の向きは 30∘30^\circ なので、ℓ\ell から点までの角は 90∘−30∘90^\circ - 30^\circ=60∘{}= 60^\circ。折り返すと ℓ\ell の反対側へ 60∘60^\circ なので、像の向きは 30∘−60∘30^\circ - 60^\circ=−30∘{}= -30^\circ です。距離 22・向き −30∘-30^\circ の点は (2cos⁡(−30∘), 2sin⁡(−30∘))(2\cos(-30^\circ),\ 2\sin(-30^\circ))=(3, −1){}= (\sqrt{3},\ -1) で一致します。

自己採点:
記録を読み込み中…

問11 ★★

AA=(−2−22−2){}= \begin{pmatrix} -2 & -2 \\ 2 & -2 \end{pmatrix} を rR(θ)rR(\theta) の形に表し、A4A^4 を求めなさい。

つまずいたときは:
答えを見る
答え

AA=22 R(135∘){}= 2\sqrt{2}\,R(135^\circ)、A4A^4=(−6400−64){}= \begin{pmatrix} -64 & 0 \\ 0 & -64 \end{pmatrix}

解説

(a−bba)\begin{pmatrix} a & -b \\ b & a \end{pmatrix} の形かどうかを確かめます。aa=−2{}= -2,bb=2{}= 2 とすると −b-b=−2{}= -2 で、たしかにこの形です。

r\displaystyle r=(−2)2+22\displaystyle {}= \sqrt{(-2)^2 + 2^2}=8\displaystyle {}= \sqrt{8}=22\displaystyle {}= 2\sqrt{2} cos⁡θ\displaystyle \cos\theta=−222\displaystyle {}= \frac{-2}{2\sqrt{2}}=−12,\displaystyle {}= -\frac{1}{\sqrt{2}},sin⁡θ\displaystyle \sin\theta=222\displaystyle {}= \frac{2}{2\sqrt{2}}=12\displaystyle {}= \frac{1}{\sqrt{2}}

cos⁡\cos が負・sin⁡\sin が正なので第 2 象限、θ\theta=135∘{}= 135^\circ です。よって AA=22 R(135∘){}= 2\sqrt{2}\,R(135^\circ)。

44 乗は公式5 のとおり、倍率が 44 乗・角が 44 倍になります。

A4\displaystyle A^4=(22)4R(135∘×4)\displaystyle {}= (2\sqrt{2})^4 R(135^\circ \times 4)=64R(540∘)\displaystyle {}= 64R(540^\circ)

(22)4(2\sqrt{2})^4=(22)2⋅(22)2{}= (2\sqrt{2})^2 \cdot (2\sqrt{2})^2=8×8{}= 8 \times 8=64{}= 64 です。540∘540^\circ=360∘+180∘{}= 360^\circ + 180^\circ なので R(540∘)R(540^\circ)=R(180∘){}= R(180^\circ)=−E{}= -E。

A4\displaystyle A^4=64×(−E)\displaystyle {}= 64 \times (-E)=(−6400−64)\displaystyle {}= \begin{pmatrix} -64 & 0 \\ 0 & -64 \end{pmatrix}

第 5 章のやり方でも解けます。AA の対角和は −4-4、Δ\Delta=4{}= 4+4{}+ 4=8{}= 8 なのでケーリー・ハミルトンの定理から A2A^2+4A{}+ 4A+8E{}+ 8E=O{}= O。ここから次数下げを繰り返せば同じ答えに着きますが、回転と拡大に分ければ指数法則だけで済みます。

自己採点:
記録を読み込み中…

問12 ★★

次の 3 つの行列

(1) (2222−2222)\begin{pmatrix} \dfrac{\sqrt{2}}{2} & \dfrac{\sqrt{2}}{2} \\[4pt] -\dfrac{\sqrt{2}}{2} & \dfrac{\sqrt{2}}{2} \end{pmatrix} (2) (−1001)\begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix} (3) (0−1−10)\begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}

が表す一次変換は、いずれも原点まわりの回転か、原点を通る直線に関する対称移動である。回転ならその角を、対称移動ならその直線をそれぞれ求めなさい。

つまずいたときは:
答えを見る
答え

(1) 原点まわりに −45∘-45^\circ の回転 (2) yy 軸に関する対称移動 (3) 直線 yy=−x{}= -x に関する対称移動

解説

まず Δ\Delta を計算して仕分けます。

(1) Δ\Delta=22⋅22{}= \dfrac{\sqrt{2}}{2} \cdot \dfrac{\sqrt{2}}{2}−22⋅(−22){}- \dfrac{\sqrt{2}}{2} \cdot \left(-\dfrac{\sqrt{2}}{2}\right)=12{}= \dfrac{1}{2}+12{}+ \dfrac{1}{2}=1{}= 1 なので回転です。cos⁡θ\cos\theta=22{}= \dfrac{\sqrt{2}}{2},sin⁡θ\sin\theta=−22{}= -\dfrac{\sqrt{2}}{2}((2, 1)(2,\ 1) 成分が sin⁡θ\sin\theta)なので θ\theta=−45∘{}= -45^\circ。時計まわりに 45∘45^\circ 回す変換です。

(2) Δ\Delta=−1×1{}= -1 \times 1−0{}- 0=−1{}= -1 なので対称移動です。cos⁡2θ\cos 2\theta=−1{}= -1,sin⁡2θ\sin 2\theta=0{}= 0 より 2θ2\theta=180∘{}= 180^\circ、θ\theta=90∘{}= 90^\circ。なす角 90∘90^\circ の直線は yy 軸です(tan⁡90∘\tan 90^\circ は定義されないので、傾きの式では書けません)。実際 (x, y)(x,\ y)↦(−x, y){}\mapsto (-x,\ y) で、xx の符号だけが変わっています。

(3) Δ\Delta=0×0{}= 0 \times 0−(−1)(−1){}- (-1)(-1)=−1{}= -1 なので対称移動です。cos⁡2θ\cos 2\theta=0{}= 0,sin⁡2θ\sin 2\theta=−1{}= -1 より 2θ2\theta=−90∘{}= -90^\circ、θ\theta=−45∘{}= -45^\circ。tan⁡(−45∘)\tan(-45^\circ)=−1{}= -1 なので直線 yy=−x{}= -x です。(x, y)(x,\ y)↦(−y, −x){}\mapsto (-y,\ -x) で、たしかに yy=−x{}= -x を折り目にした入れかえになっています。

(1) と (3) は θ\theta の値が同じ −45∘-45^\circ なのに、意味がまったく違います。回転の行列では θ\theta が回転角そのもの、対称移動の行列では行列に入っているのが 2θ2\theta。読み取る前に Δ\Delta で仕分ける、という手順を崩さないことが大切です。

自己採点:
記録を読み込み中…

問13 ★★

点 (3, 1)(\sqrt{3},\ 1) を原点まわりに θ\theta だけ回転すると点 (−1, 3)(-1,\ \sqrt{3}) になった。0∘0^\circ≦θ{}\leqq \theta<360∘{}< 360^\circ として θ\theta を求めなさい。

つまずいたときは:
答えを見る
答え

θ\theta=90∘{}= 90^\circ

解説

距離と向きで考えるのがいちばん速い道です。

(3)2+12\displaystyle \sqrt{(\sqrt{3})^2 + 1^2}=2,\displaystyle {}= 2,(−1)2+(3)2\displaystyle \sqrt{(-1)^2 + (\sqrt{3})^2}=2\displaystyle {}= 2

距離はどちらも 22 で、回転で距離が変わらないことと合っています(合わなければ回転では移せません)。

点 (3, 1)(\sqrt{3},\ 1)=(2cos⁡30∘, 2sin⁡30∘){}= (2\cos 30^\circ,\ 2\sin 30^\circ) の向きは 30∘30^\circ。点 (−1, 3)(-1,\ \sqrt{3})=(2cos⁡120∘, 2sin⁡120∘){}= (2\cos 120^\circ,\ 2\sin 120^\circ) の向きは 120∘120^\circ。回転で向きは θ\theta だけ増えるので

θ\displaystyle \theta=120∘−30∘\displaystyle {}= 120^\circ - 30^\circ=90∘\displaystyle {}= 90^\circ

成分で解くこともできます。R(θ)(31)R(\theta)\begin{pmatrix} \sqrt{3} \\ 1 \end{pmatrix}=(−13){}= \begin{pmatrix} -1 \\ \sqrt{3} \end{pmatrix} より

{3cos⁡θ−sin⁡θ=−13sin⁡θ+cos⁡θ=3\begin{cases} \sqrt{3}\cos\theta - \sin\theta = -1 \\ \sqrt{3}\sin\theta + \cos\theta = \sqrt{3} \end{cases}

上の式を 3\sqrt{3} 倍して下の式を足すと 4cos⁡θ4\cos\theta=−3{}= -\sqrt{3}+3{}+ \sqrt{3}=0{}= 0 なので cos⁡θ\cos\theta=0{}= 0。これを上の式に戻して sin⁡θ\sin\theta=1{}= 1。0∘0^\circ≦θ{}\leqq \theta<360∘{}< 360^\circ で cos⁡θ\cos\theta=0{}= 0,sin⁡θ\sin\theta=1{}= 1 をみたすのは θ\theta=90∘{}= 90^\circ だけです。

検算。R(90∘)R(90^\circ) は (x, y)(x,\ y)↦(−y, x){}\mapsto (-y,\ x) なので (3, 1)(\sqrt{3},\ 1)↦(−1, 3){}\mapsto (-1,\ \sqrt{3}) で条件どおりです。

自己採点:
記録を読み込み中…

問14 ★★

原点を通る直線に関する対称移動を表す行列を SS=(cos⁡2θsin⁡2θsin⁡2θ−cos⁡2θ){}= \begin{pmatrix} \cos 2\theta & \sin 2\theta \\ \sin 2\theta & -\cos 2\theta \end{pmatrix} とする。S2S^2=E{}= E を示し、SS の逆行列を求めなさい。

つまずいたときは:
答えを見る
答え

S2S^2=E{}= E。したがって S−1S^{-1}=S{}= S(SS 自身が逆行列)。

解説

cc=cos⁡2θ{}= \cos 2\theta,ss=sin⁡2θ{}= \sin 2\theta と略記して計算します。

S2\displaystyle S^2=(css−c)(css−c)\displaystyle {}= \begin{pmatrix} c & s \\ s & -c \end{pmatrix}\begin{pmatrix} c & s \\ s & -c \end{pmatrix}=(c2+s2cs−scsc−css2+c2)\displaystyle {}= \begin{pmatrix} c^2 + s^2 & cs - sc \\ sc - cs & s^2 + c^2 \end{pmatrix}=(1001)\displaystyle {}= \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}=E\displaystyle {}= E

c2c^2+s2{}+ s^2=1{}= 1 と、非対角成分がきれいに打ち消し合うことで EE になりました。

S2S^2=E{}= E とは S⋅SS \cdot S=E{}= E ということなので、逆行列の定義(第 3 章)からそのまま

S−1\displaystyle S^{-1}=S\displaystyle {}= S

です。逆行列の公式を使っても同じ結果になります。Δ\Delta=−1{}= -1 なので

S−1\displaystyle S^{-1}=1−1(−c−s−sc)\displaystyle {}= \frac{1}{-1}\begin{pmatrix} -c & -s \\ -s & c \end{pmatrix}=(css−c)\displaystyle {}= \begin{pmatrix} c & s \\ s & -c \end{pmatrix}=S\displaystyle {}= S

意味は明らかです。同じ折り目で 2 回折り返せば、もとの位置に戻る。裏返したものをもう一度裏返せば表に戻るからです。回転の R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) と違い、対称移動は逆向きというものがなく、自分自身が逆になっています。第 5 章 j17 で「一度つぶしたものをもう一度つぶしても変わらない」A2A^2=A{}= A の行列を扱いましたが、こちらは A2A^2=E{}= E。22 回で元に戻る変換を対合といいます。

自己採点:
記録を読み込み中…

問15 ★★

回転を表す行列 R(θ)R(\theta) について R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) を示し、原点まわりに 60∘60^\circ 回転する一次変換によって点 (2, 23)(2,\ 2\sqrt{3}) に移る点を求めなさい。

つまずいたときは:
答えを見る
答え

R(θ)R(−θ)R(\theta)R(-\theta)=R(0∘){}= R(0^\circ)=E{}= E より R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta)。求める点は点 (4, 0)(4,\ 0)。

解説

公式2 の R(α)R(β)R(\alpha)R(\beta)=R(α+β){}= R(\alpha + \beta) に α\alpha=θ{}= \theta,β\beta=−θ{}= -\theta を入れると

R(θ)R(−θ)\displaystyle R(\theta)R(-\theta)=R(0∘)\displaystyle {}= R(0^\circ)=E,\displaystyle {}= E,R(−θ)R(θ)\displaystyle R(-\theta)R(\theta)=R(0∘)\displaystyle {}= R(0^\circ)=E\displaystyle {}= E

左右どちらからかけても EE になるので、逆行列の定義より R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) です。成分で確かめても同じです。Δ\Delta=1{}= 1 なので

R(θ)−1\displaystyle R(\theta)^{-1}=11(cos⁡θsin⁡θ−sin⁡θcos⁡θ)\displaystyle {}= \frac{1}{1}\begin{pmatrix} \cos\theta & \sin\theta \\ -\sin\theta & \cos\theta \end{pmatrix}

これは cos⁡(−θ)\cos(-\theta)=cos⁡θ{}= \cos\theta,sin⁡(−θ)\sin(-\theta)=−sin⁡θ{}= -\sin\theta を使えば R(−θ)R(-\theta) です。

原像を求めます。R(−60∘)R(-60^\circ)=(1232−3212){}= \begin{pmatrix} \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix} を、与えられた点にかけます。

(1232−3212)(223)\displaystyle \begin{pmatrix} \dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} & \dfrac{1}{2} \end{pmatrix}\begin{pmatrix} 2 \\ 2\sqrt{3} \end{pmatrix}=(1+3−3+3)\displaystyle {}= \begin{pmatrix} 1 + 3 \\ -\sqrt{3} + \sqrt{3} \end{pmatrix}=(40)\displaystyle {}= \begin{pmatrix} 4 \\ 0 \end{pmatrix}⟹点 (4, 0)\displaystyle {}\Longrightarrow \quad \text{点} \ (4,\ 0)

向きで検算します。点 (2, 23)(2,\ 2\sqrt{3}) は距離 4+12\sqrt{4 + 12}=4{}= 4、向きは tan⁡−1232\tan^{-1}\dfrac{2\sqrt{3}}{2}=60∘{}= 60^\circ。ここから 60∘60^\circ 戻せば向き 0∘0^\circ・距離 44、つまり点 (4, 0)(4,\ 0) です。

自己採点:
記録を読み込み中…

問16 ★★

AA を原点まわりに 90∘90^\circ 回転する行列、BB を xx 軸方向に 22 倍する行列とする。ABAB と BABA を求めて一致しないことを示し、点 (1, 1)(1,\ 1) に対する ABAB と BABA による像がそれぞれ何になるかを求めなさい。

つまずいたときは:
答えを見る
答え

ABAB=(0−120){}= \begin{pmatrix} 0 & -1 \\ 2 & 0 \end{pmatrix}、BABA=(0−210){}= \begin{pmatrix} 0 & -2 \\ 1 & 0 \end{pmatrix} で ABAB≠BA{}\neq BA。像は ABAB で点 (−1, 2)(-1,\ 2)、BABA で点 (−2, 1)(-2,\ 1)。

解説

AA=(0−110){}= \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}、BB=(2001){}= \begin{pmatrix} 2 & 0 \\ 0 & 1 \end{pmatrix} です。

AB\displaystyle AB=(0−110)(2001)\displaystyle {}= \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 2 & 0 \\ 0 & 1 \end{pmatrix}=(0−120)\displaystyle {}= \begin{pmatrix} 0 & -1 \\ 2 & 0 \end{pmatrix} BA\displaystyle BA=(2001)(0−110)\displaystyle {}= \begin{pmatrix} 2 & 0 \\ 0 & 1 \end{pmatrix}\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}=(0−210)\displaystyle {}= \begin{pmatrix} 0 & -2 \\ 1 & 0 \end{pmatrix}

(2, 1)(2,\ 1) 成分が 22 と 11 で違うので ABAB≠BA{}\neq BA です。点 (1, 1)(1,\ 1) の像は

(0−120)(11)\displaystyle \begin{pmatrix} 0 & -1 \\ 2 & 0 \end{pmatrix}\begin{pmatrix} 1 \\ 1 \end{pmatrix}=(−12),\displaystyle {}= \begin{pmatrix} -1 \\ 2 \end{pmatrix},(0−210)(11)\displaystyle \begin{pmatrix} 0 & -2 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 1 \\ 1 \end{pmatrix}=(−21)\displaystyle {}= \begin{pmatrix} -2 \\ 1 \end{pmatrix}

で、点 (−1, 2)(-1,\ 2) と点 (−2, 1)(-2,\ 1)。行き先が違います。

第 2 章で「靴下をはいてから靴をはく」と「靴をはいてから靴下をはく」の違いとして交換法則の破れを見ました。ここではそれが図形の動きとして目に見えます。写真を先に横へ引き伸ばしてから傾けるのと、先に傾けてから横へ引き伸ばすのでは、仕上がりが違う。引き伸ばす向きが xx 軸に固定されているせいで、傾けたあとでは「どこを引き伸ばすか」が変わってしまうのです。

いっぽう、回転どうしは順序を変えても同じでした(公式2)。交換できるかどうかは相手によって決まる。式の変形で ABAB と BABA を入れかえたくなったら、毎回この確認が必要です。

自己採点:
記録を読み込み中…

問17 ★★★

RR=R(θ){}= R(\theta) とする。ケーリー・ハミルトンの定理(第 5 章)を RR に適用した等式を書き、それを使って R3R^3 を RR と EE の1次結合で表しなさい。さらに R3R^3=R(3θ){}= R(3\theta) であることと成分を比べて、cos⁡3θ\cos 3\theta と sin⁡3θ\sin 3\theta を cos⁡θ\cos\theta,sin⁡θ\sin\theta で表しなさい。

つまずいたときは:
答えを見る
答え

R2R^2−2cos⁡θ R{}- 2\cos\theta\,R+E{}+ E=O{}= O、R3R^3=(4cos⁡2θ−1)R{}= (4\cos^2\theta - 1)R−2cos⁡θ E{}- 2\cos\theta\,E、 cos⁡3θ\cos 3\theta=4cos⁡3θ{}= 4\cos^3\theta−3cos⁡θ{}- 3\cos\theta、sin⁡3θ\sin 3\theta=3sin⁡θ{}= 3\sin\theta−4sin⁡3θ{}- 4\sin^3\theta

解説

RR の対角和は cos⁡θ\cos\theta+cos⁡θ{}+ \cos\theta=2cos⁡θ{}= 2\cos\theta、行列式は 11(j07)です。ケーリー・ハミルトンの定理より

R2\displaystyle R^2−2cos⁡θ R\displaystyle {}- 2\cos\theta\,R+E\displaystyle {}+ E=O,\displaystyle {}= O,すなわち\displaystyle \text{すなわち}R2\displaystyle R^2=2cos⁡θ R\displaystyle {}= 2\cos\theta\,R−E\displaystyle {}- E

両辺に RR をかけ、もう一度この式で R2R^2 を置きかえます(第 5 章の次数下げ)。

R3\displaystyle R^3=2cos⁡θ R2\displaystyle {}= 2\cos\theta\,R^2−R\displaystyle {}- R=2cos⁡θ(2cos⁡θ R−E)\displaystyle {}= 2\cos\theta(2\cos\theta\,R - E)−R\displaystyle {}- R=(4cos⁡2θ−1)R\displaystyle {}= (4\cos^2\theta - 1)R−2cos⁡θ E\displaystyle {}- 2\cos\theta\,E

いっぽう公式2 より R3R^3=R(3θ){}= R(3\theta)=(cos⁡3θ−sin⁡3θsin⁡3θcos⁡3θ){}= \begin{pmatrix} \cos 3\theta & -\sin 3\theta \\ \sin 3\theta & \cos 3\theta \end{pmatrix} です。上で求めた式を成分で書くと

(4cos⁡2θ−1)(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle (4\cos^2\theta - 1)\begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}−2cos⁡θ(1001)\displaystyle {}- 2\cos\theta\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}

(1, 1)(1,\ 1) 成分を比べます。

cos⁡3θ\displaystyle \cos 3\theta=(4cos⁡2θ−1)cos⁡θ\displaystyle {}= (4\cos^2\theta - 1)\cos\theta−2cos⁡θ\displaystyle {}- 2\cos\theta=4cos⁡3θ\displaystyle {}= 4\cos^3\theta−cos⁡θ\displaystyle {}- \cos\theta−2cos⁡θ\displaystyle {}- 2\cos\theta=4cos⁡3θ\displaystyle {}= 4\cos^3\theta−3cos⁡θ\displaystyle {}- 3\cos\theta

(2, 1)(2,\ 1) 成分を比べます。

sin⁡3θ\displaystyle \sin 3\theta=(4cos⁡2θ−1)sin⁡θ\displaystyle {}= (4\cos^2\theta - 1)\sin\theta

cos⁡2θ\cos^2\theta=1{}= 1−sin⁡2θ{}- \sin^2\theta を入れると

sin⁡3θ\displaystyle \sin 3\theta={4(1−sin⁡2θ)−1}sin⁡θ\displaystyle {}= \{4(1 - \sin^2\theta) - 1\}\sin\theta=(3−4sin⁡2θ)sin⁡θ\displaystyle {}= (3 - 4\sin^2\theta)\sin\theta=3sin⁡θ\displaystyle {}= 3\sin\theta−4sin⁡3θ\displaystyle {}- 4\sin^3\theta

三角関数で加法定理から導いた 3 倍角の公式が、そのまま出ました。

同じ理屈で nn 倍角も作れます。第 5 章では、ケーリー・ハミルトンの定理は「AnA^n を計算するための道具」でした。回転に使うと、それが三角関数の公式を生む装置に変わる。x2x^2−2xcos⁡θ{}- 2x\cos\theta+1{}+ 1=0{}= 0 という、R(θ)R(\theta) が背負う 2 次方程式が、nn 倍角の公式の出どころだったわけです。

自己採点:
記録を読み込み中…

問18 ★★★

原点を通り xx 軸とそれぞれ α\alpha,β\beta をなす 2 直線に関する対称移動を表す行列を S(α)S(\alpha),S(β)S(\beta) とする。積 S(α)S(β)S(\alpha)S(\beta) が回転を表す行列であることを示し、その回転角を求めなさい。

つまずいたときは:
答えを見る
答え

S(α)S(β)S(\alpha)S(\beta)=R(2(α−β)){}= R(2(\alpha - \beta))。回転角は 2(α−β)2(\alpha - \beta)、すなわち 2 直線のなす角の 22 倍。

解説

公式3 のとおり S(α)S(\alpha)=(cos⁡2αsin⁡2αsin⁡2α−cos⁡2α){}= \begin{pmatrix} \cos 2\alpha & \sin 2\alpha \\ \sin 2\alpha & -\cos 2\alpha \end{pmatrix}、S(β)S(\beta)=(cos⁡2βsin⁡2βsin⁡2β−cos⁡2β){}= \begin{pmatrix} \cos 2\beta & \sin 2\beta \\ \sin 2\beta & -\cos 2\beta \end{pmatrix} です。積を成分ごとに計算します。

(1, 1)(1,\ 1) 成分:

cos⁡2αcos⁡2β\displaystyle \cos 2\alpha \cos 2\beta+sin⁡2αsin⁡2β\displaystyle {}+ \sin 2\alpha \sin 2\beta=cos⁡(2α−2β)\displaystyle {}= \cos(2\alpha - 2\beta)

(1, 2)(1,\ 2) 成分:

cos⁡2αsin⁡2β\displaystyle \cos 2\alpha \sin 2\beta−sin⁡2αcos⁡2β\displaystyle {}- \sin 2\alpha \cos 2\beta=−sin⁡(2α−2β)\displaystyle {}= -\sin(2\alpha - 2\beta)

(2, 1)(2,\ 1) 成分:

sin⁡2αcos⁡2β\displaystyle \sin 2\alpha \cos 2\beta−cos⁡2αsin⁡2β\displaystyle {}- \cos 2\alpha \sin 2\beta=sin⁡(2α−2β)\displaystyle {}= \sin(2\alpha - 2\beta)

(2, 2)(2,\ 2) 成分:

sin⁡2αsin⁡2β\displaystyle \sin 2\alpha \sin 2\beta+cos⁡2αcos⁡2β\displaystyle {}+ \cos 2\alpha \cos 2\beta=cos⁡(2α−2β)\displaystyle {}= \cos(2\alpha - 2\beta)

どれも加法定理(差の形)でまとめられました。θ\theta=2(α−β){}= 2(\alpha - \beta) とおいて並べると

S(α)S(β)\displaystyle S(\alpha)S(\beta)=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}=R(θ)\displaystyle {}= R(\theta)

つまり S(α)S(β)S(\alpha)S(\beta)=R(2(α−β)){}= R(2(\alpha - \beta)) です。

公式1 の形そのものなので、これは回転を表す行列で、回転角は 2(α−β)2(\alpha - \beta) です。

行列式でも筋が通ります。Δ(S(α))\Delta(S(\alpha))=Δ(S(β)){}= \Delta(S(\beta))=−1{}= -1 で、積の行列式は行列式の積(第 3 章 teigi 定理3)なので (−1)×(−1)(-1) \times (-1)=1{}= 1。裏返しを 2 回すれば表に戻り、回転の仲間に帰ってくるわけです。

万華鏡の中をのぞくと、鏡が 22 枚で像がぐるりと並ぶのは、この事実によるものです。22 枚の鏡のなす角が 30∘30^\circ なら、22 回の折り返しは 60∘60^\circ の回転にあたり、60∘60^\circ ずつ回った 66 枚の像が円をなします。なお S(α)S(β)S(\alpha)S(\beta) と S(β)S(α)S(\beta)S(\alpha)=R(2(β−α)){}= R(2(\beta - \alpha)) は、α\alpha≠β{}\neq \beta なら別物です。折り返す鏡の順序を変えると、回る向きが逆になります。

自己採点:
記録を読み込み中…

問19 ★★★

行列 AA=(abcd){}= \begin{pmatrix} a & b \\ c & d \end{pmatrix} が表す一次変換が、平面上のどの点についても原点からの距離を変えないとする。このとき AA は回転を表す行列か、原点を通る直線に関する対称移動を表す行列のいずれかであることを示しなさい。

つまずいたときは:
答えを見る
答え

e1⃗\vec{e_1},e2⃗\vec{e_2},e1⃗\vec{e_1}+e2⃗{}+ \vec{e_2} に条件を使うと a2a^2+c2{}+ c^2=1{}= 1,b2b^2+d2{}+ d^2=1{}= 1,abab+cd{}+ cd=0{}= 0 が出る。これより AA=R(θ){}= R(\theta) または AA=S ⁣(θ2){}= S\!\left(\dfrac{\theta}{2}\right)。

解説

条件は「すべての p⃗\vec{p} について ∣Ap⃗∣|A\vec{p}|=∣p⃗∣{}= |\vec{p}|」です。まず、都合のよい 3 つのベクトルに使います。

e1⃗\vec{e_1} に使うと、Ae1⃗A\vec{e_1}=(ac){}= \begin{pmatrix} a \\ c \end{pmatrix} で ∣e1⃗∣|\vec{e_1}|=1{}= 1 なので

a2\displaystyle a^2+c2\displaystyle {}+ c^2=1\displaystyle {}= 1⋯(1)\displaystyle \cdots (1)

e2⃗\vec{e_2} に使うと、Ae2⃗A\vec{e_2}=(bd){}= \begin{pmatrix} b \\ d \end{pmatrix} より

b2\displaystyle b^2+d2\displaystyle {}+ d^2=1\displaystyle {}= 1⋯(2)\displaystyle \cdots (2)

e1⃗\vec{e_1}+e2⃗{}+ \vec{e_2}=(11){}= \begin{pmatrix} 1 \\ 1 \end{pmatrix} に使います。像は (a+bc+d)\begin{pmatrix} a + b \\ c + d \end{pmatrix}、もとの長さの 2 乗は 22 なので

(a+b)2\displaystyle (a + b)^2+(c+d)2\displaystyle {}+ (c + d)^2=2\displaystyle {}= 2

展開して (1),(2) を使うと

(a2+c2)\displaystyle (a^2 + c^2)+(b2+d2)\displaystyle {}+ (b^2 + d^2)+2(ab+cd)\displaystyle {}+ 2(ab + cd)=2\displaystyle {}= 2⟹2\displaystyle {}\Longrightarrow \quad 2+2(ab+cd)\displaystyle {}+ 2(ab + cd)=2\displaystyle {}= 2 ab\displaystyle ab+cd\displaystyle {}+ cd=0\displaystyle {}= 0⋯(3)\displaystyle \cdots (3)

(1) より、aa=cos⁡θ{}= \cos\theta,cc=sin⁡θ{}= \sin\theta とおける θ\theta が存在します(点 (a, c)(a,\ c) が単位円上にあるから)。(3) は「(ac)\begin{pmatrix} a \\ c \end{pmatrix} と (bd)\begin{pmatrix} b \\ d \end{pmatrix} の内積が 00」、つまり 2 本が垂直だという式です(ベクトル 第 3 章)。(a, c)(a,\ c)=(cos⁡θ, sin⁡θ){}= (\cos\theta,\ \sin\theta) に垂直で、(2) より長さ 11 のベクトルは 2 つしかありません。

(bd)\displaystyle \begin{pmatrix} b \\ d \end{pmatrix}=(−sin⁡θcos⁡θ)\displaystyle {}= \begin{pmatrix} -\sin\theta \\ \cos\theta \end{pmatrix}または\displaystyle \text{または}(bd)\displaystyle \begin{pmatrix} b \\ d \end{pmatrix}=(sin⁡θ−cos⁡θ)\displaystyle {}= \begin{pmatrix} \sin\theta \\ -\cos\theta \end{pmatrix}

前者なら

A\displaystyle A=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}=R(θ)\displaystyle {}= R(\theta)

で回転を表す行列です。後者なら

A\displaystyle A=(cos⁡θsin⁡θsin⁡θ−cos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & \sin\theta \\ \sin\theta & -\cos\theta \end{pmatrix}

これは公式3 で 2θ2\theta の位置に θ\theta が入った形なので、θ2\dfrac{\theta}{2} をなす角とする直線に関する対称移動 S ⁣(θ2)S\!\left(\dfrac{\theta}{2}\right) です。以上でどちらかに決まりました。

逆に、回転と対称移動が距離を変えないことは図から明らかです。よって原点からの距離を保つ一次変換は、回転と対称移動でちょうど尽くされている。Δ\Delta=1{}= 1 が回転、Δ\Delta=−1{}= -1 が対称移動という仕分け(例題7)に、これで裏づけが付きました。紙を破らず伸ばさずに動かすなら、回すか裏返すかしかない、ということです。

なお条件を 3 つのベクトルだけで使ったのに、すべての p⃗\vec{p} についての結論が出ました。一次変換の線形性(第 6 章 公式3)が効いているためで、e1⃗\vec{e_1},e2⃗\vec{e_2} の行き先さえ押さえれば全体が決まるという第 6 章 公式4 の言い直しになっています。

自己採点:
記録を読み込み中…

問20 ★★★

原点と異なる点 A(a, b)\mathrm{A}(a,\ b) を、原点まわりに 120∘120^\circ,240∘240^\circ 回転した点をそれぞれ B\mathrm{B},C\mathrm{C} とする。次の問いに答えなさい。

(1) 三角形 ABC\mathrm{ABC} が正三角形であることを示しなさい。

(2) 三角形 ABC\mathrm{ABC} の重心が原点であることを示しなさい。

つまずいたときは:
答えを見る
答え

(1) AB\mathrm{AB}=BC{}= \mathrm{BC}=CA{}= \mathrm{CA}=3a2+b2{}= \sqrt{3}\sqrt{a^2 + b^2}。 (2) EE+R(120∘){}+ R(120^\circ)+R(240∘){}+ R(240^\circ)=O{}= O より OA→\overrightarrow{\mathrm{OA}}+OB→{}+ \overrightarrow{\mathrm{OB}}+OC→{}+ \overrightarrow{\mathrm{OC}}=0⃗{}= \vec{0} なので重心は原点。

解説

p⃗\vec{p}=(ab){}= \begin{pmatrix} a \\ b \end{pmatrix}、R1R_1=R(120∘){}= R(120^\circ),R2R_2=R(240∘){}= R(240^\circ) とおくと OA→\overrightarrow{\mathrm{OA}}=p⃗{}= \vec{p},OB→\overrightarrow{\mathrm{OB}}=R1p⃗{}= R_1\vec{p},OC→\overrightarrow{\mathrm{OC}}=R2p⃗{}= R_2\vec{p} です。rr=∣p⃗∣{}= |\vec{p}|=a2+b2{}= \sqrt{a^2 + b^2}≠0{}\neq 0 とします。

(1) AB→\overrightarrow{\mathrm{AB}}=R1p⃗{}= R_1\vec{p}−p⃗{}- \vec{p}=(R1−E)p⃗{}= (R_1 - E)\vec{p} です。

R1\displaystyle R_1−E\displaystyle {}- E=(−12−1−3232−12−1)\displaystyle {}= \begin{pmatrix} -\dfrac{1}{2} - 1 & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} - 1 \end{pmatrix}=(−32−3232−32)\displaystyle {}= \begin{pmatrix} -\dfrac{3}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{3}{2} \end{pmatrix}

これは (a′−b′b′a′)\begin{pmatrix} a' & -b' \\ b' & a' \end{pmatrix} の形(a′a'=−32{}= -\dfrac{3}{2},b′b'=32{}= \dfrac{\sqrt{3}}{2})なので、公式5 より倍率

r′\displaystyle r'=94+34\displaystyle {}= \sqrt{\frac{9}{4} + \frac{3}{4}}=3\displaystyle {}= \sqrt{3}

の回転と拡大です。回転は長さを変えないので AB\mathrm{AB}=∣(R1−E)p⃗∣{}= |(R_1 - E)\vec{p}|=3 r{}= \sqrt{3}\,r。

BC→\overrightarrow{\mathrm{BC}}=R2p⃗{}= R_2\vec{p}−R1p⃗{}- R_1\vec{p}=(R2−R1)p⃗{}= (R_2 - R_1)\vec{p} ですが、R2R_2=R1R1{}= R_1 R_1 なので R2R_2−R1{}- R_1=R1(R1−E){}= R_1(R_1 - E) と書けます。R1R_1 をかけても長さは変わらないので

BC\displaystyle \mathrm{BC}=∣R1(R1−E)p⃗∣\displaystyle {}= |R_1(R_1 - E)\vec{p}|=∣(R1−E)p⃗∣\displaystyle {}= |(R_1 - E)\vec{p}|=3 r\displaystyle {}= \sqrt{3}\,r

CA→\overrightarrow{\mathrm{CA}}=p⃗{}= \vec{p}−R2p⃗{}- R_2\vec{p}=−(R2−E)p⃗{}= -(R_2 - E)\vec{p} で、

R2\displaystyle R_2−E\displaystyle {}- E=(−3232−32−32)\displaystyle {}= \begin{pmatrix} -\dfrac{3}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} & -\dfrac{3}{2} \end{pmatrix}

も同じ形で、94+34\sqrt{\dfrac{9}{4} + \dfrac{3}{4}}=3{}= \sqrt{3} 倍。よって CA\mathrm{CA}=3 r{}= \sqrt{3}\,r。

3 辺がすべて 3 r\sqrt{3}\,r(rr≠0{}\neq 0 より正)で等しいので、三角形 ABC\mathrm{ABC} は正三角形です。

(2) 3 つの位置ベクトルの和を計算します。

OA→\displaystyle \overrightarrow{\mathrm{OA}}+OB→\displaystyle {}+ \overrightarrow{\mathrm{OB}}+OC→\displaystyle {}+ \overrightarrow{\mathrm{OC}}=(E+R1+R2)p⃗\displaystyle {}= (E + R_1 + R_2)\vec{p} E\displaystyle E+R1\displaystyle {}+ R_1+R2\displaystyle {}+ R_2=(1001)\displaystyle {}= \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}+(−12−3232−12)\displaystyle {}+ \begin{pmatrix} -\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[4pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}+(−1232−32−12)\displaystyle {}+ \begin{pmatrix} -\dfrac{1}{2} & \dfrac{\sqrt{3}}{2} \\[4pt] -\dfrac{\sqrt{3}}{2} & -\dfrac{1}{2} \end{pmatrix}=O\displaystyle {}= O

対角成分は 11−12{}- \dfrac{1}{2}−12{}- \dfrac{1}{2}=0{}= 0、非対角成分は ∓32\mp\dfrac{\sqrt{3}}{2}±32{}\pm \dfrac{\sqrt{3}}{2}=0{}= 0 で、零行列になります。したがって

OA→\displaystyle \overrightarrow{\mathrm{OA}}+OB→\displaystyle {}+ \overrightarrow{\mathrm{OB}}+OC→\displaystyle {}+ \overrightarrow{\mathrm{OC}}=Op⃗\displaystyle {}= O\vec{p}=0⃗\displaystyle {}= \vec{0}

重心の位置ベクトルは 13(OA→+OB→+OC→)\dfrac{1}{3}(\overrightarrow{\mathrm{OA}} + \overrightarrow{\mathrm{OB}} + \overrightarrow{\mathrm{OC}})=0⃗{}= \vec{0}(ベクトル 第 4 章)なので、重心は原点です。

EE+R1{}+ R_1+R2{}+ R_2=O{}= O は、R1R_1 が x3x^3=1{}= 1 にあたる関係(R13R_1^3=E{}= E)を背負っていることの現れです。x3x^3−1{}- 1=(x−1)(x2+x+1){}= (x - 1)(x^2 + x + 1) の後ろの因数に R1R_1 を入れると R12R_1^2+R1{}+ R_1+E{}+ E=O{}= O。1 の 3 乗根 ω\omega が 11+ω{}+ \omega+ω2{}+ \omega^2=0{}= 0 をみたすのと同じ形です(複素数と方程式 第 4 章)。正三角形の 3 頂点が「11 の 3 乗根」と結びつくのは偶然ではありません。

自己採点:
記録を読み込み中…

数学小話コーナー

結晶に 55 回対称はない

雪の結晶は六角形。塩の結晶は立方体。鉱物の標本を見ていると、形にいくつかの決まった型があることに気づきます。では、正五角形の断面をもつ結晶はあるでしょうか。

ありません。 そして、無いことは行列で証明できます。

結晶とは、原子が同じ模様を繰り返して並んだものです。繰り返しの単位となる 2 本のベクトル u⃗\vec{u},v⃗\vec{v} を取ると、原子の位置は mu⃗m\vec{u}+nv⃗{}+ n\vec{v}(mm,nn は整数)と書けます。この点の集まりを格子といいます。

さて、この結晶を原点まわりに θ\theta 回したとき、格子がぴったり自分自身に重なったとしましょう。回転で u⃗\vec{u} が移った先は格子の点なので、整数 pp,qq を使って pu⃗p\vec{u}+qv⃗{}+ q\vec{v} と書けます。v⃗\vec{v} の像も同じく整数の組で書けます。つまり、u⃗\vec{u},v⃗\vec{v} を目盛りにして座標を取り直すと、回転を表す行列の 4 つの成分がすべて整数になるのです。

ここで第 5 章の厳密定義を思い出します。目盛りを取り直しても、行列の対角和は変わりません(P−1APP^{-1}AP の対角和は AA の対角和と等しい)。もとの座標で見た回転の行列は R(θ)R(\theta) で、対角和は 2cos⁡θ2\cos\theta。取り直した座標では成分が整数なので、対角和も整数。よって

2cos⁡θ は整数2\cos\theta \ \text{は整数}

−1-1≦cos⁡θ{}\leqq \cos\theta≦1{}\leqq 1 なので 2cos⁡θ2\cos\theta は −2,-2, −1,{}\ -1, 0,\ 0, 1,\ 1, 2\ 2 の 5 通りしかありません。順に θ\theta を求めると

2cos⁡θ2\cos\theta−2-2−1-1001122
θ\theta180∘180^\circ120∘120^\circ90∘90^\circ60∘60^\circ360∘360^\circ
何回対称22 回33 回44 回66 回11 回

22 回、33 回、44 回、66 回。55 回だけ、そして 77 回以上も、きれいに飛ばされています。 55 回対称は θ\theta=72∘{}= 72^\circ で、2cos⁡72∘2\cos 72^\circ=5−12{}= \dfrac{\sqrt{5} - 1}{2}≈0.618{}\approx 0.618。整数ではないので、格子を自分自身に重ねられません。これを結晶学的制限定理といいます。台所の床に正五角形のタイルを隙間なく敷けないのと、根は同じ話です。

ところが 1982 年、この定理が破られたように見える事件が起きます。アルミニウムとマンガンの合金を調べていたダニエル・シェヒトマンが、電子線を当てて得た模様に 1010 回対称のきれいな斑点を見たのです。あり得ない。彼はノートに「1010 回??」と書き残しました。

周囲の反応は冷たいものでした。所属していた研究チームからは外され、論文はいったん却下されます。2 度のノーベル賞を受けたライナス・ポーリングは「準結晶などというものはない、いるのは準科学者だ」と言い放ったと伝えられます。

決着まで、およそ 10 年。結論は「定理は正しかった」でした。破れたのは定理ではなく、「結晶は模様を繰り返している」という前提のほうだったのです。シェヒトマンが見つけた物質は、繰り返しではないのに秩序がある、まったく新しい並び方をしていました。いまは準結晶と呼ばれます。数学の側には先例があって、1974 年にロジャー・ペンローズが 2 種類のひし形で平面を隙間なく埋める方法を見つけていました。どこまで行っても同じ模様が繰り返さないのに、55 回対称の名残がある不思議な模様です(さらに古いイスラム建築のタイル装飾にも同じ構造が見られるといいます。※諸説あり)。

2011 年、シェヒトマンはノーベル化学賞を受けました。

豆知識

準結晶が「繰り返さないのに秩序がある」のは、高い次元で考えると見通しがよくなります。55 次元の格子をうまく斜めに切って平面に影として落とすと、準結晶の並びが現れる。第 6 章の小話で「平行移動を一次変換にするために平面を空間へ埋め込んだ」話をしましたが、次元を上げると窮屈さが消えるという同じ発想です。

鏡はなぜ裏返すのか

回転の行列式は 11、対称移動の行列式は −1-1。この符号の違いは、見た目の差以上に深いものです。

回転の角 θ\theta を 0∘0^\circ からゆっくり増やしていっても、行列式はずっと 11 のままです。対称移動の −1-1 に到達することは、けっしてありません。数値が 11 から −1-1 へ移るには途中で 00 を通らなければならず、Δ\Delta=0{}= 0 の変換は平面をつぶしてしまう別物です。つまり回転をどれだけ続けても、裏返すことはできない。裏返しと裏返さないの間には、連続的に渡れない溝があります。

手を見てください。右手と左手は鏡に映した形どおりで、どこも寸法が違いません。それでも右手の手袋を左手にはめることはできない。どう回しても重ならないからです。この性質をキラリティ(掌性)といいます。

ところで、鏡は本当に左右を入れかえているのでしょうか。

そうではありません。鏡が入れかえているのは前と後ろ、つまり鏡に垂直な向きだけです。鏡に向かって右手を挙げれば、像も画面の右側で手を挙げています。左右はそのままなのです。それを「左右が逆」と感じるのは、わたしたちが像を「自分がぐるりと振り向いて向こうを向いた姿」と見比べてしまうからです。振り向く動作(yy 軸まわりの 180∘180^\circ 回転)を勝手に補ってから比べるので、差が左右に押しつけられる。紙に書いた字が鏡で読めなくなるのも、鏡のせいというより、紙を裏返して透かし見ているのと同じことです。

キラリティは化学では香りや薬の効き方を変えます。カルボンという分子には右手型と左手型があり、片方はスペアミント(ハッカ)の香り、もう片方はキャラウェイ(ヒメウイキョウ)の香りがします。同じ原子が同じつながり方をしていて、鏡像の関係にあるだけなのに、鼻は区別する。においを感じる受容体の側にも形があるので、右手用の鍵穴に左手型の鍵が入らないのです。

そして、いちばん不思議なこと。地球の生き物の体を作るアミノ酸は、ほぼすべてが左手型です。右手型でも化学としては何の問題もないのに、生命はなぜか片方だけを選んでいます。理由はまだ分かっていません。

豆知識

Δ\Delta=1{}= 1 の直交行列だけを集めた仲間(回転だけの集まり)を SO(2)SO(2)、裏返しも入れた全体を O(2)O(2) と書きます。厳密定義ページで扱います。3 次元では Δ\Delta=−1{}= -1 の変換に「点対称」(−E-E、すべての座標の符号を変える)が入ります。2 次元では −E-E が 180∘180^\circ 回転で Δ\Delta=1{}= 1 だったのに、3 次元だと Δ\Delta=(−1)3{}= (-1)^3=−1{}= -1 で裏返しになる。裏返しかどうかは次元によって顔を変えます。

複素数は回転する数

第 3 章の厳密定義で、(a−bba)\begin{pmatrix} a & -b \\ b & a \end{pmatrix} という形の行列を集めると複素数とそっくりになる、という話をしました。公式5 でその正体が「回転と拡大」だと分かったので、あらためて並べてみます。

対応させるのは aa+bi⟷(a−bba){}+ bi \longleftrightarrow \begin{pmatrix} a & -b \\ b & a \end{pmatrix} です。すると虚数単位 ii=0{}= 0+1i{}+ 1i にあたるのは

(0−110)\displaystyle \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}=R(90∘)\displaystyle {}= R(90^\circ)

ii は 90∘90^\circ の回転でした。i2i^2=−1{}= -1 も意味が読めます。90∘90^\circ 回転を 2 回すれば 180∘180^\circ 回転、行列で −E-E、数で −1-1。

このほうが「22 乗して −1-1 になる数」という説明よりずっと納得しやすいかもしれません。−1-1 をかけるとは、数直線の上で原点の反対側に飛ぶこと、つまり半回転です。ならばその半分の動き、90∘90^\circ の回転にあたる数があってもよい。それが ii です。ii は数直線からはみ出しますが、平面の上でなら堂々と座っています。

ド・モアブルの定理

(cos⁡θ+isin⁡θ)n\displaystyle (\cos\theta + i\sin\theta)^n=cos⁡nθ\displaystyle {}= \cos n\theta+isin⁡nθ\displaystyle {}+ i\sin n\theta

も、公式2 の R(θ)nR(\theta)^n=R(nθ){}= R(n\theta) と同じ内容です。複素数で書けば 11 行、行列で書けば 2×22 \times 2 の表。姿が違うだけで、言っていることは「θ\theta の回転を nn 回すれば nθn\theta の回転」です。

ここで話は 1843 年に飛びます。複素数をかけるだけで平面の回転が書けるのなら、空間の回転を書ける「3 つ組の数」もあるはずだ ── そう考えたウィリアム・ローワン・ハミルトンは、10 年以上その数を探し続けました。うまくいきません。積を定めようとすると必ずどこかが壊れる。

1010 月 1616 日、妻とダブリンの運河沿いを歩いていたとき、答えが来ました。3 つでは足りない。4 つ必要だった。 実数 1 つと、ii,jj,kk の 3 つ。

i2\displaystyle i^2=j2\displaystyle {}= j^2=k2\displaystyle {}= k^2=ijk\displaystyle {}= ijk=−1\displaystyle {}= -1

ハミルトンは興奮のあまり、通りかかったブルーム橋の石にこの式をナイフで刻みつけたと伝えられます(※諸説あり)。これが四元数です。第 5 章の小話で名前だけ出した、ケーリー・ハミルトンの定理の「ハミルトン」がこの人です。

四元数の積には、大きな特徴があります。ijij=k{}= k ですが jiji=−k{}= -k。順序を変えると符号が変わるのです。ハミルトンは、かけ算が交換できない数を人類で初めて手にしたことになります。第 2 章で ABAB≠BA{}\neq BA に驚いたわたしたちは、1515 年後の 1858 年にケイリーが行列論を書くより前に、同じ壁が別の姿で現れていたことを知るわけです。

当時は「実用のない思いつき」とも言われた四元数ですが、いまは現役です。3 次元の回転をコンピュータで扱うとき、3×33 \times 3 の行列(数 99 個)やオイラー角(33 個の角)ではなく、四元数(数 44 個)を使うのが標準になっています。オイラー角には、ある姿勢で自由度が 1 つ消えてしまうジンバルロックという弱点があり、姿勢が飛んでしまう。四元数ならこれが起きず、2 つの姿勢のあいだをなめらかにつなぐ計算も素直に書けます。ゲームのカメラ、ロボットアーム、人工衛星の姿勢制御 ── 空間の向きを扱うところには、だいたい四元数が入っています。

豆知識

ハミルトンは四元数に人生の後半を捧げ、「これで物理学が書き直される」と信じていました。実際に書き直されたのは、四元数からベクトルの内積と外積だけを取り出したベクトル解析のほうでした。ベクトル分野で習った内積と外積は、四元数の積を 2 つに割った残骸だとも言えます。四元数のほうは、100 年以上たってコンピュータグラフィックスの世界で復活しました。道具は、使い道が見つかる前に作られていることがあるのです。

厳密定義(発展)

※ここは発展ページです。高校の範囲では「回転は R(θ)R(\theta)、対称移動は S(θ)S(\theta)、Δ\Delta の符号で見分ける」が使えれば十分ですが、実践 j19 で示した「距離を保つ一次変換は回転と対称移動しかない」がどこまで一般化するのか、SO(2)SO(2) や O(2)O(2) という記号が何を指すのか、そして第 6 章の小話で予告した「正方形を自分自身に重ねる 88 つの動き」の正体が気になる人のために、少し厳密な形にまとめておきます。第 3 章の厳密定義(群と一般線型群 GLn(R)GL_n(\mathbb{R}))、第 5 章の厳密定義(対角和の不変性)、第 6 章の厳密定義(線形写像と表現行列)を前提にします。

本文では、変換を「どう動かすか」で分類しました。回して、裏返して、伸ばして。しかし大学では逆の順番で考えます。保たれるものを先に決め、それを保つ変換を全部集めるのです。距離を保つと決めて集めたら回転と対称移動が出てきた、というのが j19 でした。この見方に道具を与えます。

転置行列と直交行列

まず、行列の行と列を入れかえる操作に名前をつけます。

定義1:転置行列

m×nm \times n 行列 AA=(aij){}= (a_{ij}) に対し、(i, j)(i,\ j) 成分が ajia_{ji} である n×mn \times m 行列を AA の転置行列といい、t ⁣A{}^t\!A と書く。22 次の場合は

A\displaystyle A=(abcd)\displaystyle {}= \begin{pmatrix} a & b \\ c & d \end{pmatrix}⟹t ⁣A\displaystyle {}\Longrightarrow \quad {}^t\!A=(acbd)\displaystyle {}= \begin{pmatrix} a & c \\ b & d \end{pmatrix}

である。すなわち、第 1 行が第 1 列に、第 2 行が第 2 列になる(左上から右下への対角線で折り返す)。

転置には次の性質がある。いずれも成分を書けば確かめられる。

t(t ⁣A)\displaystyle {}^t({}^t\!A)=A,\displaystyle {}= A,t(A+B)\displaystyle {}^t(A + B)=t ⁣A\displaystyle {}= {}^t\!A+t ⁣B,\displaystyle {}+ {}^t\!B,t(kA)\displaystyle {}^t(kA)=k t ⁣A,\displaystyle {}= k\,{}^t\!A,det⁡t ⁣A\displaystyle \det {}^t\!A=det⁡A\displaystyle {}= \det A

積については順序が入れかわる点に注意が必要です。

t(AB)\displaystyle {}^t(AB)=t ⁣B t ⁣A\displaystyle {}= {}^t\!B \, {}^t\!A

第 3 章で見た (AB)−1(AB)^{-1}=B−1A−1{}= B^{-1}A^{-1} と同じ形です。22 次で確かめると、ABAB の (i, j)(i,\ j) 成分は ∑kaikbkj\sum_k a_{ik}b_{kj} なので、t(AB){}^t(AB) の (i, j)(i,\ j) 成分は ∑kajkbki\sum_k a_{jk}b_{ki}。いっぽう t ⁣B t ⁣A{}^t\!B\,{}^t\!A の (i, j)(i,\ j) 成分は ∑kbkiajk\sum_k b_{ki}a_{jk} で、同じものです。

転置を用意したのは、内積が行列の積で書けるようになるからです。列ベクトル x⃗,\vec{x}, y⃗\ \vec{y}∈Rn{}\in \mathbb{R}^n に対し

x⃗⋅y⃗\displaystyle \vec{x} \cdot \vec{y}=t ⁣x⃗ y⃗\displaystyle {}= {}^t\!\vec{x}\,\vec{y}

(左辺は内積、右辺は 1×n1 \times n 行列と n×1n \times 1 行列の積で、1×11 \times 1 行列すなわち数)。これで「内積を保つ」という条件を行列の等式に翻訳できます。

定義2:直交行列

nn 次正方行列 AA が

t ⁣A A\displaystyle {}^t\!A\,A=E\displaystyle {}= E

をみたすとき、AA を直交行列という。このとき det⁡(t ⁣A)det⁡A\det({}^t\!A)\det A=(det⁡A)2{}= (\det A)^2=1{}= 1 より det⁡A\det A=±1{}= \pm 1 であり、とくに AA は正則で A−1A^{-1}=t ⁣A{}= {}^t\!A である(したがって A t ⁣AA\,{}^t\!A=E{}= E も成り立つ)。

逆行列が転置で求まる、というのがこの定義のうまみです。回転の行列で確かめると

t ⁣R(θ)\displaystyle {}^t\!R(\theta)=(cos⁡θsin⁡θ−sin⁡θcos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & \sin\theta \\ -\sin\theta & \cos\theta \end{pmatrix}=R(−θ)\displaystyle {}= R(-\theta)=R(θ)−1\displaystyle {}= R(\theta)^{-1}

で、公式2 の R(θ)−1R(\theta)^{-1}=R(−θ){}= R(-\theta) が「転置すること」と同じだったと分かります。対称移動の S(θ)S(\theta) は t ⁣S(θ){}^t\!S(\theta)=S(θ){}= S(\theta)(対称行列)なので、定義2 は S(θ)2S(\theta)^2=E{}= E、つまり j14 そのものです。

定理1:直交行列の言いかえ

nn 次正方行列 AA について、次の 4 つは同値である。

  1. AA は直交行列である(t ⁣A A{}^t\!A\,A=E{}= E)。
  2. AA の nn 個の列ベクトルは、どれも長さ 11 で、異なる 2 本の内積が 00 である(正規直交である)。
  3. 任意の x⃗,\vec{x}, y⃗\ \vec{y}∈Rn{}\in \mathbb{R}^n について (Ax⃗)⋅(Ay⃗)(A\vec{x}) \cdot (A\vec{y})=x⃗⋅y⃗{}= \vec{x} \cdot \vec{y} である(内積を保つ)。
  4. 任意の x⃗\vec{x}∈Rn{}\in \mathbb{R}^n について ∣Ax⃗∣|A\vec{x}|=∣x⃗∣{}= |\vec{x}| である(長さを保つ)。

証明 11⇔2{}\Leftrightarrow 2:AA の第 jj 列を aj⃗\vec{a_j} とすると、t ⁣A A{}^t\!A\,A の (i, j)(i,\ j) 成分は ai⃗⋅aj⃗\vec{a_i} \cdot \vec{a_j} である。これが EE の (i, j)(i,\ j) 成分、すなわち ii=j{}= j のとき 11、ii≠j{}\neq j のとき 00 に等しいことが 2 の主張である。

11⇒3{}\Rightarrow 3:

(Ax⃗)⋅(Ay⃗)\displaystyle (A\vec{x}) \cdot (A\vec{y})=t(Ax⃗)(Ay⃗)\displaystyle {}= {}^t(A\vec{x})(A\vec{y})=t ⁣x⃗ t ⁣A A y⃗\displaystyle {}= {}^t\!\vec{x}\,{}^t\!A\,A\,\vec{y}=t ⁣x⃗ E y⃗\displaystyle {}= {}^t\!\vec{x}\,E\,\vec{y}=t ⁣x⃗ y⃗\displaystyle {}= {}^t\!\vec{x}\,\vec{y}=x⃗⋅y⃗\displaystyle {}= \vec{x} \cdot \vec{y}

33⇒4{}\Rightarrow 4:y⃗\vec{y}=x⃗{}= \vec{x} とおけば ∣Ax⃗∣2|A\vec{x}|^2=∣x⃗∣2{}= |\vec{x}|^2 で、長さは 00 以上だから ∣Ax⃗∣|A\vec{x}|=∣x⃗∣{}= |\vec{x}| である。

44⇒3{}\Rightarrow 3:内積は長さだけから復元できる。実際、∣x⃗+y⃗∣2|\vec{x} + \vec{y}|^2=∣x⃗∣2{}= |\vec{x}|^2+2x⃗⋅y⃗{}+ 2\vec{x} \cdot \vec{y}+∣y⃗∣2{}+ |\vec{y}|^2 より

x⃗⋅y⃗\displaystyle \vec{x} \cdot \vec{y}=12(∣x⃗+y⃗∣2−∣x⃗∣2−∣y⃗∣2)\displaystyle {}= \frac{1}{2}\left(|\vec{x} + \vec{y}|^2 - |\vec{x}|^2 - |\vec{y}|^2\right)

右辺の 3 つの長さはいずれも AA で保たれる(A(x⃗+y⃗)A(\vec{x} + \vec{y})=Ax⃗{}= A\vec{x}+Ay⃗{}+ A\vec{y} という線形性を使う)ので、左辺も保たれる。

33⇒1{}\Rightarrow 1:3 で x⃗\vec{x}=ei⃗{}= \vec{e_i},y⃗\vec{y}=ej⃗{}= \vec{e_j} とおくと、左辺は ai⃗⋅aj⃗\vec{a_i} \cdot \vec{a_j}、右辺は ei⃗⋅ej⃗\vec{e_i} \cdot \vec{e_j} である。これは 2 の主張、したがって 1 と同値である。(証明終)

4 だけを仮定して 3 が出るところが、この定理の要所です。長さを測る道具しか持っていないのに、角度まで保たれることが従う。j19 で e1⃗\vec{e_1},e2⃗\vec{e_2},e1⃗\vec{e_1}+e2⃗{}+ \vec{e_2} の 3 本だけを調べれば済んだのは、この 44⇒3{}\Rightarrow 3 の計算を nn=2{}= 2 で手作業でやっていたことになります。

なお「直交行列」という名前は、列が互いに直交することから来ています。長さも 11 でなければならないので、名前としては「正規直交行列」のほうが正確なのですが、慣習で直交行列と呼びます。

O(2)O(2) の分類

定義3:直交群と特殊直交群

nn 次の直交行列全体を O(n)O(n) と書き、直交群という。そのうち det⁡A\det A=1{}= 1 をみたすもの全体を SO(n)SO(n) と書き、特殊直交群(または回転群)という。

O(n)O(n) が群(第 3 章 定義2)であることを確かめておきます。積について閉じているのは t(AB)(AB){}^t(AB)(AB)=t ⁣B t ⁣A A B{}= {}^t\!B\,{}^t\!A\,A\,B=t ⁣B E B{}= {}^t\!B\,E\,B=E{}= E から。結合法則は行列の積から。単位元は EE(t ⁣E E{}^t\!E\,E=E{}= E)。逆元は A−1A^{-1}=t ⁣A{}= {}^t\!A で、これも直交行列です(t(t ⁣A) t ⁣A{}^t({}^t\!A)\,{}^t\!A=A t ⁣A{}= A\,{}^t\!A=E{}= E)。よって O(n)O(n) は GLn(R)GL_n(\mathbb{R}) の部分群です。SO(n)SO(n) は、さらに det⁡(AB)\det(AB)=det⁡Adet⁡B{}= \det A \det B=1{}= 1 から閉じています。

nn=2{}= 2 のときは、要素をすべて書き下せます。

定理2:22 次の直交行列の分類

AA∈O(2){}\in O(2) とすると、ある θ\theta が存在して

A\displaystyle A=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}(det⁡A=1)\displaystyle (\det A = 1)または\displaystyle \text{または}A\displaystyle A=(cos⁡θsin⁡θsin⁡θ−cos⁡θ)\displaystyle {}= \begin{pmatrix} \cos\theta & \sin\theta \\ \sin\theta & -\cos\theta \end{pmatrix}(det⁡A=−1)\displaystyle (\det A = -1)

のいずれかである。すなわち、SO(2)SO(2) の要素は原点まわりの回転を表す行列に限り、det⁡A\det A=−1{}= -1 の要素は原点を通る直線(xx 軸とのなす角が θ2\dfrac{\theta}{2} である直線)に関する対称移動を表す行列に限る。

証明 定理1 の 2 より、第 1 列 (ac)\begin{pmatrix} a \\ c \end{pmatrix} は a2a^2+c2{}+ c^2=1{}= 1 をみたすので、aa=cos⁡θ{}= \cos\theta,cc=sin⁡θ{}= \sin\theta となる θ\theta が存在する。第 2 列は長さ 11 で第 1 列と直交するから、(−sin⁡θcos⁡θ)\begin{pmatrix} -\sin\theta \\ \cos\theta \end{pmatrix} または (sin⁡θ−cos⁡θ)\begin{pmatrix} \sin\theta \\ -\cos\theta \end{pmatrix} のいずれかである(平面上で与えられたベクトルに垂直な単位ベクトルは 22 本しかない)。前者が det⁡A\det A=1{}= 1、後者が det⁡A\det A=−1{}= -1 の場合で、それぞれ公式1、公式3 の形である。(証明終)

これは j19 の言い直しですが、「距離を保つ」という条件を t ⁣A A{}^t\!A\,A=E{}= E という等式に置きかえたおかげで、証明が列の正規直交性だけの話になりました。

SO(2)SO(2) の構造も完全に分かります。

定理3:SO(2)SO(2) は円周と同じ

写像 φ:R\varphi : \mathbb{R}→SO(2){}\to SO(2),φ(θ)\varphi(\theta)=R(θ){}= R(\theta) は全射な群準同型(φ(α+β)\varphi(\alpha + \beta)=φ(α)φ(β){}= \varphi(\alpha)\varphi(\beta))であり、φ(θ)\varphi(\theta)=E{}= E となるのは θ\theta が 2π2\pi の整数倍のときに限る。したがって

SO(2)\displaystyle SO(2)≅R/2πZ\displaystyle {}\cong \mathbb{R}/2\pi\mathbb{Z}≅U(1)\displaystyle {}\cong U(1)={z∈C∣∣z∣=1}\displaystyle {}= \{z \in \mathbb{C} \mid |z| = 1\}

であり、SO(2)SO(2) は可換群である。いっぽう O(2)O(2) は可換ではない。

証明 φ(α+β)\varphi(\alpha + \beta)=φ(α)φ(β){}= \varphi(\alpha)\varphi(\beta) は公式2 そのもの。全射性は定理2 の det⁡A\det A=1{}= 1 の場合から。R(θ)R(\theta)=E{}= E は cos⁡θ\cos\theta=1{}= 1 かつ sin⁡θ\sin\theta=0{}= 0 と同値で、θ\theta∈2πZ{}\in 2\pi\mathbb{Z} に限る。U(1)U(1) との同型は、第 3 章 定理4 の対応 aa+bi↔(a−bba){}+ bi \leftrightarrow \begin{pmatrix} a & -b \\ b & a \end{pmatrix} を a2a^2+b2{}+ b^2=1{}= 1 の部分に制限したものである。可換性は R(α)R(β)R(\alpha)R(\beta)=R(α+β){}= R(\alpha + \beta)=R(β)R(α){}= R(\beta)R(\alpha) から。O(2)O(2) が可換でないことは、j18 の S(α)S(β)S(\alpha)S(\beta)=R(2(α−β)){}= R(2(\alpha - \beta)) と S(β)S(α)S(\beta)S(\alpha)=R(2(β−α)){}= R(2(\beta - \alpha)) が α\alpha≠β{}\neq \beta のとき異なることから分かる。(証明終)

SO(2)SO(2) が円周そのものだという結論は、小話 kb3 で「ii は 90∘90^\circ 回転」と言ったことの正式な形です。回転の全体は、θ\theta という 1 つの数でなめらかに並んでいて、2π2\pi で輪になって閉じている。群でありながら、同時に図形(円)でもある。こうした対象をリー群といい、現代の幾何と物理の共通言語になっています。

O(2)O(2) 全体は、SO(2)SO(2) と「SO(2)SO(2) に対称移動 1 つをかけたもの」の 2 つに分かれます。det⁡\det が 11 の組と −1-1 の組で、行き来できません。小話 kb2 で「11 から −1-1 へは連続的に渡れない溝がある」と書いたのは、O(2)O(2) がつながった 2 つのかたまりからできている、という事実です。

二面体群

第 6 章の小話 kb1 で、正方形を自分自身にぴったり重ねる動きが 88 つあると書きました。回収します。

定義4:二面体群

原点を中心とする正 nn 角形を自分自身に重ねる O(2)O(2) の要素全体を DnD_n と書き、二面体群という。

定理4:DnD_n の位数は 2n2n

DnD_n は O(2)O(2) の部分群であり、KK={0, 1, …, n−1}{}= \{0,\ 1,\ \ldots,\ n-1\} とおくと

Dn=\displaystyle D_n = {}{R ⁣(2πkn) | k∈K}\displaystyle \left\{ R\!\left(\frac{2\pi k}{n}\right) \ \middle|\ k \in K \right\}∪{S ⁣(πkn) | k∈K}\displaystyle \cup \left\{ S\!\left(\frac{\pi k}{n}\right) \ \middle|\ k \in K \right\}

で、要素の個数(位数)は 2n2n である。

証明 正 nn 角形の頂点の 1 つを P\mathrm{P} とする。DnD_n の要素は頂点を頂点に移すので、P\mathrm{P} の像は nn 通り。P\mathrm{P} の像を決めると、隣の頂点の像は P\mathrm{P} の像の両隣の 22 通りのいずれかで、その 2 つを決めれば残りの頂点の像も決まる(多角形の頂点は順につながっているから)。よって要素は多くとも 2n2n 個である。いっぽう上に挙げた 2n2n 個の変換はどれも正 nn 角形を自分自身に移し、det⁡\det の値と回転角の違いにより互いに異なる。よって位数はちょうど 2n2n である。(証明終)

nn=4{}= 4、つまり正方形の場合を書き下します。頂点を (±1, ±1)(\pm 1,\ \pm 1) に取ると、鏡になる直線は xx 軸・yy 軸・22 本の対角線です。

動き行列det⁡\det
何もしない(1001)\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}11
90∘90^\circ 回転(0−110)\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}11
180∘180^\circ 回転(−100−1)\begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix}11
270∘270^\circ 回転(01−10)\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}11
xx 軸で裏返す(100−1)\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}−1-1
yy 軸で裏返す(−1001)\begin{pmatrix} -1 & 0 \\ 0 & 1 \end{pmatrix}−1-1
直線 y=xy = x で裏返す(0110)\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}−1-1
直線 y=−xy = -x で裏返す(0−1−10)\begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}−1-1

これが D4D_4 の 88 個で、3×33 \times 3 の魔方陣が「回転と裏返しを除いてただ 1 つ」だったときの 88 通りにあたります。成分がすべて 00 と ±1\pm 1 であることに注目してください。整数の格子(碁盤の目)を自分自身に移す直交行列は、この 88 個で尽くされています。小話 kb1 の結晶学的制限定理は、この事実を一般の格子に広げたものです。平面の繰り返し模様を、格子の形ごと分類し尽くすと 1717 種類になり、壁紙群と呼ばれます。銭湯のタイルから正倉院の文様まで、平面を埋める模様はこの 1717 種類のどれかです。

この先へ

33 次元の SO(3)SO(3) には、オイラーが示した驚くべき事実があります。33 次元の回転をどれだけ組み合わせても、結果はある 1 本の軸まわりのただ 1 回の回転になる。22 次元の R(α)R(β)R(\alpha)R(\beta)=R(α+β){}= R(\alpha + \beta) に対応する事実ですが、SO(3)SO(3) は可換でないので、軸の向きを求める計算は簡単ではありません。この軸を取り出す公式(ロドリゲスの回転公式)や、単位四元数の集まりが SO(3)SO(3) を 22 対 11 で覆うこと(同じ回転が ±q\pm q の 22 通りの四元数で表される)は、線形代数と群論の入り口の話題です。小話 kb3 で触れた四元数は、ここで正式な居場所を得ます。

もう 1 つの広げ方は、原点を動かしてよいことにする方向です。平面の距離を保つ変換全体(等長変換群 E(2)E(2))を考えると、要素は平行移動・回転・鏡映・すべり鏡映の 44 種類に分類されます。第 6 章の小話で「平行移動は一次変換ではないが、同次座標を使えば 3×33 \times 3 行列で書ける」と述べたのは、E(2)E(2) を行列の群として実現する手つきでした。

本文に戻る道も残っています。第 8 章では変換を続けて行うこと(合成)が行列の積に対応することを一般に扱い、j18 で「22 回の対称移動が回転になる」と計算だけで示したことに、DnD_n が回転と鏡映の組み合わせで書ける理由という意味を与えます。第 9 章では det⁡A\det A の絶対値が面積の倍率であることを示し、直交行列の det⁡\det=±1{}= \pm 1 が「面積も形も変えない」ことの表現だったと分かります。

この章の学習が終わったら

学習完了テストを受ける