【基礎 数学】Module 7: 解析幾何学の設問パターン

【概要】

これまでのモジュールで、我々は数学という言語の論理（Module 1）、計算技術（Module 2）、そして方程式という表現（Module 3-5）を学んできました。Module 6では、図形が持つ本来の性質を探る「総合幾何学」の世界を旅しました。本モジュールで学ぶ解析幾何学は、これらすべての知識を融合させる、いわば「数学のロゼッタ・ストーン」です。その核心思想は、ルネ・デカルトによって確立された「図形を数式（座標）で、数式を図形で表現する」という、革命的な対応関係にあります。この強力な翻訳機能により、直感的で捉えどころのなかった幾何学的問題は、厳密な代数計算の問題へと姿を変え、逆に、無味乾燥に見えた数式は、座標平面上で生き生きとした図形として振る舞い始めます。本稿では、まず点・直線・円といった基本図形を方程式の言葉で記述する基礎を固め、次いで「点の集まり」としての軌跡や領域へと概念を拡張します。最終的には、図形そのものが動くことによって描かれる「通過領域」という、解析幾何学の深淵に挑みます。このモジュールを通じて、あなたは図形と数式の世界を自在に往復し、問題を多角的に分析・解決する強力な思考のOSを構築するでしょう。

---

1. 座標平面：幾何学のデジタル化

解析幾何学の舞台は、縦横に伸びる数直線によって構成される座標平面 (Coordinate Plane) です。この平面上にx座標とy座標という「住所」を割り当てることで、あらゆる図形は点の集合として、すなわち数の集まりとしてデジタルに表現することが可能になります。

1.1. 点と距離：すべての基本単位

• 座標という発明:
  • 平面上の点Pに、順序付けられた実数のペア (x,y) を対応させる。この単純なアイデアが、幾何学と代数学を結びつけました。点はもはや抽象的な位置ではなく、具体的な数値データとして扱えるようになります。
• 二点間の距離 (Distance Formula):
  • 座標平面上の2点 A(x1​,y1​), B(x2​,y2​) 間の距離 AB は、三平方の定理そのものです。
  • 公式: AB=(x2​−x1​)2+(y2​−y1​)2​
  • 本質: これは、2点を対角の頂点とし、各座標軸に平行な辺を持つ直角三角形を考えることで、極めて自然に導かれます。斜辺の長さが AB、他の2辺の長さが ∣x2​−x1​∣ と ∣y2​−y1​∣ となるため、AB2=(x2​−x1​)2+(y2​−y1​)2 が成り立ちます。この公式は、後の円の方程式や様々な距離に関する問題の根幹をなす、解析幾何学の最も基本的な構成要素です。

1.2. 内分点・外分点：線分上のアドレス指定

線分を特定の比率で分割する点の座標を求める公式は、図形の位置関係を代数的に扱う上で頻繁に利用されます。

• 内分点 (Internal Division Point):
  • 線分ABを m:n に内分する点Pの座標 (x,y) は、
  • 公式: x=m+nnx1​+mx2​​, y=m+nny1​+my2​​
• 外分点 (External Division Point):
  • 線分ABを m:n に外分する点Qの座標 (x,y) は、
  • 公式: x=m−n−nx1​+mx2​​, y=m−n−ny1​+my2​​
  • 外分点の公式は、内分点の公式で比の一方（n）を負（−n）に置き換えたものと解釈すると、統一的に記憶できます。
• 公式の導出と幾何学的イメージ:
  • これらの公式を単に暗記するのではなく、その導出過程を理解することが重要です。例えば、x座標について考えたとき、点Pは、Aのx座標 x1​ とBのx座標 x2​ の間の距離 ∣x2​−x1​∣ を m:n に内分する点です。この比例関係を解くことで公式は導かれます。
  • より発展的には、ベクトルの概念（Module 11で詳述）を用いると、内分・外分点の公式は p​=m+nna+mb​ のように、より本質的かつシンプルに表現でき、これは空間図形にもそのまま拡張可能です。

---

2. 基本図形の方程式

点に続き、最も基本的な図形である直線と円を、方程式という代数の言葉で記述する方法を確立します。これにより、図形の性質や図形間の関係を、代数計算によって分析することが可能になります。

2.1. 直線の方程式：多様な表現と本質

直線は、その与えられ方（通る1点と傾き、通る2点など）によって、様々な方程式の形で表現されますが、それらはすべて同値な表現です。

