距離、中點與斜率

距離：畢氏定理就住在方格紙上

在上一篇裡，你學會了把每個點釘到笛卡兒平面上的一對數字。現在我們把它兌現。取兩個點，P_1 = (x_1, y_1) 與 P_2 = (x_2, y_2)，問一個最基本的幾何問題：它們相距多遠？你可以拿尺一步步量，但方格紙讓你精準算出來。在兩點之間橫著直走、再豎著直走，一個直角三角形就憑空冒出來——它的兩股沿著格線跑，它的斜邊正是你想求長度的那條線段。

水平股的長度是 |x_2 - x_1|——就是兩個 x 座標之間的差距。垂直股的長度是 |y_2 - y_1|。現在把這兩股餵進畢氏定理，a^2 + b^2 = c^2，斜邊 c 就是你要的距離。這就是 距離公式 的全部推導——它不是一條要硬背的新事實，而是把畢氏定理套用在方格紙替你畫好的三角形上。

Distance between P_1 = (x_1, y_1) and P_2 = (x_2, y_2):

    |P_1 P_2| = sqrt( (x_2 - x_1)^2 + (y_2 - y_1)^2 )

Example: P_1 = (1, 2),  P_2 = (4, 6)
    horizontal gap = 4 - 1 = 3
    vertical gap   = 6 - 2 = 4
    |P_1 P_2| = sqrt( 3^2 + 4^2 ) = sqrt( 9 + 16 ) = sqrt(25) = 5

距離公式與一個算例：(1, 2) 與 (4, 6) 兩點恰好相距 5——藏在方格紙裡的一個 3-4-5 直角三角形。

中點：把座標取平均就好

從 P_1 = (x_1, y_1) 到 P_2 = (x_2, y_2) 這條線段的正中央在哪裡？從幾何上看，中點是把線段切成兩個相等半段的那個點——這想法你早在用圓規直尺二等分線段時就遇過。在方格紙上，它變得簡單到幾乎令人不好意思。中間的 x 座標就是兩個 x 值的平均，中間的 y 座標就是兩個 y 值的平均。這就是 中點公式 的全部。

Midpoint of P_1 = (x_1, y_1) and P_2 = (x_2, y_2):

    M = ( (x_1 + x_2)/2 ,  (y_1 + y_2)/2 )

Example: P_1 = (1, 2),  P_2 = (4, 6)
    M = ( (1 + 4)/2 , (2 + 6)/2 ) = ( 5/2 , 8/2 ) = ( 2.5 , 4 )

中點公式：x 取平均、y 取平均。(1, 2) 與 (4, 6) 的中點是 (2.5, 4)。

為什麼取平均行得通？一次想一個軸。沿著 x 軸，兩點落在 x_1 與 x_2；任何兩數正中間的位置就是它們的平均，(x_1 + x_2)/2——和在尺上找兩個刻度的中間沒有兩樣。同樣的道理獨立處理 y 軸。因為在方格紙上水平和垂直位置是脫鉤的，你可以各自把每個座標取平均，再把它們重新組裝成中點。這種「逐軸獨立」正是座標安靜的超能力，而它會一次又一次地回來。

斜率：把陡峭程度變成一個數

距離與中點描述點和線段；斜率描述方向。它回答：當我沿著這條線走時，它爬升得多快？做法就是著名的 垂直變化除以水平變化——在線上任取兩點，把垂直變化量除以水平變化量，這個商就是斜率，通常記作 m。斜率為 2，表示每往右跨 1 單位，線就爬升 2 單位；斜率為 1/2，則是較緩的攀升，每橫越 2 才升 1。

Slope of the line through (x_1, y_1) and (x_2, y_2):

    m = (y_2 - y_1) / (x_2 - x_1)        =  rise / run

Example: (1, 2) and (4, 6)
    m = (6 - 2) / (4 - 1) = 4 / 3

Horizontal line: y_2 = y_1, so rise = 0, m = 0.
Vertical line:   x_2 = x_1, so run = 0, m is UNDEFINED.

斜率即垂直變化除以水平變化，附上兩個誠實的特例：水平線斜率為 0，而鉛直線根本沒有斜率。

那個小框裡住著兩個誠實的提醒。第一，鉛直線的水平變化 = 0，而除以零是被禁止的——所以鉛直線根本沒有斜率。我們不說它的斜率是無限大；我們說那裡的斜率「未定義」，這是一句精確的陳述，不是搪塞。第二，正負號帶有意義：正斜率由左往右上升，負斜率下降，恰為 0 的斜率則是完全水平。別把斜率 0（水平線，定義得好好的）和未定義斜率（鉛直線）搞混了——這兩種是相反的情況，初學者常常對調。

