2 次曲線：焦点・準線・離心率・円錐の切り口・極方程式・一般の分類

0. この記事の要点

放物線・楕円・双曲線は、ボールを投げたときの軌跡、惑星の軌道、アンテナの断面などに現れる曲線です。この記事では、これらがすべて「ある点（焦点）との距離」という同じ考え方で定義できること、円錐をナイフで切った切り口としても現れること、そして 2 次式で表される図形はこの仲間でほぼ尽きることを、計算で確かめます。読み終えると、式を見ただけでどの曲線かを見分け、焦点の位置を求められるようになります。

• 放物線・楕円・双曲線は、焦点との距離で定義されます（放物線は焦点と準線からの距離が等しい点、楕円は 2 焦点からの距離の和が一定、双曲線は差の絶対値が一定）。定義から標準形 $y^2=4px$、$\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1$、$\tfrac{x^2}{a^2}-\tfrac{y^2}{b^2}=1$ を、同値変形で導きます。
• 3 つは「焦点との距離が準線との距離の $e$ 倍」という 1 つの条件に統一され、$e<1$ が楕円、$e=1$ が放物線、$e>1$ が双曲線です（離心率）。
• 直円錐を平面で切った切り口は、平面の傾きと母線の傾きの大小で、楕円・放物線・双曲線になります。座標で計算すると、傾きの比較がそのまま判別式の符号の比較になります。
• 楕円・双曲線・放物線の接線は座標の 1 次式で書け、焦点を出た光線が接線で反射されると、楕円なら他方の焦点へ、放物線なら軸に平行に進みます（反射の性質）。
• 焦点を原点とする極方程式は $r=\dfrac{l}{1+e\cos\theta}$ の 1 つの形で 3 種類を表し、惑星の軌道（Kepler の第 1 法則）の数学的な形です。
• 一般の 2 次方程式 $Ax^2+Bxy+Cy^2+Dx+Ey+F=0$ の表す図形は、主軸定理（$xy$ の項が消えるように座標軸を回す定理）と平方完成で分類でき、種類は判別式 $B^2-4AC$ の符号で決まります。

この記事で使う事前知識

• 絶対値: 数直線上で $0$ からの距離のこと。双曲線の定義 $\bigl||PF_1|-|PF_2|\bigr|=2a$ で使います。→ 絶対値
• 直線・円の方程式と点と直線の距離: 準線までの距離を式で書くときに使います。→ 図形と方程式
• 接線: 曲線に 1 点で触れる直線のこと。円の場合を思い出しておくと 4 節が読みやすくなります。→ 接線
• 内積: 2 つのベクトルの成分ごとの積の和。反射の性質の計算で使います。→ 内積
• 行列式（2 次）: ベクトル $(a,b)$, $(c,d)$ に対する $ad-bc$。平行四辺形の符号付き面積です。→ 内積・長さ・2 次の行列式

1. 動機：なぜ 3 つの曲線は 1 つの仲間なのか

高校では、放物線 $y=ax^2$（2 次関数）、楕円 $\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1$、双曲線 $\tfrac{x^2}{a^2}-\tfrac{y^2}{b^2}=1$ を別々に習います。しかし式の形はどれも 2 次式で、これらは「円錐曲線」と一括して呼ばれます。その理由は 2 つあります。

1. 図形としての理由。 円錐を平面で切ると、切る角度に応じてこの 3 種類の曲線が現れます（Apollonius、紀元前 3 世紀）。
2. 式としての理由。 2 変数の 2 次方程式の解集合は、退化した場合を除いて、この 3 種類のいずれかです。

この記事は、この 2 つの理由をそれぞれ定理として示します。さらに、焦点という概念が、物理（惑星の軌道、反射鏡）との接点であることを、反射の性質と極方程式で確かめます。道具は 図形と方程式 の直線・円・距離の公式と、平面ベクトルと座標 の内積・行列式・回転です。

2. 焦点による定義と標準形

定義 2.1（放物線・楕円・双曲線）↗

平面上で次の条件を満たす点 $P$ の集合を、それぞれ放物線・楕円・双曲線という。

• 放物線：定点 $F$（焦点）と、$F$ を通らない定直線 $l$（準線）に対し、$|PF|=\operatorname{dist}(P,l)$。
• 楕円：定点 $F_1,F_2$（焦点）と定数 $a>0$（$2a>|F_1F_2|$）に対し、$|PF_1|+|PF_2|=2a$。
• 双曲線：定点 $F_1,F_2$ と定数 $a>0$（$2a<|F_1F_2|$）に対し、$\bigl||PF_1|-|PF_2|\bigr|=2a$。

座標を回転・平行移動しても距離は変わらないので（回転行列の合成（命題 6.3）［平面ベクトルと座標］）、楕円・双曲線は $F_1=(-c,0)$、$F_2=(c,0)$（$c>0$。楕円では $c\ge0$ も許す）、放物線は $F=(p,0)$、$l:x=-p$（$p>0$）としてよい。以下、$e=c/a$ を離心率とよびます。

定理 2.2（標準形と焦点半径）✓

1. （放物線）$F=(p,0)$、$l:x=-p$ のとき、放物線は $y^2=4px$ である。
2. （楕円）$a>c\ge0$、$b=\sqrt{a^2-c^2}$ とすると、楕円は $\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$ である。このとき点 $P=(x,y)$ について $|PF_1|=a+ex$、$|PF_2|=a-ex$（$e=c/a$）。
3. （双曲線）$c>a>0$、$b=\sqrt{c^2-a^2}$ とすると、双曲線は $\dfrac{x^2}{a^2}-\dfrac{y^2}{b^2}=1$ である。このとき、$x\ge a$ の枝では $|PF_1|=ex+a$、$|PF_2|=ex-a$、$x\le-a$ の枝では $|PF_1|=-(ex+a)$、$|PF_2|=-(ex-a)$（$e=c/a>1$）。

証明（定理 2.2）

(1) $\operatorname{dist}(P,l)=|x+p|$（点と直線の距離（定理 2.2）［図形と方程式］）。$|PF|=|x+p|$ の両辺は $0$ 以上なので、2 乗した $(x-p)^2+y^2=(x+p)^2$ と同値で（実数の計算規則（命題 2.2）［数と式］ (6)）、これは $y^2=4px$ です。

