※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> 学問の宇宙・数学の惑星群 図形学派生分野(担当帯: 水準九〜十=合成・分解・変換群の基礎)。ガイド役: Fable 5 監修 / Sonnet 5 執筆(原画班)
> トーン規約: 専門用語は初出で必ず説明する。年号・人名は「とされる」表記。数値には検算行を必ず添える。
> 本書の主眼: 「図形の因数分解」という比喩を、実体として数学的に正確に扱う。CADのようなソフトウェアが「勝手にやってくれる」変換の裏側には、実は数個の基本要素の組み合わせという、驚くほど単純な仕組みがある。それを式・行列・複素数の三通りの言葉で、検算しながら暴いていく。
# BOOK-0176 図形学III 変換と推移 — 図形の因数分解
> 学問の宇宙・数学の惑星群 図形学派生分野(担当帯: 水準九〜十=合成・分解・変換群の基礎)。ガイド役: Fable 5 監修 / Sonnet 5 執筆(原画班)
> トーン規約: 専門用語は初出で必ず説明する。年号・人名は「とされる」表記。数値には検算行を必ず添える。
> 本書の主眼: 「図形の因数分解」という比喩を、実体として数学的に正確に扱う。CADのようなソフトウェアが「勝手にやってくれる」変換の裏側には、実は数個の基本要素の組み合わせという、驚くほど単純な仕組みがある。それを式・行列・複素数の三通りの言葉で、検算しながら暴いていく。
---
## 序章 — 「動かす」を「掛け算」として読み直す
図形を「動かす」という行為には、直感的には色々な種類がある。ずらす、回す、裏返す、拡大・縮小する、押しつぶす、遠近をつける——これらはバラバラの操作に見える。しかし本書で扱う**変換(へんかん、水準三: 図形上の各点を、別の点へと規則的に移し替える操作。移した後の図形を元の図形の「像」と呼ぶ)**という視点に立つと、これらの操作はすべて「点の座標に対して、ある決まった計算をする」という一枚の式に統一できる。
そして本書がもっとも大事にしたい考え方がここにある。数を素数の掛け算に分解できるように(**因数分解(いんすうぶんかい、水準二: ある数や式を、それ以上小さく分けられない基本的な要素の掛け算の形に書き直すこと。例: 12=2×2×3)**)、平面上のどんな変換も、ごく少数の「基本変換」の合成(組み合わせ・掛け算)へと分解できる。これは比喩ではなく、行列の積・複素数の積という具体的な計算として検算できる事実である。この巻ではその事実を、誇張せず、しかし誠実に、最後まで追いかける。
CAD(キャド、水準二: Computer-Aided Designの略。コンピュータを使って図面や設計図を作成する技術。→BOOK-0057CADの歴史と技術第1冊で詳述)のようなソフトウェアで図形を「回転」「拡大」とクリック一つで動かせるのは、裏側でこの「基本変換の合成」が自動的に計算されているからに過ぎない。ボタンの向こう側にある計算そのものを、本書では自分の手で追えるようにする。
---
## 休憩所ゼロ: まとめ箱 — 序章のポイント
```
変換 = 図形の各点を規則的に移し替える操作
本書の主眼: どんな変換も「基本変換の合成(掛け算)」へ分解できる = 図形の因数分解
CADの「回転・拡大ボタン」は、この基本変換の合成を裏で自動計算しているだけ
```
---
## 第一章: 構図式水準表(一〜十二) — 図を式として読む梯子
図形学全体を、「図を式として読む」難易度の梯子として整理したものを**構図式水準表(こうずしきすいじゅんひょう)**と呼ぶことにする。本書(図形学III)は**水準九〜十(合成・分解・変換群の基礎)**を担当帯として深掘りする。他水準は名称のみ示し、詳細は別巻に譲る。
| 水準 | 名称 | 内容の目安 |
|---|---|---|
| 一 | 点と線分 | 点の位置・線分の長さという最小単位 |
| 二 | 基本図形 | 三角形・四角形・円などの名前と性質 |
| 三 | 角度と合同 | 角度の測り方、形も大きさも同じ図形の判定 |
| 四 | 相似と比 | 形は同じで大きさが違う図形、比の計算 |
| 五 | 座標と式 | 図形を(x,y)座標と方程式で表す |
| 六 | ベクトルと内積・外積 | 向きと大きさを持つ量での図形の記述 |
| 七 | 単一変換 | 平行移動・回転・鏡映・拡縮を個別に式で表す |
| 八 | 変換の表現法 | 行列表現・複素数表現という「言葉」の習得 |
| **九** | **変換の合成** | **複数の変換を順に施す=行列の積・複素数の積として計算** |
| **十** | **変換の分解と変換群** | **任意の変換を基本変換の積へ分解、変換全体がなす群構造** |
| 十一 | アフィン変換と射影変換 | 平行性を保つ変換、遠近法・消失点を持つ変換 |
| 十二 | 変換群の応用と不変量 | CG・CADでの実装、変換で変わらない量(不変量)の理論 |
本書は水準九〜十を担当帯とするが、七・八・十一の必要最小限も検算に必要な範囲で導入し、十二への橋渡しを終章で行う。
---
## 休憩所①: まとめ箱 — 第一章のポイント
```
構図式水準表(一〜十二) = 図形学の難易度梯子
本書(図形学III)の担当帯 = 水準九(変換の合成)・水準十(変換の分解と変換群)
```
---
## 第二章: 変換の階層 — 合同・相似・アフィン・射影
「変換」とひとくちに言っても、どこまでの性質を保つかによって階層がある。この階層を先に押さえておくことが、後の章で「因数分解」を正確に語るための土台になる。
**合同変換(ごうどうへんかん、水準三: 図形の形と大きさをどちらも変えない変換。平行移動・回転・鏡映(鏡映=鏡に映したような反転)、およびそれらの組み合わせがこれにあたる)**は、変換の階層のうちもっとも「保存するものが多い」変換である。合同変換で移した後も、辺の長さ・角度はすべて元のままである。
**相似変換(そうじへんかん、水準四: 図形の形は変えないが大きさは変える変換。合同変換に拡大・縮小(スケーリング)を加えたもの)**は、角度は保つが辺の長さの比だけを一定に保ち、絶対的な長さは変わってよい変換である。合同変換は、相似変換のうち拡大率がちょうど1倍(等倍)の特別な場合として位置づけられる。
**アフィン変換(あふぃんへんかん、水準五: 直線を直線に、平行線を平行線に移すが、角度や長さの比は変わってよい変換。合同変換・相似変換に加え、剪断(せんだん、図形を斜めに押しつぶす操作)や縦横で異なる拡大率を許す)**は、相似変換よりもさらに緩やかな変換である。正方形を平行四辺形に押しつぶすような操作は、アフィン変換の一種である剪断変換にあたる。ここまでの三つの変換は、いずれも「平行線は平行線のまま」という性質を共有している。
**射影変換(しゃえいへんかん、水準六: 直線を直線に移すが、平行線が平行でなくなってもよい変換。カメラで奥行きのある景色を撮影したときに、平行な線路が遠くで一点に集まって見える「消失点」の効果を式で表す変換)**は、この階層のもっとも緩やかな段である。平行性すら保存しないため、CADや3DCGで遠近法(パース)を再現する際の中核になる。
この四段は、**合同変換 ⊂ 相似変換 ⊂ アフィン変換 ⊂ 射影変換**という包含関係(記号⊂は「〜に含まれる」を表す)にある、と整理できる。つまり合同変換は相似変換の特別な一種であり、相似変換はアフィン変換の特別な一種であり、アフィン変換は射影変換の特別な一種である、という入れ子構造になっている。
**検算例(自己検算):** 一辺2の正方形(頂点(0,0),(2,0),(2,2),(0,2))を考える。
- 合同変換の例(平行移動(+3,+0)): 頂点は(3,0),(5,0),(5,2),(3,2)。辺の長さはすべて2のまま=合同。
- 相似変換の例(原点中心に2倍拡大): 頂点は(0,0),(4,0),(4,4),(0,4)。辺の長さは4=元の2倍だが、正方形のまま(角度90°を保持)=相似。
- アフィン変換の例(x方向にx+0.5yだけずらす剪断): 頂点は(0,0),(2,0),(3,2),(1,2)。辺の長さも角度も変わり平行四辺形になるが、辺(0,0)-(2,0)と辺(1,2)-(3,2)は依然として平行=アフィン。
- 射影変換的効果(概念): 奥行きをつけて遠い辺を短く見せると、辺(1,2)-(3,2)と辺(0,0)-(2,0)は平行に見えなくなりうる=平行性が崩れる。
この検算は、「同じ正方形から出発しても、階層が緩くなるほど保存される性質が減っていく」という包含関係を、具体的な座標移動で確かめたものである。
---
## 休憩所②: まとめ箱 — 第二章のポイント
```
変換の階層(保存する性質が多い順): 合同変換 ⊂ 相似変換 ⊂ アフィン変換 ⊂ 射影変換
合同変換 = 形・大きさとも保存(平行移動・回転・鏡映)
相似変換 = 角度と長さの比を保存(合同変換+拡縮)
アフィン変換 = 平行性を保存(相似変換+剪断・非等方拡縮)
射影変換 = 直線性のみ保存(平行性すら崩れる、遠近法の数理)
検算: 正方形→平行移動(合同)→拡大(相似)→剪断(アフィン)の順に、保存される性質が段階的に減る
```
---
## 第三章: 基本変換を式で書く — 平行移動・回転・鏡映・拡縮
本章では、変換の階層の土台となる4つの**基本変換**を、座標(x,y)に対する具体的な式として一つずつ確認する。この4つこそが、後の章で「因数分解」の素材となる基本要素である。
**① 平行移動(へいこういどう)**: 点(x,y)を、決まった向きと距離だけずらす変換。ずらす量を(tx,ty)とすると、
```
x' = x + tx
y' = y + ty
```
**② 回転(かいてん)**: 原点を中心に、角度θ(シータ、回転角を表す記号)だけ点を回す変換。
```
x' = x·cosθ − y·sinθ
y' = x·sinθ + y·cosθ
```
**③ 鏡映(きょうえい)**: ある直線(鏡映軸)を鏡として、点を反対側に映す変換。x軸を鏡映軸とする場合、
```
x' = x
y' = −y
```
**④ 拡縮(かくしゅく、スケーリング)**: 原点を基準に、x方向にはsx倍、y方向にはsy倍する変換。
```
x' = sx·x
y' = sy·y
```
**検算例(自己検算):** 点(3,4)に対して各基本変換を単独で適用してみる。
- 平行移動(tx=1,ty=2): x'=3+1=4, y'=4+2=6 → (4,6)
- 回転(θ=90°、cos90°=0・sin90°=1): x'=3×0−4×1=−4, y'=3×1+4×0=3 → (−4,3)
- 鏡映(x軸基準): x'=3, y'=−4 → (3,−4)
- 拡縮(sx=2,sy=0.5): x'=2×3=6, y'=0.5×4=2 → (6,2)
いずれも元の点(3,4)から出発し、それぞれ独立した式一本で結果が決まることが確認できる。
---
## 休憩所③: まとめ箱 — 第三章のポイント
```
基本変換4種(因数分解の「素材」):
①平行移動: x'=x+tx, y'=y+ty
②回転: x'=x·cosθ−y·sinθ, y'=x·sinθ+y·cosθ
③鏡映(x軸): x'=x, y'=−y
④拡縮: x'=sx·x, y'=sy·y
検算: 点(3,4)に90°回転→(−4,3)、2倍/0.5倍拡縮→(6,2)
```
---
## 第四章: 行列表現 — 変換を「掛け算」の道具に載せる
前章の式は、それぞれ個別には理解しやすいが、このままでは「組み合わせる」計算がしにくい。そこで**行列(ぎょうれつ、水準五: 数値を縦横に長方形状に並べたもの。行列同士の掛け算という決まった計算規則を持ち、線形な変換を表すのに使われる。→BOOK-0071数学派生・線形代数第1巻で詳述)**という道具を使うと、回転・鏡映・拡縮の3つを統一的に「行列と座標の掛け算」として表せる。
点(x,y)を縦に並べた**列ベクトル**
```
[x]
[y]
```
に対して、2行2列の行列
```
[a b]
[c d]
```
を掛ける計算規則は、
```
[a b] [x] [a·x + b·y]
[c d] [y] = [c·x + d·y]
```
と定める(行列の各行と列ベクトルの対応する成分同士を掛けて足す、という規則)。
この規則を使うと、第三章の基本変換のうち原点を中心とするもの(回転・鏡映・拡縮)は、次の行列で表せる。
```
回転行列(角度θ): [cosθ −sinθ]
[sinθ cosθ]
鏡映行列(x軸基準): [1 0]
[0 −1]
拡縮行列(sx,sy): [sx 0]
[0 sy]
```
一方、平行移動だけは、この2行2列の行列の掛け算では表せない(平行移動は原点を原点のまま留めないため、行列と列ベクトルの単純な掛け算=線形変換の枠に収まらない)。これは**アフィン変換(第二章参照)は線形変換に平行移動を加えた「線形変換+ずらし」という構造を持つ**ためであり、平行移動を含めて統一的に扱いたい場合は、3行3列の**同次座標(どうじざひょう、水準六: 点(x,y)を(x,y,1)という3つの数の組として扱うことで、平行移動も行列の掛け算一本に統一できるようにする表現方法)**を使う、という発展的な扱いが工学的には一般的だが、本書では回転・鏡映・拡縮の合成を主眼とし、同次座標は概念の紹介にとどめる。
**検算例(自己検算):** 回転行列(θ=90°)を使って点(3,4)を変換する。cos90°=0、sin90°=1なので、
```
[0 −1] [3] [0×3 + (−1)×4] [−4]
[1 0] [4] = [1×3 + 0×4 ] = [ 3]
```
結果は(−4,3)となり、第三章の式で直接計算した結果(−4,3)と完全に一致する。行列の掛け算という機械的な計算が、回転の式と同じ答えを出すことが検算できた。
---
## 休憩所④: まとめ箱 — 第四章のポイント
```
行列 = 数値を縦横に並べ、決まった掛け算規則を持つ道具(→BOOK-0071線形代数で詳述)
回転行列: [cosθ −sinθ; sinθ cosθ]
鏡映行列(x軸): [1 0; 0 −1]
拡縮行列: [sx 0; 0 sy]
平行移動は2×2行列では表せない(線形変換の枠外。同次座標で発展的に統一可能)
検算: 90°回転行列×(3,4) = (−4,3)。式による直接計算と一致(2通りの方法で同じ答え)
```
---
## 第五章: 変換の合成 — 行列の積が「順にかける」を表す(水準九・本題1)
ここからが本書の担当帯、水準九「変換の合成」の本題である。「回転させてから拡大する」のように、複数の変換を順に施すことを**合成(ごうせい)**と呼ぶ。行列表現の最大の利点は、この合成が**行列の積(かけ算)**という一つの計算に統一される点にある。
変換Aを行列M_A、変換Bを行列M_Bで表すとき、「まずAを施し、次にBを施す」という合成変換は、行列の積 **M_B × M_A**(Bの行列を左から掛ける順序に注意。先に施す変換ほど右側に書く)として計算できる。
2行2列の行列同士の積の規則は、
```
[a b] [e f] [a·e+b·g a·f+b·h]
[c d] [g h] = [c·e+d·g c·f+d·h]
```
と定める。
**検算例(自己検算): 「45°回転してから2倍拡大」という合成を計算する。**
回転行列(θ=45°、cos45°=sin45°=√2/2≈0.7071):
```
M_回転 = [0.7071 −0.7071]
[0.7071 0.7071]
```
拡縮行列(sx=sy=2):
```
M_拡縮 = [2 0]
[0 2]
```
合成行列 M_拡縮 × M_回転(回転を先に施すので右側に置く)は、
```
[2 0] [0.7071 −0.7071] [2×0.7071+0×0.7071 2×(−0.7071)+0×0.7071] [1.4142 −1.4142]
[0 2] [0.7071 0.7071] = [0×0.7071+2×0.7071 0×(−0.7071)+2×0.7071] = [1.4142 1.4142]
```
この合成行列を、点(1,0)に適用してみる。
```
[1.4142 −1.4142] [1] [1.4142×1 + (−1.4142)×0] [1.4142]
[1.4142 1.4142] [0] = [1.4142×1 + 1.4142×0 ] = [1.4142]
```
**別経路での検算(段階的に計算):** 同じ点(1,0)に、まず回転を単独で適用すると、x'=1×0.7071−0×0.7071=0.7071、y'=1×0.7071+0×0.7071=0.7071 → (0.7071, 0.7071)。次にこの結果に拡縮(2倍)を単独で適用すると、x''=2×0.7071=1.4142、y''=2×0.7071=1.4142 → (1.4142, 1.4142)。
合成行列を一発で使った結果(1.4142, 1.4142)と、段階を分けて計算した結果(1.4142, 1.4142)が完全に一致した。これが「合成=行列の積」という考え方の正しさを裏付ける検算である。
**注意点(交換法則が成り立たない):** 行列の積は一般に**交換法則(順序を入れ替えても結果が同じという性質)が成り立たない**。つまりM_A×M_BとM_B×M_Aは、一般には異なる行列になる。「回転してから拡大」と「拡大してから回転」は、拡縮が縦横均等(sx=sy)である今回の例ではたまたま同じ結果になるが、縦横で拡大率が異なる場合(sx≠sy)や、回転と鏡映を組み合わせる場合には、順序を変えると結果が変わることが一般には起こる。この非対称性は、次章の「分解」を考える際にも常に注意すべき性質である。
---
## 休憩所⑤: まとめ箱 — 第五章のポイント
```
変換の合成(水準九の本題) = 行列の積として計算できる
「先にA、次にB」→ 行列は M_B × M_A(先に施す変換を右側に書く)
検算: 45°回転→2倍拡大の合成を点(1,0)に適用
一発計算(合成行列使用) = (1.4142, 1.4142)
段階計算(回転→拡縮の順に個別適用) = (1.4142, 1.4142) ※完全一致
重要: 行列の積は交換法則が一般には成り立たない(順序で結果が変わりうる)
```
---
## 第六章: 変換の分解 — 「図形の因数分解」の中核(水準十・本題)
本章が本書の主眼である。数の因数分解が「12=2×2×3」のように基本要素の積へ分解する作業であるのと同様に、**平面上のどんな合同変換・相似変換も、平行移動・回転・鏡映・拡縮という基本要素の合成(積)へ分解できる**、という事実を検算する。
まず、合同変換の分解定理(専門的にはこの種の分類が知られている)を確認する。平面上の合同変換は、必ず次のいずれかの形に分類できるとされる。
1. **恒等変換(こうとうへんかん)**: 何もしない変換(すべての点がそのまま)
2. **平行移動**: 全ての点を同じ向き・距離だけずらす
3. **回転**: ある1点(回転中心)を固定して回す
4. **鏡映**: ある1本の直線(鏡映軸)を固定して反転する
5. **映進(えいしん、グライド鏡映)**: 鏡映と、鏡映軸に平行な平行移動を組み合わせた変換
この5分類のうち、映進以外の4つは基本変換そのものか、恒等変換(基本変換を一切使わない場合)である。映進だけが「鏡映×平行移動」という2つの基本変換の合成として表される、という点で「純粋な基本変換1つ」ではなく「基本変換の積」の具体例になっている。
次に、より一般の相似変換の分解を考える。相似変換は、**「原点を中心とする回転(または鏡映)」「原点を中心とする拡縮(等方拡大、sx=sy)」「平行移動」という3つの基本要素の合成として、常に一意に分解できる**(ここでの「一意」は、3つの要素をこの順序で合成する、という決まった手順に従えば、という条件つきの一意性である)。
**検算例(自己検算): ある相似変換を「分解する」計算をしてみる。**
いま、次の相似変換が与えられたとする(座標の変換式として)。
```
x' = 1.4142·x − 1.4142·y + 3
y' = 1.4142·x + 1.4142·y + 5
```
この式を「回転+拡縮」の部分と「平行移動」の部分に分けて読み解く。まず定数項(+3,+5)を除いた部分、
```
x'' = 1.4142·x − 1.4142·y
y'' = 1.4142·x + 1.4142·y
```
を行列で書くと、
```
[1.4142 −1.4142]
[1.4142 1.4142]
```
これは第五章の検算例で実際に計算した「45°回転→2倍拡大」の合成行列と、数値まで完全に一致する。つまりこの行列部分は、「回転行列(45°)×拡縮行列(2倍)」という2つの基本要素へさらに分解できる、ということが第五章の検算からそのまま裏付けられる。
残りの定数項(+3,+5)は、そのまま平行移動(tx=3, ty=5)の基本要素として取り出せる。
**したがって、与えられた相似変換は「45°回転」「2倍拡大」「平行移動(3,5)」という3つの基本変換の合成(この順で施す)へと、完全に分解できたことになる。** これが「図形の因数分解」の具体的な中身であり、数の12を2×2×3へ分解するのと同じ発想を、行列という道具を使って実行した結果である。
**分解の逆方向の検算(合成に戻して元に戻るか確認):** 分解して得た3要素を、再び合成し直してみる。まず回転(45°)を点(x,y)に適用し、次に拡縮(2倍)を適用した結果に、最後に平行移動(+3,+5)を加える、という手順を式にすると、
```
回転後: (0.7071x−0.7071y, 0.7071x+0.7071y)
拡縮後: (1.4142x−1.4142y, 1.4142x+1.4142y)
平行移動後: (1.4142x−1.4142y+3, 1.4142x+1.4142y+5)
```
これは最初に与えられた変換式 x'=1.4142x−1.4142y+3, y'=1.4142x+1.4142y+5 と完全に一致する。「分解してから合成し直すと元に戻る」ことが検算できた。これは因数分解した数を掛け算し直すと元の数に戻る(2×2×3=12)ことと、まったく同じ構造の確認作業である。
---
## 休憩所⑥: まとめ箱 — 第六章のポイント(本書の中核)
```
【図形の因数分解の中核】
合同変換の5分類: 恒等・平行移動・回転・鏡映・映進(=鏡映×平行移動の合成)
相似変換の分解: 「回転(または鏡映)」×「拡縮」×「平行移動」の3要素へ常に分解できる
検算: x'=1.4142x−1.4142y+3, y'=1.4142x+1.4142y+5 という相似変換を分解
→ 「45°回転」×「2倍拡大」×「平行移動(3,5)」の3要素に分解成功
→ 3要素を合成し直すと元の変換式に完全一致(逆方向の検算もPASS)
数の因数分解(12=2×2×3)と同じ構造: 分解→積に戻す→元に一致、という往復検算が可能
```
---
## 第七章: 複素数表現 — もう一つの「因数分解」の言葉
行列とは別の道具として、**複素数(ふくそすう、水準五: 実数部と虚数部の組み合わせで表される数。a+bi(iは2乗すると−1になる特別な数、虚数単位)の形で書かれる。→BOOK-0090数学派生・複素解析第1巻で詳述)**を使うと、平面上の変換の合成と分解を、行列よりもさらに簡潔な「複素数の掛け算」一本で表現できる。
平面上の点(x,y)を、複素数 z=x+yi として読み替える。このとき、原点を中心とする**回転と拡縮を同時に行う変換**は、たった一つの複素数 w=r(cosθ+isinθ)(rは拡大率、θは回転角)を、zに掛け算するだけで表せる。
```
z' = w × z
```
複素数同士の掛け算の規則(a+bi)×(c+di) = (ac−bd) + (ad+bc)i を使うと、これが第四章・第五章で見た「回転行列×拡縮行列」の合成とまったく同じ計算結果になることが検算できる。
**検算例(自己検算): 複素数で「45°回転→2倍拡大」を計算し、行列の結果と照合する。**
回転45°・拡大2倍を表す複素数は、w = 2×(cos45°+isin45°) = 2×(0.7071+0.7071i) = 1.4142+1.4142i。
これを点(1,0)、つまりz=1+0i=1に掛ける。
```
z' = (1.4142+1.4142i) × (1+0i) = 1.4142×1 + 1.4142×0×i + 1.4142i×1 + 1.4142i×0×i
= 1.4142 + 1.4142i
```
これは実部1.4142・虚部1.4142、つまり座標(1.4142, 1.4142)を表す。第五章で行列を使って計算した「45°回転→2倍拡大」を点(1,0)に適用した結果(1.4142, 1.4142)と、完全に一致する。
さらに、複素数の掛け算では**平行移動も含めて統一的に**表せる利点がある。平行移動(tx,ty)は、複素数 t=tx+tyi を**足し算**することで表現できるため、「回転+拡縮+平行移動」という相似変換全体を、
```
z' = w × z + t
```
という、たった一本の式(複素数の掛け算+足し算)で表現できる。これは行列のときに必要だった「同次座標への拡張」という発展的な手続きなしに、平行移動まで含めて一本化できるという、複素数表現ならではの簡潔さである。
**検算例(自己検算): 第六章で分解した相似変換を、複素数の式で書き直して照合する。**
第六章の変換式(x'=1.4142x−1.4142y+3, y'=1.4142x+1.4142y+5)は、w=1.4142+1.4142i、t=3+5iとして、
```
z' = (1.4142+1.4142i) × z + (3+5i)
```
と一本化できる。これに点(1,0)、z=1を代入すると、
```
z' = (1.4142+1.4142i)×1 + (3+5i) = 1.4142+1.4142i + 3+5i = (1.4142+3) + (1.4142+5)i = 4.4142 + 6.1142i
```
一方、第六章の元の変換式に(x,y)=(1,0)を直接代入すると、x'=1.4142×1−1.4142×0+3=4.4142、y'=1.4142×1+1.4142×0+5=6.1142。座標(4.4142, 6.1142)となり、複素数の式で計算した結果(4.4142, 6.1142)と完全に一致する。行列の言葉と複素数の言葉、どちらで因数分解しても同じ答えに到達することが、二重に検算できた。
---
## 休憩所⑦: まとめ箱 — 第七章のポイント
```
複素数表現: 点(x,y)をz=x+yiとして扱う
回転+拡縮 = 複素数の掛け算 z'=w×z(w=r(cosθ+isinθ))
平行移動 = 複素数の足し算 z'=z+t
相似変換全体 = z'=w×z+t という一本の式に統一(行列の同次座標拡張が不要)
検算: 複素数計算 z'=(1.4142+1.4142i)×1+(3+5i)=4.4142+6.1142i
↔ 座標での直接計算 (4.4142, 6.1142) ※完全一致(行列経路の検算とも整合)
```
---
## 第八章: 変換群という考え方 — 「合成しても仲間内に収まる」構造(水準十・補論)
第六章・第七章で見た「分解」をさらに一段抽象化すると、**変換群(へんかんぐん、水準六: ある種類の変換全体の集まりが、①合成しても同じ種類の変換になる、②必ず逆向きの変換(逆変換)が存在する、という2つの性質を満たすとき、その集まりを「群」と呼ぶ。→DIC-0001数学算術用語辞典で群の基礎に触れる)**という構造が見えてくる。
たとえば「合同変換全体の集まり」は変換群をなす。合同変換Aと合同変換Bを合成しても、結果は必ず合同変換になる(形と大きさを変えない、という性質が保たれる)。また、どんな合同変換にも「元に戻す」逆変換(たとえば回転θの逆変換は回転−θ)が必ず存在する。相似変換全体の集まりも、同様に変換群をなす。
**検算例(自己検算): 逆変換を実際に計算し、合成すると恒等変換に戻ることを確認する。**
第五章で使った回転45°(行列M_回転)に対して、逆変換は回転−45°のはずである。回転−45°の行列は、cos(−45°)=cos45°=0.7071、sin(−45°)=−sin45°=−0.7071なので、
```
M_逆回転 = [0.7071 0.7071]
[−0.7071 0.7071]
```
これをM_回転(45°)と合成する(M_逆回転×M_回転を計算する)。
```
[0.7071 0.7071] [0.7071 −0.7071] [0.7071×0.7071+0.7071×0.7071 0.7071×(−0.7071)+0.7071×0.7071]
[−0.7071 0.7071] [0.7071 0.7071] = [−0.7071×0.7071+0.7071×0.7071 −0.7071×(−0.7071)+0.7071×0.7071]
```
各成分を計算すると、1行1列目=0.5+0.5=1.0、1行2列目=−0.5+0.5=0.0、2行2列目1行目=−0.5+0.5=0.0、2行2列目2行目=0.5+0.5=1.0。
```
= [1 0]
[0 1]
```
これは**単位行列(何もしない恒等変換を表す行列)**そのものである。「回転45°」と「その逆変換である回転−45°」を合成すると、恒等変換(何も動かさない変換)にちょうど戻る、という群の性質(逆変換の存在)が具体的な数値で検算できた。
この「合成しても仲間内に収まる」「必ず逆がある」という構造こそが、変換の分解(因数分解)が意味を持つための土台になっている。数の世界で「12÷2÷2÷3=1」と割り算で元に戻せるのと同じように、図形の変換の世界でも「合成したものを、逆変換の合成によって割り戻す」ことが常に可能である、という保証を、変換群の考え方が与えている。
---
## 休憩所⑧: まとめ箱 — 第八章のポイント
```
変換群 = ①合成しても同じ種類に収まる ②必ず逆変換が存在する、の2条件を満たす集まり
合同変換全体・相似変換全体は、いずれも変換群をなす
検算: 回転45°の行列 × 回転−45°の行列(逆変換) = 単位行列(恒等変換)
→ 「合成→逆変換で割り戻す」が数値的に確認できた(因数分解の可逆性を保証する土台)
```
---
## 第九章: 例題5問×5解法 — 五実践解のフルセット
ここからは、5つの例題それぞれに「作図解・座標解・変換解・暗算裏技解・一般化解」の5通りをフルセットで展開する。各解法は「図(またはASCII図版)+推移+展開+式+公式」の要素を含む。
### 例題1: 正三角形を180°回転させたときの像
**問題**: 頂点A(0,0), B(2,0), C(1,1.7320508)からなる正三角形を、点(1, 0.5773503)(この三角形の重心)を中心に180°回転させた像の頂点座標を求めよ。
**① 作図解**:
```
回転前 回転中心・を挟んで 回転後(点対称)
C A'
/ \ ・ / \
A---B B'---C'
```
180°回転は、回転中心を挟んで各点を点対称(点対称=中心を挟んで反対側の同じ距離の位置に移す操作)の位置に移す作図と同じである。定規で各頂点から中心までの線を延長し、同じ距離だけ延ばした先に像を作図する。
**② 座標解**: 180°回転の式は、回転中心を(cx,cy)とすると、x'=2cx−x、y'=2cy−y(中心を挟んで反対側という関係をそのまま式にしたもの)。cx=1, cy=0.5773503を代入すると、
A(0,0)→A'(2×1−0, 2×0.5773503−0)=(2, 1.1547006)
B(2,0)→B'(2×1−2, 2×0.5773503−0)=(0, 1.1547006)
C(1,1.7320508)→C'(2×1−1, 2×0.5773503−1.7320508)=(1, −0.5773502)
**③ 変換解(行列)**: 180°回転行列は、cos180°=−1、sin180°=0なので[−1 0; 0 −1]。ただし回転中心が原点でないため、「中心を原点へ平行移動→原点中心で180°回転→元の位置へ平行移動を戻す」という3段階の合成が必要になる。この3段階の合成こそ、本書第六章の「分解」の考え方をそのまま逆向きに使う実例である。
**④ 暗算裏技解**: 180°回転は「中心座標×2−元の座標」という一本の暗算式に集約できる(達人術ZUK-002として後述)。中心(1, 0.5773503)を2倍すると(2, 1.1547006)。ここから各頂点の座標を引くだけで暗算できる。A(0,0)→(2−0, 1.1547006−0)=(2, 1.1547006)。座標解と一致。
**⑤ 一般化解**: 任意の点(x,y)を任意の中心(cx,cy)でn×180°(nは整数)回転させる一般式は、nが偶数なら元の位置に戻り(x,y)、nが奇数なら(2cx−x, 2cy−y)になる。180°回転を偶数回繰り返すと恒等変換に戻る、という周期性が一般化から見える。
**検算(数値照合)**: ②座標解と④暗算裏技解の結果((2, 1.1547006))が完全一致。
---
### 例題2: 単位正方形を原点中心に30°回転させたときの像
**問題**: 頂点(1,0), (1,1), (0,1), (0,0)からなる単位正方形を、原点中心に30°回転させたときの頂点(1,0)の像を求めよ(cos30°≈0.8660254, sin30°=0.5)。
**① 作図解**: 分度器で原点から点(1,0)への線を引き、そこから反時計回りに30°の位置に、原点からの距離1を保ったまま新しい点を作図する。
```
(1,1)* *像
| \ ／30°
(0,1)*------*(1,0)原点から見て30°上
| ／
(0,0)*----*(1,0)
```
**② 座標解**: 回転の式x'=x·cosθ−y·sinθ, y'=x·sinθ+y·cosθに(x,y)=(1,0)、θ=30°を代入。x'=1×0.8660254−0×0.5=0.8660254、y'=1×0.5+0×0.8660254=0.5。像は(0.8660254, 0.5)。
**③ 変換解(行列)**: 回転行列[0.8660254 −0.5; 0.5 0.8660254]に列ベクトル[1;0]を掛ける。1行目=0.8660254×1+(−0.5)×0=0.8660254、2行目=0.5×1+0.8660254×0=0.5。結果(0.8660254, 0.5)。座標解と一致。
**④ 暗算裏技解**: 「(1,0)を原点中心に角度θ回転させた像は、常に(cosθ, sinθ)にちょうど一致する」という性質を使う(単位円上の点の定義そのもの)。cos30°≈0.8660254、sin30°=0.5を直接読むだけで暗算できる。達人術ZUK-001として後述。
**⑤ 一般化解**: 原点からの距離rの任意の点(r,0)をθ回転させた像は(r·cosθ, r·sinθ)。距離1(単位円)の場合が④の暗算式に一致する特別な場合である。
**検算(数値照合)**: ②③④すべて(0.8660254, 0.5)で一致。
---
### 例題3: 直線y=xを鏡映軸とした鏡映変換
**問題**: 点(3,1)を、直線y=x(原点を通り傾き1の直線)を鏡映軸として鏡映させた像を求めよ。
**① 作図解**: 直線y=xに対して、点(3,1)から垂線を下ろし、同じ距離だけ反対側に伸ばした先が像になる。
```
y=x線
\
\ ・(3,1)
\
\
\・像(1,3)
```
**② 座標解**: 直線y=xに関する鏡映は、x座標とy座標を入れ替えるだけという性質がある(x'=y, y'=x)。(3,1)→(1,3)。
**③ 変換解(行列)**: 直線y=xを鏡映軸とする鏡映行列は[0 1; 1 0]。列ベクトル[3;1]に掛けると、1行目=0×3+1×1=1、2行目=1×3+0×1=3。結果(1,3)。座標解と一致。
**④ 暗算裏技解**: 「y=x鏡映は座標を入れ替えるだけ」という一発暗算(達人術ZUK-003)。(3,1)を見た瞬間に(1,3)と読み替えられる。
**⑤ 一般化解**: 一般の直線(原点を通り、x軸との角度がφ)を鏡映軸とする鏡映行列は[cos2φ sin2φ; sin2φ −cos2φ]。φ=45°(y=x)の場合、cos90°=0、sin90°=1を代入すると[0 1; 1 0]となり、②③の特別な場合であることが確認できる。
**検算(数値照合)**: ②③④すべて(1,3)で一致。⑤の一般式にφ=45°を代入すると③の行列に完全一致。
---
### 例題4: 長方形を縦横で異なる倍率で拡縮する
**問題**: 頂点(0,0),(4,0),(4,2),(0,2)の長方形を、x方向に0.5倍・y方向に3倍する拡縮変換を施したときの頂点(4,2)の像と、変換前後の面積比を求めよ。
**① 作図解**: 横幅4を半分の2へ縮め、縦幅2を3倍の6へ伸ばした長方形を描き直す。
```
変換前(4×2) 変換後(2×6、縦長に)
0,2----4,2 0,6---2,6
| | → | |
| | | |
0,0----4,0 | |
0,0---2,0
```
**② 座標解**: 拡縮の式x'=sx·x, y'=sy·yにsx=0.5, sy=3、(x,y)=(4,2)を代入。x'=0.5×4=2、y'=3×2=6。像は(2,6)。
**③ 変換解(行列)**: 拡縮行列[0.5 0; 0 3]に[4;2]を掛ける。1行目=0.5×4+0×2=2、2行目=0×4+3×2=6。結果(2,6)。座標解と一致。
**④ 暗算裏技解**: 縦横別倍率の拡縮は、x座標とy座標それぞれに倍率を掛けるだけの独立計算(達人術ZUK-004)。4×0.5=2、2×3=6を別々に暗算するだけでよい。
**⑤ 一般化解**: 面積比は、変換前後で「sx×sy」倍になる(拡縮行列の行列式=対角成分の積sx×syに一致するため)。面積比=0.5×3=1.5倍。検算として、変換前の長方形の面積=4×2=8、変換後は2×6=12。12÷8=1.5倍で、一般式(sx×sy=1.5)と一致する。
**検算(数値照合)**: ②③④すべて(2,6)で一致。面積比は直接計算(12÷8=1.5)と一般式(0.5×3=1.5)が一致。
---
### 例題5: 「回転+拡縮+平行移動」の合成変換を1点に施す(因数分解の総仕上げ)
**問題**: 点(2,1)に対して、「原点中心に60°回転」→「1.5倍拡大」→「平行移動(tx=−1, ty=2)」という順で合成変換を施した像を求めよ(cos60°=0.5, sin60°≈0.8660254)。
**① 作図解**:
```
(2,1)を60°回転 → 1.5倍に拡大 → (−1,2)だけ平行移動
・原点 ・原点 ↗ ずらす
＼60° ＼(拡大後は
(2,1) 長さ1.5倍)
```
分度器で60°、定規で距離を1.5倍、最後に方眼を数えて平行移動、という3段階を順番に作図する。
**② 座標解(段階的に計算)**: まず回転。x'=2×0.5−1×0.8660254=1−0.8660254=0.1339746、y'=2×0.8660254+1×0.5=1.7320508+0.5=2.2320508。次に1.5倍拡大。x''=0.1339746×1.5=0.2009619、y''=2.2320508×1.5=3.3480762。最後に平行移動。x'''=0.2009619−1=−0.7990381、y'''=3.3480762+2=5.3480762。像は(−0.7990381, 5.3480762)。
**③ 変換解(行列+複素数の両方で検算)**:
行列経路: 回転行列[0.5 −0.8660254; 0.8660254 0.5]と拡縮行列[1.5 0; 0 1.5]の合成は、拡縮×回転=[0.75 −1.2990381; 1.2990381 0.75]。これに[2;1]を掛けると、1行目=0.75×2+(−1.2990381)×1=1.5−1.2990381=0.2009619、2行目=1.2990381×2+0.75×1=2.5980762+0.75=3.3480762。ここに平行移動(−1,2)を加えると(0.2009619−1, 3.3480762+2)=(−0.7990381, 5.3480762)。②と一致。
複素数経路: w=1.5×(cos60°+isin60°)=1.5×(0.5+0.8660254i)=0.75+1.2990381i。z=2+1i。t=−1+2i。z'=w×z+t=(0.75+1.2990381i)×(2+1i)+(−1+2i)。まず掛け算部分: (0.75×2−1.2990381×1)+(0.75×1+1.2990381×2)i=(1.5−1.2990381)+(0.75+2.5980762)i=0.2009619+3.3480762i。これに(−1+2i)を足すと、(0.2009619−1)+(3.3480762+2)i=−0.7990381+5.3480762i。座標に直すと(−0.7990381, 5.3480762)。②③の行列経路と完全一致。
**④ 暗算裏技解**: 「回転+拡縮」は複素数w=1.5(cos60°+isin60°)=0.75+1.2990381iを一発で掛けるだけ(達人術ZUK-005)。暗算では60°=0.5+0.866iという値をあらかじめ覚えておき(30-60-90の直角三角形の比から即座に出せる)、1.5倍して0.75+1.299iとし、これを元の複素数に掛けて最後に平行移動分を足すだけで済む。
**⑤ 一般化解**: この例題こそ本書第六・七章の「因数分解」の一般形そのものである。任意の相似変換は z'=w×z+t (w=r(cosθ+isinθ))という一本の式に一般化でき、今回はr=1.5, θ=60°, t=−1+2iという具体的な数値を代入した特別な場合にあたる。
**検算(数値照合)**: ②座標解の段階的計算、③行列経路、③複素数経路の3通りすべてが(−0.7990381, 5.3480762)で完全に一致した。因数分解(w とtへの分解)と、合成に戻す計算(w×z+t)の両方向を、3つの独立した経路で検算できたことになる。
---
## 休憩所⑨: まとめ箱 — 第九章のポイント
```
例題5問×5解法(作図解・座標解・変換解・暗算裏技解・一般化解)を完全実施:
①正三角形の180°回転(点対称の暗算式)
②正方形の30°回転(単位円上の点(cosθ,sinθ)を読むだけの暗算)
③y=x鏡映(座標入れ替えという一発暗算)
④長方形の縦横別倍率拡縮(面積比=sx×syという検算)
⑤回転+拡縮+平行移動の合成(行列経路と複素数経路の二重検算で完全一致)
例題5(因数分解の総仕上げ)は行列・複素数・段階計算の3経路が数値まで完全一致
```
---
## 第十章: 達人術カタログ 技-ZUK-### — 暗算図形術・裏技集
本章では、これまでの章で使った暗算裏技を、適用条件・所要目安つきで正式にカタログ化する。
**技-ZUK-001「単位円即答法」**
- 内容: 原点中心・半径1の点を角度θ回転させた像は、常に(cosθ, sinθ)にそのまま一致する。30°・45°・60°・90°など主要な角度の(cosθ,sinθ)をあらかじめ暗記しておけば、回転計算を暗算一発で終えられる。
- 適用条件: 回転中心が原点、かつ回転させる点の原点からの距離がちょうど1(単位円上)の場合。距離がr倍なら結果も(r·cosθ, r·sinθ)とr倍するだけで対応可。
- 所要目安: 主要角度なら3〜5秒程度。
**技-ZUK-002「180°回転=中心×2引き算法」**
- 内容: 任意の中心(cx,cy)でのn×180°回転(nは奇数)は、像=(2cx−x, 2cy−y)という引き算一本に集約できる。
- 適用条件: 回転角がちょうど180°(またはその奇数倍)の場合に限る。90°など他の角度では使えない。
- 所要目安: 中心座標が整数・簡単な小数であれば5〜10秒程度。
**技-ZUK-003「対称直線=座標入れ替え法」**
- 内容: 直線y=xを鏡映軸とする鏡映は、x座標とy座標を入れ替えるだけ(x'=y, y'=x)。同様にy=−xを軸とする鏡映は、入れ替えた上で符号を反転(x'=−y, y'=−x)。
- 適用条件: 鏡映軸が原点を通り、傾きがちょうど±1(45°または135°)の直線である場合のみ。他の角度の鏡映軸には第九章例題3の一般式(cos2φ, sin2φを使う式)が必要。
- 所要目安: 2〜3秒程度(暗算の中でも最速級)。
**技-ZUK-004「縦横独立拡縮法」**
- 内容: 拡縮変換はx成分とy成分を完全に独立して計算できる(x'=sx·x, y'=sy·yで、xの計算にyの値は一切関与しない)。面積比を知りたい場合は、sx×syを計算するだけでよい(図形の詳しい形状を考える必要がない)。
- 適用条件: 変換が純粋な拡縮(回転・鏡映・剪断を含まない)である場合。面積比の裏技は、拡縮以外に回転・鏡映(面積を変えない)が混ざっていても、拡縮成分のsx×syだけ取り出せば有効(回転・鏡映は面積を1倍のまま保つため)。
- 所要目安: 面積比の暗算は3〜5秒程度。
**技-ZUK-005「回転×拡縮=複素数一発掛け算法」**
- 内容: 「回転θ・拡大率r」という合成を、複素数w=r(cosθ+isinθ)を作ってzに掛けるだけの一発計算にする。行列の2×2×2×2=4回の掛け算+2回の足し算に比べ、複素数の掛け算(4回の実数の掛け算+2回の足し算、ただし整理の仕方次第でさらに短縮可)は暗算の手順が視覚的に追いやすい。
- 適用条件: 回転と拡縮の合成(平行移動を含まない場合はw×zのみ、含む場合はw×z+tまで)。剪断(アフィン変換の非対角成分)を含む変換には使えない(複素数の掛け算は回転+等方拡縮しか表せないため)。
- 所要目安: 主要角度(30°・45°・60°・90°)なら10〜15秒程度、任意角度は関数電卓なしでは暗算困難で紙上の計算が必要。
**技-ZUK-006「包含関係チェック法」**
- 内容: ある変換が「合同・相似・アフィン・射影」のどの階層かを一瞬で見分けるチェック。辺の長さが変わらなければ合同、角度が変わらず長さの比が一定なら相似、平行線が保たれるならアフィン、保たれなければ射影、という第二章の階層をそのまま診断チェックリストとして使う。
- 適用条件: 変換前後の図形の対応する2〜3組の辺・角度を比較できる場合。
- 所要目安: 図を見て5〜10秒程度で階層を判定可能。
---
## 休憩所⑩: まとめ箱 — 第十章のポイント
```
達人術カタログ(暗算図形術・裏技、全6本):
ZUK-001 単位円即答法(回転先=(cosθ,sinθ)、3〜5秒)
ZUK-002 180°回転=中心×2引き算法(5〜10秒)
ZUK-003 対称直線=座標入れ替え法(y=x鏡映が最速、2〜3秒)
ZUK-004 縦横独立拡縮法(面積比=sx×sy、3〜5秒)
ZUK-005 回転×拡縮=複素数一発掛け算法(主要角度10〜15秒)
ZUK-006 包含関係チェック法(合同/相似/アフィン/射影の階層診断、5〜10秒)
いずれも適用条件を外れると誤答するため、条件確認が暗算裏技の前提
```
---
## 終章 — 「CADなんてお遊戯会だぜ」と言えるようになるまで
本書は水準九(変換の合成)・水準十(変換の分解と変換群)を担当帯として、「図形の因数分解」という発想を、比喩のままで終わらせず、行列と複素数という2つの独立した言葉で、検算しながら実体化させてきた。
第六章で見た「相似変換=回転×拡縮×平行移動への分解」は、数の因数分解(12=2×2×3)とまったく同じ構造の作業であり、第九章例題5では、この分解と再合成を3つの独立した経路(段階計算・行列・複素数)で検算し、すべてが一致することを確かめた。CADソフトウェアが「回転」「拡大」のボタン一つで図形を操作できるのは、この基本変換の合成・分解という、決まった規則に従った計算を、画面の裏側で機械的に実行しているからに過ぎない。
もちろん、本書で扱いきれなかった領域もある。水準十一のアフィン変換・射影変換のより詳しい数理(同次座標を使った統一的な行列表現、消失点の具体的な計算)や、水準十二の変換群の応用と不変量の理論は、次巻に譲る必要がある領域として正直に残しておきたい。
図形を「動かす」という行為の裏側にあるのは、決して魔法ではなく、平行移動・回転・鏡映・拡縮という数個の基本要素の、掛け算と足し算の組み合わせでしかない。これを知ったうえでなお、CADや3DCGソフトウェアの便利さに感謝することはできる。しかしボタンの向こう側の計算がブラックボックスではなくなったとき、図形は「わからないから触れないもの」から「因数分解して読み解けるもの」へと変わる。それこそが本書の目指した到達点である。
---
## 休憩所⑪: まとめ箱 — 終章のポイント
```
本書全体の骨子:
変換の階層(合同⊂相似⊂アフィン⊂射影) → 基本変換4種(平行移動・回転・鏡映・拡縮)
→ 行列表現(合成=行列の積) → 変換の分解(因数分解の中核、回転×拡縮×平行移動)
→ 複素数表現(z'=w×z+tへの一本化) → 変換群(逆変換の存在・可逆性の保証)
→ 例題5問×5解法(3経路検算) → 達人術6本
次巻に残した領域: アフィン・射影変換の同次座標表現、変換群の応用と不変量(水準十一・十二)
```
---
> 関連書: →BOOK-0025(幾何学第1冊) / →BOOK-0068(数学派生・解析幾何第1巻) / →BOOK-0071(数学派生・線形代数第1巻) / →BOOK-0090(数学派生・複素解析第1巻) / →BOOK-0057(CADの歴史と技術第1冊) / →DIC-0001(数学算術用語辞典)
# BOOK-0176 図形学III 変換と推移 — 図形の因数分解