見出し画像

(追記有り)中学でも分かる⑮「一次変換」

 ここでは「一次変換」について学んでいきましょう。この概念は、これまで学習した「行列」と密接な関係があり、数学の世界を広げる重要なステップです。


変換とは

 下図のような座標平面を考えます。中学で習う、$${x}$$ 軸と $${y}$$ 軸がそれぞれの原点 $${\mathrm{O}}$$ で垂直に交わる「$${x\!-\!y}$$ 座標平面」です。

 

 座標平面とは、数の組 $${(x,  y)}$$ で位置が表される「無数の点の集まり」と考えることができます。
 この座標平面上の任意の点 $${\mathrm{P}(x,  y)}$$ が、ある決まった規則によって同じ平面上の点 $${\mathrm{Q}(x',  y')}$$ へと移されるとき、この対応を座標平面上の変換といいます。そして、点 $${\mathrm{P}}$$ が移った先の点 $${\mathrm{Q}}$$ を、この変換による点 $${\mathrm{P}}$$ のぞうといいます。

 例えば、座標平面上の任意の点 $${\mathrm{P}}$$ を、下図のように、$${x}$$ 軸方向に $${p}$$、$${y}$$ 軸方向に $${q}$$ だけ動かす平行移動は1つの変換です。

 この変換によって、点 $${\mathrm{P}(x,  y)}$$ が 点 $${\mathrm{Q}(x',  y')}$$ に移されるとすると、$${\mathrm{P}}$$ と $${\mathrm{Q}}$$ の座標の間には

$$
\begin{align*}
x'&=x+p\\
y'&=y+q
\end{align*}
$$

という関係があります。この変換を、記号 $${f}$$ などを用いて、次のように表すことができます。

$$
\begin{align*}
f:(x,  y) \longrightarrow (x+p,  y+g)
\end{align*}
$$

例題1

 次の変換による点 $${\mathrm{P}(2,  3)}$$ の像を求めよ。
(1) $${f:(x,  y) \rightarrow (x+1,  y-4)}$$
(2) $${g:(x,  y) \rightarrow (2x-6,  -y+1)}$$

解答
(1) $${x=2,  y=3}$$ を $${(x+1,  y-4)}$$ に代入して

$$
(2+1,  3-4)=(3,  -1) \cdots\small{(答)}
$$

(2) $${x=2,  y=3}$$ を $${(2x-6,  -y+1)}$$ に代入して

$$
(2\cdot2-6,  -3+1)=(-2,  -2) \cdots\small{(答)}
$$

$${\blacksquare}$$

2次正方行列の変換

 ここで、次のような変換 $${f}$$ を考えます。

$$
\begin{align*}
x'&=2x+3y\\
y'&=3x-2y
\end{align*} \cdots (*1)
$$

 この変換 $${f}$$ によって、 座標平面上の任意の点 $${\mathrm{P}(x, y)}$$ を点 $${\mathrm{Q}(x', y')}$$ に変換します。
 この変換に関して、例題を与えます。

例題2

 変換 $${f}$$

$$
\begin{align*}
x'&=2x+3y\\
y'&=3x-2y
\end{align*} \cdots (*1)
$$

について、$${\mathrm{P}(x,  y)}$$ が次の点であるとき、$${f}$$ による点 $${\mathrm{P}}$$ の像 $${\mathrm{Q}(x',  y')}$$ を求めなさい。

(1) $${(1,  2)}$$
(2) $${(2,  -3)}$$
(3) $${(0,  0)}$$

解答
(1) $${(*1)}$$ に、$${x=1,  y=2}$$ を代入して

$$
\begin{align*}
x'&=2x+3y\\
&=2\cdot1+3\cdot2\\
&=2+6\\
&=8\\
y'&=3x-2y\\
&=3\cdot1-2\cdot2\\
&=3-4\\
&=-1
\end{align*}
$$

より

$$
\begin{align*}
\text{Q}(8,  -1) \cdots\small{(答)}
\end{align*}
$$

(2) $${(*1)}$$ に、$${x=2,  y=-3}$$ を代入して

$$
\begin{align*}
x&'=2x+3y\\
&=2\cdot2+3\cdot(-3)
\\&=4-9\\
&=-5\\
y'&=3x-2y\\
&=3\cdot2-2\cdot(-3)\\
&=6+6\\
&=12
\end{align*}
$$

より

$$
\begin{align*}
\text{Q}(-5,  12) \cdots\small{(答)}
\end{align*}
$$

(3) $${(*1)}$$ に、$${x=0,  y=0}$$ を代入して

$$
\begin{align*}
x'&=2x+3y\\
&=2\cdot0+3\cdot0\\
&=0\\
y&'=3x-2y\\
&=3\cdot0-2\cdot0\\
&=0
\end{align*}
$$

$$
\begin{align*}
\mathrm{Q}(0,  0) \cdots\small{(答)}
\end{align*}
$$

$${\blacksquare}$$

 この変換 $${f}$$

$$
\begin{align*}
x'&=2x+3y\\
y'&=3x-2y
\end{align*} \cdots (*1)
$$

は、次のように2次の正方行列で表すことができます。

$$
\begin{align*}
\begin{pmatrix*}[r]
x'\\
y'
\end{pmatrix*}
=\begin{pmatrix*}[r]
2 & 3\\
3 & -2
\end{pmatrix*}
\begin{pmatrix*}[r]
x\\
y
\end{pmatrix*} \cdots (*2)
\end{align*}
$$

 実際、この $${(*2)}$$ の行列計算を行うと