(2) $d_1=\sqrt{(x+c)^2+y^2}$、$d_2=\sqrt{(x-c)^2+y^2}$ とおくと $d_1^2-d_2^2=4cx$。$d_1+d_2=2a$ ならば $d_1-d_2=\dfrac{d_1^2-d_2^2}{d_1+d_2}=\dfrac{2cx}{a}$ なので $d_1=a+\dfrac{cx}a$、$d_2=a-\dfrac{cx}a$。$d_2^2$ に代入して $(x-c)^2+y^2=a^2-2cx+\dfrac{c^2x^2}{a^2}$、整理して $\dfrac{(a^2-c^2)x^2}{a^2}+y^2=a^2-c^2$、すなわち $\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$。逆に $\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$ なら $|x|\le a$ で、$y^2=b^2\bigl(1-\tfrac{x^2}{a^2}\bigr)$ を $d_2^2$ に代入して計算すると $d_2^2=\bigl(a-\tfrac{cx}a\bigr)^2$、$a-\tfrac{cx}{a}\ge a-c>0$ から $d_2=a-ex$。同様に $d_1=a+ex$ で $d_1+d_2=2a$ です。

(3) 楕円と同じ計算で、$\bigl|d_1-d_2\bigr|=2a$ とすると、$d_1-d_2=\pm2a$ のどちらかで、$d_1+d_2=\pm\dfrac{2cx}a$、$d_1=\pm(a+ex)$、$d_2=\pm(ex-a)$（複号同順）。$d_2^2$ に代入して整理すると $\dfrac{(c^2-a^2)x^2}{a^2}-y^2=c^2-a^2$、すなわち $\dfrac{x^2}{a^2}-\dfrac{y^2}{b^2}=1$。逆に、これが成り立てば $|x|\ge a$ で、$y^2=b^2\bigl(\tfrac{x^2}{a^2}-1\bigr)$ を $d_2^2$ に代入すると $d_2^2=(ex-a)^2$、$d_1^2=(ex+a)^2$ となり、$x\ge a$ では $ex-a\ge c-a>0$ なので $d_2=ex-a$、$d_1=ex+a$、$d_1-d_2=2a$。$x\le-a$ では符号が逆で $d_2-d_1=2a$ です。

∎

例 2.3（標準形の数値例）

$\dfrac{x^2}{25}+\dfrac{y^2}9=1$ は $a=5$、$b=3$、$c=\sqrt{25-9}=4$、焦点 $(\pm4,0)$、$e=\tfrac45$。$\dfrac{x^2}9-\dfrac{y^2}{16}=1$ は $a=3$、$b=4$、$c=5$、焦点 $(\pm5,0)$、$e=\tfrac53$。$y^2=8x$ は $4p=8$、$p=2$、焦点 $(2,0)$、準線 $x=-2$。楕円と双曲線で $b^2=a^2\mp c^2$ の符号が違う理由は、楕円は $2a>2c$、双曲線は $2a<2c$（三角不等式の向き）で、$a$ と $c$ の大小が逆になるからです。

3. 焦点と準線による統一・円錐の切り口

定理 3.1（焦点・準線・離心率）✓

焦点 $F=(0,0)$、準線 $l:x=q$（$q>0$）、$e>0$ に対し、$\mathcal{C}_e=\{P\mid|PF|=e\operatorname{dist}(P,l)\}$ は次のとおりである。

1. $0<e<1$：楕円。$a=\dfrac{eq}{1-e^2}$、$b=a\sqrt{1-e^2}$、中心 $(-ea,0)$、焦点 $F$ と $(-2ea,0)$。
2. $e=1$：放物線 $y^2=-2q\bigl(x-\tfrac q2\bigr)$（頂点 $(\tfrac q2,0)$、焦点 $F$、準線 $l$）。
3. $e>1$：双曲線。$a=\dfrac{eq}{e^2-1}$、$b=a\sqrt{e^2-1}$、中心 $(ea,0)$、焦点 $F$ と $(2ea,0)$。

いずれも離心率は $c/a=e$ である。逆に、標準形の楕円（$c>0$ とする。円には準線がない）・双曲線の各焦点 $(\pm c,0)$ に対し、準線 $x=\pm\dfrac{a^2}{c}$ があり、$|PF|=e\operatorname{dist}(P,l)$ が成り立つ。

証明（定理 3.1）

$\operatorname{dist}(P,l)=|x-q|$（点と直線の距離（定理 2.2）［図形と方程式］）。$|PF|=e|x-q|$ は 2 乗した $x^2+y^2=e^2(x-q)^2$ と同値で（両辺 $0$ 以上）、整理すると $(1-e^2)x^2+2e^2qx+y^2=e^2q^2$。

$e<1$：$x_0=\dfrac{e^2q}{1-e^2}$ として $(1-e^2)(x+x_0)^2+y^2=e^2q^2+(1-e^2)x_0^2=\dfrac{e^2q^2}{1-e^2}$。両辺を割ると $\dfrac{(x+x_0)^2}{a^2}+\dfrac{y^2}{b^2}=1$、$a^2=\dfrac{e^2q^2}{(1-e^2)^2}$、$b^2=\dfrac{e^2q^2}{1-e^2}=a^2(1-e^2)$、$x_0=ea$。標準形の楕円（定理 2.2 (2)）を $(-ea,0)$ だけ平行移動したもので、$c=\sqrt{a^2-b^2}=ea$ なので焦点は $(-ea\pm ea,0)$、すなわち $F=(0,0)$ と $(-2ea,0)$。

$e=1$：$2qx+y^2=q^2$ より $y^2=-2q(x-\tfrac q2)$。これは標準形 $y^2=4pX$（$X=-(x-\tfrac q2)$、$p=\tfrac q2$）で、焦点は $X=p$、すなわち $x=0$、準線は $X=-p$、すなわち $x=q$。

$e>1$：$x_1=\dfrac{e^2q}{e^2-1}$ として $(e^2-1)(x-x_1)^2-y^2=(e^2-1)x_1^2-e^2q^2=\dfrac{e^2q^2}{e^2-1}$。$a^2=\dfrac{e^2q^2}{(e^2-1)^2}$、$b^2=a^2(e^2-1)$、$x_1=ea$。標準形の双曲線（定理 2.2 (3)）で、$c=\sqrt{a^2+b^2}=ea$、焦点は $(ea\pm ea,0)$ です。

逆。 標準形の楕円で焦点 $F_2=(c,0)$ に準線 $x=a^2/c$ を考えると、定理 2.2 (2) の焦点半径 $|PF_2|=a-ex$ と $\operatorname{dist}(P,l)=\dfrac{a^2}c-x=\dfrac{a}{e}-x$（$x\le a<a/e$）から $|PF_2|=e\operatorname{dist}(P,l)$。双曲線も同様です。

