拋物線的切線族交出奇跡

拋物線的切線族交出奇跡

蘇柏奇 · ^陳明璋 · ^顏貽隆

摘要: 就給定拋物線及其準線上的等距分點, 透過 AMA 和 Geogebra 套裝軟體的 協助, 我們得到一中垂線族, 接著探索這中垂線族交點, 我們發現這些交點裡隱藏著 一平行線族及一可平移疊合的拋物線族, 並予以證明。 我們也確認該中垂線族裡的任 意三條直線能夠還原該拋物線。

一、 前言

2005 年指考數學 (甲) 出了一題有關拋物線的題目, 引起了廣泛的討論。 該題的關鍵點在 於是否存在唯一的拋物線位於座標平面上半面且與三直線 (y = 0, y = x − 1, y = −x − 1) 相切? 趙文敏 (2005) 分別以焦點座標、 切點座標為參數, 給出拋物線的方程式與作圖法, 進而 說明有無窮多的拋物線滿足上述條件。 另外, 如圖 1, 給定兩兩相交於 A、B、C 三點的三條直 線, 由 Lambert 定理, 在 △ABC 外接圓上任取一點 F ; 再由命題 1, 分別以 AB、 AC 為 對稱軸, 作 F 的對稱點 P1, P2, 則得以 F 為焦點、 直線 P1P2 為準線的拋物線且和三直線 相切, 因為 F 為動點, 即給定三條相異切線無法決定唯一的拋物線。 再者, 在拋物線的一般式 x² + bxy + cy²+ dx + ey + f = 0 中, 已知判別式 b²− 4c = 0, 至少需四個條件才能得到 式中五個未知數的唯一解, 提供三條切線不足以決定唯一拋物線的另一種觀點。

圖 1 : 三條切線無法決定唯一一條拋物線 (動態實驗 1)

圖 2 : 四條切線決定唯一一條拋物線

47

兩個分別作其外接圓, 由 Lambert 定理得兩個圓的交點即為拋物線焦點; 再作焦點對於兩條切 線的對稱點 P₁, P₂, 由命題得此兩對稱點為準線上的兩點, 連接此兩點即得準線, 因而決定唯 一的拋物線與四線相切 (見圖 2).

Lambert定理: 若拋物線 Γ (焦點為 F ) 與 △ABC 的三邊 (或其延長線) 相切, 則 A、B、C、F 四點共圓。

命題1: 拋物線焦點對切線所作的對稱點落在準線上。 (見[3]第 237 頁)

根據拋物線的幾何性質, 給定一直線 L 及線外一點 F , 滿足 d(Q, L) = QF 之 Q 點 所成的集合即為拋物線 Γ, 其中 L 及 F 分別為 Γ 的準線與焦點(見圖 3)。 若在準線 L 上取 一點 P , 連接 P F , 則 P F 的中垂線為 Γ 的切線 (引理 1a)。 由此可得, 在準線 L 上取任 意四點 Pi, i = 1, 2, 3, 4, 並分別作 PiF 的中垂線, 則此四條中垂線皆為 Γ 的切線。 在準 線 L 上定出若干樣本點 P_i(i ∈ Z) 滿足 PiP_i−1 = PiP_i+1, 將 PiF 的中垂線記為 M_i, 諸 M_i(i ∈ Z) 稱為拋物線 Γ 的一組中垂線族 (見圖 4), Mi 和 M_j 的交點記為 Pi,j (見圖 5), 定 義 P_i,i 為線段 P_i,i−1P_i,i+1 的中點 (見圖 6)。 藉由交點座標 (引理 1b), 我們將於第二節探討交 點 {P_i,j | i, j ∈ Z} 可能的性質, 例如: 對給定整數 α, β, 諸點 P_i,α−i 落在直線 L_α 上; 諸點 P_i,β+i 落在拋物線 Γ_β 上。

圖 3 : 拋物線的幾何性質 圖 4 : Γ 的一組中垂線族 (動態實驗2)

圖 5 : Pi,j 圖 6 : Pi,i

一般所稱的織線是在相交兩直線上取等距的點, 依序連接兩線上的點所成的圖形, 例如:

圖 7 中, 在 OA, OB 上各取 5 點, 其中, OA1 = AkA_k+1, OB5 = BkB_k+1, k = 1, 2, 3, 4, 連接 A_kB_k, k = 1, 2, 3, 4, 5 所得的圖形即為織線。 織線具有相當多的幾何性質, 較為人知的 是這些線段包絡出一個拋物線。 若在準線上取等距分點 Pi(i ∈ Z) 滿足 PiP_i−1= PiP_i+1, 作 P_iF 的中垂線 M_i, 則中垂線族 Mi(i ∈ Z) 構成一組織線。