$$
\begin{align*}
\begin{pmatrix*}[r]
x'\\
y'
\end{pmatrix*}
&=\begin{pmatrix*}[r]
2 & 3\\
3 & -2
\end{pmatrix*}
\begin{pmatrix*}[r]
x\\
y
\end{pmatrix*}\\
&=\begin{pmatrix*}[r]
2x+3y\\
3x-2y
\end{pmatrix*}
\end{align*}
$$

 対応する成分は等しいので

$$
\begin{align*}
x'&=2x+3y\\
y'&=3x-2y
\end{align*}
$$

となり、最初に与えた $${(*1)}$$ と同じになることが確認できます。
 この $${(*2)}$$ の関係式から、点 $${\mathrm{P}(x,  y)}$$ は行列

$$
\begin{align*}
\begin{pmatrix*}[r]
2 & 3\\
3 & -2
\end{pmatrix*}
\end{align*}
$$

によって、点 $${\mathrm{Q}(x,  y)}$$ に変換されると読み取ることができます。「点の座標を行列で変換する」という新しいものの見方です。
 この見方を、先ほどの例題2の (1) について用いると

$$
\begin{align*}
\begin{pmatrix*}[r]
x'\\
y'
\end{pmatrix*}
&=\begin{pmatrix*}[r]
2 & 3\\
3 & -2
\end{pmatrix*}
\begin{pmatrix*}[r]
1\\
2
\end{pmatrix*}\\
&=\begin{pmatrix*}[r]
2\cdot1+3\cdot2\\
3\cdot1-2\cdot2
\end{pmatrix*}\\
&=\begin{pmatrix*}[r]
2+6\\
3-4
\end{pmatrix*}\\
&=\begin{pmatrix*}[r]
8\\
-1
\end{pmatrix*}
\end{align*}
$$

より、点 $${\mathrm{P}(1,  3)}$$ は、行列

$$
\begin{align*}
\begin{pmatrix*}[r]
2 & 3\\
3 & -2
\end{pmatrix*}
\end{align*}
$$

によって点 $${\mathrm{Q}(8,  -1)}$$ に変換され、先ほどと同じ結果になります。

 この変換を一般化したのが、これから解説する1次変換です。

1次変換の定義

 一次変換の定義を与えます。

<一次変換>

 $${a,  b,  c,  d}$$ を定数として

$$
\begin{align*}
x'&=ax+by\\
y'&=cx+dy
\end{align*}
$$

によって点 $${\mathrm{P}(x,  y)}$$ と点 $${\mathrm{Q}(x',  y')}$$ の関係を定めると、座標平面上の1つの変換が得られます。
 一般に、この形の式によって表される変換

$$
f:(x,  y) \longrightarrow (x',  y')
$$

1次変換といいます。1次変換 $${f}$$ は、行列を用いると

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
=\begin{pmatrix}
a & b \\ c & d
\end{pmatrix}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

と表すことができます。つまり、変換 $${f}$$ は行列

$$
\begin{align*}
\begin{pmatrix}
a & b \\ c & d
\end{pmatrix}
\end{align*}
$$

によって定まるので、この変換 $${f}$$ を、行列 $${\begin{pmatrix} a & b \\ c & d \end{pmatrix}}$$ で表される1次変換といいます。
 また、この行列のことを変換行列とよびます。

***

 端的にいうと、1次変換とは行列で表される変換です(詳説1)。

$$
\begin{align*}
\\[-14pt]
f:(x,  y) \xrightarrow[\scriptsize \begin{pmatrix} a & b \\ c & d \end{pmatrix}]{1次変換    } (ax+by,  cx+dy)
\end{align*}
$$

一次変換による原点 (0, 0) の像

 次の計算より、1次変換では、原点 $${(0, 0)}$$ は原点に移されることが分かります(例題2(3) 参照)。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
&=\begin{pmatrix}
a & b \\ c & d
\end{pmatrix}
\begin{pmatrix}
0 \\ 0
\end{pmatrix}\\
&=\begin{pmatrix}
a\cdot0+b\cdot0 \\ c\cdot0+d\cdot0
\end{pmatrix}\\
&=\begin{pmatrix}
0 \\ 0
\end{pmatrix}
\end{align*}
$$

$$
\begin{align*}
\\[-14pt]
f:(0,  0) \xrightarrow[\scriptsize \begin{pmatrix} a & b \\ c & d \end{pmatrix}]{1次変換    } (0,  0)
\end{align*}
$$

 一次変換では、原点は他の点に移動せず、原点のままです。つまり1次変換では、原点は常に不動点となります。

1次変換の種

 代表的な1次変換の例として、以下のものがあります。

(1) $${x}$$ 軸に関する対称移動
(2) $${y}$$ 軸に関する対称移動
(3) 原点に関する対称移動
(4) 直線 $${y=x}$$ に関する対称移動
(5) 原点を中心とする相似変換
(6) 原点を中心とする回転移動

 これらの一次変換をひとつひとつみていき、それぞれを変換行列で表すことを考えます。

(1) x 軸に関する対称移動

 点 $${(3,  2)}$$ を $${x}$$ 軸に関して対称移動させると、点 $${(3,  -2)}$$ になります。

 また、点 $${(3,  -2)}$$ を $${x}$$ 軸に関して対称移動させると、点 $${(3,  2)}$$ になります。

 このことから分かるように、$${x}$$ 軸に関する対称移動とは、点の $${x}$$ 座標はそのままに、$${y}$$ 座標の正負の符号を入れ替える操作と考えることができます。

$$
\begin{align*}
x  軸対称: (x,  y) \longrightarrow (x,  -y)
\end{align*}
$$

 一般に、点 $${(x,  y)}$$ を $${x}$$ 軸に関して対称移動させた点を $${(x',  y')}$$ とすると、この変換は次のようになります。