• 表現形式のカタログ:
  1. 傾きとy切片による形式: y=mx+c
  2. 通る1点 (x1​,y1​) と傾き m による形式: y−y1​=m(x−x1​)
     • これが最も実用的で応用範囲の広い形式です。
  3. 通る2点 (x1​,y1​),(x2​,y2​) による形式: y−y1​=x2​−x1​y2​−y1​​(x−x1​)
  4. 一般形 (General Form): ax+by+c=0
     • この形式の利点は、y軸に平行な直線（x=k）も含め、すべての直線を表現できることです。y=mx+c の形では x=k を表せません。
• ベクトルによる表現:
  • 法線ベクトル: 直線に垂直なベクトルを法線ベクトル n=(a,b) といいます。一般形 ax+by+c=0は、この法線ベクトルを用いて「直線上の点 P(x,y) と特定の点 A(x0​,y0​) を結ぶベクトル AP は、常に法線ベクトル n と垂直である」(n⋅AP=0)ことを意味しており、直線の本質的な性質を捉えています。

2.2. 二直線の関係：平行・垂直と距離

• 平行条件・垂直条件:
  • 2直線 y=m1​x+c1​, y=m2​x+c2​ について、
    • 平行条件: m1​=m2​
    • 垂直条件: m1​m2​=−1
  • 2直線 a1​x+b1​y+c1​=0, a2​x+b2​y+c2​=0 について、
    • 平行条件: a2​a1​​=b2​b1​​ すなわち a1​b2​−a2​b1​=0
    • 垂直条件: 法線ベクトル (a1​,b1​) と (a2​,b2​) が垂直であることから、その内積が0。すなわち a1​a2​+b1​b2​=0。法線ベクトルで考えると、非常に見通しが良くなります。
• 点と直線の距離 (Distance between a Point and a Line):
  • 点 (x0​,y0​) と直線 ax+by+c=0 との距離 d は、
  • 公式: d=a2+b2​∣ax0​+by0​+c∣​
  • 公式の意義と証明: この公式は、単なる暗記ではなく、その導出を理解することで様々な応用への道が開かれます。証明方法はいくつかありますが、例えば、点 (x0​,y0​) を通り、直線に垂直な直線との交点を求め、その2点間の距離を計算する方法や、求める距離 d をベクトルを用いて法線ベクトルへの正射影ベクトルの大きさとして捉える方法などがあります。後者は特に見通しがよく、概念的理解を深めます。

2.3. 円の方程式：中心と半径という情報

円は「ある定点（中心）からの距離が一定（半径）である点の集合」と定義されます。この定義を、二点間の距離の公式を用いて素直に翻訳したものが円の方程式です。

• 標準形 (Standard Form):
  • 中心が (a,b)、半径が r の円の方程式は、
  • (x−a)2+(y−b)2=r2
  • この形は、円の幾何学的な情報（中心と半径）が一目瞭然であるため、最も基本的で重要な形式です。
• 一般形 (General Form):
  • 標準形を展開し整理した形 x2+y2+lx+my+n=0 を一般形といいます。
  • 一般形で与えられた式が円を表すかどうかを調べるには、平方完成を行い、標準形に戻します。
  • (x+2l​)2+(y+2m​)2=4l2+m2−4n​
  • この式が円を表すためには、右辺（半径の2乗）が正でなければなりません。すなわち、l2+m2−4n>0 が必要です。

2.4. 円と直線の共有点：代数と幾何の視点

円と直線の位置関係（2点で交わる、接する、共有点を持たない）を調べるには、二つのアプローチがあり、問題に応じて使い分ける戦略的視点が重要です。

1. 代数的アプローチ：判別式
   • 方法: 直線の方程式を円の方程式に代入し、x（またはy）についての二次方程式を導く。その二次方程式の判別式 D の符号を調べる。
     • D>0⇔ 異なる2つの実数解 ⇔ 異なる2点で交わる
     • D=0⇔ 重解 ⇔ 接する
     • D<0⇔ 実数解なし ⇔ 共有点を持たない
   • 長所・短所: 必ず解ける万能な方法ですが、代入後の式の整理や判別式の計算が煩雑になることがあります。共有点の「座標」を求める必要がある場合は、この方法が必須となります。
2. 幾何学的アプローチ：中心と直線の距離
   • 方法: 円の中心と直線との距離 d を求め、円の半径 r と比較する。
     • d<r⇔ 異なる2点で交わる
     • d=r⇔ 接する
     • d>r⇔ 共有点を持たない
   • 長所・短所: 点と直線の距離の公式を用いるため、計算が非常にシンプルで済むことが多いです。位置関係を調べるだけなら、こちらが圧倒的に推奨されます。図形的なイメージと直結しており、直感的にも理解しやすい方法です。

