平行四邊形、梯形與三角形內一點
到各頂點距離和的最小上界
李政豐 1* 陳昭地 2
l 國立竹南高級中學2 國立臺灣師範大學數學系
壹、前言 接續前三篇文章: 卜三角形三個極小值的探討(李政豐、傅淑婷、陳昭地 (2014». 2. 三角形的三個最大值定理的迴響(李政豐、朱敵台、陳昭地 (2014)).3
等腰梯形與平行四邊形的邊上或形內一點到四頂點距離和的最大值(李政豐、陳昭地(20J 5)).
其中有兩篇文章「三角形的三個最大值定理的迴響 J' 以及「等腰梯形與平行四邊形 的邊上或形內一點到四頂點距離和的最大值 J' 已經證明最大值的存在性,這個最大值也 就是本文所討論的最小上界 (leastupper
bound) 。且在這些圓形中 P 點到各頂點距離和有 最大值時, p 點的位置都發生在這些圓形中的某些頂點。 其中主要用到的手法有兩種:平行線法與精固法。其中有用到精圓上一點到兩焦點 的距離和為定長之性質,但是精圓的性質,學生要到高二下才會學到,如果我們想要進 一步推廣到不等腰梯形,畢竟它與等腰梯形是一線之隔,理論上能沿用等腰梯形的方法 加以改進,只是繁度較高。 我們希望能以初等數學的技巧讓園中學生也能7 解。於是再度引用綜合幾何的改進 技術,得到平行四邊形、梯形與任意三角形的情形,不需要用到精圓法,也可一併處理, 且可用到比前三篇文章更為簡單的初等數學方法,證出它的結論。 這個綜合幾何的技巧,用到與精圓法相似的性質,但不需要出現精圓圓形,就可以 利用綜合幾何將它證明出來,包含不等腰梯形在內都可以,這是撰寫本文的主要目的。 在本文中,我們先證明了四個引理當作工具,再證明了三個主要定理﹒ (I) 平行四邊形 ABeD , P 為形內任一點,則 P 到四頂點的距離和的最小上界是:長對角 總加半周長的和。(如圖(1:)) *為本文通訊作者平行四邊彤、梯形與三角形內一點到各項點距離和的最小上界 (2) 梯形 ABCD ,其內部一點 P 到四頂點的距離和的最小上界為: (大底邊+長對角線+ 長腰)三者的和。(如圖(八)(九)(十)
)
(3)
~ABC 中, p 是三角形內部一點,則P 到三頂點的距離和的最小上界為:兩較長邊 之和。(如圖(十一» 這都是國中學生能看懂的方法,也一步一步的逼近了我們想要達成的近程目標 形與任意凸四邊形內部或邊上一點到四頂點距離和的最大值要如何求得?要如何證明? 相信這是很基本且老少咸宜的有趣情境,中學生及許多國高中數學老師都曾經想到 過,但卻很難下手的問題。我們經過了一段時間的努力,以Geogebra 為工具,探索了各種 不同的四邊形,逐步觀察、質驗、作圖與計算,似乎得到了一點線索,也掌握了初步探究 的方向,期待在多一些時間的自驗、證明與整理之後,能有一些具體的成果展示。 我們一直努力的方向就是利用基礎數學的手法,以站在國高中學生觀點的角度,將 這個網路上似乎還找不到基本證法的問題,能呈現在學生的面前,這就是本文的主要內 容。貳、本文
在證明「平行四邊形、梯形與三角形內一點到四頂點距離和的最小上界」之前,我們 打算先證明四個引理當作輔助工具.其中第一個引理,是本文排除精圓,以初等綜合幾何來 證明,其餘引理部分已出現在參考文獻(李政豐、朱敵台、陳昭地(2014).)或(李政豐、陳昭 地 (2015).)中,為方便讀者,特與列出,以方便往後的定理(1)(2)(3)的證明。 引理(1) 如圓(一)所示,直線M 是線段 AB 的中重線,直線 L 平行於 AB 。如果點 P'Q 為 L 上的兩點,且 P 與 M 的距離小於 Q 與 M 的距離,則 QA+QB>PA
+PB 。 A L M 圖(一) P B Q A L 圓(二) B' B Q科學教育月刊 第 386 期 中華民國 105 年 3 月 證明: I.如果點 P'Q 為 L 上且在 M 同側的兩點 如圖(二)所示,作點 B 關於 L 直線的對稱點 B' 連 PB'
,
QB'
,
AB'
則 QB=QB',
PB=PB'
,
MQB' 中, p 是內部一點,則 QA+QB'> PA+ 舟, 於是 QA+QB
=QA+QB'
>
PA +PB'
=PA
+
PB
2. 如果點 P'Q 為 L 上且在 M 異側的兩點,可以找 P 關於中垂線 M 的對稱點 P',
使得 P',
Q 為 L 上且在 M 同側,則 P'A+P'B=PA+PB ' 同理可證。 於是不論 P'Q 是在 M 的同側或異側,只要 P 與 M 的距離小於 Q 與 M 的距離, 且 P'Q 同在 AB 的平行線 L 上,則 QA+
QB
>
PA
+
PB 恆成立。 引理 (2) 任意凸四邊形 ABCD' 其對角線長的和大於任意兩對邊長的和,亦即:AC+BD>
AD+BC且 AC+BD>AB+CD
D
E
A 圖(三) CB
證明:如圖(三)所示去+五百=石 +EC+BE+ED=(互+頁)+(EC+ED) > 互+古
AC+BD>
AD+BC 同理可證引理 (3) 如圖(四)(五)所示,梯形ABCD 下底 AB> 上底 CD ' 左腰 AD> 右腰 BC
'
已知 LA<
90°
,則對角線 AC>BD證明:由 D , C 分別向 AB 做重線,重足為 F , E 則滿足上述條件的梯形有兩種,
(1)
LB
<
90°
,如圖(四)所示平行四邊形、梯形與三角形內一點到各項點距離和的最小土界
C
B
F:
•
•
A
B
II
A
圖(四) 圖(五)(I)
LB
<
90°
,如圖(四)古=石2+否2
=
(王+互r+ 在2
函2=ET+ 否2 =(BE+ 花r+ 哥2
但是 CE=DF在直角三角形 MFD 與 MEC 中,斜邊 AD>BC ' 高相同,故 AF>BE
因此正2 〉莎2 ,亦即去〉茹
(2)
LB?
90。如圖(五)正2 五九百2
=
(五+高+五月九百2
BD =FB +DF
但是 CE=DF ' 且當 LB=90。時 BE=O因此 AC2 〉 BD2 ,亦即立E 〉五五
引理 (4) 如圓(六)所示,平行四邊形ABCD'
LA
<
90°
,則對角線 AC>BDA
F
B
-一一一一-E
C
圖(六) 證明:由 D , C 分別向 AB 做重足為 F' E
一一-2- 2
一一-2- 2
一一-2 一一-2 -一一 -一中箏民國 105 年 3 月 第 386 期 科學教育月刊 定理 (1) 平行四邊形 ABCD , μ<
90°
,
P 為形內任一點,則 P 到四頂點的距離和 PA+PB+PC+PD 的最小上界是 AB+AC+AD ' 亦即為長對角線加半周畏的和。 (請參看.李政豐、陳昭地 (2015). 平行四邊形部分的證明)C
證明:由引理(4)
,
LA
<
90°
,可知對角線 AC>BD: L
D
A
圖(七) 如圖( 1::)所示,直線 L 是 AB 線段的中重線,直線 K 是 CD 線段的中重線,過 P 作 AB 的平行線交 AD 於 M' 交 BC 於 N 。
在線段 MN 中 N 是距離 AB 線段的中垂線 L 最遁的點,故PA+PB<NA+NB
...。 由引理(I) 在線段 MN 中 M 是距離 CD 線段的中垂線 K 最壇的點,故 由引理(I)PC+PD
<
MC+MD
0
。 +0PA+PB+PC+ PD
<
NA+ NB+MC+MD
引理 (2)MC+NA
<
AC+MN
NB+MD=AD
由 且又
故 PA+PB+PC+PD<
AB+AC+ AD
( 即為長對角線加半周長的和) 且當 P 到四頂點的距離和PA+PB+PC+PD為最小上界時, p 在 A 或 C 點。 任意梯形 ABCD ,都可經由左右翻轉,上下翻轉,使得它們的下底AB> 上底 CD 左腰 AB 三右腰 BC ' 且依形狀可以分成三類: 等腰梯形,如圖(八) (2) 左腰 AD 這右腰 BC 左腰 AD 三右腰 BC,
LA
<
90°
,
L.B
<
90。的非等腰梯形,如圖(九) L.B 三 90。的非等腰梯形,如圖(十) , ζA<
90°
,
MN=AB
、..
Jl
reE 、(3)
平行四邊形、梯形與三角形內一點.fI1各項點距離和的最小上界 定理 (2) 梯形 ABCD· 下底大於上底 AB>CD· 左腰不小於右腰 AD 注此,其內部一點 P 到四頂點的距離和 PA+PB+PC+PD 的最小上界為 AB+AC+AD • 亦即為(大底 邊+長對角線+畏腰)的和。 證明:我們想將梯形分三類來加以證明 (I) 等腰梯形: (請參看:李政豐、陳昭地 (2015). 等腰梯形的證明) .如圖(八) 0 p 為 等腰梯形 ABCD 內部一點 ·L 是 AB 與 CD 的中垂線,過 P 作 AB 的平行線交 AD 於 M' 交 BC 於 A
D
圖(八)B
在線段 MN 中 N (或 M)是距離 AB 線段的中垂線 L 最遠的點,故 由引理 (I)PA+PB<NA+NB.
在線段 MN 中 M(或 N)是距離 CD 線段的中重線 L 最遁的點,故 由引理(I)PC+PD
<
MC+MD
.
0+ C!l
PA+PB+PC+PD<NA+NB+MC+MD
由引理(2)MC+NA
<
AC+MN
且 NB+MD=AD 又 MN<AB 故 PA+PB+PC+PD<
AB+AC+
AD 即為(大底邊+對角線+腰)的和 且當 P 到四頂點的距離和PA+PB+PC+PD為最小上界時 .p 在 A 或 B 點。 (2) 左腰 AD> 右腰 BC • μ<90°
.正~B <90。的非等腰梯形,如圖(九) (3) 左腰 AD> 右腰駝, μ<90° .
LB 注冊。的非等腰梯形,如圖(十) 上面兩種情形,證明過程相間,在此一併解說。 設 P 為梯形 ABCD 內部一點 ·L 是 AB 的中垂線 ·K 是 CD 的中垂線,過 P 作 AB 的平行線交 AD 於 M' 交 BC 於
科學教育月刊 第 386 期 中華民國 105 年 3 月
D
A
M
A
國(十)C
8
C
梯形 ABNM 中,由平行線截等比例線段定理,及 AD>BC 知 MA>NB , 在線段 MN
中 'N 是距離 AB 的中重線 L 最遠的點,故 由引理 (I)
PA+PB<NA+NB
梯形 MNCD 中 MD>NC ' 在線段 MN 中 M 是距離 CD ' 的中重線 K 最遁的點,故 由引理(I)PC+PD
<
MC+MD
®
@+®
PA+PB+PC+PD
<
NA+NB+MC+ 舟的 由引理 (2)MC+NA<AC+MN
且 NB+MD<
MA+MD
=AD
又 MN<AB 故 PA+PB+PC+PD<
AB+AC+AD 即為(大底邊+長對角線+長腰)的和。 (由引理 (3) 可知 AC>BD 、 AC 是長對角線 AD 是長腰) 且當 P 到四頂點的距離和 PA+PB+PC+PD 為最小上界時, p 在 A 點。平行四邊形、梯形與三角形內一點至I) 各項點距離和的最小土界 我們一直在想,任意梯形可以做出來,三角形是梯形的退化情形(兩個頂點重合)
•
照理來說也可以用同樣的手法做出來,於是我們不用前面文章的精圓法,也可使用中重 線與引理 (I) ,經由 Geogebra 的實驗探索,將三角形的情況證明出來。B
A 定理 (3) MBC 中,已知 AB 這 BC 這 AC•
p 是三角形內部一點,則PA +PB+PC<AB+ BC
( 即兩較長邊之和) (請參看:李政豐、朱敵台、陳昭地(2014).)C
證明:如圖(十一)所示,作線段 AB 的中垂線 L 並過 P 作 AB 的平行線交 AC 於 M· 交 BC 於 N 已知 BC 這 AC • 在線段 MN 上的所有點中 ·M 點是距離 AB 中重線 L 最撞的點 由引理 (I)PA+PB<MA+MB
t:.CMN 中, p 是 MN 上一點,由平行線截等比率線段定理MC 三 NC' 故 PC< λrc...@) 由。+@)PA+PB+PC<MA+MB+NC
由平行線截等比率線段定理MA 三 NB MBC 中 , AB 三 BC 這 AC•
M 是 AC 上一點,則 MB<AB 故 PA+PB+PC<
MA+MB+NC<NB+AB+ NC=
AB+BC得證。 且當 P 到三頂點的距離和PA+PB+PC為最小上界時, p 在 B 點參、結語
一個問題常有許多證明的方法,通常我們提出一個證法之後,會不斷思考它的證明 過程,然後對先前的證法可能不甚滿意,於是改進的方法就誕生了,這是一個良性的互 動,也是數學文明進步的原動力。過去的數學家(如:費瑪)沒有資訊科技的協助,卻能
科學教育月刊 第 386 期 中華民國 l05 年 3 月 猜測出問題的結果(如.最大內角不超過 120 度的三角形的內部或邊上一點到三頂點距離 和的最小值) ,這是很了不起的一件事,事隔四百多年之後的我們,有了很方便的資訊科 技 Gsp , Geogebra. 可以研究的幾何問題領域更為寬廣,證不出來的數學問題可以藉由動態 模擬,可以藉助於計算工具,我們縱然沒有偉大數學家先見之明的智慧,卻能應用資訊 科技把問題的結果估算出近似值。這是我們這一代人的幸運與福氣。 在與陳昭地教授一起研究的過程中,最佩服的還是他對幾何問題的猜測與遠見,教 授用紙筆驗算,我用電腦繪圖,經常他細緻的手法所得到的結論是正確的。