$$
\begin{align*}
x'&=\hspace{7pt}x\\
y'&=-y
\end{align*}
$$

 この変換は

$$
\begin{alignat*}{2}
x'&=1\cdot x & &+\hspace{8pt}0\cdot y\\
y'&=0\cdot x & &+(-1)y
\end{alignat*}
$$

と表せるので、これを行列を用いて表すと次のようになります。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
1 & 0 \\ 0 & -1
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 以上により、$${x}$$ 軸に関する対称移動を表す変換行列は

$$
\begin{pmatrix*}[r] 1 & 0 \\ 0 & -1 \end{pmatrix*}
$$

となります。

(2) y 軸に関する対称移動

 点 $${(3,  2)}$$ を $${y}$$ 軸に関して対称移動させると、点 $${(-3,  2)}$$ になります。

 また、点 $${(-3,  2)}$$ を $${y}$$ 軸に関して対称移動させると、点 $${(3,  2)}$$ になります。

 このことから分かるように、$${y}$$ 軸に関する対称移動とは、点の $${y}$$ 座標はそのままに、$${x}$$ 座標の正負の符号を入れ替える操作と考えることができます。

$$
\begin{align*}
y  軸対称: (x,  y) \longrightarrow (-x,  y)
\end{align*}
$$

 一般に、点 $${(x,  y)}$$ を $${y}$$ 軸に関して対称移動させた点を $${(x',  y')}$$ とすると、この変換は次のようになります。

$$
\begin{align*}
x'&=-x\\
y'&=\hspace{8pt}y
\end{align*}
$$

 この変換は

$$
\begin{alignat*}{2}
x'&=(-1)x & &+0\cdot y\\
y'&=\hspace{8pt}0\cdot x & &+1\cdot y
\end{alignat*}
$$

と表せるので、これを行列を用いて表すと次のようになります。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
-1 & 0 \\ 0 & 1
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 以上により、$${y}$$ 軸に関する対称移動を表す変換行列は

$$
\begin{pmatrix*}[r] -1 & 0 \\ 0 & 1 \end{pmatrix*}
$$

となります。

(3) 原点に関する対称移動

 点 $${(3,  2)}$$ を原点に関して対称移動させると、点 $${(-3,  -2)}$$ になります。

 また、点 $${(-3,  -2)}$$ を原点に関して対称移動させると、点 $${(3,  2)}$$ になります。

 このことから分かるように、原点に関する対称移動とは、$${x}$$ 座標と $${y}$$ 座標の、両方の正負の符号を入れ替える操作と考えることができます。

$$
\begin{align*}
原点対称: (x,  y) \longrightarrow (-x,  -y)
\end{align*}
$$

 一般に、点 $${(x,  y)}$$ を原点に関して対称移動させた点を $${(x',  y')}$$ とすると、この変換は次のようになります。

$$
\begin{align*}
x'&=-x\\
y'&=-y
\end{align*}
$$

 この変換は

$$
\begin{alignat*}{2}
x'&=(-1)x & &+\hspace{15pt}0\cdot y\\
y'&=\hspace{8pt}0\cdot x & &+(-1)\cdot y
\end{alignat*}
$$

と表せるので、これを行列を用いて表すと次のようになります。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
-1 & 0 \\ 0 & -1
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 以上により、原点に関する対称移動を表す変換行列は

$$
\begin{pmatrix*}[r] -1 & 0 \\ 0 & -1 \end{pmatrix*}
$$

となります。

(4) 直線  y=x  に関する対称移動

 点 $${(3,  2)}$$ を直線 $${y=x}$$ に関して対称移動させると、点 $${(2,  3)}$$ になります。

 また、点 $${(2,  3)}$$ を直線 $${y=x}$$ に関して対称移動させると、点 $${(3,  2)}$$ に戻ります。

 このことから分かるように、直線 $${y=x}$$ に関する対称移動とは、点の $${x}$$ 座標と $${y}$$ 座標を、入れ替える操作と考えることができます。

$$
\begin{align*}
y=x  対称: (x,  y) \longrightarrow (y,  x)
\end{align*}
$$

 一般に、点 $${(x,  y)}$$ を直線 $${y=x}$$ に関して対称移動させた点を $${(x',  y')}$$ とすると、この変換は次のようになります。

$$
\begin{align*}
x'&=y\\
y'&=x
\end{align*}
$$

 この変換は

$$
\begin{alignat*}{3}
x'&=0\cdot x & &+1\cdot y\\
y'&=1\cdot x & &+0\cdot y
\end{alignat*}
$$

と表せるので、これを行列を用いて表すと次のようになります。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
0 & 1 \\ 1 & 0
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 以上により、直線 $${y=x}$$ に関する対称移動を表す変換行列は

$$
\begin{pmatrix*}[r] 0 & 1 \\ 1 & 0 \end{pmatrix*}
$$

となります。

(5) 原点を中心とする相似変換

 原点から点 $${(2,  3)}$$ までの距離を、原点を中心に $${3}$$ 倍に拡大させると、その点の座標は
 $${(2\times3,  3\times3)=(6,  9)}$$
になります。

 原点を中心とする拡大というのは、上図のように、原点を通る直線上での拡大です。$${x}$$ 座標と $${y}$$ 座標を同じ倍数だけ掛けます。
 また、原点から点 $${(9,  6)}$$ までの距離を、原点を中心に $${\dfrac{1}{3}}$$ 倍に縮小させと、その点の座標は
 $${\left(9\times\dfrac{1}{3},  6\times\dfrac{1}{3}\right)=(3,  2)}$$