∎

ここでの目標は、「平面を傾けると切り口が楕円から放物線、双曲線へと変わる」ことを式で確かめることです。方針は、切る平面の上に長さ 1 の直交する 2 本の軸で座標を入れ、円錐の式を代入して 2 次式の形を見ることです。最後の 2 次式の $u^2$ の係数 $\kappa$ の符号（正・零・負）が、楕円・放物線・双曲線に対応します。

直円錐を座標で表し、平面で切ります。円錐 $\mathcal{K}:x^2+y^2=k^2z^2$（$k>0$、頂点 $O$、軸は $z$ 軸、母線の傾き $z/x=1/k$）は、$z$ 軸まわりの回転で不変です。平面は、頂点を通らないものを考えます。

定理 3.2（円錐の切り口）✓

$O$ を通らない平面 $\pi$ が $\mathcal{K}$ と交わってできる切り口は、平面上の直交座標で次の曲線である。$z$ 軸まわりの回転と鏡映で、$\pi$ は $x=c$（$c\ne0$）または $z=\lambda x+\mu$（$\mu\ne0$、$\lambda\ge0$）の形としてよい。

1. $\pi:x=c$（$z$ 軸に平行）：双曲線。
2. $\pi:z=\lambda x+\mu$：$\lambda<\dfrac1k$ のとき楕円（$\lambda=0$、すなわち軸に垂直なら円）、$\lambda=\dfrac1k$ のとき放物線、$\lambda>\dfrac1k$ のとき双曲線。

すなわち、平面の傾き $\lambda$ が母線の傾き $1/k$ より小さいと楕円、等しい（母線に平行）と放物線、大きいと双曲線である。

証明（定理 3.2）

$z$ 軸まわりの回転と鏡映 $x\mapsto-x$ は $x^2+y^2$ と $z$ を変えず、距離も保つので、$\pi$ の法線ベクトルが $xz$ 平面内にあるとしてよい。$\pi$ が $z$ 軸に平行なら $x=c$（$c\ne0$ は $O\notin\pi$ から）。そうでなければ $z=\lambda x+\mu$（$\lambda\ge0$ は鏡映で）で、$\mu\ne0$ は $O\notin\pi$ から。

(1) $x=c$ を代入して $c^2+y^2=k^2z^2$、すなわち $\dfrac{z^2}{(c/k)^2}-\dfrac{y^2}{c^2}=1$。$\pi$ 上の直交座標 $(y,z)$ で標準形の双曲線です。

(2) $s=\sqrt{1+\lambda^2}$ とし、$\pi$ 上の直交座標 $(u,v)$ を、点 $\Bigl(\dfrac us,\ v,\ \mu+\dfrac{\lambda u}s\Bigr)$（長さ 1 の直交する 2 本の方向ベクトル $(1,0,\lambda)/s$、$(0,1,0)$ による）で入れる。$\mathcal{K}$ の式は $\dfrac{u^2}{s^2}+v^2=k^2\bigl(\mu+\dfrac{\lambda u}s\bigr)^2$、$s^2$ をかけて

$$\kappa u^2-2k^2\lambda\mu s\,u+s^2v^2=k^2\mu^2s^2,\qquad \kappa=1-k^2\lambda^2.$$

$\kappa>0$（$\lambda<1/k$）：平方完成して $\kappa(u-u_0)^2+s^2v^2=R$、$u_0=\dfrac{k^2\lambda\mu s}{\kappa}$、$R=k^2\mu^2s^2+\kappa u_0^2>0$。楕円。$\lambda=0$ なら $u^2+s^2v^2=k^2\mu^2$ で $s=1$ の円。$\kappa=0$（$\lambda=1/k>0$）：$s^2v^2=2k^2\lambda\mu s\,u+k^2\mu^2s^2$、$u$ の 1 次式で、$v^2=\alpha(u-u_1)$（$\alpha=\dfrac{2k^2\lambda\mu}{s}\ne0$）の放物線。$\kappa<0$：$E=-\kappa>0$ として $s^2v^2-E(u+\tfrac{k^2\lambda\mu s}{E})^2=k^2\mu^2s^2-\dfrac{k^4\lambda^2\mu^2s^2}{E}=-\dfrac{k^2\mu^2s^2}{E}$（$E-k^2\lambda^2=-1$ を使う）なので $E(u-u_0')^2-s^2v^2=\dfrac{k^2\mu^2s^2}E>0$。双曲線です。

∎

注意 3.3

円錐と平面の両方に接する球（Dandelin 球）を使うと、切り口が楕円のとき球と平面の接点が焦点、球と円錐の接円を含む平面と $\pi$ の交線が準線であることが、立体の図形から幾何学的にわかります（Hilbert–Cohn-Vossen, Geometry and the Imagination）。この記事は座標で計算したので、この説明は使いません。

4. 接線と反射の性質

この節では、まず 2 次曲線の接線を「直線と曲線の交点の式が重解をもつ」こととして定め、次に各曲線の接線の方程式を求めます。そのうえで、焦点から出た光が接線で反射する向きを内積で計算します。高校で習った円の接線と同じ考え方を、そのまま 2 次曲線に広げたものです。

曲線 $\Phi(x,y)=0$（$\Phi$ は 2 次式）上の点 $T$ を通る直線 $T+\tau\boldsymbol d$ を考えると、$\Phi(T+\tau\boldsymbol d)=A\tau^2+B\tau$（$\Phi(T)=0$ より定数項は $0$）の形で、$\tau=0$ が解です。

定義 4.1（2 次曲線の接線）↗

$T$ を通る直線が $T$ で接するとは、$B=0$（$\tau=0$ が重解）となることをいう。標準形の曲線では、$B=0$ は方向 $\boldsymbol d$ が 0 でないあるベクトル $\boldsymbol n$（下の命題）に垂直という条件で、接線は各点でちょうど 1 本である。円 $x^2+y^2=r^2$ では $B=2T\cdot\boldsymbol d$ で、円の接線（命題 3.3）［図形と方程式］ と一致する。

命題 4.2（接線の方程式）✓

曲線上の点を $T=(x_0,y_0)$ とすると、$T$ における接線は次のとおりである。

• 楕円 $\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$：$\dfrac{x_0x}{a^2}+\dfrac{y_0y}{b^2}=1$。
• 双曲線 $\dfrac{x^2}{a^2}-\dfrac{y^2}{b^2}=1$：$\dfrac{x_0x}{a^2}-\dfrac{y_0y}{b^2}=1$。
• 放物線 $y^2=4px$：$y_0y=2p(x+x_0)$。

証明（命題 4.2）

楕円：$\Phi=\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}-1$ に $T+\tau\boldsymbol d$ を代入すると、$\Phi(T)=0$ から $2\tau\bigl(\tfrac{x_0d_1}{a^2}+\tfrac{y_0d_2}{b^2}\bigr)+\tau^2\bigl(\tfrac{d_1^2}{a^2}+\tfrac{d_2^2}{b^2}\bigr)$。$B=0$ は $\boldsymbol d\perp\boldsymbol n=\bigl(\tfrac{x_0}{a^2},\tfrac{y_0}{b^2}\bigr)$（$\boldsymbol n\ne\boldsymbol0$）で、直線は $\boldsymbol n\cdot(X-T)=0$、$\boldsymbol n\cdot T=1$ から $\tfrac{x_0x}{a^2}+\tfrac{y_0y}{b^2}=1$。双曲線は $B=2\bigl(\tfrac{x_0d_1}{a^2}-\tfrac{y_0d_2}{b^2}\bigr)$ で、同様に $\boldsymbol n=\bigl(\tfrac{x_0}{a^2},-\tfrac{y_0}{b^2}\bigr)$。放物線は $\Phi=y^2-4px$、$B=2y_0d_2-4pd_1$ で、$\boldsymbol d\perp\boldsymbol n=(2p,-y_0)$、直線 $2p(x-x_0)-y_0(y-y_0)=0$ は $y_0^2=4px_0$ を使って $y_0y=2p(x+x_0)$ です。