再給一個定心丸：你選線上哪兩個點來量斜率都無所謂。任取一對都會得到同一個數，因為這條線保持固定的方向——大的直角三角形和小的那個是相似的，所以它們「升比橫」的比值完全相同。正是這份恆定，讓斜率成為一條線傾斜程度的忠實單一數字摘要，也正是為什麼斜率會是下一篇直線方程式的引擎。

平行與垂直，從斜率上讀出來

斜率把兩個純幾何的關係變成簡單的算術，而這正是座標幾何開始證明自己價值的地方。兩條線平行，恰恰就在它們指向相同方向之時——而指向相同方向意味著有 相同的斜率。所以要判斷 AB || CD，你不再需要把線延長、檢查它們永不相遇；你只要算出兩個斜率，看它們是否相等。斜率相等，線就平行。這就是平行斜率判準。

垂直的線有個更奇怪、卻同樣俐落的標記：它們的斜率相乘等於 -1。換句話說，一個斜率是另一個的負倒數——把分數倒過來再變號。若一條線斜率為 2，與它垂直的線斜率為 -1/2；若一條斜率為 -3/4，垂直的那條斜率為 4/3。誠實的例外是這個方法抓不到的那組直角：一條水平線（斜率 0）與一條鉛直線（斜率未定義）互相垂直，但「0 乘以未定義」並不是一個有意義的乘積。這一組要靠眼睛判斷，別硬套公式。

按任意比例分割：分點公式

中點把線段恰好對半分，但有時你要的是把它切成別種比例的點——走全程的三分之一，或按 2 比 3。分點公式 正好給你這個。若有一點把從 P_1 到 P_2 的線段按 m 比 n 分割（從 P_1 量起），那麼它的座標是兩端點的加權平均，而權重被交換到了相反的那一端。

Point dividing P_1=(x_1,y_1) to P_2=(x_2,y_2) in ratio m : n (from P_1):

    P = ( (n*x_1 + m*x_2)/(m + n) ,  (n*y_1 + m*y_2)/(m + n) )

Check: ratio 1 : 1  (the midpoint)
    P = ( (x_1 + x_2)/2 , (y_1 + y_2)/2 )   -- the midpoint formula falls out.

分點公式推廣了中點：令 m = n = 1，它就塌縮回「把座標取平均」。

大家會弄錯的細節是哪個權重放哪邊：要抵達從 P_1 起算 m 比 n 處的點，較遠的端點 P_2 乘上 m，較近的端點 P_1 乘上 n——權重是交叉的。誠實的檢查法是代入 m = n = 1：公式必須退化成中點，而它確實如此。若你的版本沒退化成中點，那就是權重放反了。每當一個花俏的公式裡頭嵌著一個更樸素的特例，就用那層嵌套來抓自己的錯。

讓這三者一起出力

分開來看，這是三個好用的公式；合起來，它們讓你能用純粹的計算來了結幾何問題。想知道四個點是否構成平行四邊形？用中點公式檢查兩條對角線是否共用同一個中點——若它們互相平分，就是平行四邊形，不需要量角器。想知道一個三角形是否為直角三角形？用距離算出三邊長，檢驗 a^2 + b^2 = c^2 是否成立。每一個形狀的性質，都變成了一個小小的代數檢查。

先決定你要檢驗什麼幾何主張——邊平行、長度相等、有個直角、對角線被平分。
把它翻成對應的數值檢驗：平行就比斜率相等、垂直就比斜率相乘為 -1、等長就比距離相等、對角線平分就比中點相同。
從座標算出所需的斜率、距離或中點——小心、一致地計算，從頭到尾用同一個點的順序。
比較這些數，下結論。若它們符合檢驗，幾何性質成立；若不符合，就不成立——而這些數會誠實告訴你是哪一種。

這正是你會在本梯級尾聲遇到的座標證明的種子：一種用代數、而非古典兩欄推理來證明貨真價實幾何定理的方法。但要記住一個界限。這些公式按其寫法，假設的是日常的、軸互相垂直的平面，以及一般的距離概念。在球面上，或在很後面梯級的彎曲幾何裡，距離的量法不同，這些確切的公式就不再適用。然而在平直的笛卡兒世界之內，它們精確、完整，任你使用。