圖 7 : 織線 (動態實驗3)

給定任意兩兩相交一點的三直線, 可作出許多與此三直線相切的拋物線, 但自拋物線 Γ 的 一組中垂線族中任取三線, 是否可還原出拋物線 Γ (即決定唯一的拋物線) ? 我們將在第三節 針對這個問題, 藉由 Γ 的中垂線族的一些規律, 提供肯定的結論。

二、 在準線上取等距分點所衍生中垂線族的交點

本節以準線及焦點建構出一個與拋物線相切的中垂線族, 並探討諸交點的性質。 不失一般 性, 設拋物線方程式為 y² = 4cx(c > 0), 其焦點 F (c, 0), 在準線上取若干點 Pi(−c, d0+ id) 滿足 PiP_i−1 = d, 將 PiF 的中垂線記為 M_i, 當 i 6= j 時, 中垂線 Mi 和 M_j 的交點記為 P_i,j, 並定義 Pi,i 為線段 P_i,i−1P_i,i+1 的中點。 本節將根據 Pi,j 的座標 (引理 1b), 進行一連串 探究。

引理1: L 及 F 分別為拋物線 Γ 的準線與焦點, 則:

(a) 若 P 為準線 L 上的一點, 則 P F 的中垂線 M 與拋物線 Γ 相切。

(b) 中垂線 Mi 和 M_j 交點 P_i,j 的座標為 (d0+ id)(d0+ jd)

4c , d₀+ (i + j)d 2

。 (c) 每一中垂線 Mi 被其上諸點 P_i,j 截成等長線段。

證明:

(a) 如圖 8, 過 P 作一直線與 L 垂直, 與 M 相交於 Q, 因 d(Q, L) = P Q = QF (M 為 P F 的中垂線), 故可知 Q 在拋物線 Γ 上。 以下先證明 Q 為切點: 在 M 上取異於 Q 的任意點 Q^′, 因 P Q^′ = F Q^′, 且直角 △P P^′Q^′ 中, P Q^′ > P^′Q^′, 得 d(Q^′, L) = P^′Q^′ = F Q^′, 故得 Q^′ 不在 Γ 上, 得 M 與 Γ 恰有一交點 Q, 得證 Q 為切點, 故得 M 為切線。

(b) 由 Pi(−c, d0 + id), F (c, 0), 得線段 PiF 中垂線 M_i 的方程式為

2cx − (d0+ id)y +(d0+ id)² 2 = 0

同理可得 M_j 的方程式, 解聯立方程式







2cx − (d0+ id)y + (d0+ id)² 2 = 0 2cx − (d0+ jd)y + (d0+ jd)²

2 = 0 得 Pi,j 的坐標 (d0+ id)(d0+ jd)

4c , d₀+(i + j)d 2

。

1國立交通大學陳明璋教授創造了一套配合 Microsoft PowerPoint 使用的工具軟體, 稱為 AMA, 以設計簡單的線條規則, 經大量重 複, 創造出豐富的、 酷似自然界景象的圖案。 利用 AMA 可以利用比較視覺化的工具來創作和實驗。

2GeoGebra 是由美國佛羅里達州亞特蘭大學 Markus Hohenwarter 教授所設計, 是一套免費和多平台的動態數學教育軟體。 它結 合了幾何、 代數和微積分, 用點、 向量、 線段、 直線、 圓錐曲線等工具來繪圖, 當圖形改變時, 對應的函數或方程式也隨之改變。

(c) 當 i 6= j 時, 由引理 1b 得兩點 Pi,j, Pi,j+1 的坐標如下:

P_i,j(d0+ id)(d0+ jd)

4c , d₀+ (i + j)d 2

 , P_i,j+1(d0+ id)(d0+ jd + d)

4c , d₀+ (i + j + 1)d 2



得向量 −−−−→

P_i,jP_i,j+1=(d0+ id)d 4c ,d

2

 與 j 無關。

接下來考慮 i = j 的情形, 同理可得向量 −−−−−→

P_i,i−1P_i,i+1 = (d0+ id)d 4c , d

, 因 Pi,j

為 P_i,i−1P_i,i+1 的中點, 再得向量 −−−−→

P_i,i−1P_i,i = −−−−→

P_i,iP_i,i+1 = (d0+ id)d 4c , d

, 即得

−−−−→

P_i,i−1P_i,i =−−−−→

P_i,iP_i,i+1 =−−−−→

P_i,jP_i,j+1. 證畢。

圖 8 : 中垂線 M 與拋物線 Γ 相切

在中垂線族 {Mi | i ∈ Z} 的諸交點 Pi,j之中, 發現令人訝異的兩類共線現象 (定理 2)。

