圓內接四邊形與其平分圓的關係
吳 波
一、 引言
文 [1] 中我們定義了凸四邊形的“內、 外平分四邊形” 和“ 內、 外平分圓” 的概念, 然後證 明了圓內接凸四邊形的一個有趣結論:
圖 1 性質1([1]): 圓內接(凸) 四邊形的外心是其內、 外平分圓
的連心線的中點。
但圓的內接四邊形除了凸四邊形之外還有一種稱為“蝶形”的 四邊形:
定義1([2]): 有一個自交點的四邊封閉折線叫做蝶形。
如圖1, 四邊形 ABCD 的一組對邊 AD、BC 相交於點 X, 此時四邊形 ABCD 即是一 個蝶形。 其中自交點 X 叫做它的臍點, ∠AXB、 ∠CXD 叫做它的臍角, △AXB、 △CXD 叫做它的兩翅 (注: 兩翅視具體位置關係不同, 可以用左右或上下來加以區分), ∠A、 ∠B 是左 翅的兩個頂角, ∠C、 ∠D 是右翅的兩個頂角 — 兩翅的頂角不含臍角。
本文擬將性質 1 從圓內接凸四邊形拓廣到圓內接蝶形, 並確定圓內接四邊形的外接圓和其 平分圓的等冪軸 (或稱根軸), 然後給出這三個圓的半徑之間的關係, 最後提出兩個相關問題。
二、 圓內接蝶形的平分圓
與文 [1] 類似, 我們先定義幾個與蝶形有關的概念。
定義2: 蝶形左翅兩頂角鄰補角的平分線與右翅的兩頂角平分線所圍成的四邊形叫做它的左平 分四邊形。
定義3: 蝶形右翅兩頂角鄰補角的平分線與左翅的兩頂角平分線所圍成的四邊形叫做它的右平 分四邊形。
76
性質2: 蝶形的左、 右平分四邊形都有外接圓。
這個性質的證明很容易, 因此略去。 由此可作如下定義:
定義4: 蝶形的左、 右平分四邊形的外接圓分別叫做它的左、 右平分外接圓。
O E F G
H K
O J
L
I A B C D
圖 2
如圖 2, 四邊形 ABCD 是蝶形。 四邊形 EF GH 是左翅頂角平分線 AH、BF 與右翅 頂角鄰補角的平分線 CF 和 CG、DH 和 DG 所圍成的右平分四邊形。 IJKL 是右翅頂角 平分線 CJ、DL 與左翅頂角鄰補角的平分線 AL 和 AI、BJ 和 BI 所圍成的左平分四邊形。
⊙O1、⊙O2 分別是其右、 左平分圓。
當蝶形本身也有外接圓時, 我們可將性質 1 拓廣為:
性質3: 圓內接蝶形的外心是其左、 右平分圓的連心線的中點。
Y Y
Y O
O E K X G
I D
L C
J
B H
A P Q
N O F
M
圖 3
如圖 3, 四邊形 ABCD 是 ⊙O 的內接蝶形, 對邊 AD、 BC 的交點為 X (即臍點), 另
一組對邊 AB、CD 所在直線的交點為 Y (限於版面, 圖 3 中未畫出, 但以箭頭指向點 Y )。 四 邊形 EF GH、 IJKL 分別是其右、 左平分四邊形。 ⊙O1、 ⊙O2 分別是其右、 左平分圓。
設 ∠BAD = ∠BCD = 2θ1, ∠ABC = ∠ADC = 2θ2, ∠DCG = θ3, ∠CDG = θ4 。與文 [1] 完全類似地有 (證略) :
(i) θ1+ θ3 = θ2+ θ4 = π 2。 (ii) 有如下四個共圓四點組:
A、E、B、I; B、F 、C、J; C、G、D、K; D、H、A、L。
(iii) I、E、G、K、X 五點共線, J、H、F 、L、Y 五點共線, 且這兩條直線互相垂直。
(iv) 圓內接蝶形相對頂點處的兩頂角平分線的交點和兩頂角鄰補角的平分線的交點都在其外接 圓上。
如圖3, AP 、AM 分別是頂點 A 處的頂角平分線和其鄰補角的平分線, 相對頂點處 C 的 頂角平分線和其鄰補角的平分線分別為 CP 、CM 。 則 P 、M 都在 ⊙O 上。
(v) I、G 關於 MN 對稱; J、H 關於 NP 對稱; K、E 關於 P Q 對稱; L、F 關於 MQ 對稱。
(vi) 四邊形 MNP Q 是 ⊙O 的內接矩形。
有了上面的這六個結論, 類似於文 [1] 對性質 1 的證明, 就可以證明性質 3 (證略)。
我們看到, 圓內接凸四邊形和蝶形的前述概念和性質完全類似。 事實上, 筆者發現它們是 可以統一表述的。
定義5: 四邊形 ABCD 的邊 AB、BC、CD、DA 所在直線分別記作 l1、l2、 l3、 l4, 則 l1 到 l2、 l2 到 l3、 l3 到 l4、 l4 到 l1 的這四個角 (注意是“到角”不是“夾角” —— “到角”是要講順序 的!) 的平分線所圍成的四邊形稱為四邊形 ABCD 的正平分四邊形。 而將 l1 到 l4、 l4 到 l3、 l3 到 l2、 l2 到 l1 的這四個角的平分線所圍成的四邊形稱為四邊形 ABCD 的逆平分四邊形。
又將正、 逆平分四邊形的外接圓分別稱為其正、 逆平分圓。
這樣, 性質 1、3 就可以統一表述為:
性質4: 圓內接四邊形的外心是其正、 逆平分圓的連心線的中點。
三、 三圓等冪軸與半徑之間的關係
觀察圖 4 (其中各字母含義同圖 3), 我們發現圓內接蝶形 ABCD 的外接圓與它的兩個平 分圓有兩個公共點, 這意味著這三個圓有相同的等冪軸。 並且這條等冪軸過蝶形的對邊點 X。
猜想並通過實驗證實: 這條等冪軸還過蝶形的另一個對邊點 Y 。 這個結論對圓內接凸四邊形也 是成立的。 即有
定理1: 圓內接四邊形兩個對邊點的連線是它的外接圓和正、 逆平分圓的等冪軸。
圖 4 證明: 如圖 4, 當圓內接四邊形為蝶形時。
因為 ∠EAD = θ1 = ∠XCK = ∠KCD = ∠EGD, 則 A、E、D、G 四點共圓, 所以 XA· XD = XE · XG。 這表明: X 是 ⊙O 和 ⊙O1 的等冪點。
類似可證: 另一個對邊點 Y 也是 ⊙O 和 ⊙O1 的等冪點。
因此蝶形 ABCD 兩個對邊點的連線是 ⊙O 和 ⊙O1 的等冪軸。
同理可證: 蝶形兩個對邊點的連線也是 ⊙O 和 ⊙O2 的等冪軸。
所以蝶形兩個對邊點的連線是 ⊙O、 ⊙O1 和 ⊙O2 的等冪軸。
當圓內接四邊形為凸四邊形時, 可類似證明。
注: 當圓內接四邊形兩組對邊分別平行 (即為矩形) 時, 其外接圓和它的兩個平分圓是同心圓, 此時它們的等冪軸為無窮遠直線。
又, 注意到圓內接四邊形對邊點的連線關於外接圓的極點正是其對角線所在直線的交點 (圖 4 中的點 Z 是對角線 AC、BD 所在直線的交點 )。 結合性質 4 和定理 1 有
推論: 圓內接四邊形的外心、 對角線交點和正、 逆平分圓的圓心這四點共線, 且所共直線與其兩 對邊點的連線互相垂直。
由此我們還可推得圓內接四邊形的外接圓和它的兩個平分圓的半徑之間的關係, 即 定理2: 設圓內接四邊形外心到其正、 逆平分圓圓心的距離均為 d, 外接圓半徑為 r, 兩平分圓 半徑分別為 r1, r2, 則: r12+ r22 = 2(r2+ d2)。
證明: 如圖 4, 由定理 1 的推論知:O1、O、O2 在等冪軸 (即對邊點的連線) 上的正投影重合為 一點, 設這個點為 W 。
記 |OW | = k, 又不妨設 r2 ≥ r1, 則由性質 4 有: |O1W| = |k − d|, |O2W| = |k + d|。
注意到點 W 在這三個圓的等冪軸上, 由“等冪”的含義有:
k2− r2 = (k − d)2− r12 = (k + d)2− r22.
消去其中的 k 並化簡即得所證結論。
四、 極限情形及相關問題
從運動的觀點來看, 當 ⊙O 的內接凸四邊形 ABCD 逐漸變為蝶形 ABCD 時, 點 C、D 應該有逐漸接近、 重合、 換位的過程。 那麼當 C、D 重合時, 上述結論還成立嗎?
= = =
=
圖 5
如圖 5 (其中各字母含義仍同圖 3)。 注意到點 C、D 重合, 則邊 CD 退化為 ⊙O 的切線 l。 原來的 ∠BCD、∠ADC 現在分別對應弦切角 ∠BCD′、 ∠ADC′。 此時點 G、K、X 也會 與 C、D 重合。
實驗表明: 此時上述那些結論仍然成立。 證明也完全類似, 此處不再贅述。
最後, 我們提出如下兩個問題:
問題1: 對這樣的三個圓 ⊙O、⊙O1、⊙O2: 它們的半徑分別為 r、r1、r2, 點 O 是 O1O2 的中點 且 |OO1| = |OO2| = d。 若 r21+ r22 = 2(r2+ d2), 那麼是否存在這樣的四邊形 — 它內接於
⊙O, 且使得 ⊙O1、⊙O2 分別為這個四邊形的兩個平分圓?
問題2: 對圖 2 中的 A、B、C、D 四點, 若其中任三點不共線 , 則以它們為頂點的四邊形有三
個: 蝶形 ABCD、 蝶形 ACBD 和凸四邊形 ABDC。 其中每個四邊形都有兩個平分圓, 不知 道這六個圓之間是否存在有趣的關係?
參考資料
1. 吳波, 圓內接四邊形的一個有趣性質[J], 數學傳播, 2013(37), 3:68-70。
2. 楊世明、 王雪琴, 蝶形初探[J], 中學數學, 1997, 8:16-18。
—本文作者任教重慶市長壽龍溪中學—
104 學年度周鴻經獎學金即日起開始申請
截 止 日 期 : 2015 年 11 月 15 日止 (以郵戳為憑)
申 請 辦 法 : 檢附周鴻經獎學金申請書、 志向說明書、 在學各學年之成績單 (碩士 班一年級研究生須繳大學之成績單)、 周鴻經獎學金推薦書、 及數學 相關系所之教授二人以上之推薦書, 由校方函送中央研究院數學研 究所申請。
詳見本刊封底裡及中研院數學所網頁 http://www.math.sinica.edu.tw 備註: 本獎學金只限在台就讀學生申請。