---

3. 条件を満たす点の集合：軌跡と領域

これまでは単一の図形を扱ってきましたが、ここからはより抽象的な「ある条件を満たす点の集合」が描く図形、すなわち軌跡と領域を探求します。ここでの核心は、論理的な厳密性、特に「同値変形」の徹底です。

3.1. 軌跡の方程式：同値変形の厳密な追跡

• 軌跡 (Locus) とは、与えられた条件を満たす点の集合が作る図形のことです。
• 軌跡を求めるアルゴリズム:
  1. 点の座標設定: 求める軌跡上の任意の点を P(X,Y) とおく。（x,y は他の動く点などで使うため、大文字で区別するのが安全）
  2. 条件の立式: 問題文で与えられた条件を、X,Y および他の与えられた点やパラメータを用いて、数式で表現する。
  3. 式の整理: Step 2 で得られた関係式を整理し、X と Y のみの関係式（方程式）を導く。
  4. 同値性の確認（最重要）:
     • **「軌跡上の点Pは、方程式(＊)を満たす」**だけでは不十分（必要条件）。
     • **「方程式(＊)を満たす任意の点Pは、軌跡上の点である」**も示さなければならない（十分条件）。
     • Step 2 から Step 3 への変形がすべて同値変形（A⇔B）で行われていれば、この確認は不要です。しかし、2乗するなどの同値でない変形を行った場合や、途中で現れた変数の定義域から生じる制約がある場合は、得られた図形から一部の点を除外（除外点）したり、逆にすべての点が条件を満たすかを確認（軌跡の吟味）したりする作業が必須となります。
• 典型例：アポロニウスの円
  • 「2定点 A, B からの距離の比が m:n (m=n) である点Pの軌跡」は円を描きます。この証明は、軌跡を求める上記アルゴリズムの典型的な適用例です。PA:PB=m:n⟹PA2=(m/n)2PB2 と2乗して計算を進めるため、同値性の確認が重要となります。

3.2. 不等式の表す領域：平面の分割

• 領域 (Region) とは、与えられた不等式を満たす点の集合が作る図形（平面の一部）のことです。
• 基本原理:
  • 曲線 f(x,y)=0 は、座標平面をいくつかの領域に分割します。
  • 各領域の内部では、f(x,y) の符号は常に一定（正または負）です。
• 領域を図示するアルゴリズム:
  1. 境界線を描く: まず、不等号を等号に置き換えた方程式 f(x,y)=0 が表す境界線を座標平面上に描く。
  2. テスト点を代入する: 境界線上にない、計算しやすい点（多くの場合、原点 (0,0) が楽）を、元の不等式 f(x,y)>0 などに代入してみる。
  3. 領域の判定:
     • 不等式が成り立つ場合、テスト点を含む側の領域が求める領域です。
     • 不等式が成り立たない場合、テスト点を含まない側の領域が求める領域です。
  4. 境界線の扱い: 元の不等式が等号を含む（≥ や ≤）場合は、境界線も領域に含めます（実線で描く）。等号を含まない（> や <）場合は、境界線は領域に含めません（破線で描く）。
• 連立不等式: 複数の不等式で示される領域は、それぞれの不等式が表す領域の**共通部分（積集合）**となります。

---

4. 動く図形の影：通過領域の探求

解析幾何学における最難関テーマの一つが、パラメータで指定された図形が動くときに、それが通過する領域、すなわち通過領域を求める問題です。この問題を攻略するには、二つの対照的なアプローチ、「順像法」と「逆像法」を理解し、使い分ける必要があります。

4.1. 通過領域とは何か？

• 問題設定:
  • m のようなパラメータ（実数）が、ある範囲を動くとする。
  • m の値に応じて、直線 y=2mx−m2 や放物線 y=x2−2mx+m のような図形が、一つに定まる。
  • m が指定された範囲を動くとき、これらの図形全体が「通る」点の集合は、どのような領域になるか？
• イメージ: パラメータを映写機のフィルムのコマ番号、図形をそのコマに描かれた絵だとします。フィルムを回したときに、スクリーン上で絵が通過した部分全体が「通過領域」です。

4.2. 順像法：「パラメータを動かして、影を追う」