∎

定理 4.3（反射の性質）✓

曲線上の点 $P$ における接線の単位法線ベクトルを $\boldsymbol\nu$、単位接線ベクトルを $\boldsymbol t$ とし、$\boldsymbol u_i=\dfrac{F_i-P}{|F_i-P|}$ とする。

1. （楕円）焦点 $F_1,F_2$ について、$\boldsymbol u_1\cdot\boldsymbol\nu=\boldsymbol u_2\cdot\boldsymbol\nu$、$\boldsymbol u_1\cdot\boldsymbol t=-\boldsymbol u_2\cdot\boldsymbol t$。すなわち $F_1$ から出て $P$ で反射する光線は $F_2$ へ向かう（入射角 = 反射角）。
2. （双曲線、右の枝）$\boldsymbol u_1\cdot\boldsymbol\nu=-\boldsymbol u_2\cdot\boldsymbol\nu$、$\boldsymbol u_1\cdot\boldsymbol t=\boldsymbol u_2\cdot\boldsymbol t$。すなわち接線は $\angle F_1PF_2$ を 2 等分する。
3. （放物線 $y^2=4px$、焦点 $F=(p,0)$）軸方向の単位ベクトル $\boldsymbol e=(1,0)$ について $\boldsymbol u\cdot\boldsymbol\nu=\boldsymbol e\cdot\boldsymbol\nu$、$\boldsymbol u\cdot\boldsymbol t=-\boldsymbol e\cdot\boldsymbol t$。すなわち焦点から出た光線は $P$ で反射して軸に平行に進む。

証明（定理 4.3）

(1) $P=(x_0,y_0)$ とし、$\boldsymbol n=\bigl(\tfrac{x_0}{a^2},\tfrac{y_0}{b^2}\bigr)$、$\boldsymbol\tau=\bigl(-\tfrac{y_0}{b^2},\tfrac{x_0}{a^2}\bigr)$（$\boldsymbol n$ を $90^\circ$ 回転したもので $|\boldsymbol\tau|=|\boldsymbol n|$）、$\boldsymbol\nu=\boldsymbol n/|\boldsymbol n|$、$\boldsymbol t=\boldsymbol\tau/|\boldsymbol n|$ とする。接線は $\boldsymbol n\cdot X=1$ なので $\boldsymbol n\cdot(F_i-P)=\boldsymbol n\cdot F_i-1$。$F_{1,2}=(\mp c,0)$ から $\boldsymbol n\cdot F_1-1=-\tfrac{cx_0}{a^2}-1=-\tfrac{a+ex_0}{a}=-\tfrac{|PF_1|}{a}$、同様に $\boldsymbol n\cdot F_2-1=-\tfrac{a-ex_0}a=-\tfrac{|PF_2|}{a}$（定理 2.2 (2) の焦点半径）。したがって $\boldsymbol u_i\cdot\boldsymbol n=-\tfrac1a$（$i=1,2$）で、$\boldsymbol u_1\cdot\boldsymbol\nu=\boldsymbol u_2\cdot\boldsymbol\nu$。接線方向は、$(F_1-P)\cdot\boldsymbol\tau=\bigl((-c-x_0),-y_0\bigr)\cdot\bigl(-\tfrac{y_0}{b^2},\tfrac{x_0}{a^2}\bigr)=y_0\Bigl[\tfrac{c+x_0}{b^2}-\tfrac{x_0}{a^2}\Bigr]=\tfrac{y_0c}{ab^2}(a+ex_0)$（$a^2-b^2=c^2$ を使う）で、$(F_2-P)\cdot\boldsymbol\tau=-y_0\Bigl[\tfrac{c-x_0}{b^2}+\tfrac{x_0}{a^2}\Bigr]=-\tfrac{y_0c}{ab^2}(a-ex_0)$。よって $\boldsymbol u_1\cdot\boldsymbol\tau=\tfrac{y_0c}{ab^2}=-\boldsymbol u_2\cdot\boldsymbol\tau$ で、$\boldsymbol t=\boldsymbol\tau/|\boldsymbol n|$ についても同じ関係です。光線の反射とは、接線方向の成分を保ち法線方向の成分の符号を反転することです。$F_1$ から $P$ に向かう入射方向は $-\boldsymbol u_1$ で、反射した方向は $(-\boldsymbol u_1\cdot\boldsymbol t)\boldsymbol t+(\boldsymbol u_1\cdot\boldsymbol\nu)\boldsymbol\nu=(\boldsymbol u_2\cdot\boldsymbol t)\boldsymbol t+(\boldsymbol u_2\cdot\boldsymbol\nu)\boldsymbol\nu=\boldsymbol u_2$（$\boldsymbol t,\boldsymbol\nu$ は正規直交基底）。すなわち $F_2$ へ向かいます。

