座標與解析幾何：用代數的尺規重新畫出圓錐曲線

把尺規放下，改用座標來「算」出一個圓

想像你是一位古希臘的幾何學家：要證明「兩條直徑互相平分」，你得在沙地上小心地畫圖、量角、比對全等三角形。整套推理優雅，卻每一步都依賴圖形的直覺與耐心。

現在換一種玩法。我們在平面上鋪一張座標格網，給每個點貼上一對數字 $(x, y)$。突然間，「圓」不再是一條畫出來的曲線，而是一條方程式：

$$ x^2 + y^2 = r^2 $$

「直線通過某兩點」變成解一組聯立方程；「兩直線垂直」變成兩個斜率相乘等於 $-1$。幾何問題被翻譯成代數問題，而代數可以機械化地計算——這正是十七世紀笛卡兒（René Descartes）與費馬（Pierre de Fermat）帶來的革命。這個把「圖形」與「方程式」連起來的領域，就是解析幾何（analytic geometry），也常稱為座標幾何（coordinate geometry）。

這篇文章，我們就用代數這把新尺規，重新認識直線、圓，以及更迷人的圓錐曲線（conic sections）。

從兩點到一條直線：距離、斜率與方程式

座標幾何的第一塊基石，是把「點與點之間的關係」翻譯成算式。

給定兩點 $A(x_1, y_1)$ 與 $B(x_2, y_2)$，距離公式（distance formula） 直接來自畢氏定理（Pythagorean theorem）——把水平差與垂直差當成直角三角形的兩股：

$$ \overline{AB} = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} $$

中點（midpoint） 則是兩端座標各自取平均：

$$ M = \left( \frac{x_1 + x_2}{2}, \ \frac{y_1 + y_2}{2} \right) $$

而直線的「陡峭程度」由斜率（slope） 刻畫：

$$ m = \frac{y_2 - y_1}{x_2 - x_1} \quad (x_1 \neq x_2) $$

有了斜率與一個通過的點，就能寫出點斜式（point-slope form）：$y - y_1 = m(x - x_1)$，整理後得到熟悉的 $y = mx + b$。

兩條直線的關係也變得純代數：斜率相同（$m_1 = m_2$）即平行（parallel）；斜率乘積為 $-1$（$m_1 m_2 = -1$）即垂直（perpendicular）。古希臘人要靠全等三角形論證的事，我們現在只要比兩個數字。

圓：到定點等距的所有點

接著看圓。圓（circle） 的幾何定義是「到一個定點（圓心）距離固定（半徑）的所有點」。把這句話用距離公式翻譯：圓心 $(h, k)$、半徑 $r$，則點 $(x, y)$ 在圓上的條件是

$$ \sqrt{(x - h)^2 + (y - k)^2} = r $$

兩邊平方，得到圓的標準式（standard form）：

$$ (x - h)^2 + (y - k)^2 = r^2 $$

實務上，圓常以一般式（general form） 出現：$x^2 + y^2 + Dx + Ey + F = 0$。要找出圓心與半徑，我們用配方法（completing the square） 把它還原成標準式。

看一個例子：把一般式還原成圓心半徑

考慮方程式

$$ x^2 + y^2 - 6x + 4y - 12 = 0 $$

先把 $x$ 項與 $y$ 項分組，常數移到右邊：

$$ (x^2 - 6x) + (y^2 + 4y) = 12 $$

對 $x$ 配方：$x^2 - 6x$ 需補上 $\left(\frac{-6}{2}\right)^2 = 9$。對 $y$ 配方：$y^2 + 4y$ 需補上 $\left(\frac{4}{2}\right)^2 = 4$。兩邊同時加上 $9$ 與 $4$：

$$ (x^2 - 6x + 9) + (y^2 + 4y + 4) = 12 + 9 + 4 $$

$$ (x - 3)^2 + (y + 2)^2 = 25 $$

讀出來：圓心在 $(3, -2)$，半徑 $r = \sqrt{25} = 5$。整個過程沒有畫一筆圖，純粹是代數運算——這就是解析幾何的威力。

圓錐曲線：一個族系，四種面貌