• 考え方: パラメータ m の値を一つ一つ固定し、それに対応する図形を描いていく。それら無数の図形の「和集合」として、通過領域を捉えるアプローチ。
• 実行方法:
  1. x の値を一つ X に固定する（x=X という縦の直線で切って考える）。
  2. その縦線上で、図形が通過する y の値の範囲を求める。y をパラメータ m の関数とみなし、その値域を求める問題に帰着する。
  3. y の範囲（最大値・最小値）は X の値に依存するので、その範囲を X の式で表す。
  4. 最後に、X を動かす（すべてのxについて考える）ことで、全体の領域が確定する。
• 長所・短所:
  • 考え方が直接的で、直感に訴える。
  • パラメータの変域を求める二次関数の最大・最小問題などに帰着することが多く、計算が煩雑になりがち。特に、パラメータの範囲に制約がある場合に複雑化しやすい。

4.3. 逆像法：「点の立場から、存在条件を問う」

• 考え方: 発想を逆転させ、まず座標平面上の任意の点 P(X,Y) を一つ固定する。そして、「この点 P(X,Y) を、問題の図形が通過することができるか？」と問いかける。
• 実行方法:
  1. 求めたい領域内の任意の点を (X,Y) とする。
  2. 点 (X,Y) を図形の方程式に代入する。
  3. その結果得られる、パラメータに関する方程式（または不等式）を考える。
  4. その方程式が、指定された範囲内にパラメータの実数解を持つための、X と Y が満たすべき条件を求める。
  5. その条件こそが、点 (X,Y) が通過領域に含まれるための条件であり、求める領域の方程式（不等式）となる。
• 例: 直線 y=2mx−m2 の通過領域
  1. 点 (X,Y) を固定する。
  2. この直線が (X,Y) を通ると仮定すると、Y=2mX−m2 が成り立つ。
  3. これをパラメータ m についての二次方程式と見なす: m2−2Xm+Y=0
  4. この方程式が実数解 m を持つことが、直線が点 (X,Y) を通るための必要十分条件である。
  5. 実数解を持つ条件は、判別式 D≥0。
     • D/4=(−X)2−1⋅Y=X2−Y≥0
  6. よって、Y≤X2。これが求める通過領域である。
• 長所・短所:
  • より機械的かつ強力なアプローチ。パラメータに関する「解の存在条件」の問題に帰着させることで、見通しが良くなる。
  • パラメータの範囲に制約がある場合も、「解が特定の範囲に存在する条件」（解の配置問題）として処理できるため、応用範囲が非常に広い。

4.4. 順像法 vs 逆像法：戦略的選択

• 逆像法が原則: 難関大学で出題される複雑な通過領域の問題では、逆像法を第一選択肢と考えるのが定石です。その汎用性と機械的な処理手順は、強力な武器となります。
• 順像法の使い所: パラメータの動く範囲が単純で、変数を固定したときの関数の最大・最小が容易に求められる場合は、順像法の方が直感的に素早く解けることもあります。
• 両者の考え方を理解し、問題の構造によって使い分ける、あるいは一方を検算に用いるといった柔軟な思考が、この難関テーマを攻略する鍵となります。

---

【末尾の要約】

本モジュール「解析幾何学の設問パターン」では、図形と数式が織りなす豊穣な世界を探求しました。デカルト座標の導入により、図形は方程式の姿をとり、代数計算の俎上に乗せられるようになります。

まず、点・直線・円という幾何学の基本要素を、距離の公式、直線の方程式、円の方程式といった代数の言葉で記述し、それらの位置関係（平行・垂直、交わる・接する）を、判別式と中心距離という二つの視点から解析する手法を確立しました。

次に、視点を上げ、単一の図形から「条件を満たす点の集合」へと考察を移し、軌跡と領域の問題に取り組みました。ここでは、幾何学的な条件を代数的な関係式に翻訳し、その過程で同値性を失わないように論理を厳密に追跡することの重要性を学びました。

最終章では、解析幾何学の白眉とも言える通過領域の問題に挑みました。パラメータの値に応じて動く図形の影を追う順像法と、点の存在条件から領域をあぶり出す、より強力で汎用的な逆像法という二大戦略を習得しました。

結論として、解析幾何学とは、単に図形を計算で解くための無味乾燥なツールではありません。それは、総合幾何学がもたらす直感や美しさと、代数学がもたらす厳密性や計算能力とを往復することで、問題の本質をより深く、多角的に理解するための強力な思考のフレームワークです。ここで身につけた「翻訳能力」は、ベクトル（Module 11）や複素数平面（Module 12）といった、さらに高度な幾何学的世界を冒険するための、信頼できる羅針盤となるでしょう。