圓內接多 邊形的歐拉線
楊玉星
一、 前言
在平面幾何中, 歐拉線是指過三角形的外心、 重心、 九點圓 (歐拉圓) 圓心和垂心的一條直 線。 歐拉線上的四點中, 九點圓圓心到垂心和外心的距離相等, 而且重心到外心的距離是重心到 垂心距離的一半。 換言之, 設三角形的外心為 O、 重心為 G、 九點圓圓心為 K 和垂心為 H, 可以推得 OG : GK : KH = 2 : 1 : 3。 如果現在我們也可以定義圓內接多邊形的外心、 重 心、 歐拉圓心和垂心, 那麼圓內接多邊形的四心是否依然共線? 又四心的距離比能否維持不變 呢? 這兩者都是我們感興趣的。
二、 圓內接多邊形四心的定義
(一) 外心
一般定義多邊形的外接圓圓心即是外心, 因此圓內接多邊形必有外心。
(二) 重心
將三角形想像成在頂點位置各放一顆質量相等的質點, 則此三個質點的質心就是三角形的 重心。 因此依據力矩平衡的概念, 先找出其中兩質點的質心, 再跟剩餘的質點, 就可以確定 最後的質心位置, 也就是三角形重心的位置。 依此類推, 就可以定義任意多邊形的重心。
(本定義不同於參考資料 [1] 是利用多邊形中線定義其重心) (三) 歐拉圓心
如果將圓上一弦的中點視為兩邊形的歐拉圓心, 那麼三角形的歐拉圓心就是過此三中點之 圓的圓心。 圓內接四邊形四頂點中任取三頂點可得四個三角形, 因此可得四個三角形的歐 拉圓心, 而此時這四個歐拉圓心會共圓, 不妨就定義圓內接四邊形的歐拉圓心就是過此四 點之圓(歐拉圓) 的圓心。 依此類推, 就可以定義圓內接多邊形的歐拉圓心。
(引用參考資料 [1] 的定義) (四) 垂心
三角形的三條高線交於一點, 稱為三角形的垂心。 圓內接四邊形四頂點中任取三頂點可得 四個三角形, 因此可得四個三角形的垂心, 而此時這四個垂心會共圓, 不妨就定義圓內接 四邊形的垂心就是過此四點之圓(垂心圓) 的圓心。 依此類推, 就可以定義圓內接多邊形的
垂心。 (引用參考資料[1]的定義)
三、 圓內接多邊形的四心共線與距離比
定理: 設圓內接 n (n ≥ 3) 邊形 A1A2· · · An−1An 中, 其外心為 O、 重心為 G、 歐拉圓心為 K、 垂心為 H, 則此四心會共線且 OG : GK : KH = 2 : (n − 2) : n。
(此定理是作者個人的創見) 證明:
(一) 如圖一, 設 △A1A2A3 的三頂點坐標分別為 A1(x1, y1), A2(x2, y2), A3(x3, y3), 其外接 圓半徑為 r, 外心為 O (0, 0), 則 x21+ y12 = r2, x22+ y22 = r2, x23 + y32 = r2。 (參考資 料 [2] 的假設)
圖一
1. 已知 A1 和 A2 的中點為 M3x1+ x2
2 ,y1+ y2 2
, 由前面三角形重心的定義可知 :
△A1A2A3 的重心 G = 2 3
x1 + x2
2 ,y1+ y2 2
+ 1
3(x3, y3)
=x1+ x2+ x3
3 ,y1+ y2+ y3 3
.
2. 又 A2和 A3的中點為 M1x2+x3
2 ,y2+y3 2
, A3和 A1的中點為 M2x3+x1
2 ,y3+y1 2
,
由三角形各邊中點坐標之關係, (參考資料 [2] 的證法)
易知 △A1A2A3 的九點圓圓心 Kx1 + x2+ x3
2 ,y1+ y2+ y3 2
, 且
KM1 = 1 2
px21 + y12= 1
2r, KM2 = 1 2
px22+ y22 = 1
2r, KM3 = 1 2
px23+ y32 = 1 2r。
3. 設 △A1A2A3 的垂心 H 為 (x, y), 由三角形垂心的定義可知 : −−→
A1H ·−−−→
A3A2 = 0,
−−→A2H ·−−−→
A3A1 = 0, −−→
A3H ·−−−→
A2A1 = 0, (以下證法是作者個人的創見) 推得 (x − x1)(x2 − x3) + (y − y1)(y2− y3) = 0,
(x − x2)(x1 − x3) + (y − y2)(y1− y3) = 0, (x − x3)(x1 − x2) + (y − y3)(y1− y2) = 0, 又
(x2+ x3)(x2 − x3) + (y2+ y3)(y2− y3) = 0 ⇔ (x22+ y22) − (x23+ y32) = 0, (x1+ x3)(x1 − x3) + (y1+ y3)(y1− y3) = 0 ⇔ (x21+ y12) − (x23+ y32) = 0, (x1+ x2)(x1 − x2) + (y1+ y2)(y1− y2) = 0 ⇔ (x21+ y12) − (x22+ y22) = 0, 故 △A1A2A3 的垂心 H(x, y) = (x1 + x2+ x3, y1+ y2+ y3)。 從而
−→OG =x1+ x2 + x3
3 ,y1+ y2 + y3 3
, −−→
OK =x1+ x2+ x3
2 ,y1+ y2+ y3 2
,
−−→OH = (x1 + x2+ x3, y1+ y2+ y3),
可推知 : −→
OG//−−→
OK//−−→
OH, 且
−−→GK =−−→
OK −−→
OG =x1+ x2+ x3
6 ,y1+ y2+ y3 6
,
−−→KH =−−→
OH −−−→
OK =x1+ x2+ x3
2 ,y1+ y2+ y3
2
,
故 △A1A2A3 的四心 O、 G、 K、 H 共線且 OG : GK : KH = 2 : 1 : 3。
(二) 如圖二, 設圓內接四邊形 A1A2A3A4 的四頂點坐標分別為 A1(x1, y1), A2(x2, y2), A3(x3, y3), A4(x4, y4), 其外接圓半徑為 r, 外心為 O (0,0), 則 x21+ y21 = r2, x22+ y22 = r2, x23+ y32 = r2, x24+ y42 = r2。 (參考資料 [2] 的假設)
圖二 1. 已知 △A1A2A3 重心為 G4
x1+ x2+ x3
3 ,y1+ y2+ y3
3
, 由前面多邊形重心的定義可 知 : 圓內接四邊形 A1A2A3A4 的重心為
G = 3 4
x1+ x2+ x3
3 ,y1+ y2+ y3
3
+1
4(x4, y4)
=x1+ x2+ x3+ x4
4 ,y1+ y2+ y3+ y4 4
.
如圖三, 已知圓內接 (n − 1) 多邊形 A1A2A3· · · An−1 的重心為
Gnx1+ x2+ x3+ · · · + xn−1
n − 1 ,y1+ y2+ y3+ · · · + yn−1 n − 1
,
則由多邊形重心的定義可知 : 圓內接 n 多邊形 A1A2A3· · · An−1An 的重心為
G = n − 1 n
x1+ x2+ x3 + · · · + xn−1
n − 1 ,y1+ y2+ y3+ · · · + yn−1
n − 1
+ 1
n(xn, yn)
=x1 + x2+ x3+ · · · + xn−1+ xn
n ,y1+ y2+ y3+ · · · + yn−1+ yn n
, 故由數學歸納法得證此重心公式為真。
圖三
2. 已知圓內接四邊形 A1A2A3A4 中, △A1A2A3、 △A2A3A4、 △A3A4A1、 △A4A1A2 的 歐拉圓心分別為
K4x1+ x2+ x3
2 ,y1+ y2+ y3 2
、 K1x2+ x3+ x4
2 ,y2+ y3+ y4 2
、
K2x3+ x4+ x1
2 ,y3+ y4+ y1 2
、 K3
x4+ x1 + x2
2 ,y4 + y1+ y2 2
,
則由這四個三角形歐拉圓心坐標之關係, (以下參考資料 [2] 的假設與證法) 易知圓內接四邊形 A1A2A3A4的歐拉圓心為 Kx1+ x2+ x3+ x4
2 ,y1+ y2+ y3+ y4 2
,
且 KK1= 1 2
q
x21+ y12 = 1
2r, KK2 = 1 2
q
x22+ y22 = 1 2r, KK3= 1
2 q
x23+ y32 = 1
2r, KK4 = 1 2
q
x24+ y42 = 1 2r.
如圖三, 設圓內接 n 多邊形 A1A2A3· · · An−1An 的 n 個頂點坐標分別為 A1(x1, y1), A2(x2, y2), A3(x3, y3), . . ., An−1(xn−1, yn−1), An(xn, yn), 其外接圓半徑為 r, 外心為 O (0,0), 則
x21+y21 = r2, x22+y22 = r2, x23+y32 = r2, . . . , x2n−1+yn−12 = r2, x2n+y2n= r2.
已知圓內接 n 多邊形 A1A2A3· · · An−1An中, n 個圓內接 (n−1) 多邊形 A1A2· · · An−1、 A2A3· · · An 、 . . . 、 AnA1A2· · · An−2 的歐拉圓心分別為
Knx1+ x2+ x3 + · · · + xn−1
2 ,y1+ y2+ y3+ · · · + yn−1
2
, K1x2+ x3 + x4+ · · · + xn
2 ,y2+ y3+ y4+ · · · + yn 2
, . . . ,
Kn−1xn+ x1+ x2+ · · · + xn−2
2 ,yn+ y1+ y2+ · · · + yn−2 2
,
則由這 n 個圓內接 (n − 1)多邊形歐拉圓心坐標之關係, 易知圓內接 n 多邊形 A1A2A3· · · An−1An 的歐拉圓心為
Kx1+ x2 + x3+ · · · + xn−1+ xn
2 ,y1+ y2+ y3+ · · · + yn−1+ yn 2
,
且
KK1 = 1 2
q
x21+ y21 = 1
2r, . . . , KKn−1 = 1 2
q
x2n−1+ yn−12 = 1 2r, KKn = 1
2
px2n+ yn2 = 1 2r.
故由數學歸納法得證此歐拉圓心公式為真。
3. 已知圓內接四邊形 A1A2A3A4 中, △A1A2A3、 △A2A3A4、 △A3A4A1、 △A4A1A2 的 垂心分別為
H4(x1+ x2+ x3, y1+ y2+ y3)、 H1(x2 + x3+ x4, y2+ y3+ y4)、
H2(x3+ x4+ x1, y3+ y4+ y1)、 H3(x4+ x1+ x2, y4+ y1+ y2),
則由這四個三角形垂心坐標之關係, (以下證法是作者個人的創見)
易知圓內接四邊形 A1A2A3A4 的垂心為 H(x1+ x2+ x3 + x4, y1+ y2+ y3+ y4), 且 HH1=p
x21+ y21 = r, HH2=p
x22+ y22 = r, HH3=p
x23+ y23 = r, HH4=p
x24+ y42 = r.
如圖三, 已知圓內接 n 多邊形 A1A2A3· · · An−1An 中, n 個圓內接 (n − 1) 多邊形 A1A2A3· · · An−1、 A2A3A4· · · An、 . . . 、 AnA1A2· · · An−2 的垂心分別為
Hn(x1+ x2 + x3+ · · · + xn−1, y1+ y2+ y3+ · · · + yn−1), H1(x2+ x3+ x4+ · · · + xn, y2+ y3+ y4+ · · · + yn), . . . , Hn−1(xn+ x1+ x2+ · · · + xn−2, yn+ y1+ y2+ · · · + yn−2),
則由這 n 個圓內接 (n − 1)多邊形垂心坐標之關係, 易知圓內接 n 多邊形 A1A2· · · An 的 垂心為
H(x1+ x2 + · · · + xn, y1+ y2+ · · · + yn), 且 HH1=
q
x21+y21= r, . . . , HHn−1= q
x2n−1+yn−12 = r, HHn=p
x2n+yn2= r.
故由數學歸納法得證此垂心公式為真。
從而 −→
OG =x1+ x2+ · · · + xn
n ,y1+ y2+ · · · + yn n
,
−−→OK =x1+ x2+ · · · + xn
2 ,y1+ y2+ · · · + yn 2
,
−−→OH = (x1 + x2+ · · · + xn, y1+ y2+ · · · + yn),
可推知 : −→
OG//−−→
OK//−−→
OH,
且 −−→
GK =−−→
OK −−→
OG = n − 2 2
x1+ x2 + · · · + xn
n ,y1+ y2+ · · · + yn n
,
−−→KH =−−→
OH −−−→
OK =n 2
x1+ x2+ · · · + xn
n ,y1+ y2+ · · · + yn n
,
故圓內接 n (n ≥ 3) 多邊形 A1A2A3· · · An−1An 的四心 O、 G、 K、 H 也會共線, 且 OG : GK : KH = 1 : n − 2
2 : n
2 = 2 : (n − 2) : n.
參考資料
1. 李冬梅, 白世忠譯。 幾何學中的歸納法。 九章出版社, 開明(大陸) 出版社, 101-119。
2. 黃家禮編著。 幾何明珠。 九章出版社, 155-156。
—本文作者任教國立金門高級中學—