※小説ではない※専門書 要約資料集 為替(換算)3.9万円でもらう 紐解集生成 専門 初入門 資料 作：｛作者名｝
> この冊の前提=BOOK-0068_数学派生_解析幾何_第1巻(→BOOK-0068)。第1巻は座標平面の入口から、直線・距離公式・中点・円・放物線・ベクトルの入口まで(水準一〜四)を扱った。本冊はその続巻であり、水準五〜六として、複数の曲線が交わる条件、ベクトルの内積と応用、座標を回転・拡大縮小する変換(行列)、三次元座標への拡張までを扱う。
> 学問の宇宙・形式科学の恒星群 数学冠・派生第2巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)。
> トーン規約: →BOOK-0068準拠。専門用語は初出で必ず説明し、水準を添える。
> 水準: 五〜六(円錐曲線の統一・ケプラー・極座標・ベクトルの内積外積・行列変換・曲率・三次元・射影の入口)。
---
# BOOK-0131 解析幾何 第2巻 — 円錐曲線の一族から三次元へ(数学派生 第2巻)
> この冊の前提=BOOK-0068_数学派生_解析幾何_第1巻(→BOOK-0068)。第1巻は座標平面の入口から、直線・距離公式・中点・円・放物線・ベクトルの入口まで(水準一〜四)を扱った。本冊はその続巻であり、水準五〜六として、複数の曲線が交わる条件、ベクトルの内積と応用、座標を回転・拡大縮小する変換(行列)、三次元座標への拡張までを扱う。
> 学問の宇宙・形式科学の恒星群 数学冠・派生第2巻。ガイド役: Fable 5 監修 / Sonnet 5 執筆(脚本班)。
> トーン規約: →BOOK-0068準拠。専門用語は初出で必ず説明し、水準を添える。
> 水準: 五〜六(円錐曲線の統一・ケプラー・極座標・ベクトルの内積外積・行列変換・曲率・三次元・射影の入口)。
---
## 入口の物語 — 一つの光を、三つの角度から見る
暗い部屋で、円錐形の傘をかぶった懐中電灯を壁に向ける。光を壁と垂直に当てれば、壁には**まん丸の光の輪**が映る。懐中電灯を少し傾けると、輪は伸びて**楕円**になる。もっと傾けると、光の輪の片側が閉じきらず**放物線**のように開いていく。さらに傾けて、光を真上と真下の両方の円錐に向けると、壁には二つに分かれた**双曲線**の弧が現れる。
円・楕円・放物線・双曲線。学校ではこの四つをまったく別の図形として、別々の公式で習うことが多い。ところが懐中電灯の実験が示す通り、この四つは実は**一つの円錐を、一つの平面でどう切るか**という、たった一つの操作の中に住む一族なのである。切る角度を少しずつ変えていくと、円は楕円に間延びし、楕円はある角度でちょうど円錐の傾斜と平行になって放物線へと姿を変え、さらに傾けると双曲線として二つに割れる。この一族には、古代ギリシャの時代から**円錐曲線**(えんすいきょくせん、水準五: 円錐を平面で切ったときの断面に現れる、円・楕円・放物線・双曲線の総称)という名前が与えられている。
→BOOK-0068『解析幾何』第1巻では、円と放物線を別々の章でそれぞれ扱った。座標という共通の舞台に乗せることで、円は `x² + y² = r²` という式に、放物線は `y = ax² + bx + c` という式に翻訳された。しかし、この二つの式がどちらも「二次式(xとyの2乗までを含む式)」という共通の形をしていることに、気づいた読者もいたかもしれない。本冊はその気づきから出発する。円・楕円・放物線・双曲線は、実はすべて**xとyの二次式**という同じ文法で書かれた、一つの家族の異なる方言なのだ。
この統一的な視点を手に入れることで、私たちは十七世紀の天文学者ヨハネス・ケプラーが惑星の軌道の中に見出した楕円の秘密、極座標といううず巻きや振り子の曲線を素直に描き出す座標系、ベクトルの内積・外積という力と面積を測る道具、行列によって座標そのものを回転させる変換、そして三次元空間へと解析幾何を拡張する技術まで、一気に旅することができる。第1巻が「図形を数に翻訳する橋」を架けたとすれば、本冊はその橋を渡りきった先に広がる、より広大な大陸の地図を描く冊である。
```
円 楕円 放物線 双曲線
○ ⬭ ⌣ )(
\ | | |
\_________|____________|____________/
円錐を切る角度を変えていく
(垂直) (浅い傾き) (母線と平行) (急な傾き・両側)
```
---
## 第一章 円錐曲線の統一 — 離心率と焦点が結ぶ一族(水準五)
### 焦点という「特別な点」
円錐曲線の一族を統一的に扱う鍵となる概念が**焦点**(しょうてん、水準五: 円錐曲線の形を決定づける特別な点。楕円・双曲線には二つ、放物線には一つ存在する)である。
→BOOK-0068第三章で扱った円は「ある一点(中心)からの距離が一定である点の集まり」だった。楕円はこれを一歩拡張し、**「二つの点(焦点)からの距離の和が一定である点の集まり**」として定義される。楕円の焦点をF₁, F₂とすると、楕円上のどの点Pをとっても、
> **PF₁ + PF₂ = 一定(2aと書く)**
が成り立つ。これは糸の両端を二本の画鋲(焦点)に留め、鉛筆で糸をピンと張りながら一周させると楕円が描ける、という古くから知られる作図法の数学的な中身そのものである。糸の長さが2aであり、鉛筆(点P)がどこにあっても、二つの画鋲までの距離の合計は糸の長さで固定されているからだ。
放物線は→BOOK-0068第四章で `y = ax² + bx + c` という式として登場したが、焦点の言葉で言い換えると「**一つの焦点からの距離と、一本の直線(準線)からの距離が等しい点の集まり**」と定義し直せる。双曲線は「**二つの焦点からの距離の差が一定である点の集まり**」であり、楕円の「和が一定」を「差が一定」に置き換えたものだと考えると理解しやすい。
用語→円錐曲線: 円錐を平面で切った断面に現れる円・楕円・放物線・双曲線の総称→水準五
用語→焦点: 円錐曲線の形を決定づける特別な点(楕円・双曲線は二つ、放物線は一つ)→水準五
### 離心率 — 「どれだけ丸くないか」を測る一つの数
円錐曲線の一族を一本の物差しで測る数が**離心率**(りしんりつ、水準五: 円錐曲線がどれだけ円から離れているか、また円錐曲線の種類そのものを表す一つの数。記号e)である。離心率eの値によって、円錐曲線の種類は次のようにきれいに分かれる。
> e = 0 のとき 円
> 0 < e < 1 のとき 楕円
> e = 1 のとき 放物線
> e > 1 のとき 双曲線
楕円における離心率は、楕円の長半径(中心から最も遠い点までの距離、a)と焦点までの距離(中心から焦点までの距離、cとする)を使って `e = c / a` と定義される。cが0に近い(焦点が中心に近い)ほどeは0に近づき、楕円は円に近い丸いかたちになる。逆にcがaに近づく(焦点が外周に近づく)ほどeは1に近づき、楕円は細長く押しつぶされたかたちになる。
離心率という**たった一つの数**が、円から楕円、放物線、双曲線までの一族全体の「丸さ」を連続的に言い当ててしまう。これは→BOOK-0068で見た「二つの数(傾きと切片)が直線のすべてを決める」のと同じ種類の、図形を数へ圧縮する解析幾何の力の延長線上にある。
### 検算① — 楕円の焦点距離 c² = a² − b² の確認
楕円の標準形は `x²/a² + y²/b² = 1`(aは長半径、bは短半径、a > b > 0とする)という式で表される。この楕円の焦点までの距離cは、
> **c² = a² − b²**
という関係式で求まる。この式が正しいことを、具体的な数値で検算しよう。長半径a = 5, 短半径b = 3の楕円を考える。
`c² = a² − b² = 5² − 3² = 25 − 9 = 16`
`c = √16 = 4`
したがって焦点は中心から4だけ離れた位置にある。このとき離心率は、
`e = c / a = 4 / 5 = 0.8`
0 < 0.8 < 1 なので、確かにこの図形は楕円の範囲に収まっている。さらに検算を続けると、楕円上の最も焦点から遠い頂点(長軸の端、中心から距離a=5の点)からの二焦点までの距離の和を確かめられる。この頂点から近い焦点までの距離は `a − c = 5 − 4 = 1`、遠い焦点までの距離は `a + c = 5 + 4 = 9`。和は `1 + 9 = 10 = 2a` であり、確かに「二焦点からの距離の和が2a(一定)」という楕円の定義と整合する。
用語→離心率: 円錐曲線がどれだけ円から離れているかを表す一つの数(e)。e=0で円、0<e<1で楕円、e=1で放物線、e>1で双曲線→水準五
休憩所①: 円・楕円・放物線・双曲線は、円錐を平面で切る角度を変えることで現れる一つの家族(円錐曲線)。離心率eという一つの数がその種類と丸さを言い当てる。a=5, b=3の楕円でc²=a²−b²=16よりc=4、e=0.8(検算済み)。二焦点からの距離の和が2a=10になることも確認した。
---
## 第二章 ケプラーと惑星軌道の物語 — 楕円が天を統べる(水準五)
### 円という「完璧な形」への信仰を破った観測
古代ギリシャの時代から、天体の軌道は**円**でなければならないと長く信じられてきた。円は始まりも終わりもなく、どこをとっても同じ曲がり方をする、天上界にふさわしい「完全な図形」だと考えられていたからだ。この信念は、地球を中心に太陽や惑星が回るとした天動説にも、後にコペルニクスが唱えた地動説の初期の形にも、共通して流れていた。
この信仰に終止符を打ったのが、ドイツの天文学者**ヨハネス・ケプラー**(1571年 - 1630年)である。ケプラーは、師にあたる天文学者ティコ・ブラーエが生涯をかけて集めた膨大かつ精密な火星の観測データを受け継ぎ、火星の軌道を円だと仮定してどうしても計算が観測に合わないことに何年も苦しんだ。あらゆる円の組み合わせを試しても、観測データとのわずかなずれがどうしても消えなかった。最終的にケプラーは、円という前提そのものを捨て、**軌道は楕円である**という、当時としては大胆な結論にたどり着く。
ケプラーが1609年に発表した二つの法則、および1619年に発表した第三法則は、まとめて**ケプラーの法則**(水準五: 惑星の軌道運動に関する三つの経験法則。楕円軌道・面積速度一定・調和法則からなる)と呼ばれる。
> **第一法則(楕円軌道の法則)**: 惑星は、太陽を一つの焦点とする楕円軌道を描く。
第一章で学んだ「焦点」という言葉が、ここで惑星の軌道という壮大な舞台にそのまま登場する。太陽は楕円軌道のちょうど中心にあるのではなく、**二つの焦点のうちの一つ**に位置している。これが円錐曲線の統一という視点の威力である。「軌道は楕円である」という発見は、単に「軌道の形」を言い当てただけでなく、円錐曲線という一族全体の中に太陽系を位置づけたことを意味する。
> **第二法則(面積速度一定の法則)**: 惑星と太陽を結ぶ線分が単位時間に描く面積(面積速度)は、軌道上のどこでも一定である。
惑星が太陽に近い位置(近日点)を通るときは速く動き、遠い位置(遠日点)を通るときはゆっくり動く。しかし「太陽と惑星を結ぶ線分が掃く面積」は、近くで速く動くときも遠くでゆっくり動くときも変わらない。この法則は後の物理学において、**角運動量保存**(かくうんどうりょうほぞん、水準五: 回転する物体が外から回転方向の力を受けない限り、回転の勢いの total が保たれるという法則)という、より一般的な保存則の一例であることが分かっている。同じ現象は→BOOK-0117『力学』第2巻で扱われた、フィギュアスケーターが腕を縮めると回転が速くなる現象とも、根が同じ保存則でつながっている。惑星が太陽に近づくと速く動くのは、腕を縮めたスケーターが速く回転するのと、数学的には同じ理由による。
用語→ケプラーの法則: 惑星の軌道運動に関する三つの経験法則(楕円軌道・面積速度一定・調和法則)→水準五
### 検算② — 楕円軌道の近日点・遠日点速度比(面積速度一定からの概算)
面積速度一定の法則を、簡略化した数値でイメージしてみよう。ある惑星の近日点(太陽に最も近い点)での太陽からの距離をr₁ = 1(単位は仮のものとする)、遠日点(太陽から最も遠い点)での距離をr₂ = 9とする。面積速度一定は、瞬間ごとに「太陽からの距離 × 軌道に垂直な速度成分」の値がほぼ一定であることを意味する(これは正確には角運動量保存 `r × v_⊥ = 一定` の言い換えである)。
近日点での速度をv₁、遠日点での速度をv₂とすると、`r₁ × v₁ = r₂ × v₂` の関係から、
`v₁ / v₂ = r₂ / r₁ = 9 / 1 = 9`
つまり近日点での速度は遠日点での速度のちょうど9倍になる、という比が求まる。距離が9倍離れると速度が9分の1になる、というこの反比例の関係が、「太陽に近いと速く、遠いと遅く」という定性的な説明を、具体的な数値の比として裏づけている。
### 第三法則と、宇宙の広がりを測る物差しへ
> **第三法則(調和法則)**: 惑星の公転周期の2乗は、軌道の長半径の3乗に比例する。
この法則は `T² ∝ a³`(Tは公転周期、aは軌道の長半径)という、非常に簡潔な比例式で書き表される。ケプラーの三法則は、後にニュートンが万有引力の法則を導く際の重要な手がかりとなり、円錐曲線という純粋に幾何学的な図形の一族が、宇宙の運行そのものを記述する言語であることを証明した。惑星探査機の軌道計算や、太陽系外の惑星(系外惑星)の軌道推定に至るまで、ケプラーの法則は現役の道具であり続けている。なお、探査機や人工衛星の運動エネルギーと位置エネルギーの収支については→BOOK-0079『力学』第1巻の仕事とエネルギーの章とも接続する話題である。
休憩所②: ケプラーは円という信仰を捨て、惑星軌道は太陽を焦点とする楕円であることを発見した(第一法則)。面積速度一定(第二法則)は角運動量保存の一例であり、→BOOK-0117のスピン現象と同じ保存則。近日点・遠日点の距離比9:1から速度比9:1(逆比)を検算した。第三法則T²∝a³は軌道と周期を結ぶ。
---
## 第三章 極座標とパラメータ曲線 — もう一つの住所の付け方(水準五)
### 「方向と距離」で位置を言う、もう一つの流儀
→BOOK-0068第一章で、座標平面上の点は「x軸方向にいくつ、y軸方向にいくつ」という**直交座標**(ちょっこうざひょう、水準一: x軸とy軸という互いに直角な二本の物差しで位置を表す座標系。第1巻で扱った座標平面そのもの)で表すことを学んだ。しかし、位置を言い表す方法はこれだけではない。
「原点からの**距離**」と「基準線からの**角度**」の組で位置を表す方法を、**極座標**(きょくざひょう、水準五: 原点からの距離rと、基準線からの角度θの組(r, θ)で位置を表す座標系)と呼ぶ。船や航空機が「北から30度の方向に10km」と位置を報告するときの発想は、まさに極座標そのものである。
直交座標(x, y)と極座標(r, θ)は、次の関係式で相互に変換できる。
> **x = r cos θ, y = r sin θ**
> **r = √(x² + y²), tan θ = y / x**
### 検算③ — 直交座標(3, 4)を極座標に変換する
先ほど→BOOK-0068第三章の検算で登場した点(3, 4)を、極座標に変換してみよう。
`r = √(3² + 4²) = √(9 + 16) = √25 = 5`
これは第1巻ですでに検算済みの「原点から点(3,4)までの距離は5」という結果と完全に一致する。距離公式と極座標の`r`は、実は同じ量を指していたのである。角度θについては `tan θ = 4/3` となり、これは三角比の逆関数(アークタンジェント)によって具体的な角度(約53.13度)が求まるが、ここでは「距離5・ある角度θ」という組が、直交座標の(3,4)とまったく同じ一点を指すことを確認できれば十分である。
用語→極座標: 原点からの距離rと角度θの組(r, θ)で位置を表す座標系→水準五
### らせんとサイクロイド — 極座標・パラメータが得意な曲線
極座標が特に威力を発揮するのは、直交座標のy = (xの式)という形では書きづらい曲線を表すときである。たとえば`r = θ`(角度が増えるにつれて原点からの距離も比例して増える)という単純な式は、渦巻き状に外へ広がっていく**らせん**(水準五)を描く。オウムガイの殻の断面や、台風の雲の渦のような自然界の形の一部は、こうしたらせんの数式と近い性質を持つことが知られている。
もう一つ、**パラメータ曲線**(水準五: x, yを直接結びつけるのではなく、時刻や角度などの共通の変数tを使って x = f(t), y = g(t) と表す曲線の描き方)という考え方も重要である。円周上を転がる硬貨の縁の一点が描く軌跡である**サイクロイド**(水準五: 円が直線上を滑らずに転がるとき、円周上の一点が描く曲線)は、`x = r(t − sin t), y = r(1 − cos t)` という、tを媒介にした式で表される。この曲線は直交座標の`y = (xの式)`という形には素直に書き下せないが、tという「時間」を導入することで、なめらかに描き下せるようになる。
「θやtという、もう一つの変数を仲立ちにする」という発想は、円錐曲線を統一的に扱う視点とも通じている。図形を数に翻訳する方法は一通りではなく、直交座標・極座標・パラメータ表示という複数の翻訳の流儀を持つことで、より広い種類の曲線を扱えるようになるのである。
休憩所③: 極座標(r, θ)は距離と角度で位置を表す第二の座標系。点(3,4)のr=5は距離公式の結果と一致(検算済み)。らせんやサイクロイドのように、直交座標では書きづらい曲線もパラメータtを使えば素直に描ける。
---
## 第四章 ベクトルの内積・外積の幾何(水準五)
### 内積 — 「どれだけ同じ方向を向いているか」を測る掛け算
→BOOK-0068第四章で、ベクトルは「大きさと向きを持つ矢印」として導入された。二つのベクトルの間には、通常の掛け算とは異なる、二種類の重要な積が定義されている。
**内積**(ないせき、水準五: 二つのベクトルの対応する成分どうしを掛けて足し合わせた値。二つのベクトルがどれだけ同じ方向を向いているかを表す)は、ベクトルa = (a₁, a₂)とベクトルb = (b₁, b₂)に対して、
> **a・b = a₁b₁ + a₂b₂**
と定義される。内積には、二つのベクトルのなす角度θを使った、もう一つの表し方がある。
> **a・b = |a||b| cos θ**
(|a|, |b|はそれぞれのベクトルの大きさ)。この二つの式は同じ内積を別の角度から表したものであり、cos θ(コサインシータ、角度θの余弦)が正なら二つのベクトルは似た方向を、0ならちょうど直角(垂直)を、負なら反対に近い方向を向いていることが分かる。**内積が0になることは、二つのベクトルが垂直であることの、計算だけによる判定法**になっている。
### 検算④ — 二つのベクトルの内積から角度を求める
ベクトルa = (1, 0)とベクトルb = (0, 1)の内積を計算する。
`a・b = 1×0 + 0×1 = 0`
内積が0になったので、この二つのベクトルは垂直である。実際、a = (1, 0)はx軸方向、b = (0, 1)はy軸方向を指しており、x軸とy軸が直角に交わることは→BOOK-0068第一章の座標平面の定義そのものだから、この結果は座標平面の設計と矛盾なく一致する。
もう一組、ベクトルc = (3, 4)とベクトルd = (3, 4)自身の内積を計算してみよう。
`c・d = 3×3 + 4×4 = 9 + 16 = 25`
同じベクトル同士の内積は、そのベクトルの大きさの2乗に等しくなる性質があり、実際`√25 = 5`は、先ほど極座標の検算で確認したベクトル(3,4)の大きさ(=距離公式の結果)5と一致する。内積・距離公式・極座標のrが、すべて同じ「5」という値で繋がっていることが、本冊を通じてくり返し確認できる整合性である。
用語→内積: 二つのベクトルの成分ごとの積の和。二つのベクトルがどれだけ同じ方向を向いているかを表し、0になれば垂直→水準五
### 外積 — 「面積」と「向き」を同時に測る積
**外積**(がいせき、水準五: 二つのベクトルから、それらが作る平行四辺形の面積と、その平面に垂直な向きを同時に表す積。三次元で定義される)は、内積とは異なる性質を持つ積である。二次元では、二つのベクトルa = (a₁, a₂), b = (b₁, b₂)が作る平行四辺形の面積は、
> **面積 = |a₁b₂ − a₂b₁|**
という式で計算できる(三次元の完全な外積は第七章で扱う)。この式は→BOOK-0120『線形代数』第2巻で扱われた行列式(2行2列の行列`[a b; c d]`に対する`ad - bc`という計算)と、まったく同じ形をしている。実は2×2の行列式は、二つの行ベクトル(または列ベクトル)が作る平行四辺形の符号付き面積そのものであり、外積と行列式は同じ計算の二つの呼び名なのである。
### 検算⑤ — 外積による平行四辺形の面積
ベクトルa = (2, 0)とベクトルb = (0, 3)が作る平行四辺形の面積を求める。
`面積 = |2×3 − 0×0| = |6 − 0| = 6`
このa, bは直角に交わる辺(x軸方向に2、y軸方向に3)なので、この平行四辺形は実際には**縦2×横3の長方形**であり、面積は`2 × 3 = 6`と直接計算しても一致する。外積による面積の公式が、単純な長方形の面積の掛け算と矛盾なく一致することが確認できた。
休憩所④: 内積a・b=a₁b₁+a₂b₂は「同じ方向度」を測り、0なら垂直(検算済み: (1,0)と(0,1)で内積0)。外積(2次元では面積公式)は平行四辺形の面積を表し、→BOOK-0120の行列式と同じ計算(検算: (2,0)と(0,3)で面積6、長方形としての直接計算とも一致)。
---
## 第五章 行列による座標変換と主軸変換(水準六)
### 行列は座標を「動かす」道具
→BOOK-0120『線形代数』第2巻第二章では、行列を「ベクトルを別のベクトルへ移す写像」として捉え直す視点が導入された。解析幾何においても、行列は座標平面上の点を別の点へ移す**変換**(へんかん、水準六: 行列を使って座標平面上の点を別の点へ規則的に移す操作。回転・拡大縮小・反転などがある)の道具として使われる。
角度θだけ原点を中心に点を回転させる**回転行列**(かいてんぎょうれつ、水準六)は、次の形で表される。
> **[cos θ, −sin θ; sin θ, cos θ]**
点(x, y)にこの行列を掛けると、原点を中心にθだけ回転した新しい点(x', y')が得られる。
### 検算⑥ — 45度回転で楕円を主軸化する(概念確認)
円錐曲線の式の中には、`xy`という項(xとyの積の項)を含み、軸が斜めに傾いた楕円や双曲線がある。こうした図形を回転行列によって回転させ、`xy`の項を消して`x²`と`y²`の項だけの見やすい形に整理する操作を**主軸変換**(しゅじくへんかん、水準六: 座標軸を回転させることで、図形の対称軸(主軸)をx軸・y軸に一致させ、方程式を最も簡単な形に整理する操作)と呼ぶ。
45度(θ = 45°)の回転行列の成分を検算しておく。45度の余弦・正弦はどちらも`cos 45° = sin 45° = √2/2 ≈ 0.7071`である。したがって45度の回転行列は、
> **[√2/2, −√2/2; √2/2, √2/2]**
となる。この行列が回転として正しく働くかを、点(1, 0)(x軸上の単位の長さの点)に適用して検算しよう。
`x' = (√2/2)×1 + (−√2/2)×0 = √2/2 ≈ 0.7071`
`y' = (√2/2)×1 + (√2/2)×0 = √2/2 ≈ 0.7071`
移った先の点(0.7071, 0.7071)の原点からの距離を距離公式で確認すると、
`距離 = √(0.7071² + 0.7071²) = √(0.5 + 0.5) = √1 = 1`
回転前の点(1, 0)の原点からの距離も1だったので、**回転によって原点からの距離(大きさ)が変わっていない**ことが確認できた。回転は図形の形や大きさを変えず、向きだけを変える変換である、という性質がこの検算で裏づけられる。また、点(1,0)は本来x軸の正の方向(角度0度)を向いていたが、45度回転後の点(0.7071, 0.7071)はx軸から45度傾いた方向にある(x座標とy座標が等しいことは、ちょうど45度の方向を向いていることを意味する)ことからも、回転が意図通り45度分だけ働いたことが分かる。
このような回転行列による座標変換の裏側では、→BOOK-0120で扱われた**固有値**(こゆうち、水準四: 行列を掛けても向きが変わらない特別な倍率とその方向)が本質的な役割を果たしている。斜めに傾いた楕円の方程式を行列の形に整理すると、その行列の固有ベクトルの方向が、まさに楕円の主軸(長軸・短軸)の方向と一致することが知られている。円錐曲線という古代からの図形と、線形代数という比較的新しい道具立てが、固有値という概念を介して深く結びついているのである。
用語→主軸変換: 座標軸を回転させ、図形の対称軸(主軸)をx軸・y軸に一致させて方程式を最も簡単な形に整理する操作→水準六
休憩所⑤: 回転行列[cosθ,−sinθ;sinθ,cosθ]は座標を原点中心に回転させる。45度回転を点(1,0)に適用すると(0.7071,0.7071)に移り、原点からの距離は1のまま保たれる(検算済み)。斜めに傾いた楕円の主軸方向は、対応する行列の固有値・固有ベクトル(→BOOK-0120)と結びついている。
---
## 第六章 曲率の入口 — 「どれだけきつく曲がっているか」を測る(水準六)
### 傾きの次に来る問い
→BOOK-0068第二章で、直線の「傾き」は一定の値だが、放物線のような曲線では傾きが場所ごとに変わる、ということを確認した。曲線の傾きが場所ごとにどれだけ**急に**変わっていくか、という「曲がり方の強さ」を数値化した量を**曲率**(きょくりつ、水準六: 曲線がある一点でどれだけ急に曲がっているかを表す量。小さい円ほど曲率は大きい)と呼ぶ。
曲率の直感的なイメージは「その一点にぴったり接する円(接触円)の半径の逆数」である。半径が小さい円ほどきつく曲がっており曲率は大きく(たとえば急カーブの山道)、半径が大きい円ほどゆるやかに曲がっており曲率は小さい(たとえば緩やかな高速道路のカーブ)。直線は「半径が無限大の円」とみなせるため、曲率は0になる。
円それ自体の曲率は、半径rの円に対して`曲率 = 1/r`という単純な関係で表される。半径5の円の曲率は`1/5 = 0.2`、半径1の円(単位円)の曲率は`1/1 = 1`であり、半径が小さいほど曲率(曲がりの強さ)が大きくなるという直感と、数式が一致していることが確認できる。楕円や放物線のような、円ではない曲線の曲率は場所によって値が変わり、その厳密な計算には→BOOK-0063・→BOOK-0114で扱われた微分積分の技法(接線の傾きの変化率)が必要になるため、詳細な計算は上位の水準(微分幾何)に譲る。ここでは「曲がりの強さも、傾きと同じように数値として測れる」という入口だけを押さえておきたい。
休憩所⑥: 曲率は「曲がりの強さ」を数値化した量で、接触円の半径の逆数(曲率=1/r)として捉えられる。半径5の円の曲率は0.2、半径1の円の曲率は1(検算済み)。直線は曲率0、円が小さいほど曲率は大きい。
---
## 第七章 三次元の直線と平面(水準六)
### もう一本の軸 — z軸の追加
→BOOK-0068で扱った座標平面は、x軸とy軸の二本による**二次元**の世界だった。ここにもう一本、x軸ともy軸とも直角に交わる**z軸**を追加すると、点は(x, y, z)という**三つの数の組**で位置が指定される**三次元空間**になる。
距離公式も自然に拡張される。二点(x₁, y₁, z₁)と(x₂, y₂, z₂)の距離は、
> **距離 = √{(x₂−x₁)² + (y₂−y₁)² + (z₂−z₁)²}**
と、z成分の差の2乗を追加するだけでよい。→BOOK-0068第三章の距離公式(ピタゴラスの定理の座標版)に、もう一段ピタゴラスの定理を重ねがけした形になっている。
### 検算⑦ — 三次元の距離公式
点(3, 4, 0)と原点(0, 0, 0)の距離を求める。
`距離 = √{(3−0)² + (4−0)² + (0−0)²} = √(9 + 16 + 0) = √25 = 5`
z座標が両方とも0であるため、この計算は事実上→BOOK-0068の検算(点(3,4)と原点の距離)と同じ式に帰着し、結果も同じ5になる。これは「二次元は三次元のz=0という特別な断面である」ことを裏づける、当然だが重要な整合性の確認である。
次に、z成分が意味を持つ例として、点(3, 4, 12)と原点の距離を検算する。
`距離 = √{3² + 4² + 12²} = √(9 + 16 + 144) = √169 = 13`
3, 4, 12, 13という数の組もまた、ピタゴラスの定理を満たす整数の組(3-4-5の直角三角形をさらに重ねた、3-4-12-13のピタゴラス数の一種)であり、検算がぴたりと整数に収まっている。
### 平面の方程式 — 三次元の「まっすぐ」
二次元の直線 `y = ax + b` に対応する三次元の図形は**平面**である。三次元空間における平面は、
> **ax + by + cz = d**
という一次式で表される(この式のa, b, cは→BOOK-0068の直線の傾きaとは異なる文字の使い回しであり、平面に垂直なベクトル(a, b, c)の成分を表す)。二次元では「一次式=直線」だったものが、三次元では「一次式=平面」になる、という対応関係は、次元が増えても解析幾何の基本文法(一次式はまっすぐな図形を表す)が保たれ続けることを示している。
三次元における直線は、平面二つの交わりとして、あるいはパラメータtを使った`(x, y, z) = (x₀ + at, y₀ + bt, z₀ + ct)`という形で表される。第三章で学んだパラメータ表示の考え方が、三次元でもそのまま活躍する場面である。
休憩所⑦: 三次元座標(x,y,z)は距離公式にz成分を加えるだけで自然に拡張される。点(3,4,0)と原点の距離5は二次元の結果と一致し(検算済み)、点(3,4,12)と原点の距離は13(検算済み、3-4-12-13のピタゴラス数)。平面はax+by+cz=dという一次式で表され、二次元の直線に対応する。
---
## 第八章 射影と遠近法の入口(水準六)
### 三次元を二次元へ「圧縮」する
三次元空間にある物体を、コンピュータの画面や絵画のような二次元の平面に描き出す操作を**射影**(しゃえい、水準六: 三次元(あるいはより高次元)の図形を、より低い次元の平面へ規則にしたがって写し取る操作)と呼ぶ。奥にあるものほど小さく、手前にあるものほど大きく描く技法である**遠近法**(えんきんほう、水準六: 奥行きのある三次元の光景を、遠くのものほど小さく描くことで、平らな面の上に奥行きの感覚を再現する技法)は、この射影の一種である。
→BOOK-0054『遠近法』第1冊では、平らな画面に奥行きを描き出す技法として、消失点や透視図法が扱われている。解析幾何の言葉で言い直すと、遠近法は「三次元の座標(x, y, z)を、視点からの距離に応じてx, yの値を縮小しながら二次元の画面座標へ移す」という、座標変換の一種として理解できる。奥にある(zが大きい)点ほど、画面上のx, y座標が原点(消失点)に近づくように縮小される、という規則が遠近法の数学的な骨格である。
本冊で扱った回転行列(第五章)が図形の向きを変える変換だったのに対し、射影による遠近法は次元そのものを一つ落とす変換であり、より複雑な計算を必要とする。しかし発想の根っこは同じで、**座標の組に規則的な計算を施すことで、図形を別の図形へ移す**という、行列変換・射影に共通する解析幾何の基本文法である。3Dモデリングやゲームの画面表示で立体を平面のディスプレイに描き出す処理は、まさにこの射影の考え方の現代的な実装にほかならない。
休憩所⑧: 射影は高次元の図形を低次元の平面へ写し取る操作で、遠近法(→BOOK-0054)はその代表例。三次元の座標を二次元の画面座標へ、視点からの距離に応じて縮小しながら移す変換として理解できる。
---
## 終章 — フロンティア概観(水準七以降・未確定を含む)
本冊で扱った円錐曲線・ケプラーの楕円軌道・極座標・ベクトルの内積外積・行列変換・曲率の入口・三次元・射影の入口は、解析幾何という橋を渡りきった先に広がる大陸の、最初の区画にすぎない。この先に広がる領域を、確実性の水準を区別しながら概観しておく。
確立している次の段階としては、**微分幾何**(びぶんきかい: 曲線や曲面の曲がり方を微分積分の道具で精密に扱う分野。第六章で入口だけ触れた曲率の厳密な理論はここに属する)、および**射影幾何**(しゃえいきか: 平行線が「無限遠点」で交わるとみなすなど、遠近法(→BOOK-0054)の直感を公理化した幾何学の体系)が、十九世紀までに確立した古典的な理論として存在する。また、円錐曲線をn次元・複数の変数に一般化する**二次形式の理論**は、→BOOK-0120で扱われた対称行列の応用として、すでに標準的な道具になっている。
一方で、これらの理論が今後どのような形でゲームエンジンやCG、あるいは新しい数値計算の分野に応用され発展していくかという細部の見通しについては、本冊の執筆時点で確定した記述をする根拠を持たない。**未確定**であることを明記した上で、次の後半冊、あるいは→BOOK-0089『位相』第1巻のようなより抽象度の高い分野との接続は、今後の課題として開かれたままにしておく。
デカルトとフェルマーが座標という着想にたどり着いてから四百年近く、円錐曲線という古代ギリシャ以来の図形は、ケプラーの手で惑星の軌道として天に投影され、行列と固有値の手で任意の次元へ一般化され、射影の手で画面の中の立体として今も描かれ続けている。図形を数に翻訳するという一つの発想が、天体望遠鏡からコンピュータの画面まで、時代と規模を超えて働き続けている——これが解析幾何という橋の、後半で見えてくる射程の広さである。
## 章末図 — 円錐曲線の一族と離心率(ASCII)
```
離心率 e: 0 ─────────── 1 ─────────── (1より大)
図形: 円 楕円 放物線 双曲線
○ ⬭ ⌣ )(
楕円の検算: a=5, b=3 → c²=a²−b²=16 → c=4 → e=c/a=0.8 (0<0.8<1: 楕円で整合)
ケプラー第一法則: 太陽●(焦点F₁) 惑星の軌道
\___________⬭___________/
焦点F₂(空)
45度回転の検算: 点(1,0) → 回転行列 → 点(0.7071, 0.7071)
原点からの距離: 変換前=1, 変換後=√(0.5+0.5)=1 (一致)
```
## 出典・系譜(パブリックドメインの古典・確立した知識)
- ヨハネス・ケプラー(1571年 - 1630年)『新天文学』(1609年、第一・第二法則)、『世界の調和』(1619年、第三法則) — 師ティコ・ブラーエの観測データをもとに、惑星軌道が円ではなく太陽を焦点とする楕円であることを発見した。三法則は確立した古典的成果として広く定説になっている。
- 円錐曲線(円・楕円・放物線・双曲線)の統一的な扱いは、古代ギリシャの幾何学(アポロニウスの円錐曲線論などが古典として知られる)に起源を持ち、デカルト・フェルマー以来の解析幾何によって代数的に再構成された、確立した数学的知識である。
- 本文の数値・計算(離心率、極座標変換、内積・外積、回転行列、曲率、三次元距離公式)は、いずれも確立した公式を用いて自分の言葉で構成し、検算リストにある通り自己検算した。外部サイトの文章の転載・要約移植は行っていない。
- フロンティア概観の章では、微分幾何・射影幾何・二次形式の理論という確立した古典分野の存在のみを事実として述べ、今後の応用の細部については「未確定」と明記した。
## 用語集(水準つき)
円錐曲線(五)/焦点(五)/離心率(五)/ケプラーの法則(五)/極座標(五)/らせん・サイクロイド・パラメータ曲線(五)/内積(五)/外積(五)/変換・回転行列(六)/主軸変換(六)/曲率(六)/三次元空間・平面の方程式(六)/射影・遠近法(六)。
# BOOK-0131 解析幾何 第2巻 — 円錐曲線の一族から三次元へ(数学派生 第2巻)