其一為當 i + j 為定值時 (設為 α), 由 Pi,j 的 y 座標為 αd

2 與 i、j 無關, 亦即不論 i、j 為何, 諸點 P_i,j 皆落在水平直線 Lα : y = αd

2 上 (式中 d 為準線上取點的間距), 尤有甚者, 不論 α 值為何, Lα+1 與 L_α 的距離皆為 d

2, 即諸水平線 {Lα | α ∈ Z} 等距 (見圖 9a)。 另一種共線 的情形為當 |i − j| 為定值時 (設為 β), 經由代數運算, 我們由 Pi,j 的 x, y 座標滿足拋物線方 程式 Γβ : y² = 4cx +β²d²

4 , 即諸點落在同一條拋物線 Γβ 上, 並且諸拋物線 Γβ 經平移後可 疊合 (見圖 9b)。 另外, 當 β = i − j = 0時, Γ0 即為一開始所給定的拋物線 Γ : y² = 4cx, 此 時, 諸中垂線與 Γ0(= Γ) 相切, 得 Mi 與 Γ 相切於點 Pi,j。

(a) P_i,α−i 諸點落在直線 L_α : y =

2 上, 諸直線 Lα 平行等距。

(b) Pi,β+i 諸點落在拋物線 Γβ : y² = 4cx +β²d²

4 上, 諸拋物線 Γβ 經平移後可疊合。

(c) 諸 Mi 與 Γ 相切於 Pi,i 。 證明:

(a) 由引理1b, 得 P_i,α−iid²(α − i) 4c ,αd

2

, 因其 y 座標與 i、j 無關, 得 Pi,j 在 L_a : y = αd 2 上。 又 L_k+1: y = (α + 1)d

2 , 可得 Lα+1 與 L_α 平行, 且兩直線的距離為 d 2。 (b) 若 j − i = β, 由引理 1b, 得 Pi,j

(d0+ id)(d0+ id + βd)

4c , d₀+ id + βd 2

。

假設







x= (d0+ id)(d0+ id + βd)

4c (1)

y = d0+ id + βd

2 (2)

由 (2) 得 id = y − d0− βd

2 , 代入 (1), 化簡得 y² = 4cx +β²d² 4 。

(c) 由引理 1b, 算得 Pi,iF = d(Pi,i, L) 故得點 Pi,i 在 Γ 上, 即 Pi,i 為切點。 　證畢。

圖 9a : Lα 圖 9b : Γβ

L_α 上相鄰兩點的距離與 α 的奇偶性有關, 當 α = 2i 時, 水平直線 L2i 上, 由右而左的 點依序為 P_i,i, P_i+1,i−1, P_i+2,i−2, . . . , P_i+k,i−k, . . . (見圖 10a); 當 α = 2i + 1 時, 水平直線 L_2i+1上, 由右而左的點依序為 Pi+1,i, P_i+2,i−1, P_i+3,i−2, . . . , P_i+k,i−k+1, . . .(見圖10b), 方便

起見, 令 dα,k 表示 L_α 上相鄰兩點的距離, 就 α 的奇偶性定義 d2i,k = Pi+k−1,i−k+1P_i+k,i−k, d_2i+1,k = P_i+k,i−k+1P_i+k+1,i−k.

圖 10a : L2i

圖 10b : L2i+1

由引理 1b 所提供的點座標得相鄰兩點的距離

d_2i,k= Pi+k−1,i−k+1P_i+k,i−k= (2k − 1)d² 4c d_2i+1,k= P_i+k,i−k+1P_i+k+1,i−k= kd²

2c 再算得 L_a上共頂點兩段線段長度之差為 d_α,k+1−dα,k = d²

2c 與 α、 k 無關, 因此數列 < dα,k >

是一個以 d²

2c 為公差的等差數列。 以 k = 1 代入上兩式, 得首項 d_2i,1=d²

4c d_2i+1,1=d² 2c

另外, 因 dα,k 與 α 無關, 因此當 m, n 同為奇數時 (或同為偶數), 對於任意正整數 k, 可得 d_m,k = dn,k。這顯示, 平移 L2m 使得 L_2m 和 L_2n 疊合且兩線上的點 P_m−t,m+t 和 P_n−t,n+t 疊合, 則兩直線上的所有交點皆疊合; 同樣的情形也適用於任意兩直線 L2m+1 和 L_2n+1。 上述 結果歸納為系理 3。

系理3: 令 d2i,k = Pi+k−1,i−k+1P_i+k,i−k, d2i+1,k = P_i+k,i−k+1P_i+k+1,i−k 則 (a) 數列 < d2i,k> 為首項 d²

4c, 公差 d²

2c 的等差數列。

(b) 數列 < d2i+1,k > 為首項 d²