圓只是冰山一角。如果你拿一個圓錐，用平面以不同角度去切，截面會得到圓、橢圓、拋物線、雙曲線——它們合稱圓錐曲線（conic sections）。神奇的是，這四種曲線都能寫成同一個二次方程式的特例：

$$ Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0 $$

當 $B = 0$（無交叉項）時，由 $A$、$C$ 的關係就能判別曲線類型。我們逐一來看。

橢圓（ellipse） 是「到兩個定點（焦點，foci）距離之和為定值」的點集。中心在原點、長軸沿 $x$ 軸的橢圓標準式為：

$$ \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 \quad (a > b > 0) $$

其中 $a$ 是半長軸、$b$ 是半短軸，焦點位於 $(\pm c, 0)$，且 $c^2 = a^2 - b^2$。行星繞太陽的軌道正是橢圓（克卜勒第一定律），太陽就坐在其中一個焦點上。

拋物線（parabola） 是「到一個定點（焦點）與一條定直線（準線，directrix）等距」的點集。開口向上、頂點在原點的標準式為：

$$ x^2 = 4py $$

這裡 $p$ 是頂點到焦點的距離。投籃的軌跡、衛星天線的剖面都是拋物線——天線之所以做成拋物面，是因為平行入射的訊號會被反射並全部匯聚到焦點。

雙曲線（hyperbola） 則是「到兩焦點距離之差的絕對值為定值」的點集：

$$ \frac{x^2}{a^2} - \frac{y^2}{b^2} = 1 $$

它有兩條漸近線（asymptotes）$y = \pm \frac{b}{a} x$，曲線越往遠處越貼近這對直線卻永不相交。

動手試試：判別並描繪一條橢圓

給你方程式 $9x^2 + 25y^2 = 225$，請判斷它是哪種圓錐曲線，並找出長短軸與焦點。

第一步，兩邊同除以 $225$，把右邊化成 $1$：

$$ \frac{9x^2}{225} + \frac{25y^2}{225} = 1 \quad\Longrightarrow\quad \frac{x^2}{25} + \frac{y^2}{9} = 1 $$

對照標準式，$a^2 = 25$、$b^2 = 9$，所以 $a = 5$、$b = 3$。因為 $x^2$ 的分母較大，長軸沿 $x$ 軸：頂點在 $(\pm 5, 0)$，短軸端點在 $(0, \pm 3)$。

第二步，求焦點。由 $c^2 = a^2 - b^2 = 25 - 9 = 16$，得 $c = 4$，焦點在 $(\pm 4, 0)$。

第三步，順手算離心率（eccentricity） $e = \frac{c}{a} = \frac{4}{5} = 0.8$。離心率衡量橢圓有多「扁」：$e$ 越接近 $0$ 越圓，越接近 $1$ 越扁長。當 $e = 0$ 退化成圓，$e = 1$ 是拋物線，$e > 1$ 則是雙曲線——離心率把整個圓錐曲線族系用單一參數串了起來。

統一的視角：用離心率看穿整個族系

前面我們對橢圓、拋物線、雙曲線各給了不同定義，似乎彼此獨立。但其實有一個統一定義，能把它們一網打盡：

給定一個焦點 $F$ 與一條準線 $\ell$，所有滿足「到焦點距離 ÷ 到準線距離 $= e$（常數）」的點，構成一條圓錐曲線。

用式子寫，若點 $P$ 到焦點距離為 $\overline{PF}$、到準線距離為 $d(P, \ell)$，則

$$ \frac{\overline{PF}}{d(P, \ell)} = e $$

• $0 < e < 1$：橢圓
• $e = 1$：拋物線
• $e > 1$：雙曲線

同一個機制，只是調一個旋鈕 $e$，就在四種曲線之間平滑變換。這種「用一個參數統一一族對象」的思路，在數學裡反覆出現，也是解析幾何最優雅的地方之一。

重點回顧