(2) $\boldsymbol n=\bigl(\tfrac{x_0}{a^2},-\tfrac{y_0}{b^2}\bigr)$、$\boldsymbol\tau=\bigl(\tfrac{y_0}{b^2},\tfrac{x_0}{a^2}\bigr)$。右の枝（$x_0\ge a$）では $|PF_1|=ex_0+a$、$|PF_2|=ex_0-a$。$\boldsymbol n\cdot F_1-1=-\tfrac{cx_0}{a^2}-1=-\tfrac{|PF_1|}a$、$\boldsymbol n\cdot F_2-1=\tfrac{cx_0}{a^2}-1=\tfrac{|PF_2|}a$ から $\boldsymbol u_1\cdot\boldsymbol n=-\tfrac1a=-\boldsymbol u_2\cdot\boldsymbol n$。接線方向は $(F_1-P)\cdot\boldsymbol\tau=-\tfrac{y_0c}{ab^2}|PF_1|$、$(F_2-P)\cdot\boldsymbol\tau=-\tfrac{y_0c}{ab^2}|PF_2|$（$b^2=c^2-a^2$ を使う）なので $\boldsymbol u_1\cdot\boldsymbol\tau=\boldsymbol u_2\cdot\boldsymbol\tau$。

(3) $P=(x_0,y_0)$、$\boldsymbol n=(2p,-y_0)$（命題 4.2）、$\boldsymbol\tau=(y_0,2p)$、$|PF|=x_0+p$（定理 2.2 (1) の定義）。$(F-P)\cdot\boldsymbol n=2p(p-x_0)+y_0^2=2p(p+x_0)$ なので $\boldsymbol u\cdot\boldsymbol n=2p=\boldsymbol e\cdot\boldsymbol n$。$(F-P)\cdot\boldsymbol\tau=(p-x_0)y_0-2py_0=-y_0(p+x_0)$ なので $\boldsymbol u\cdot\boldsymbol\tau=-y_0=-\boldsymbol e\cdot\boldsymbol\tau$。$|\boldsymbol n|=|\boldsymbol\tau|$ で割れば単位ベクトルの主張です。入射方向 $-\boldsymbol u$ の反射方向は、(1) と同じく $(-\boldsymbol u\cdot\boldsymbol t)\boldsymbol t+(\boldsymbol u\cdot\boldsymbol\nu)\boldsymbol\nu=(\boldsymbol e\cdot\boldsymbol t)\boldsymbol t+(\boldsymbol e\cdot\boldsymbol\nu)\boldsymbol\nu=\boldsymbol e$ で、軸に平行（$x$ 軸の正の向き）です。

∎

楕円の反射の性質：焦点 F₁ を出た光線は P で反射して F₂ へ向かう。実線は接線

5. 媒介変数表示と極方程式

次の命題で使う $\cosh t$、$\sinh t$ は双曲線関数とよばれ、$\cos t$、$\sin t$ が単位円 $X^2+Y^2=1$ を表すのと同じように、$\cosh t$、$\sinh t$ は双曲線 $X^2-Y^2=1$ の右半分（$X>0$）を表します。つまり楕円には三角関数、双曲線には双曲線関数、というそれぞれの媒介変数を当てはめる、という対応です。

命題 5.1（媒介変数表示）✓

1. 楕円 $\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$ の点は、$(a\cos\theta,\ b\sin\theta)$（$0\le\theta<2\pi$）の形にただ 1 通りに書ける。
2. 双曲線 $\dfrac{x^2}{a^2}-\dfrac{y^2}{b^2}=1$ の右の枝（$x>0$）の点は、$(a\cosh t,\ b\sinh t)$（$t\in\mathbb{R}$）の形にただ 1 通りに書け、左の枝は $(-a\cosh t,\ b\sinh t)$。
3. 放物線 $y^2=4px$ の点は、$(pt^2,\ 2pt)$（$t\in\mathbb{R}$）の形にただ 1 通りに書ける。

証明（命題 5.1）

(1) $(x/a,y/b)$ は単位円周上の点で、単位円の媒介変数表示（定理 7.4）［指数・対数・三角関数をきちんと定義する］ により $(\cos\theta,\sin\theta)$、$\theta\in[0,2\pi)$ とただ 1 通りに書けます。(2) $(x/a,y/b)$ は $X^2-Y^2=1$ の点で、$X>0$ なら 双曲線関数の恒等式と媒介変数表示（命題 11.2）［指数・対数・三角関数をきちんと定義する］ (4) により $(\cosh t,\sinh t)$ とただ 1 通りに書けます。$X<0$ は $x\mapsto-x$ の対称移動です。(3) $t=y/(2p)$ とすると $x=y^2/(4p)=pt^2$ で、$t\mapsto(pt^2,2pt)$ は全単射です。

∎

定理 5.2（焦点を原点とする極方程式）✓

焦点 $F=(0,0)$、準線 $x=q$（$q>0$）、$e>0$ の $\mathcal{C}_e$（定理 3.1）について、$l=eq$（半直弦）とおく。極座標 $P=(r\cos\theta,\ r\sin\theta)$（$r>0$）の点で

$$r=\frac{l}{1+e\cos\theta}\qquad(1+e\cos\theta>0)$$

を満たすものの全体は、$\mathcal{C}_e$ のうち準線より左側（$x<q$）にある部分である。$e<1$ のとき $\mathcal{C}_e$ はすべて $x<q$ にあるので、この式が楕円全体を表す。楕円では $r$ の最小値は $\dfrac{l}{1+e}=a(1-e)$（$\theta=0$）、最大値は $\dfrac{l}{1-e}=a(1+e)$（$\theta=\pi$）で、$l=\dfrac{b^2}{a}$ である。

証明（定理 5.2）

準線 $x=q$ を $\ell$ と書く（$l$ は半直弦の記号に使う）。$x<q$ の点では $\operatorname{dist}(P,\ell)=q-x=q-r\cos\theta$。したがって $|PF|=e\operatorname{dist}(P,\ell)$、すなわち $r=e(q-r\cos\theta)$ は $r(1+e\cos\theta)=eq=l$ と同値です。逆に $r>0$、$r(1+e\cos\theta)=l$ なら $q-r\cos\theta=r/e>0$ で $x<q$ です。$e<1$ のとき、$x\ge q$ の点は $\mathcal{C}_e$ にありません：$x\ge q>0$ なら $|PF|\ge x>x-q\ge e(x-q)=e\operatorname{dist}(P,\ell)$（$x-q\ge0$ と $e<1$ から）。最小値・最大値は分母の最大・最小で、$\theta=0$ で $\cos=1$、$\theta=\pi$ で $\cos=-1$。$l=eq=e\cdot\dfrac{a(1-e^2)}{e}=a(1-e^2)=\dfrac{b^2}a$（定理 3.1 の $a$ と $b^2=a^2(1-e^2)$）です。