になります。

 このように、原点からの距離を拡大したり縮小したりする変換を、原点を中心とする相似変換といいます。相似変換は、$${x}$$ 座標と $${y}$$ 座標を、ともに $${k}$$ 倍する操作とみることができます(ただし $${k>0}$$)。

$$
\begin{align*}
相似変換: (x,  y) \longrightarrow (kx,  ky)
\end{align*}
$$

 一般に、点 $${\mathrm{P}(x,  y)}$$ を $${k}$$ 倍に拡大、または縮小させた点を $${\mathrm{Q}(x',  y')}$$ とすると、両者の関係は次のようになります。

$$
\begin{align*}
x'&=ky\\
y'&=kx
\end{align*}
$$

 この変換は

$$
\begin{alignat*}{2}
x'&=k\cdot x & &+0\cdot y\\
y'&=0\cdot x & &+k\cdot y
\end{alignat*}
$$

と表せるので、これを行列を用いて表すと次のようになります。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
k & 0 \\ 0 & k
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 ただし
(a) 拡大のときは $${1< k}$$
(b) 縮小のときは $${0< k<1}$$
(c) 等倍で変化しないときは $${k=1}$$
であり、(c) のときを、特に恒等変換といいます。恒等変換とは、変換しても座標が移動しない変換です。恒等変換も相似変換に含めます。

 以上により、相似変換を表す変換行列は、$${k>0}$$ として

$$
\begin{pmatrix*}[c] k & 0 \\ 0 & k \end{pmatrix*}
$$

となります。特に $${k=1}$$ のときは恒等変換となり、そのときの変換行列は

$$
\begin{pmatrix*}[c] 1 & 0 \\ 0 & 1 \end{pmatrix*}
$$

と単位行列になります。

まとめ

 以上をまとめると

(1) $${x}$$ 軸に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
1 & 0 \\ 0 & -1
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

(2) $${y}$$ 軸に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
-1 & 0 \\ 0 & 1
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

(3) 原点に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
-1 & 0 \\ 0 & -1
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

(4) $${y=x}$$ に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
0 & 1 \\ 1 & 0
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

(5) 原点を中心とする $${k}$$ 倍の相似変換は、$${k>0}$$ として

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
k & 0 \\ 0 & k
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

となります。これらはすべて

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
=\begin{pmatrix}
a & b \\ c & d
\end{pmatrix}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

の形で表される一次変換です。

例題3

 点 $${(5,  3)}$$ を、次の (1) ~ (5) の変換行列で変換したときの像 $${(x',  y')}$$ をそれぞれ求めなさい。
(1) $${x}$$ 軸に関する対称移動
(2) $${y}$$ 軸に関する対称移動
(3) 原点に関する対称移動
(4) 直線 $${y=x}$$ に関する対称移動
(5) 原点を中心とする $${5}$$ 倍の相似変換(原点からの距離を $${5}$$ 倍にする変換)

指針
 それぞれの変換行列を確認しましょう。点 $${(5,  3)}$$ に、それぞれの変換行列を掛けます。

解答
(1) $${x}$$ 軸に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
&=\begin{pmatrix*}[r]
1 & 0 \\ 0 & -1
\end{pmatrix*}
\begin{pmatrix}
5 \\ 3
\end{pmatrix}\\
&=\begin{pmatrix}
1\cdot5+0\cdot3 \\ 0\cdot5+(-1)\cdot3
\end{pmatrix}\\
&=\begin{pmatrix*}[r]
5 \\ -3
\end{pmatrix*}
\end{align*}
$$

より

$$
(5,  -3) \cdots\small{(答)}
$$

(2) $${y}$$ 軸に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
&\begin{pmatrix*}[r]
-1 & 0 \\ 0 & 1
\end{pmatrix*}
\begin{pmatrix}
5 \\ 3
\end{pmatrix}\\
&=\begin{pmatrix}
-1\cdot5+0\cdot3 \\ 0\cdot5+1\cdot3
\end{pmatrix}\\
&=\begin{pmatrix*}[r]
-5 \\ 3
\end{pmatrix*}
\end{align*}
$$

より

$$
(-5,  3) \cdots\small{(答)}
$$

(3) 原点に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
&=\begin{pmatrix*}[r]
-1 & 0 \\ 0 & -1
\end{pmatrix*}
\begin{pmatrix}
5 \\ 3
\end{pmatrix}\\
&=\begin{pmatrix}
-1\cdot5+0\cdot3 \\ 0\cdot5+(-1)\cdot3
\end{pmatrix}\\
&=\begin{pmatrix*}[r]
-5 \\ -3
\end{pmatrix*}
\end{align*}
$$

より

$$
(-5,  -3) \cdots\small{(答)}
$$

(4) $${y=x}$$ に関する対称移動は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
&=\begin{pmatrix*}[r]
0 & 1 \\ 1 & 0
\end{pmatrix*}
\begin{pmatrix}
5 \\ 3
\end{pmatrix}\\
&=\begin{pmatrix}
0\cdot5+1\cdot3 \\ 1\cdot5+0\cdot3
\end{pmatrix}\\
&=\begin{pmatrix*}[r]
3 \\ 5
\end{pmatrix*}
\end{align*}
$$

より

$$
(3,  5) \cdots\small{(答)}
$$

