直線與圓的方程式

解析幾何是高中數學最精彩的部分之一，它讓我們可以用代數的方法來處理幾何問題。一條直線可以用一個一次方程式來描述，一個圓可以用一個二次方程式來描述。當幾何問題翻譯成方程式之後，很多看起來複雜的證明和計算就變成了純粹的代數操作。這篇文章會介紹直線和圓的各種表達方式，以及它們之間的關係。

一、直線方程式的各種形式

直線是一次函數的圖形，它的方程式都是 x 和 y 的一次方程式。不過，同一條直線可以用不同的方式來表達，每種表達方式在不同場合各有方便之處。

斜截式是最常見的形式：y = mx + b。其中 m 是斜率，b 是 y 軸截距（直線與 y 軸相交點的 y 座標）。這個形式的優點是直觀，斜率和截距一目了然。缺點是當直線垂直於 x 軸（斜率不存在）時無法使用。

點斜式：y - y₁ = m(x - x₁)。當我們知道直線經過某一點 (x₁, y₁) 以及斜率 m 時使用這個形式。這個形式可以說是斜截式的推廣，因為當 (x₁, y₁) 恰好是 y 軸截距點 (0, b) 時，點斜式就變回了斜截式。

兩點式：當我們知道直線經過兩點 (x₁, y₁) 和 (x₂, y₂) 時，可以使用這個形式。但實際上這個形式很少直接使用——更好的做法是先由兩點求出斜率 m = (y₂ - y₁)/(x₂ - x₁)，然後用點斜式寫出方程式。

二、平行線與垂直線的斜率關係

兩條直線是否平行或垂直，可以透過它們的斜率來判斷，這個性質在解析幾何中非常實用：

垂直線的斜率乘積為 -1 這個結論有個小例外：當其中一條直線是水平線（m = 0）時，另一條必須是垂直線（斜率不存在）。反過來也一樣，垂直線的斜率不存在，這時的水平線斜率為 0，它們的乘積並不是 -1 但仍然是垂直關係。所以嚴格來說，垂直線的判斷條件是「一條斜率為 0，一條斜率不存在」。

三、圓的方程式

圓是平面上到某一固定點（圓心）距離相等的所有點的集合。這個定義翻譯成方程式就是：

其中 (a, b) 是圓心的座標，r 是半徑。這個方程式的好處是所有訊息都一目了然：圓心在哪，半徑多少。這個形式叫做標準式，因為它直接反映了圓的定義。

但有時候圓的方程式會以「一般式」出現：x² + y² + Dx + Ey + F = 0。這個形式看起來不直觀，但我們可以透過「配方」把它轉換成標準式。例如，x² + y² - 4x + 6y + 9 = 0 可以配方成 (x - 2)² + (y + 3)² = 4，所以圓心是 (2, -3)，半徑是 2。

四、點與圓的位置關係

要判斷一個點 (x₀, y₀) 與圓 (x - a)² + (y - b)² = r² 的位置關係，只需要把這個點的座標代入圓方程式，比較左邊的值與 r²：

• 如果 (x₀ - a)² + (y₀ - b)² > r²，點在圓外
• 如果 (x₀ - a)² + (y₀ - b)² = r²，點在圓上
• 如果 (x₀ - a)² + (y₀ - b)² < r²，點在圓內

這個方法在處理直線與圓的交點問題時也很有用。如果要判斷一條直線與圓的關係，我們把直線方程式代入圓方程式，得到的二次方程式會有三種可能：判別式 Δ > 0 表示直線與圓有兩個交點（割線）；Δ = 0 表示有一個交點（切線）；Δ < 0 表示沒有交點（分離）。

五、線束與二元一次方程組

所謂線束，是指過兩條直線交點的所有直線的集合。如果有兩條直線 L₁: A₁x + B₁y + C₁ = 0 和 L₂: A₂x + B₂y + C₂ = 0，那麼所有過它們交點的直線可以表示為：L₁ + λL₂ = 0，也就是 (A₁x + B₁y + C₁) + λ(A₂x + B₂y + C₂) = 0，其中 λ 是任意實數。

線束的概念在處理與交點相關的問題時特別有用，因為我們不需要先求出交點座標，直接用線束的形式就能構造出滿足各種條件的直線。例如，如果我們知道某條直線經過兩條直線的交點且斜率為 2，就可以直接用線束方程並設定 λ 來找到這條直線。