∎

太陽を焦点とする惑星の軌道は、$e<1$ ならこの式で表される楕円です（Kepler の第 1 法則）。$e=1$ は放物線軌道、$e>1$ は双曲線軌道（彗星など）です。軌道がなぜ 2 次曲線になるかは、力学（mechanics）の Kepler 問題で、中心力の下の運動方程式から導かれます。

極方程式で表される曲線：心臓形 r = a(1 + cos θ)、アルキメデスの螺旋 r = aθ、バラ曲線 r = a cos 2θ

例 5.3（いろいろな極方程式）

心臓形 $r=a(1+\cos\theta)$：両辺に $r$ をかけて $r^2-ar=ax$（$r\cos\theta=x$）、したがって $(x^2+y^2-ax)^2=a^2(x^2+y^2)$ を満たします。アルキメデスの螺旋 $r=a\theta$ は、$\theta$ が増える（半径が角に比例して増える）一定の幅の渦巻きです。バラ曲線 $r=a\cos2\theta$ は花びらが 4 枚、$r=a\cos3\theta$ は 3 枚です。レムニスケート $r^2=a^2\cos2\theta$ は $(x^2+y^2)^2=a^2(x^2-y^2)$ で、横向きの「8 の字」です。対数螺旋 $r=ae^{b\theta}$ は、動径と接線のなす角が一定です。これらは $x,y$ の代数方程式にもなりますが、極座標のほうが簡潔です。

6. 一般の 2 次曲線の分類

ここでの考え方は、$xy$ の項を含む一般の 2 次式を、座標軸を回して $x'^2$ と $y'^2$ だけの形に直し、あとは平方完成で標準形に持ち込むことです。座標軸を回す部分には、2 次形式の対角化（線形代数）を使います。証明を追うには線形代数の知識が要りますが、結論の判別式 $\Delta=B^2-4AC$ の符号による分類だけでも、例（次の例）で使えます。

定理 6.1（2 次曲線の分類）✓

実数 $A,B,C,D,E,F$（$(A,B,C)\ne(0,0,0)$）に対し、$\Gamma=\{(x,y)\mid Ax^2+Bxy+Cy^2+Dx+Ey+F=0\}$、$\Delta=B^2-4AC$ とする。座標軸を（直交座標変換と平行移動で）適切にとり直すと、$\Gamma$ は次のいずれかである。

• $\Delta<0$：楕円（円を含む）、1 点、空集合のいずれか。
• $\Delta>0$：双曲線、または交わる 2 直線。
• $\Delta=0$：放物線、平行な 2 直線、1 本の直線、空集合のいずれか。

証明（定理 6.1）

2 次の部分は $\boldsymbol x^{\mathsf T}Q\boldsymbol x$、$Q=\begin{pmatrix}A&B/2\\B/2&C\end{pmatrix}$（2 次形式（定義 6.1）［スペクトル定理］）で、$Q\ne0$ は実対称行列です。実対称行列の直交対角化（系 4.3）［スペクトル定理］ により、直交行列 $P$ で $P^{\mathsf T}QP=\operatorname{diag}(\lambda_1,\lambda_2)$ となるものがあります。座標を $\boldsymbol x=P\boldsymbol x'$ に取りかえる（長さを保つ）と、方程式は

$$\lambda_1x'^2+\lambda_2y'^2+D'x'+E'y'+F=0$$

の形です。$\det P=\pm1$（行列式の積（定理 6.1）［行列式とその性質］ と $P^{\mathsf T}P=I$）なので $\lambda_1\lambda_2=\det Q=\dfrac{4AC-B^2}{4}=-\dfrac\Delta4$、また $Q\ne0$ なので $\lambda_1,\lambda_2$ は両方 $0$ ではありません。

$\Delta<0$（$\lambda_1\lambda_2>0$）。 平方完成して $\lambda_1X^2+\lambda_2Y^2=G$（$X=x'+\tfrac{D'}{2\lambda_1}$、$Y=y'+\tfrac{E'}{2\lambda_2}$）。両方負なら $-1$ 倍して $\lambda_i>0$ としてよい。$G>0$ なら $\dfrac{X^2}{G/\lambda_1}+\dfrac{Y^2}{G/\lambda_2}=1$ で楕円（定理 2.2 (2)。長軸が $Y$ 方向なら $X,Y$ を入れ替える）、$G=0$ なら 1 点 $X=Y=0$、$G<0$ なら空集合。

$\Delta>0$（$\lambda_1\lambda_2<0$）。 同じく $\lambda_1X^2+\lambda_2Y^2=G$ で、$\lambda_1>0>\lambda_2$ としてよい。$G>0$ なら $\dfrac{X^2}{G/\lambda_1}-\dfrac{Y^2}{G/|\lambda_2|}=1$、$G<0$ なら $\dfrac{Y^2}{|G|/|\lambda_2|}-\dfrac{X^2}{|G|/\lambda_1}=1$ で、いずれも標準形の双曲線（後者は $X,Y$ を入れ替える）、$G=0$ なら $\lambda_1X^2=|\lambda_2|Y^2$ で原点で交わる 2 直線 $Y=\pm\sqrt{\lambda_1/|\lambda_2|}\,X$。

$\Delta=0$。 $\lambda_1\lambda_2=0$ で一方だけが $0$ なので、$\lambda_2=0$、$\lambda_1\ne0$ としてよい（入れ替える）。方程式は $\lambda_1x'^2+D'x'+E'y'+F=0$、平方完成して $\lambda_1X^2+E'y'+F'=0$（$X=x'+\tfrac{D'}{2\lambda_1}$、$F'=F-\tfrac{D'^2}{4\lambda_1}$）。$E'\ne0$ なら $Y=y'+F'/E'$ として $X^2=-\dfrac{E'}{\lambda_1}Y$、これは $X^2=4p'Y$（$p'=-\tfrac{E'}{4\lambda_1}\ne0$）の放物線（定理 2.2 (1) の $x$ と $y$ を入れ替え、必要なら鏡映で $p'>0$ とする）。$E'=0$ なら $X^2=-F'/\lambda_1$ で、$-F'/\lambda_1>0$ なら平行な 2 直線 $X=\pm\sqrt{\cdot}$、$=0$ なら 1 本の直線 $X=0$、$<0$ なら空集合です。