(5) 原点を中心とする $${5}$$ 倍の相似変換は

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
&=\begin{pmatrix*}[r]
5 & 0 \\ 0 & 5
\end{pmatrix*}
\begin{pmatrix}
5 \\ 3
\end{pmatrix}\\
&=\begin{pmatrix}
5\cdot5+0\cdot3 \\ 0\cdot5+5\cdot3
\end{pmatrix}\\
&=\begin{pmatrix*}[r]
25 \\ 15
\end{pmatrix*}
\end{align*}
$$

より

$$
(25,  15) \cdots\small{(答)}
$$

$${\blacksquare}$$

(6) 原点を中心とする回転移動

 最後に、原点を中心とする回転移動です。解説にあたっては、三角関数の知識(三角関数を、原点を中心とする円周上の点ととらえる考え方)と、次の加法定理を使います(中学でも分かる➆「三角比」、➇「三角関数」)。

<加法定理>

$$
\begin{alignat*}{2}
&\sin(\alpha+\beta) & &=\sin\alpha\cos\beta+\cos\alpha\sin\beta\\
&\sin(\alpha-\beta) & &=\sin\alpha\cos\beta-\cos\alpha\sin\beta\\
&\cos(\alpha+\beta) & &=\cos\alpha\cos\beta-\sin\alpha\sin\beta\\
&\cos(\alpha-\beta) & &=\cos\alpha\cos\beta+\sin\alpha\sin\beta\\
&\tan(\alpha+\beta) & &=\dfrac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}\\[8pt]
&\tan(\alpha-\beta) & &=\dfrac{\tan\alpha-\tan\beta}{1+\tan\alpha\tan\beta}
\end{alignat*}
$$

***

 座標平面上の点 $${\mathrm{P}(x,  y)}$$ を、原点の周りに一般角 $${\theta}$$ だけ回転して、点 $${\mathrm{Q}(x',  y')}$$ に移す変換を考えます。

 なお、$${\theta}$$ は一般角で、$${230\degree}$$ や $${-50\degree}$$ など、$${180\degree}$$ より大きい角度やマイナスの角度も含みます(詳説2)。

 下図のように、半径 $${r}$$ の円周上の点 $${\mathrm{P}(x,  y)}$$ を考えます。

 このとき、半径 $${\mathrm{OP}}$$ と $${x}$$ 軸の正の部分とのなす角を $${\alpha}$$ とすると、 点 $${\mathrm{P}(x,  y)}$$ の座標は、$${r}$$ と $${\alpha}$$ を用いて

$$
(r\cos\alpha,  r\sin\alpha)
$$

と表せるので

$$
\begin{align*}
x&=r\cos\alpha\\
y&=r\sin\alpha
\end{align*} \cdots(*3)
$$

 この点を、原点を中心に反時計回りに $${\theta}$$ だけ回転させた点を $${\mathrm{Q}(x',  y')}$$ とします。原点を中心とする回転運動なので、点 $${\mathrm{P}}$$ も点 $${\mathrm{Q}}$$ も、半径 $${r}$$ の円周上に存在することに注意してください。

 この点 $${\mathrm{Q}(x',  y')}$$ の座標は、半径 $${\mathrm{OQ}}$$ と $${x}$$ 軸の正の部分とのなす角が $${\theta+\alpha}$$ より

$$
(r\cos(\theta+\alpha),  r\sin(\theta+\alpha))
$$

と表せるので

$$
\begin{align*}
x'&=r\cos(\theta+\alpha)\\
y'&=r\sin(\theta+\alpha)
\end{align*}
$$

 ここで、加法定理

$$
\begin{alignat*}{2}
&\sin(\alpha+\beta) & &=\sin\alpha\cos\beta+\cos\alpha\sin\beta \cdots(*4)\\
&\sin(\alpha-\beta) & &=\sin\alpha\cos\beta-\cos\alpha\sin\beta\\
&\cos(\alpha+\beta) & &=\cos\alpha\cos\beta-\sin\alpha\sin\beta \cdots(*5)\\
&\cos(\alpha-\beta) & &=\cos\alpha\cos\beta+\sin\alpha\sin\beta
\end{alignat*}
$$

の $${(*4),  (*5)}$$ を用いて

$$
\begin{align*}
x'&=r\cos(\theta+\alpha)\\
&=r(\cos\theta\cos\alpha-\sin\theta\sin\alpha) {\small \cdots(*5) より}\\
&=r\cos\theta\cos\alpha-r\sin\theta\sin\alpha\\
&=\cos\theta\cdot\underline{r\cos\alpha}-\sin\theta\cdot\underline{r\sin\alpha}\\
y'&=r\sin(\theta+\alpha)\\
&=r(\sin\theta\cos\alpha+\cos\theta\sin\alpha) {\small \cdots(*4) より}\\
&=r\sin\theta\cos\alpha+r\cos\theta\sin\alpha\\
&=\sin\theta\cdot\underline{r\cos\alpha}+\cos\theta\cdot\underline{r\sin\alpha}
\end{align*}
$$

 下線部に、$${(*3)}$$ 式

$$
\begin{align*}
x&=r\cos\alpha\\
y&=r\sin\alpha
\end{align*} \cdots(*3)
$$

を代入して

$$
\begin{align*}
x'&=\cos\theta\cdot x-\sin\theta\cdot y\\
y'&=\sin\theta\cdot x+\cos\theta\cdot y
\end{align*}
$$

 これを行列を用いて表すと

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

となるので、原点を中心とする回転移動を表す変換行列は

$$
\begin{align*}
\begin{pmatrix*}[r]
\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta
\end{pmatrix*}
\end{align*}
$$

となります。この行列を回転行列といいます。あらためて定義を与えます。

<回転行列>

 座標平面上の点 $${\mathrm{P}(x, y)}$$ を、原点の周りに一般角 $${\theta}$$ だけ回転して点 $${\mathrm{Q}(x', y')}$$ に移す変換は、次のように表せる。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}=
