計算圓錐曲線的切線方程式, 一直是個難題, 尤其是對一般高中生的程度來說, 更何況針對不同的圓錐曲線 (橢圓、拋物線、雙曲線等) 而言, 又有不同的切線公式, 感覺上既不統一又難以記憶, 所以我在這裡要介紹一種算法, 一種統一的算法, 讓你不管面對何種圓錐曲線, 都可以直接應用的公式。
圓錐曲線方程式
在座標平面上, 我們知道, 不管是哪一種圓錐曲線, 都可以表示為以下的形式: $$ ax^2 + bxy + cy^2 + dx + ey + f = 0 $$
例如:
- 橢圓: $\displaystyle\frac{x^2} {4} +\frac{y^2} {1} =1$, 我們可以寫成: $x^2+4y^2-4=0$。
- 拋物線: $y^2=4(x-1)$, 我們可以寫成: $y^2-4x+4=0$。
- 雙曲線: $\displaystyle\frac{x^2} {1} -\frac{y^2} {3} =1$, 我們可以寫成: $3x^2-y^2-3=0$。
當然上面所舉的例子都是所謂的「標準式」, 也就是這些圓錐曲線在座標平面上的位置都是 經過特別安排的, 所以方程式會看起來特別漂亮簡潔。
一般說來, 如果圓錐曲線沒有在「標準位置」的話, 那麼它的方程式就會看起來有點複雜, 例如: $x^2-2xy+3y^2-5x-2y+1=0$, 它的圖形會像右圖一樣。
如何判斷一條通過特定兩點的線是不是切線呢?
例題 1: 我在上面的圓錐曲線中, 再加入兩個點 $A(3, 6)$ 與 $B(10, 3)$, 那麼連接這兩點的直線到底是不是切線呢?
解答: 要回答這樣的問題, 我們可以利用 直線的參數式來測試看看, 到底這個直線與圓錐曲線有幾個交點, 以下我們就來計算看看:
首先, 通過 $AB$ 兩點的直線參數式為: $$ \left \{ \begin{array} {l} x = 3 + 7t \\ y = 6 - 3t \end{array} \right. $$
我們將這組點座標代入圓錐曲線方程式 $x^2-2xy+3y^2-5x-2y+1=0$, 得到: $$ (3+7t)^2 - 2(3+7t)(6-3t)^2 - 5(3+7t) - 2(6-3t) + 1 = 0 $$
化簡得: $$ 118t^2 - 161t + 55 = 0 $$
計算它的 判別式可以得到: $$ (161)^2 - 4(118)(55) = -33 \lt 0 $$
所以由判別式小於零, 我們可以知道上述的直線與圓錐曲線沒有任何交點(雖然圖形上看起來「好像」切到, 但事實上, 精確的計算告訴我們並沒有)。
一般說來, 要判斷一條通過特定兩點的線是不是切線, 都可以利用上述的方法來達成。 既然這個方法這麼好用, 那麼我們何不利用這樣的思考模式, 發展出一些好用的公式或判斷的法則呢? 沒錯! 這正是我們這篇文章的目的, 所以我們就繼續往下探索看看吧!
探索切線的公式或準則
假設直線通過 $A(x_1, y_1)$、 $B(x_2, y_2)$ 兩點, 圓錐曲線為 $ax^2+bxy+cy^2+dx+ey+f=0$, 那麼我們利用上述同樣的方法來計算看看, 直線參數式與圓錐曲線之間, 有沒有任何交點。
首先, 直線參數式為:
$ \left \{ \begin{array} {l} x = x_1 + (x_2-x_1)t \\ y = y_1 + (y_2-y_1)t \end{array} \right. $
然後, 我們將這組座標代入圓錐曲線方程式, 得到: \begin{eqnarray*} && a[x_1+(x_2-x_1)t]^2 + b[x_1+(x_2-x_1)t][y_1+(y_2-y_1)t] + c[y_1+(y_2-y_1)t]^2 \\ && \qquad + d[x_1+(x_2-x_1)t] + e[y_1+(y_2-y_1)t] + f = 0 \end{eqnarray*} 如果我們將上面的計算式整理成 $t$ 的二次式, 會得到: \begin{eqnarray*} &&[a(x_2-x_1)^2 + b(x_2-x_1)(y_2-y_1) + c(y_2-y_1)^2] \cdot t^2 \\ && + [2ax_1(x_2\!-\!x_1)t] \!+\! bx_1(y_2\!-\!y_1) \!+\! by_1(x_2\!-\!x_1) \!+\! 2cy_1(y_2\!-\!y_1) \!+\! d(x_2\!-\!x_1) \!+\! e(y_2\!-\!y_1)] \cdot t \\ && + [ax_1^2 + bx_1y_1 + cy_1^2 + dx_1 + ey_1 + f] = 0 \end{eqnarray*} 當然, 如果我們要計算這個二次式到底有沒有解, 還要計算它的 判別式, 這時你或許會想: 天啊! 它的係數已經如此複雜了, 我們竟然還想去計算它的判別式? 就算我們真的花了九牛二虎之力把它算出來了, 難道我們還會想去記憶它或應用它嗎? 的確, 我們是遇上了瓶頸, 我們遇到 變數符號太多太長、複雜難以處理的窘境。 然而, 正是因為面對這樣的窘境, 才讓數學家了解到: 必須開發新的符號與新的運算規則, 讓我們可以繞過複雜計算的深淵, 繼續邁向推理解題的大道。以下我們就來介紹這個新的利器。
開發新的運算符號
首先, 我們先來介紹一種「表格式乘積加總法」:
| 在左邊的表格中, 2 所在的那一橫列與 3 所在的那一直行, 對到了數字 5, 這時我們規定: 2 、 3 、 5要乘起來, 也就是會得到 $2\times 3\times 5=30$ | ||||||||||
| 我們在左表中, 又多放了一些數字上去, 現在我們要計算 $2\times 3\times 5$ 和 $1\times 4\times 6$, 並把它們 加總起來, 所以其實我們要計算的是: $2\times 3\times 5+1\times 4\times 6=30+24$ | ||||||||||
| 在這個例子中, 我們填上所有的數字, 並利用上面說明的方式將 所有的乘積全部加起來。 首先, 我們先將左側的數字 0, 1, 2 和上側的數字 1, 3, 4 乘到格子裡, 可以得到右表中的數字: |
| |||||||||
最後, 我們只要將表格中所有的數字加起來, 那麼所得到的數字就是我們想要計算的總和, 也就是: $24+24-8+30=70$ 這就是我們所說的「表格式乘積加總法」。
當然, 如果你學過「矩陣 」乘法, 你會知道我們這裡所謂的「表格式乘積加總法」, 其實 可以用矩陣來表示。 例如:上面所舉的最後一個例子, 可以利用矩陣乘法: $$ [0 ~~1 ~~2] \left [ \begin{array} {ccc} -1 & ~~-2 & ~~7 \\ 0 & ~~8 & ~~6 \\ -4 & ~~5 & ~~0 \end{array} \right ] \left [ \begin{array} {c} 1 \\ 3 \\ 4 \end{array} \right ] \hbox{來表示。} $$ 不過, 如果你沒學過矩陣, 那也沒關係, 請繼續看我們以下的討論就可以了。
我們這裡為什麼要介紹這樣「怪異的加總法」呢? 主要是因為這種加總法剛好跟圓錐曲線的方程式有 某種巧妙的連結。 請看以下的例子:
| 在左表中, 如果我們運用「表格式乘積加總法」, 那麼我們會得到: $$-x^2 - 2xy + 8y^2 + 3x + 11y + 0$$ 請讀者注意看: 這剛好是圓錐曲線方程式 $$ax^2 + bxy + cy^2 + dx + ey + f = 0$$ 等號左邊的形式, 這也正是為什麼我們要介紹這種加總法的原因。 |
| 如果我們在表格中設定了像左表一樣的數字 (請注意裡面的 $\displaystyle\frac{b} {2} $、 $\displaystyle\frac{d} {2} $、 $\displaystyle\frac{e} {2} $ ), 那麼我們就會得到與圓錐曲線一般式 (等號左邊) 一模一樣的形式: $$ ax^2 + bxy + cy^2 + dx + ey + f $$ |
| 最後, 為了靈活運用這樣的計算法, 我們把最通用的形式寫出來, 並且徹底研究這種運算法的規則, 才能順利地用於後面的解題推理中。但是, 我們總不能每次都用畫表格的方式來表現, 所以在這裡我們假設: |
$$ M = \left [ \begin{array} {ccc} a & ~~b & ~~c \\ d & ~~e & ~~f \\ g & ~~h & ~~i \end{array} \right ] \quad P = (x_1, y_1, z_1) \quad Q = (x_2, y_2, z_2) $$ 並且, 我們規定 新的符號: $$ [P, Q]_M $$ 就代表左表所表示的「表格式乘積總和」, 也就是: \begin{eqnarray*} [P, Q]_M &=& ~~ax_1x_2 + bx_1y_2 + cx_1z_2 \\ && + dy_1x_2 + ey_1y_2 + fy_1z_2 \\ && + gz_1x_2 + hz_1y_2 + iz_1z_2 \end{eqnarray*}
新符號的定義
|
究竟這樣的新符號有什麼漂亮的運算規則呢? 請看以下的說明:
新符號的運算性質
假設我們除了上述的新符號之外, 我們也引用一般的「向量加法」與「純量積」的運算概念, 也就是下列的運算規則:
- 若 $P=(x_1, y_1, z_1)$, $Q=(x_2, y_2, z_2)$, 則 $P+Q$ 代表 $(x_1+x_2, y_1+y_2, z_1+z_2)$
- 若 $P=(x, y, z)$, $t$ 為實數, 則 $tP$ 代表 $(tx, ty, tz)$。
那麼, 我們所使用的新符號就會有以下的運算規則:
假設 $P=(x_1, y_1, z_1)$、 $Q=(x_2, y_2, z_2)$、 $R=(x_3, y_3, z_3)$, $t$ 為實數, 則有
- 加法分配律:
$[P+Q, R]_M=[P, R]_M+[Q, R]_M$ 或 $[P, Q+R]_M=[P, Q]_M+[P, R]_M$ - 純量積:
$[tP, Q]_M=t[P, Q]_M=[P, tQ]_M$
一般而言, 「交換律」並不成立, 也就是 $[P, Q]_M=[Q, P]_M$ 通常是錯的, 但如果 $M$ 是「對稱」的, 那麼交換律也會是正確的。 但我們說 $M$ 是「對稱」的, 指的是什麼意思呢? 在這裡我舉個例子:
| 左表中, 數字 1、 4、 7 所在的位置, 我們術語上稱為矩陣 的「主對角線」, 在這主對角線的兩側的「格子對」 (如圖中紅色的箭頭所指的三對格子) , 如果都各自相同, 那麼我們就說: 這個矩陣是「對稱」的。 |
|
|
左表中, 如果我們假設:
$M=\left[\begin{array} {ccc} a&b/2&d/2\\ ~b/2~&c&~e/2~\\ d/2&~e/2~&f \end{array} \right]\qquad P = (x, y, 1)$ |
那麼, 圓錐曲線的方程式
$$ax^2 + bxy + cy^2 + dx + ey + f = 0$$
就可以寫成:
$$[P, P]_M = 0$$
這裡的 $M$ 就是一個典型的「對稱矩陣 」。從現在開始, 我們將這個矩陣稱為圓錐曲線的「係數矩陣 」。
因此, 如果 $M$ 是「對稱」的, 那麼我們的新符號就擁有了「交換律」:
- $[P, Q]_M=[Q, P]_M$
以上所說的運算性質, 會在下面的討論中一直出現, 但我們將這些 性質的證明放到本文最後的 附錄中, 因為雖然這些證明很重要, 但並不是我們要討論的重點, 所以介紹完新的符號後, 我們趕快回到原來的問題上吧!
|
我們原來的問題是: 如果直線通過 $A=(x_1, y_1)$、 $B=(x_2, y_2)$ 兩點, 那麼它與圓錐曲線: $ax^2+bxy_cy^2+dx+ey+f=0$ 到底會不會相交? 在什麼條件下, 它才會變成切線? |
豁然開朗的切線準則
我們前面有提到, 如果點 $(x, y)$ 在圓錐曲線 $ax^2+bxy+cy^2+dx+ey+f=0$ 上面, 那麼這個點座標代入方程式當然會等於零, 如果我們用「表格式乘積加總法」來表示的話, 那會得到:
|
| $=0$ |
所以, 如果 $A$ 的座標為 $(x, y)$, 那麼我們希望 用 $\overline{A}$ 來代表 $(x, y, 1)$, 這樣的話, 我們就可以用更簡短的方式來表示一個點是否在圓錐曲線上了, 也就是: $$ A(x, y) ~\hbox{ 在 } ~ ax^2 + bxy + cy^2 +dx + ey + f = 0 ~\hbox{ 上} $$ 可以寫成:
|
| $=[\overline{A} , \overline{A} ]_M=0$,其中 $M = \left [ \begin{array} {ccc} a & ~b/2 & ~d/2 \\ b/2 & ~c & ~e/2 \\ d/2 & ~e/2 & ~f \end{array} \right ]$ |
- 我們就不妨把 $\overline{A} (x, y, 1)$ 稱為是 $A(x, y)$ 的「擴充座標」吧! (註: 比較正式的說法是「齊次座標」)
所以假設我們說 $B$ 點的座標為 $(4, 5)$, 那麼 $\overline{B} $ 就表示是 $(4, 5, 1)$, 其餘請以此類推。 好! 我們已經做完所有的準備工作了, 現在讓我們正式開始繼續切線的推理工作吧!
通過 $A=(x_1, y_1)$、 $B=(x_2, y_2)$ 兩點的直線參數式為: $$ \left \{ \begin{array} {l} x = x_1 + (x_2-x_1)t = (1-t)x_1 + tx_2 \\ y = y_1 + (y_2-y_1)t = (1-t)y_1 + ty_2 \end{array} \right. $$ 我們也可以寫成這樣: $$ \left [ \begin{array} {c} x \\ y \end{array} \right ] =(1-t) \left [ \begin{array} {c} x_1 \\ y_1 \end{array} \right ] + t \left [ \begin{array} {c} x_2 \\ y_2 \end{array} \right ]\hskip 3cm ~ $$
如果我們把 $(x, y)$ 稱為 $P$, 那麼會有: $$ P = (1-t)A + tB\hskip 7cm ~ $$ 事實上, 對於「擴充座標」 $\overline{P} (x, y, 1)$ 來說, 下面的式子也是對的: $$ \overline{P} = (1-t)\overline{A} + t\overline{B} \hskip 7cm ~ $$ 也就是: $$ \left [ \begin{array} {c} x \\ y \\ 1 \end{array} \right ] =(1-t) \left [ \begin{array} {c} x_1 \\ y_1 \\ 1 \end{array} \right ] + t \left [ \begin{array} {c} x_2 \\ y_2 \\ 1 \end{array} \right ] $$ 是對的 (請讀者自行檢驗) 。
現在, 如果我們要檢查 $AB$ 直線上的動點 $P$ 是不是在圓錐曲線上, 我們只要檢查: $$ [\overline{P} , \overline{P} ]_M = 0 ~\hbox{ 對不對就好。} $$ 但因為: $$ \overline{P} = (1-t)\overline{A} + t\overline{B} $$ 所以, 我們要檢查: $$ [(1-t)\overline{A} +t\overline{B} , ~(1-t)\overline{A} +t\overline{B} ]_M = 0 ~\hbox{ 有沒有解?} $$ 接著我們整理 (利用 新符號的運算性質) : \begin{eqnarray*} && \hskip -15pt [(1-t)\overline{A} +t\overline{B} , ~(1-t)\overline{A} +t\overline{B} ]_M \\ &=& (1-t)^2 [\overline{A} , \overline{A} ]_M + 2t(1-t)[\overline{A} , \overline{B} ]_M + t^2[\overline{B} , \overline{B} ]_M \\ &=& \Big ([\overline{A} , \overline{A} ]_M - 2[\overline{A} , \overline{B} ]_M + [\overline{B} , \overline{B} ]_M\Big ) \cdot t^2 + \Big (-2[\overline{A} , \overline{A} ]_M + 2[\overline{A} , \overline{B} ]_M\Big ) \cdot t + \Big ([\overline{A} , \overline{A} ]_M\Big ) \end{eqnarray*} 之前, 我們對這個 $t$ 的二次式有沒有解束手無策, 現在有了新的符號幫忙下, 如虎添翼, 我們不僅用新符號重新算出這個二次式, 這一次我們更要計算出它的 判別式, 請繼續看下面 判別式的計算: \begin{eqnarray*} && \hskip -25pt \Big (-2[\overline{A} , \overline{A} ]_M + 2[\overline{A} , \overline{B} ]_M\Big )^2 - 4 \Big ([\overline{A} , \overline{A} ]_M - 2[\overline{A} , \overline{B} ]_M + [\overline{B} , \overline{B} ]_M\Big ) \Big ([\overline{A} , \overline{A} ]_M\Big ) \\ &=& 4\Big ([\overline{\bf A} , \overline{\bf B} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf B} , \overline{\bf B} ]_M\Big ) \end{eqnarray*} 從上式, 我們得到一個非常重要的結果, 也是本文最主要的結果, 當: $$ [\overline{\bf A} , \overline{\bf B} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf B} , \overline{\bf B} ]_M = 0 ~\hbox{ 時} $$ 判別式為零, 此時意味著: 直線AB與圓錐曲線的 交點只有一個, 這個交點就是 切點, 此直線就是 切線。 因為這個「切線準則」太重要了, 所以我們重新再敘述一遍:
切線準則
|
若通過 $A(x_1, y_1)$ 與 $B(x_2, y_2)$ 的直線為圓錐曲線
$ax^2+bxy+cy^2+dx+ey+f=0$ 的 切線,
則
「擴充座標」 $\overline{A} (x_1, y_1, 1) \hbox{ 、 } \overline{B} (x_2, y_2, 1)$
會擁有以下的 切線準則: (1) $[\overline{\bf A} , \overline{\bf B} ]_M^2-[\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf B} , \overline{\bf B} ]_M=0$.
|
之前我們完全無法處理的判別式, 現在竟然化為如此簡短的數學式, 可見新符號的威力真是驚人!
切線準則的應用
現在讓我們舉幾個例子來看看如何使用這個超強的「切線準則」。
例題 2: $A(3, -2)$ 在雙曲線 $x^2-y^2+x-2y-12=0$ 上。請問經過 $A$ 點的切線方程式是什麼?
解答: 假設 $P(x, y)$為切線上的一點, 那麼通過 $A$ 與 $P$ 的直線, 事實上就是切線本身, 既然如此, 那麼 $\overline{\bf A}$ 與 $\overline{\bf P}$ 就會符合「切線準則」: $$ [\overline{\bf A} , \overline{\bf P} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf P} , \overline{\bf P} ]_M = 0 $$ 但因為 $A$ 本身在雙曲線上, 所以: $ [\overline{\bf A} , \overline{\bf A} ]_M = 0 $
因此, 我們可以得到: $ [\overline{\bf A} , \overline{\bf P} ]_M = 0 $
也就是:
經整理可得: $ \frac{7} {2} x + y - \frac{17} {2} = 0 $
或者你也可以寫成 $7x+2y=17$, 這就是經過 $A$ 點的切線方程式。
經過上面這個例題的探討, 我們發現一個漂亮的現象, 那就是:
過切點的切線方程式
|
若 $A(x_0, y_0)$ 在圓錐曲線 $ax^2+bxy+cy^2+dx+ey+f=0$ 上,
則通過 $A$ 點的切線方程式為:
$
[\overline{\bf A} , \overline{\bf X} ]_M = 0, \hbox{ 其中 } ~ \overline{\bf X} = (x, y, 1)
$
也就是切線方程式為:
|
現在, 我們將這個公式應用到所有圓錐曲線的標準式上, 你會發現: 所有我們熟知的標準式切線公式 (如果你曾經記憶過的話) , 會一一出現。請看:
下表中, 我們假設 $(x_0, y_0)$ 為圓錐曲線上的一點
| 類型 | 標準式 | 計算切線 | 所得切線方程式 |
| 橢圓 | $\displaystyle\frac{x^2} {a^2} +\frac{y^2} {b^2} =1$ |
| $\displaystyle\frac{x_0} {a^2} x+\frac{x_0} {b^2} y=1$ |
| 拋物線(上下型) | $x^2=4cy$ |
| $x_0x=2c(y+y_0)$ |
| 拋物線(左右型) | $y^2=4cx$ |
| $y_0y=2c(x+x_0)$ |
| 雙曲線(左右型) | $\displaystyle\frac{x^2} {a^2} -\frac{y^2} {b^2} =1$ |
| $\displaystyle\frac{x_0} {a^2} x-\frac{x_0} {b^2} y=1$ |
| 雙曲線(上下型) | $-\displaystyle\frac{x^2} {a^2} +\frac{y^2} {b^2} =1$ |
| $-\displaystyle\frac{x_0} {a^2} x+\frac{x_0} {b^2} y=1$ |
雖然上面我們列出了所有的標準式的切線公式, 但我們這樣做只是為了要向你說明: 我們的「切線準則」是通用的, 你可以用於任一類型的圓錐曲線, 而不是要你去背誦上面這些看起來都不太一樣的切線公式。
上面我們一直把重心擺在解決如何計算 圓錐曲線上一點的切線, 但是如果要計算通過圓錐曲線 外一點的切線時, 那麼又該如何呢? 請看下面的例子:
例題 3: 請計算通過 $A(1, 1)$, 並與橢圓 $x^2+2y^2=1$ 相切的切線方程式。 注意: $A$ 點在橢圓外! 所以會有 兩條切線。
解答: 假設 ${\bf P} (x, y)$ 為切線上的一點, 那麼根據
「切線準則」, 我們可以得到:
$ [\overline{\bf A} , \overline{\bf P} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf P} , \overline{\bf P} ]_M = 0 $. 其中:
\begin{eqnarray*} && [\overline{\bf A} , \overline{\bf A} ]_M = 1^2 + 2\times 1^2 - 1 = 2 \qquad \hbox{註: 就是將 $A(1, 1)$ 直接代入 $x^2+2y^2-1$} \hskip 1cm \\ && [\overline{\bf P} , \overline{\bf P} ]_M = x^2 + 2y^2 - 1 \qquad \hbox{註: 就是將 ${\bf P} (x, y)$ 直接代入 $x^2+2y^2-1$} \end{eqnarray*}
因此, $$ (x+2y-1)^2 - 2(x^2+2y^2-1) = 0 $$ 整理可得: $$ x^2 - 4xy + 2x + 4y - 3 = 0 $$ 最後我們作 因式分解(我們知道答案是兩條直線, 所以應該可以分解成兩條直線方程式) : \begin{eqnarray*} && (-4x+4)y + (x^2+2x-3) = 0 \\ && -4(x-1)y + (x-1)(x+2) = 0 \\ && (x-1)(-4y+x-2) = 0 \end{eqnarray*} 因此: $$ x - 1 = 0 ~\hbox{ 或 } ~ x - 4y + 3 = 0 $$ 最後這兩個方程式都是直線方程式, 而且也是 ${\bf P} (x, y)$ 必須符合的條件, 所以這 兩條直線就是切線!
例題 4: 請計算通過 $A(2, -3)$, 並與拋物線 $x^2=4y$ 相切的切線方程式。 注意: $A$ 點在拋物線外! 所以會有 兩條切線。
解答: 假設 ${\bf P} (x, y)$ 為切線上的一點, 那麼根據「切線準則」,
我們可以得到: $ [\overline{\bf A} , \overline{\bf P} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf P} , \overline{\bf P} ]_M = 0 $
其中:
因此, $$ (2x-2y+6)^2 - 16(x^2-4y) = 0 $$ 整理可得: $$ 3x^2 + 2xy - y^2 - 6x - 10y - 9 = 0 $$ 最後我們作 因式分解: \begin{eqnarray*} && 3x^2 + (2y-6)x - (y^2+10y+9) = 0 \\ && 3x^2 + (2y-6)x - (y-1)(y+9) = 0 \\ && [x + (y+1)][3x - (y+9)] = 0 \end{eqnarray*} 因此: $$ x + y + 1 = 0 ~\hbox{ 或 } ~ 3x - y - 9 = 0 $$ 最後這兩個 直線方程式, 就是 切線!
一般說來, 如果一個點在圓錐曲線之外, 那麼它會擁有兩條切線, 但還有另外一條線跟這個點也有密切的關係, 這條線叫做「極線」, 請看以下的探討:
極線的探討
例題 5: 已知 $A(3, 2)$ 在橢圓 $x^2+2y^2-4y=4$ 的外面, 且通過 $A$ 點的切線 (有兩條) 與橢圓分別交於 $C$、 $D$ 兩點, 請計算出 $CD$ 直線的方程式。
解答: 因為 $AC$ 直線與 $AD$ 直線都是切線, 所以由「切線準則」知: \begin{eqnarray*} && [\overline{\bf A} , \overline{\bf C} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf C} , \overline{\bf C} ]_M = 0 \hskip 7cm \\ && [\overline{\bf A} , \overline{\bf D} ]_M^2 - [\overline{\bf A} , \overline{\bf A} ]_M [\overline{\bf D} , \overline{\bf D} ]_M = 0 \end{eqnarray*}
但因為 $C$、 $D$ 都在橢圓上, 所以: \begin{eqnarray*} && [\overline{\bf C} , \overline{\bf C} ]_M = 0 \\ && [\overline{\bf D} , \overline{\bf D} ]_M = 0 \end{eqnarray*}
因此我們可以知道: \begin{eqnarray*} && [\overline{\bf A} , \overline{\bf C} ]_M = 0 \\ && [\overline{\bf A} , \overline{\bf D} ]_M = 0 \end{eqnarray*}
雖然目前我們還不知道 $C$、 $D$ 的點座標, 但由這兩個方程式, 我們知道 $C$、 $D$ 同時符合下面這個方程式: $$ [\overline{\bf A} , \overline{\bf X} ]_M = 0, \quad \hbox{其中 } ~ \overline{\bf X} = (x, y, 1) \hskip 1cm $$ 然而這個方程式本身就是一個直線方程式, 請看:
所以, 既然 $C$、 $D$ 同時符合這個方程式, 那麼 $CD$ 直線方程式當然就是: $ 3x + 2y = 8 $
經由上面這個例題的探討, 我們得到一條特殊的直線, 這條直線我們稱為「極線」, 這是一條 通過兩切點的直線。 我們將這個重要的結果整理如下:
極線公式
若 $A(x_0, y_0)$ 在圓錐曲線 $as^2+bxy+cy+dx+ey+f=0$ 外面, 通過 $A$ 點的兩條切線交圓錐曲線於 $C$、 $D$ 兩點, 則我們稱 $CD$ 直線為 $A$ 點的「極線」, 且其方程式為: $$ [\overline{\bf A} , \overline{\bf X} ]_M = 0, \quad \hbox{其中 } ~ \overline{\bf X} = (x, y, 1) \hskip 3cm $$ 也就是極線方程式為:
此時, 我們也稱 $A$ 點為 $CD$ 直線的「極點」。
如果你還記得前面的「過切點的切線方程式」公式的話, 你會發現: 這兩個公式不是 一模一樣嗎? 是的, 的確沒錯! 是一模一樣。當 $A$ 點在圓錐曲線 外時, 這個公式會產生「極線」, 但當 $A$ 點到達圓錐曲線 上時, 它就會變成「切線」!
其實, 透過上面的極線公式, 我們可以得到一種 特殊的對應關係, 也就是 一個「極點」對應到一條「極線」, 更特殊的是: 一個「切點」對應到一條「切線」, 這種對應關係非常有意思, 所以我們打算繼續往下探討, 但是因為以下的探討需要用到「矩陣 」與「齊次座標」的觀念, 因此如果你沒有學過這些觀念, 那麼也許你只能先跳過下面這一段!
| 以下的討論, 僅提供給學過「矩陣 」與「齊次座標」的讀者! |
極點與極線、切點與切線的探索
在更深入討論之前, 我們先利用「矩陣 」與「齊次座標」的語言, 再將前面的結果重新敘述一遍:
假設: \begin{eqnarray*} {\bf A} &=& \left [ \begin{array} {c} x_0 \\ y_0 \\ z_0 \end{array} \right ] ~\hbox{ 為座標平面上 定點$A$ 的齊次座標} \hskip 3cm~\\ {\bf M} &=& \left [ \begin{array} {ccc} a & ~b/2 & ~d/2 \\ b/2 & ~c & ~e/2 \\ d/2 & ~e/2 & ~f \end{array} \right ] ~\hbox{ 為圓錐曲線的係數矩陣 } \\ {\bf X} &=& \left [ \begin{array} {c} x \\ y \\ z \end{array} \right ] ~\hbox{ 為座標平面上動點$X$ 的齊次座標} \end{eqnarray*} 由前面的討論, 我們有下面的結果:
- 若 $A$ 在圓錐曲線上, 則 ${\bf A^TMA} =0$。
- 若 $A$ 為極點, 則 ${\bf A^TMX} =0$ 為極線方程式, 我們也可以說 ${\bf A^TM} $ 為 極線的齊次座標。
- 若 $A$ 為切點, 則 ${\bf A^TMX} =0$ 為切線方程式, 我們也可以說 ${\bf A^TM} $ 為 切線的齊次座標。
若我們假設 ${\bf u} ={\bf A^TM} $ 是一條極線 (或切線) 的齊次座標, 則我們可以推論: \begin{eqnarray*} {\bf u} = {\bf A^TM} &\Rightarrow& {\bf uM} ^{-1} = {\bf A^T} \\ &\Rightarrow& {\bf A} = ({\bf uM} ^{-1} )^{\bf T} {\bf u^T} = {\bf M} ^{-1} {\bf u^T} \end{eqnarray*} 所以我們有以下結果:
- 若 ${\bf u} $ 為極線 (切線) 齊次座標, 則 ${\bf M} ^{-1} {\bf u^T} $ 為極點 (切點) 齊次座標。
如果 ${\bf u} $ 是切線齊次座標的話, 那麼 ${\bf M} ^{-1} {\bf u^T} $ 就是切點, 也就是說 ${\bf M} ^{-1} {\bf u^T} $ 在圓錐曲線上, 因此我們可以推得: $ ({\bf M} ^{-1} {\bf u^T} )^{\bf T} {\bf M} ({\bf M} ^{-1} {\bf u^T} ) = 0 $
也就是: ${\bf uM} ^{-1} {\bf u^T} = 0$
所以我們又有了一個很特殊的結果:
切線齊次座標方程式
| 如果 ${\bf u} $ 是切線齊次座標的話, 那麼 ${\bf u} $ 符合方程式: ${\bf uM} ^{-1} {\bf u^T} =0$ |
這個「切線齊次座標方程式」有很漂亮的應用, 但在應用它之前, 我想先說說 ${\bf M} $ 與 ${\bf M} ^{-1} $。
${\bf M} =\left [ \begin{array} {ccc} a & ~b/2 & ~d/2 \\ b/2 & ~c & ~e/2 \\ d/2 & ~e/2 & ~f \end{array} \right ]$ 可以說是圓錐曲線的「齊次座標」, 怎麼說呢? 且讓我來舉的例子:
比方說, 如果我們把橢圓方程式 $x^2\!+\!2y^2\!-\!4y\!=\!4$ 乘以 3 倍, 會得到 $3x^2+6y^2\!-\!12y=12$,
但它還是 同一個橢圓方程式啊! 也就是說: 兩個「係數矩陣 」
$\left [ \begin{array} {ccc} 1 & ~0 & ~0 \\ 0 & ~2 & ~-2 \\ 0 & ~-2 & ~-4 \end{array} \right ]$ 與 $\left [ \begin{array} {ccc} 3 & ~0 & ~0 \\ 0 & ~6 & ~-6 \\ 0 & ~-6 & ~-12 \end{array} \right ]$, 它們的作用其實是一模一樣的!
所以, 如果兩個「係數矩陣 」只差一個 (非零的) 倍數, 那麼它就會代表 同一個圓錐曲線, 這也就是為什麼我們說 ${\bf M} $ 算是圓錐曲線的「齊次座標」了!
因此, 雖然「切線齊次座標方程式」寫成 ${\bf uM} ^{-1} {\bf u^T} =0$, 但因為 ${\bf M} ^{-1} $ 與 $adj({\bf M} )$ 只差一個倍數, 所以我們在真正計算的時候, 其實直接利用 $adj({\bf M} )$ 就可以了。
註: $adj({\bf M} )$ 是 ${\bf M} $ 的「古典伴隨矩陣 」(classical adjoint)。也就是: $$ \hbox{若 } ~ M=\left [ \begin{array} {ccc} a & ~b & ~c \\ d & ~e & ~f \\ g & ~h & ~i \end{array} \right ], \quad \hbox{則 } ~ adj({\bf M} ) = \left [ \begin{array} {ccc} + \left | \begin{array} {cc} e & ~f \\ h & ~i \end{array} \right | & ~- \left | \begin{array} {cc} d & ~f \\ g & ~i \end{array} \right | & ~+ \left | \begin{array} {cc} d & ~e \\ g & ~h \end{array} \right | \\ - \left | \begin{array} {cc} b & ~c \\ h & ~i \end{array} \right | & ~+ \left | \begin{array} {cc} a & ~c \\ g & ~i \end{array} \right | & ~- \left | \begin{array} {cc} a & ~b \\ g & ~h \end{array} \right | \\ + \left | \begin{array} {cc} b & ~c \\ e & ~f \end{array} \right | & ~- \left | \begin{array} {cc} a & ~c \\ d & ~f \end{array} \right | & ~+ \left | \begin{array} {cc} a & ~b \\ d & ~e \end{array} \right | \end{array} \right ]^{\bf T} $$ 下面我們就來看看如何應用這個「切線齊次座標方程式」!
切線齊次座標方程式的應用
例題 6: 請計算出橢圓 $x^2+2y^2-4y=4$ 上斜率為 2 的切線 (有兩條) 。
解答: 因為切線斜率為 2, 我們可以將切線設為: $2x-y+k=0$, 也就是我們可以將切線的「齊次座標」 (也就是它的係數) 設為: $$ {\bf u} = [2 ~~-1 ~~k] $$ 再來, 經由橢圓的「係數矩陣 」: $$ {\bf M} = \left [ \begin{array} {ccc} 1 & ~0 & ~0 \\ 0 & ~2 & ~-2 \\ 0 & ~-2 & ~-4 \end{array} \right ]\hskip 3cm $$
我們可以計算出: $$ {\bf M} ^{-1} \equiv adj({\bf M} ) = \left [ \begin{array} {ccc} -12 & ~0 & ~0 \\ 0 & ~4 & ~2 \\ 0 & ~2 & ~2 \end{array} \right ] \hskip 6cm $$
整理得: \begin{eqnarray*} && k^2 - 2k - 26 = 0 \\ && k = 1 \pm 3\sqrt{3}\hskip 9.5cm~ \end{eqnarray*} 因此我們所求的切線為: $$ 2x - y + 1 \pm 3\sqrt 3 = 0\hskip 8cm~ $$
從上面這個例子可以看到, 利用 ${\bf M} ^{-1} $ (或者 $adj({\bf M} )$), 我們可以計算出已知斜率的切線方程式。 所以讓我們再看另一個例子來說明如何計算圓錐曲線標準式的切線。
例題 7: 已知橢圓 $\displaystyle\frac{x^2} {a^2} +\frac{y^2} {b^2} =1$ 的切線斜率為 $m$, 請計算其方程式。
解答: 橢圓標準式的「係數矩陣 」為: $$ {\bf M} = \left [ \begin{array} {ccc} 1/a^2 & ~0 & ~0 \\ 0 & ~1/b^2 & ~0 \\ 0 & ~0 & ~-1 \end{array} \right ] $$ 所以: $$ {\bf M} ^{-1} \equiv adj({\bf M} ) = \left [ \begin{array} {ccc} -1/b^2 & ~0 & ~0 \\ 0 & -1/a^2 & ~0 \\ 0 & ~0 & ~1/a^2b^2 \end{array} \right ] $$ 假設切線方程式為: $mx-y+k=0$, 也就是假設 ${\bf u} =[m ~~-1 ~~k]$, 因此根據: $$ {\bf uM} ^{-1} {\bf u^T} = 0 $$ 我們有: $$ -\frac{m^2} {b^2} - \frac{1} {a^2} + \frac{k^2} {a^2b^2} = 0 $$ 所以推得:
$k^2 = a^2m^2 + b^2$
$k = \pm \sqrt{a^2m^2+b^2}$
因此, 我們可以推得已知斜率的橢圓切線公式: $ y = mx \pm \sqrt{a^2m^2+b^2} $
經由上面這個例子的啟發, 我們可以看得出來, 其實每個「標準式」的切線都可以利用相同的方法計算出來。 下面我們就列出所有圓錐曲線 (橢圓、雙曲線、拋物線) 標準式的切線公式 (如果斜率是已知的話) , 但詳細的計算過程, 請讀者自行驗證。
已知斜率的切線公式
| 類型 | 標準式 | ${\bf M} $ | 計算 ${\bf uM} ^{-1} {\bf u^T} =0$ | 所得切線方程式 |
|
橢圓或 雙曲線 | $\displaystyle\frac{x^2} {A} +\frac{y^2} {B} =1$ |
|
| $y=mx\pm\sqrt{Am^2+B} $ |
|
拋物線 (上下型) | $x^2=4cy$ |
|
| $y=mx-cm^2$ |
|
拋物線 (左右型) | $y^2=4cx$ |
|
| $y=mx+\displaystyle\frac{c} {m} $ |
當然, 跟前面一樣, 我們列出這個公式表, 並不是要讀者去背誦它, 我們的目的還是在展示最重要的一個觀念: 「切線齊次座標方程式」 是通用的, 而且它不是只能用在標準式而已喔!
下面我們再展示一個更神奇的例子給你看。 如果我們不知道圓錐曲線本身的方程式, 但知道它的某些切線方程式, 我們甚至可以反推出這個圓錐曲線是誰, 請看!
例題 8: 如右下圖, 我們連接 $(1, 0)$, $(0, 9)$、 $(2, 0)$, $(0, 8)$、 $\cdots$, $(9, 0)$, $(0, 1)$ 等直線。 假設這些直線都是某個圓錐曲線的切線, 請問這個圓錐曲線的方程式是什麼?
解答: 從右圖這些連接線的連接法, 我們可以知道它們的截距式為: \begin{eqnarray*} && \frac{x} {1} + \frac{y} {9} = 1 \hskip 12cm ~ \\ && \frac{x} {2} + \frac{y} {8} = 1 \\ && \quad \vdots \\ && \frac{x} {9} + \frac{y} {1} = 1 \end{eqnarray*}
它們可以統一寫成: $$ \frac{x} {m}+\frac{y}n = 1, ~\hbox{ 其中 } ~ m + n = 10\hskip 9.4cm~ $$
換句話說, 我們可以假設這些線的「齊次座標」為: $$ {\bf u} = [u ~~v ~~1], ~\hbox{ 其中 } ~ u = -\frac{1} {m} , ~v = -\frac{1} {n}\hskip 7cm~ $$
這樣一來, 因為 $m+n=10$, 所以可以推得: \begin{eqnarray*} && -\frac{1} {u} - \frac{1} {v} = 10 \hskip 9cm~\\ && 10uv + u + v = 0 \end{eqnarray*} 而且如果這些線都是某個圓錐曲線的切線, 那麼它們會符合切線「齊次座標」的方程式: $$ {\bf uM} ^{-1} {\bf u^T} = 0 $$ 但我們知道: $10uv+u+v=0$, 所以可以推得: $$ {\bf M} ^{-1} = \left [ \begin{array} {ccc} 0 & ~5 & ~1/2 \\ 5 & ~0 & ~1/2 \\ 1/2 & ~1/2 & ~0 \end{array} \right ] $$ 最後我們可以得到: \begin{eqnarray*} {\bf M} \equiv adj({\bf M} ^{-1} &=& \left [ \begin{array} {ccc} -1/4 & ~1/4 & ~5/2 \\ 1/4 & ~-1/4 & ~5/2 \\ 5/2 & ~5/2 & ~-25 \end{array} \right ]\hskip 7cm ~\\ &\equiv& \left [ \begin{array} {ccc} 1 & ~-1 & ~-10 \\ -1 & ~1 & ~-10 \\ -10 & ~-10 & ~100 \end{array} \right ] \end{eqnarray*} 也就是原來的圓錐曲線方程式為:
$ x^2 - 2xy + y^2 - 20x - 20y + 100 = 0\hskip 9cm ~ $
進一步的分析讓我們知道它是一個「拋物線」, 如上圖。
附錄
(新符號運算性質的證明)
假設 $P=(x_1, y_1, z_1)$、 $Q=(x_2, y_2, z_2)$、 $R=(x_3, y_3, z_3)$, $t$ 為實數, 則有
- 加法分配律:
$[P+Q, R]_M=[P, R]_M+[Q, R]_M$ 或 $[P, Q+R]_M=[P, Q]_M+[P, R]_M$ - 純量積:
$[tP, Q]_M=t[P, Q]_M=[P, tQ]_M$
證明 我們先證明加法分配律。假設: $$ M = \left [ \begin{array} {ccc} ~a~ & ~b~ & ~c~ \\ d & ~e~ & ~f~ \\ g & ~h~ & ~i~ \end{array} \right ]\hskip 6cm~ $$ 則:
另一邊的加法分配律請讀者自行驗證。
接下來, 我們再證明「純量積」。
另一邊的純量積也請讀者自行驗證。
參考文獻
---本文作者任教台北市立陽明高中數學科---