∎

例 6.2（判別式による分類の例）

$5x^2-6xy+5y^2=8$：$\Delta=36-100<0$。$Q=\begin{pmatrix}5&-3\\-3&5\end{pmatrix}$ の固有値は $\lambda^2-10\lambda+16=0$ から $2,8$（固有ベクトル $(1,1)/\sqrt2$、$(1,-1)/\sqrt2$）、$X=\tfrac{x-y}{\sqrt2}$、$Y=\tfrac{x+y}{\sqrt2}$ で $8X^2+2Y^2=8$、すなわち $X^2+\dfrac{Y^2}{4}=1$ の楕円（半軸 $1$ と $2$、長軸は直線 $y=x$ の方向）。$x^2-4xy+4y^2-6x+12y+8=0$：$\Delta=16-16=0$、$u=x-2y$ とすると $u^2-6u+8=(u-2)(u-4)=0$ で、平行な 2 直線 $x-2y=2$、$x-2y=4$ です。

7. 共役直径と内接三角形

この節の後半は、楕円に内接する三角形の面積の最大値を求める問題です。楕円は円を縦横に伸ばしたものなので、面積が一定倍されることを使って円の場合に帰着させ、円の場合は正三角形が最大になることを三角関数の不等式で示します。

定理 7.1（共役直径（Apollonius の定理））✓

楕円 $\mathcal{E}:\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$ と方向ベクトル $\boldsymbol d\ne\boldsymbol 0$ について、次が成り立つ。

1. $\boldsymbol d$ に平行な弦の中点は、すべて原点を通る直線 $\dfrac{d_1x}{a^2}+\dfrac{d_2y}{b^2}=0$ 上にある。
2. $P=(a\cos\theta,\ b\sin\theta)$ における接線は $\boldsymbol d_P=(-a\sin\theta,\ b\cos\theta)$ に平行で、$Q=(-a\sin\theta,\ b\cos\theta)$ も楕円上の点である。$\boldsymbol d_P$ に平行な弦の中点の軌跡は直線 $OP$ 上にある（$OP$ と $OQ$ を共役な半径という）。
3. $|OP|^2+|OQ|^2=a^2+b^2$、$\ |\det(\overrightarrow{OP},\overrightarrow{OQ})|=ab$。すなわち、共役な半径の 2 乗の和と、それらが作る平行四辺形の面積は、$\theta$ によらない。

証明（定理 7.1）

(1) 弦の中点を $M$、$\Phi=\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}-1$ として、$M+\tau\boldsymbol d$ を $\Phi=0$ に代入すると $\tau^2\Bigl(\tfrac{d_1^2}{a^2}+\tfrac{d_2^2}{b^2}\Bigr)+2\tau\Bigl(\tfrac{M_1d_1}{a^2}+\tfrac{M_2d_2}{b^2}\Bigr)+\Phi(M)=0$。弦の両端に対応する 2 解は $M$ が中点なので和が $0$（$\tau=\pm\tau_0$）で、1 次の係数が $0$ です。

(2) 命題 4.2 の法線ベクトルは $\boldsymbol n=\bigl(\tfrac{\cos\theta}{a},\tfrac{\sin\theta}{b}\bigr)$ で、これに垂直な方向は $(-\tfrac{\sin\theta}{b},\tfrac{\cos\theta}{a})$、$ab$ 倍して $\boldsymbol d_P$。$Q$ は $\cos^2+\sin^2=1$ から楕円上にある。(1) で $\boldsymbol d=\boldsymbol d_P$ とすると、中点の軌跡の直線は $-\tfrac{\sin\theta}{a}x+\tfrac{\cos\theta}{b}y=0$ で、$P=(a\cos\theta,b\sin\theta)$ を代入すると $-\sin\theta\cos\theta+\cos\theta\sin\theta=0$ なので $OP$ 上の直線です。

(3) $|OP|^2+|OQ|^2=a^2(\cos^2\theta+\sin^2\theta)+b^2(\sin^2\theta+\cos^2\theta)=a^2+b^2$。$\det(\overrightarrow{OP},\overrightarrow{OQ})=a\cos\theta\cdot b\cos\theta-b\sin\theta\cdot(-a\sin\theta)=ab$ です。

∎

定理 7.2（楕円に内接する三角形の最大面積）✓

楕円 $\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1$ 上の 3 点を頂点とする三角形の面積は $\dfrac{3\sqrt3}{4}ab$ 以下で、単位円に内接する正三角形の頂点を $(x,y)\mapsto(ax,by)$ で写した 3 点を頂点とする三角形で等号が成り立つ。

証明（定理 7.2）

円への帰着。 線形写像 $L(x,y)=(ax,by)$ は、単位円を楕円に写し、$\det(L\boldsymbol u,L\boldsymbol v)=ab\det(\boldsymbol u,\boldsymbol v)$（成分で確かめる）なので、三角形の符号付き面積（符号付き面積（定義 6.1）［平面ベクトルと座標］）は $S(LP,LQ,LR)=ab\,S(P,Q,R)$ と $ab$ 倍されます。したがって単位円に内接する三角形の面積が $\tfrac{3\sqrt3}4$ 以下であることを示せば十分です。

単位円の場合。 3 点を $P=(\cos\alpha,\sin\alpha)$、$Q=(\cos\beta,\sin\beta)$、$R=(\cos\gamma,\sin\gamma)$、$\alpha<\beta<\gamma<\alpha+2\pi$ とし、$A=\beta-\alpha$、$B=\gamma-\beta$、$C=\alpha+2\pi-\gamma$（すべて $(0,2\pi)$ の数で $A+B+C=2\pi$）とする。$\det(P,Q)=\sin(\beta-\alpha)$ などから（加法定理）、符号付き面積の性質と三角形の面積（命題 6.2）［平面ベクトルと座標］ (1) により $2S(P,Q,R)=\sin A+\sin B+\sin C$（$\sin(\alpha-\gamma)=\sin(C-2\pi)=\sin C$）。