\begin{pmatrix*}[r]
\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta
\end{pmatrix*}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 このときの変換行列

$$
\begin{align*}
\begin{pmatrix*}[r]
\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta
\end{pmatrix*}
\end{align*}
$$

回転行列という。

***

例題4

 座標平面上の点 $${\mathrm{P}\!\left(\dfrac{\sqrt{3}}{2},   \dfrac{1}{2}\right)}$$ を、原点の周りに $${\theta\degree}$$ だけ回転して、点 $${\mathrm{Q}(x', y')}$$ に移す変換を考えます。このとき、次の場合について、点 $${\mathrm{Q}(x', y')}$$ の座標を回転行列を用いて求めなさい。
(1) $${\theta=60\degree}$$ のとき
(2) $${\theta=120\degree}$$ のとき

指針
 
$${\mathrm{P}\!\left(\dfrac{\sqrt{3}}{2},   \dfrac{1}{2}\right)}$$ に、それぞれの角度の回転行列を掛けます。

解答
(1) $${60\degree}$$ だけ回転させるときの回転行列は

$$
\begin{align*}
\begin{pmatrix*}[r]
\cos60\degree & -\sin60\degree \\ \sin60\degree & \cos60\degree
\end{pmatrix*}
\end{align*}
$$

 すると

$$
\begin{align*}
\sin60\degree&=\dfrac{\sqrt{3}}{2}\\[8pt]
\cos60\degree&=\dfrac{1}{2}
\end{align*}
$$

より

$$
\begin{align*}
\begin{pmatrix*}[r]
\cos60\degree & -\sin60\degree \\ \sin60\degree & \cos60\degree
\end{pmatrix*}
=\begin{pmatrix*}[c]
\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{\sqrt{3}}{2} & \dfrac{1}{2}
\end{pmatrix*}
\end{align*}
$$

 よって

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}&=
\begin{pmatrix*}[r]
\cos60\degree & -\sin60\degree \\ \sin60\degree & \cos60\degree
\end{pmatrix*}
\begin{pmatrix}
\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{1}{2}
\end{pmatrix}\\[18pt]
&=\begin{pmatrix*}[c]
\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[8pt]
\dfrac{\sqrt{3}}{2} & \dfrac{1}{2}
\end{pmatrix*}
\begin{pmatrix}
\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{1}{2}
\end{pmatrix}\\[22pt]
&=\begin{pmatrix*}[c]
\dfrac{1}{2}\cdot\dfrac{\sqrt{3}}{2} -\dfrac{\sqrt{3}}{2}\cdot\dfrac{1}{2} \\[8pt] \dfrac{\sqrt{3}}{2}\cdot\dfrac{\sqrt{3}}{2}+\dfrac{1}{2}\cdot\dfrac{1}{2}\\
\end{pmatrix*}\\[22pt]
&=\begin{pmatrix*}[c]
\dfrac{\sqrt{3}}{4}-\dfrac{\sqrt{3}}{4} \\[8pt]
\dfrac{3}{4}+\dfrac{1}{4}\\
\end{pmatrix*}\\[22pt]
&=\begin{pmatrix*}[c]
0 \\[4pt]
\dfrac{4}{4}\\
\end{pmatrix*}\\[16pt]
&=\begin{pmatrix*}[c]
0 \\
1\\
\end{pmatrix*}
\end{align*}
$$

 したがって

$$
\mathrm{Q}(0,  1) \cdots{\small(答)}
$$

確認
 回転行列を用いないで、三角関数の知識のみで解いてみましょう。
 下図から分かるように、点 $${\mathrm{P}}$$ は単位円(原点を中心とする半径が $${1}$$ の円)の円周上にあり、半径 $${\mathrm{OP}}$$ と $${x}$$ 軸の正の部分とのなす角は $${30\degree}$$ です(中学でも分かる➆「三角比」)。 

 すると、点 $${\mathrm{P}}$$ は単位円周上で、$${x}$$ 軸の正の部分とのなす角が
 $${30\degree+60\degree=90\degree}$$
の位置に移動するので

$$
\mathrm{Q}(\cos90\degree,  \sin90\degree)=\mathrm{Q}(0,  1)
$$

となり、同じ結果になります。

(2) $${120\degree}$$ だけ回転させるときの回転行列は

$$
\begin{align*}
\begin{pmatrix*}[r]
\cos120\degree & -\sin120\degree \\ \sin120\degree & \cos120\degree
\end{pmatrix*}
\end{align*}
$$

 すると

$$
\begin{align*}
\sin120\degree&=\dfrac{\sqrt{3}}{2}\\[8pt]
\cos120\degree&=-\dfrac{1}{2}
\end{align*}
$$

 より