• 核心翻譯：解析幾何把幾何物件（點、線、曲線）對應成座標與方程式，讓我們能用代數計算幾何，而非僅靠圖形直覺。距離公式 $\sqrt{(x_2-x_1)^2 + (y_2-y_1)^2}$ 是這套翻譯的起點。
• 直線關係代數化：平行 $\Leftrightarrow m_1 = m_2$，垂直 $\Leftrightarrow m_1 m_2 = -1$；複雜的幾何論證被化簡成比較數字。
• 配方法是還原圓與圓錐曲線的關鍵技巧：把一般式 $x^2 + y^2 + Dx + Ey + F = 0$ 配方成標準式，即可直接讀出圓心與半徑。
• 四種圓錐曲線同源：圓、橢圓、拋物線、雙曲線都是二次方程式 $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$ 的特例，且可由離心率 $e$ 這單一參數統一描述。
• 常見迷思澄清：橢圓中 $c^2 = a^2 - b^2$（焦距小於半長軸），但雙曲線是 $c^2 = a^2 + b^2$（焦距大於 $a$）——兩者符號相反，容易搞混，務必分清。

深入探討（研究所視角）

二次型與不變量：旋轉如何被「看穿」

當一般二次式含有交叉項 $Bxy$（$B \neq 0$）時，圓錐曲線的軸並未對齊座標軸——它被旋轉過了。要分類這類曲線，線性代數提供了極漂亮的工具。把二次部分寫成二次型（quadratic form）：

$$ \begin{pmatrix} x & y \end{pmatrix} \begin{pmatrix} A & B/2 \\ B/2 & C \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = Ax^2 + Bxy + Cy^2 $$

中間那個對稱矩陣 $M = \begin{pmatrix} A & B/2 \\ B/2 & C \end{pmatrix}$ 是關鍵。它的判別式（discriminant） $B^2 - 4AC$（等於 $-4\det M$）在任何旋轉之下都不變（invariant），因此可直接分類：

• $B^2 - 4AC < 0$：橢圓型（含圓）
• $B^2 - 4AC = 0$：拋物線型
• $B^2 - 4AC > 0$：雙曲線型

更深入地，$M$ 是實對稱矩陣，由譜定理（spectral theorem） 必可正交對角化：存在旋轉 $\mathbf{x} = Q\mathbf{x}'$（$Q$ 為正交矩陣）使二次型化為 $\lambda_1 x'^2 + \lambda_2 y'^2$，其中 $\lambda_1, \lambda_2$ 是 $M$ 的特徵值（eigenvalues），而旋轉軸方向正是對應的特徵向量（eigenvectors）。兩特徵值同號給橢圓、異號給雙曲線、有一個為零給拋物線——前面的判別式判別法，本質上就是在問特徵值的符號。解析幾何於是與線性代數的譜理論完美接軌。

射影幾何：讓三種曲線真正「合而為一」

在歐氏平面上，橢圓、拋物線、雙曲線終究是三種不同的曲線。但若我們進入射影平面（projective plane） $\mathbb{P}^2$，引入「無窮遠點（points at infinity）」，三者的差別會徹底消融：所有非退化圓錐曲線在射影變換下都等價。差別只在於曲線與「無窮遠直線」相交的方式——橢圓不相交、拋物線相切、雙曲線交於兩點。用齊次座標 $[X : Y : Z]$ 把方程式齊次化為 $Ax^2 + \cdots = 0$ 的二次曲線後，這個統一性會以最乾淨的形式呈現。這也呼應前面「離心率統一族系」的直覺，只是提升到更高的抽象層次。

微分幾何與物理的連結

從微分幾何（differential geometry） 看，圓錐曲線是常曲率與焦點結構交織的產物，其反射性質（拋物面聚焦平行光、橢圓兩焦點互為反射像）可由切線的法向量分析嚴格推導，這正是探照燈、雷達天線、低溫碎石術（lithotripsy，利用橢圓聚焦原理擊碎結石）的數學基礎。在物理上，克卜勒（Kepler）軌道之所以是圓錐曲線，源自平方反比力場下的Laplace–Runge–Lenz 向量守恆——軌道的離心率、長軸方向都被這個額外守恆量鎖定。一條高中時學的橢圓方程式，最終連向天體力學的對稱性與守恆律，這正是解析幾何作為「橋樑」最動人的展現。