補題：$x,y\in[0,\pi]$ なら $\sin x+\sin y\le2\sin\dfrac{x+y}2$。和積の公式（積和の公式と和積の公式（系 4.3）［三角関数］）により $\sin x+\sin y=2\sin\tfrac{x+y}2\cos\tfrac{x-y}2$ で、$\tfrac{x+y}{2}\in[0,\pi]$ から $\sin\tfrac{x+y}2\ge0$（周期性と基本的な対称性（定理 7.3）［指数・対数・三角関数をきちんと定義する］ (3)）、$\cos\le1$ です。これを 2 回使うと、$x_1,\dots,x_4\in[0,\pi]$ について $\sum\sin x_i\le4\sin\tfrac{x_1+\cdots+x_4}4$。$x,y,z\in[0,\pi]$、$m=\tfrac{x+y+z}3$ に $(x,y,z,m)$ を適用すると $\sin x+\sin y+\sin z\le3\sin m$。

(i) $A,B,C\le\pi$ のとき、補題で $\sin A+\sin B+\sin C\le3\sin\tfrac{2\pi}3=\tfrac{3\sqrt3}2$（$\sin\tfrac{2\pi}3=\sin\tfrac\pi3=\tfrac{\sqrt3}2$、特別な角の三角関数の値（命題 3.2）［三角関数］ と 三角関数の基本性質（命題 3.1）［三角関数］ (3)）。(ii) どれか（たとえば $C$）が $\pi$ を超えるとき、$A+B<\pi$ で $\sin C=-\sin(A+B)$、$\sin A+\sin B-\sin(A+B)=\sin A(1-\cos B)+\sin B(1-\cos A)>0$ かつ $<\sin A+\sin B\le2<\tfrac{3\sqrt3}2$。どちらの場合も $0<2S\le\tfrac{3\sqrt3}{2}$。$A=B=C=\tfrac{2\pi}3$（正三角形）で等号が成り立つので、面積の最大値は $\tfrac{3\sqrt3}4$ です。

∎

8. 大学ではどこへ続くか

2 次形式と主軸定理（linear-algebra）は、2 次曲線の分類を $n$ 変数に拡張します（2 次超曲面の分類）。射影平面（algebraic-geometry。平行線も無限遠で交わると考える平面）で見ると、楕円・放物線・双曲線は、無限遠直線との交わり方（交わらない・接する・2 点で交わる）が違うだけの同じ 1 種類の曲線（射影的 2 次曲線）です。接線の反射の性質と極方程式は、力学（mechanics）の Kepler 問題で、中心力の下の運動の軌道として再登場し、楕円積分（楕円の周長が初等関数で書けないこと）は解析学（special-functions）の楕円関数へ続きます。共役直径の定理の不変量（$|OP|^2+|OQ|^2$）は、線形写像の特異値の考え方の原型です。

9. 演習

演習 9.1易

楕円 $\dfrac{x^2}9+\dfrac{y^2}4=1$ の焦点と離心率を求め、点 $(0,2)$ から 2 つの焦点までの距離の和が $6$ であることを確かめよ。

解答

$a=3$、$b=2$、$c=\sqrt{9-4}=\sqrt5$、焦点 $(\pm\sqrt5,0)$、$e=\tfrac{\sqrt5}3$（定理 2.2 (2)）。点 $(0,2)$ から各焦点までの距離は $\sqrt{5+4}=3$ で、和は $6=2a$。

演習 9.2標準

双曲線 $\dfrac{x^2}9-\dfrac{y^2}{16}=1$ 上の点 $P\bigl(5,\tfrac{16}3\bigr)$ における接線を求め、接線が $\angle F_1PF_2$ の 2 等分線であることを、焦点 $F_1(-5,0)$、$F_2(5,0)$ から接線までの距離の比で確かめよ。

解答

命題 4.2 により $\dfrac{5x}{9}-\dfrac{16}{3}\cdot\dfrac{y}{16}=1$、すなわち $5x-3y=9$。$|PF_2|=\tfrac{16}3$、$|PF_1|=\sqrt{100+\tfrac{256}9}=\tfrac{34}3$。接線 $5x-3y-9=0$ までの距離は 点と直線の距離（定理 2.2）［図形と方程式］ により、$F_1$ から $\tfrac{|-25-9|}{\sqrt{34}}=\tfrac{34}{\sqrt{34}}$、$F_2$ から $\tfrac{|25-9|}{\sqrt{34}}=\tfrac{16}{\sqrt{34}}$。距離の比 $34:16$ は $|PF_1|:|PF_2|=\tfrac{34}3:\tfrac{16}3$ に等しく、したがって各焦点から見た接線との角の正弦が等しい。また $5x-3y-9$ の値は $F_1$ で $-34<0$、$F_2$ で $16>0$ なので 2 つの焦点は接線の反対側にあり、接線は $\angle F_1PF_2$ を 2 等分します（定理 4.3 (2)）。

演習 9.3標準

焦点を原点とする曲線 $r=\dfrac{3}{1+\frac12\cos\theta}$ の離心率・半直弦・最小値と最大値を求め、楕円の $a,b,c$ を求めよ。

解答

定理 5.2 の形で $e=\tfrac12$、$l=3$。$r_{\min}=\tfrac{3}{1+1/2}=2$（$\theta=0$）、$r_{\max}=\tfrac{3}{1-1/2}=6$（$\theta=\pi$）。$2a=r_{\min}+r_{\max}=8$、$a=4$。$c=ea=2$、$b^2=a^2-c^2=12$。確かめると $l=\tfrac{b^2}a=3$ です。

演習 9.4標準

$x^2+2xy+y^2-4x-4y+3=0$ の表す図形を、定理 6.1 の方法で分類せよ。

解答

$\Delta=4-4=0$。$u=x+y$ とすると $u^2-4u+3=(u-1)(u-3)=0$ で、平行な 2 直線 $x+y=1$ と $x+y=3$（定理 6.1 の $\Delta=0$、$E'=0$ の場合）。固有値は $Q=\begin{pmatrix}1&1\\1&1\end{pmatrix}$ から $2$ と $0$ で、直交座標 $X=\tfrac{x+y}{\sqrt2}$ では $2X^2-4\sqrt2X+3=0$ となり、$X=\tfrac1{\sqrt2},\ \tfrac3{\sqrt2}$ です。

参考文献

• David Hilbert, Stefan Cohn-Vossen, Geometry and the Imagination, Chelsea, 1952 — 円錐曲線・Dandelin 球に関する章。
• H. S. M. Coxeter, Introduction to Geometry, 2nd ed., Wiley, 1969 — 円錐曲線に関する章。
• Robin Hartshorne, Geometry: Euclid and Beyond, Springer, 2000 — 円と 2 次曲線に関する章。
• V. I. Arnold, Mathematical Methods of Classical Mechanics, 2nd ed., Springer, 1989 — Kepler 問題に関する章。