$$
\begin{align*}
\begin{pmatrix*}[r]
\cos120\degree & -\sin120\degree \\ \sin120\degree & \cos120\degree
\end{pmatrix*}
=\begin{pmatrix*}[c]
-\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{\sqrt{3}}{2} & -\dfrac{1}{2}
\end{pmatrix*}
\end{align*}
$$

 よって

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}&=
\begin{pmatrix*}[r]
\cos120\degree & -\sin120\degree \\ \sin120\degree & \cos120\degree
\end{pmatrix*}
\begin{pmatrix}
\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{1}{2}
\end{pmatrix}\\
&=\begin{pmatrix*}[c]
-\dfrac{1}{2} & -\dfrac{\sqrt{3}}{2} \\[8pt]
\dfrac{\sqrt{3}}{2} & -\dfrac{1}{2}
\end{pmatrix*}
\begin{pmatrix}
\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{1}{2}
\end{pmatrix}\\[22pt]
&=\begin{pmatrix*}[c]
-\dfrac{1}{2}\cdot\dfrac{\sqrt{3}}{2} -\dfrac{\sqrt{3}}{2}\cdot\dfrac{1}{2} \\[8pt] \dfrac{\sqrt{3}}{2}\cdot\dfrac{\sqrt{3}}{2}-\dfrac{1}{2}\cdot\dfrac{1}{2}\\
\end{pmatrix*}\\[22pt]
&=\begin{pmatrix*}[c]
-\dfrac{\sqrt{3}}{4}-\dfrac{\sqrt{3}}{4} \\[8pt]
\dfrac{3}{4}-\dfrac{1}{4}
\end{pmatrix*}\\[22pt]
&=\begin{pmatrix*}[c]
-\dfrac{2\sqrt{3}}{4} \\[8pt]
\dfrac{2}{4}
\end{pmatrix*}\\[22pt]
&=\begin{pmatrix*}[c]
-\dfrac{\sqrt{3}}{2} \\[8pt]
\dfrac{1}{2}
\end{pmatrix*}
\end{align*}
$$

 したがって

$$
\mathrm{Q}\!\left(-\dfrac{\sqrt{3}}{2},  \dfrac{1}{2}\right) \cdots{\small(答)}
$$

確認
 回転行列を用いないで、三角関数の知識のみで解いてみましょう。
 点 $${\mathrm{P}}$$ は単位円周上で、$${x}$$ 軸の正の部分とのなす角が
 $${30\degree+120\degree=150\degree}$$
の位置に移動するので

$$
\mathrm{Q}(\cos150\degree,  \sin150\degree)=\mathrm{Q}\!\left(-\dfrac{\sqrt{3}}{2},   \dfrac{1}{2}\right)
$$

となり、同じ結果になります。

 ちなみに、この変換は $${y}$$ 軸に関する対称移動であることにも注意。実際に、$${y}$$ 軸対称の変換行列を用いて計算すると

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}&=
\begin{pmatrix*}[r]
-1 & 0 \\ 0 & 1
\end{pmatrix*}
\begin{pmatrix}
\dfrac{\sqrt{3}}{2} \\[8pt] \dfrac{1}{2}
\end{pmatrix}\\[20pt]
&=\begin{pmatrix*}[c]
-1\cdot\dfrac{\sqrt{3}}{2}+0\cdot\dfrac{1}{2} \\[8pt] 0\cdot\dfrac{\sqrt{3}}{2}+1\cdot\dfrac{1}{2}\\
\end{pmatrix*}\\[22pt]
&=\begin{pmatrix*}[c]
-\dfrac{\sqrt{3}}{2} \\[8pt]
\dfrac{1}{2}
\end{pmatrix*}
\end{align*}
$$

となり、同じ結果になります。

平行移動は一次変換ではないこと

 座標平面上の各点 $${\mathrm{P}}$$ を、下図のように、$${x}$$ 軸方向に $${p}$$、$${y}$$ 軸方向に $${q}$$ だけ動かす平行移動によって、点 $${\mathrm{P}(x,  y)}$$ が点 $${\mathrm{Q}(x',  y')}$$ に移されるとすると、$${\mathrm{P}}$$ と $${\mathrm{Q}}$$ の座標の間には

$$
\begin{align*}
x'&=x+p\\
y'&=y+q
\end{align*}
$$

という関係が成り立つことは最初にやりました。

 この式を見ると、右辺に定数項 $${p}$$ と $${q}$$ が含まれています。よって、平行移動は1次変換ではありません。1次変換の定義

$$
\begin{align*}
x'&=ax+by\\
y'&=cx+dy
\end{align*}
$$

には定数項は含まれていないため、平行移動は1次変換ではないことが分かります。

直感的なイメージ

 1次変換では、原点 $${(0, 0)}$$ は原点のままです。しかし平行移動は、原点 $${(0, 0)}$$ を $${(p,q)}$$ に移します。1次変換では、原点は常に不動点でした。このことから、平行移動は1次変換とは異なる変換であることがわかります。

(追記)

 一次変換は、点だけでなく、直線や図形といった点の集合全体を、まるで原点 $${\mathrm{O}}$$ を中心に広がるゴム膜のように、一斉に伸縮させたり、回転させたりして新しい図形へと変換します。
 それに対し、平行移動は、図形全体を別の場所に移動させる変換です。この平行移動は、すべての点を一様にずらすため、図形が原点 $${\mathrm{O}}$$ を含んでいた場合、その原点も一緒に移動してしまい、一次変換が持つ「原点をつねに原点に保つ」という重要な性質から外れてしまいます。
 つまり、一次変換は、原点を動かない基準点(不動点)とする特別な変換なので、平行移動が一次変換の仲間ではないことが、直感的に理解しやすくなるでしょう。

一次変換の歴史

 19世紀のイングランドの数学者、アーサー・ケイリー(Arthur Cayley)と、ジェームス・ジョセフ・シルベスター(James Joseph Sylvester)は、互いの研究に刺激を与え合いながら、行列の理論を発展させました。

Arthur Cayley(1821年 - 1895年)

 「Matrix(行列)」という言葉は、1850年にシルベスターによって初めて用いたとされています。