2c, 公差 d²

2c 的等差數列。

(c) 若 m − n 為偶數, 則 dm,k = dn,k。

{Lα | α ∈ Z} 上, 又因為當 m − n ≡ 0(mod 2) 時, Lm 及 L_n 上存在等長線段 d_m,k = dn,k, 因此, 我們可以得到兩個對角線落在 Lm 及 L_n 上的等面積四邊形。 例如 : 圖 11 中的三個四 邊形的面積皆相等。 上述結果歸納如系理 4。

圖 11 : 等面積之四邊形 (動態實驗 4)

系理4: 在中垂線族 {Mi | i ∈ Z} 所對應的直線族 {Lα | α ∈ Z} 裡, 任取 Lm 上兩點 P_i,m−i 及 P_{i+k,m−k−i} 形成一個邊落在 Mi、 M_m−i、 M_i+k、 M_m−k−i 上的四邊形 P_i+k,m+k−i P_{i+k,m−k−i}P_i,m−2k−iP_i,m−i (見圖 12). 則對於任意 n 滿足 m − n ≡ 0(mod 2), 恰有一個對 角線落在 L_n 的四邊形與前述四邊形等面積。

圖 12

三、 由拋物線 Γ 中垂線族之三條直線還原 Γ

給定一條拋物線 Γ, 可求得無限多組中垂線族滿足若干關係 (定理 2 及系理 3, 4)。 本節 探討至少需要自中垂線族裡中選取三條直線, 才足以還原拋物線 Γ, 因此拋物線 Γ 是唯一與此 中垂線族相切的拋物線。

任取拋物線 Γ 之一組中垂線族中的三條線 Mi, M_j, M_k (k < i < j), 我們可以求得第四 條直線。 在 Mk 上, 根據引理 1c, 由 Pk,j+1P_j,k : Pj,kP_i,k = 1 : (j − i) 可求出 Pk,j+1; 在 Mi

上, 根據 Pi,j+1P_i,j : Pi,jP_i,k = 1 : (j − k) 可求出 Pi,j+1, 再由兩點 Pk,j+1 及 P_i,j+1 即得 M_k+1, 進而由 Mi, Mj, Mk, Mk+1 還原出拋物線 Γ (見圖 13)。 另一方面, 當給定一組 Γ 中 垂線族的三條直線時, 因此三線分別與 Γ 相切於 Pi,i, Pj,j, Pk,k 提供了額外的條件, 因此可還 原拋物線 Γ, 提供僅由三線可還原 Γ 的另一種觀點。

圖 13 : 由 Mi, Mj, Mk 還原 Γ

後記

文中圖 1、 圖 4、 圖 7 及圖 11 皆利用 GeoGebra 所設計的動態實驗, 讀者可輸入網址直 接進行探索。 動態實驗各網址如下:

(a) 動態實驗 1 : 給定任三條互不平行的直線, 有幾個拋物線和此三直線相切 ? https://www.geogebra.org/m/a7dfd5ee

(b) 動態實驗 2 : 動態拋物線的中垂線族

https://www.geogebra.org/m/uU8NCXr4 (c) 動態實驗 3 : 動態織線

https://www.geogebra.org/m/RUSBdb6n (d) 動態實驗 4 : 探索等面積之四邊形

http://download.geogebra.org/installers/5.0/ (點選所需系統的 exe 檔) 安裝 Java 6 及 GeoGebra 5 後, 輸入網址即可開啟 GeoGebra 檔, 進行動態實驗的探 索。 https://drive.google.com/open?id=0B7ZBvcy-JR4DVHNaUFNMQWhqNFU

透過資訊科技我們可以從無數條直線的交點中, 觀察到一些令人欣喜的結果, 再透過數學 軟體之精確圖形與快速計算, 即時驗證我們的觀察結果, 最後再給於嚴謹的證明, 這就是數學歸 納法。 筆者從事數學教學工作多年, 自始至終深信資訊科技能活化數學教學, 讓數學課變得更有 趣, 每位學生都喜歡上數學課。 期盼透過本文能讓更多的數學教師善加利用資訊科技於課堂上, 讓數學教育展現新氣象!

參考資料

1. 趙文敏。 三切線可決定多少拋物線。 科學教育月刊, 283, 51-61, 2005。

2. 沈朋裕。 用Lambert 定理作拋物線。 龍騰數學新天地第十二期, 38-40, 2005。

3. 海因里希—德里。 一百個著名初等數學問題歷史與解答。 凡異。

—本文作者蘇柏奇任教苗栗縣立興華高級中學, 陳明璋任教國立交通大學通識教育中心, 顏貽 隆為國立科學工業園區實驗高級中學退休教師—