James Joseph Sylvester(1814年 - 1897年)

 ケイリーやシルベスターなど多くの数学者たちが、一次変換を表現するための道具として行列を導入しました。これにより、複雑な連立方程式やさまざまな変換を、よりシンプルかつ統一的に扱うことが可能となりました。
 例えば、対称移動、拡大・縮小、回転といった幾何学的操作が、それぞれ特定の行列を掛けることで表現できるようになり、これも彼らの貢献の一つです。
 ケイリーが行列の加法や乗法、逆行列といった代数的な操作を確立したことで、多くの数学者がこの概念についての議論を重ね、研究を深めていきました。この活発な議論が、新しい数学分野である線形代数の基礎を築いたのです。線形代数は、現代の数学だけでなく、物理学、工学、コンピュータサイエンスなど、さまざまな分野でその基礎を築いています。

(詳説1)一次変換の次数の拡張

 本文では、2次元平面での一次変換を学びました。これは「平面上の点を移す変換」と捉えられます。変換行列は2次の正方行列です。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y'
\end{pmatrix}
=\begin{pmatrix}
a & b \\ c & d
\end{pmatrix}
\begin{pmatrix}
x \\ y
\end{pmatrix}
\end{align*}
$$

 この概念は、3次元空間にも自然に拡張できます。つまり、一次変換を「空間内の点を写す変換」と考えることができます。その際、3次元空間での一次変換は次のように定義されます。変換行列は3次の正方行列です。

$$
\begin{align*}
\begin{pmatrix}
x' \\ y' \\ z'
\end{pmatrix}
=\begin{pmatrix}
a & b & c \\ d & e & f \\ g & h & i
\end{pmatrix}
\begin{pmatrix}
x \\ y \\ z
\end{pmatrix}
\end{align*}
$$

 さらに、抽象的な高次元の $${n}$$ 次元空間を考え、一次変換を「$${n}$$ 次元空間内の点を写す変換」と拡張することができます。その際、$${n}$$ 次元空間内での一次変換は次のように定義されます。変換行列は $${n}$$ 次の正方行列です。

$$
\begin{align*}
\begin{pmatrix}
x_1' \\ x_2' \\ \vdots \\ x_n'
\end{pmatrix}
=\begin{pmatrix}
a_{11} & a_{12} & \dots & a_{1n} \\
a_{21} & a_{22} & \dots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{n1} & a_{n2} & \dots & a_{nn}
\end{pmatrix}
\begin{pmatrix}
x_1 \\ x_2 \\ \vdots \\ x_n
\end{pmatrix}
\end{align*}
$$

 このように、$${n}$$ 次元の変換を考えることによって、より多くの情報を扱えるようになります。例えば、ウェブサイトのおすすめ機能では、閲覧者の購入履歴、閲覧時間、クリックした商品の種類など、何十種類もの情報を「$${n}$$ 個の数字」として扱っています。このように、たくさんの情報を持つものを「$${n}$$ 次元空間の点」とみなすことで、それらを数学的に分析し、効率よく処理できるようになります。
 また、量子力学や宇宙論など最先端の科学では、私たちが直感的に理解できる3次元を超えた「高次元の空間」が、現象を説明するために不可欠な道具となっています。

(詳説2)一般角

 一般角の定義を与えます(中学でも分かる➇「三角関数」)

<一般角の定義>

 動径 $${\mathrm{OP}}$$ が $${\mathrm{O}}$$ の周りを回転するとき、$${x}$$ 軸の正の部分から反時計回り(正の方向)に測った角を正の角、時計回り(負の方向)に測った角を負の角とする。角度は $${x}$$ 軸の正の部分から測ることに注意。この $${x}$$ 軸の正の部分を始線という。
 例えば、正の角 $${120\degree}$$、負の角 $${-60\degree}$$ は下図のようになる。

 動径 $${\mathrm{OP}}$$ が $${\mathrm{O}}$$ の周りを回転すると、その回転量に応じて、いくらでも絶対値の大きい角度が考えられる。このように角を”回転の量”と捉え、$${360\degree}$$ より大きい角や、負の角まで意味をひろげた角を一般角という。
 $${360\degree}$$ 回転すると、動径はちょうど $${1}$$ 回転してもとと同じ位置にくる。したがって、1つの動径 $${\mathrm{OP}}$$ と始線とのなす角は無数に考えられるが、その1つを $${a\degree}$$ とすると、$${\mathrm{OP}}$$ を表す一般角 $${\theta}$$ は次の式で表される。

$$
\begin{align*}
\theta=a\degree+360\degree\times n\small{(n  は整数)}
\end{align*}
$$

***

例1 $${420\degree}$$ は
  $${420\degree=60\degree+360\degree\times1}$$
で表せます。

 半時計周りに1周回って $${60\degree}$$ 進んだ角度です。

例2 $${780\degree}$$ は
  $${780\degree=60\degree+360\degree\times2}$$
で表せます。

 半時周りに2周回って $${60\degree}$$ 進んだ角度です。

例3 $${-300\degree}$$ は
  $${-300\degree=60\degree+360\degree\times(-1)}$$
で表せます。

 負の角なので、時計回りに $${300\degree}$$ 進んだ角度です。
 すると、例1例2、例3はすべて同じ動径を表し、$${60\degree}$$ のときと同じであることが分かります。よって、このときの動径 $${\text{OP}}$$ を表す一般角 $${\theta}$$ は

$$
\begin{align*}
\theta=60\degree+360\degree\times n\small{(n  は整数)}
\end{align*}
$$

となります。


いいなと思ったら応援しよう!

中学でもわかる浪漫数学 数学・物理をわかりやすく。チップは書籍の購入費用に使わせていただきます。 購入したい本「初学の編集者がわかるまで書き直した 基礎から鍛える量子力学 基本の数理から現実の物理まで一歩一歩」

この記事が参加している募集