October 12, 2010

Heron formula proof

在高中的時候,是利用三角函數的方式來證明海龍公式
其證明過程 雖然說蠻直觀的
直接利用面積公式 1/2 * b * c * SinA
然後利用於弦定理硬湊 湊出我們要的形式
但在海龍(Heron, 約西元1世紀人)那個年代 幾何證明幾乎都是依循著幾何原本的格式
換句話說 海龍對這個公式的證明 與我們現在所見的不同
但因為他所用到的所有定理 除了都在幾何原本裡都可以找得到外
都是在國中就學過了的東西 所以 值得一看呵



證明:若三角形ABC中 BC = a (這表示AB線段長為a), AC = b, AB = c
令 s = 1/2 * ( AB + BC + AC ) (剛剛才發現 這邊多打了一個 * r)齁齁
三角形ABC的面積 = 根號( s * ( s - a ) * ( s - b ) * ( s - c ) )



取G點為三角形ABC的內心 D,E,F為內切圓與三邊的切點
連接 AG, BG, CG, DG, EG, FG
可得 DG垂直AB, EG垂直BC, FG垂直AC 且 DG = EG = FG = 內切圓半徑 r
因此 三角形AGB面積 = 1/2 * AB * r, BGC面積 = 1/2 * BC * r, AGC面積 = 1/2 * AC * r
三角形ABC面積 = 1/2 * ( AB + BC + AC ) * r = 1/2 * ( AB + BC + AC ) * EG
[ 在這裡用 EG 長度來代替 r 這樣之後會比較容易看出結果 ]

作 BH = AD (H,B,C 共線)
[ 在這裡 我們要把 s = 1/2 * ( AB + BC + AC ) 的長度給做出 ]
因為AG是角DAF的分角線 又角ADG = 角AFG = 90度
所以 三角形ADG 和 三角形AFG 全等 故 AD = AF
同理 BD = BE , CE = CF
所以 CH = BH + BE + CE = AD + BE + CE = 1/2 * ( AB + BC + AC ) ] = s
[ 除此之外 BH = CH - BC = ( s - a ), BE = CH - BH - CE = CH - AF - CF = ( s - b )
CE = CH - BH - BE = CH - AD - BD = ( s - c ) ]

因此 三角形ABC面積 = 1/2 * ( AB + BC + AC ) * EG = CH * EG
=> (ABC面積)^2 = (CH)^2 * (EG)^2

[ 從上面的情形可以知道 我們要證明的是
(CH)^2 * (EG)^2 = (ABC面積)^2 = s * (s-a) * (s-b) * (s-c) = CH * BH * BE * CE ]

作 GL垂直CG, BL垂直BC 因此可知 BGCL四點共圓
故 角CGB + 角CLB = 180度 .............................................................................(1)
因為 三角形ADG 和 三角形AFG (上面証過了) 所以 角AGD = 角AGF
同理 角BGD = 角BGE, 角CGE = 角CGF 故 角CGB + 角AGD = 180度..............................(2)
由(1)和(2)可以知道 角AGD = 角CLB 又 角ADG = 角CBL = 90度
三角形ADG 相似於 三角形CBL
因此 BC / BL = AD / DG = BH / EG ( 因為 AD = BH, DG = EG = r )
=> BC / BH = BL / EG = BK / KE ( 第二個等號的原因: 三角形BKL 相似於 三角形EGL )
故 CH / BH = (BC + BH) / BH = BC / BH + 1 = BK / KE + KE / KE = (BK + KE) / KE = BE / KE
=> (CH * CH) / (BH * CH) = (BE * CE) / (KE * CE) = (BE * CE) / (EG)^2
[ 因為 因為 三角形CGE 相似於 三角形GKE 所以 CE / EG = EG / EK => KE * CE = (EG)^2 ]
因此 (CH)^2 / (BH * CH) = (BE * CE) / (EG)^2 => (CH)^2 * (EG)^2 = CH * BH * BE * CE
三角形ABC面積 = 1/2 * ( AB + BC + AC ) * EG = CH * EG
= 根號( CH * BH * BE * CE ) = 根號( s * ( s - a ) * ( s - b ) * ( s - c ) )

故得証 #(共計3小時......)

Today's Visitors: 0 Total Visitors: 130
Personal Category: 學術研討 Topic: learning / academic / mathematics
[Trackback URL]

Reply
  • 1樓

    1樓搶頭香

    好爛喔

  • 老雞 at November 18, 2010 12:46 PM comment
  • Who are you??老雞...好熟悉的名字

  • Blog Owner at December 5, 2010 01:54 PM Reply
  • 2樓

    2樓頸推

    鴛 鴦 瓦 冷 霜 華 重 ,  翡 翠 衾 寒 誰 與 共 。
    -----------------------------------------------------------------------------------------------------

    只要是人,都會需要

    正常人請勿進入

    歡迎免費報名索取資訊>>>http://511228.weebly.com/

    請點小房子↓

    -----------------------------------------------------------------------------------------------------
    綠 螘 新 醅 酒 ,  紅 泥 小 火 爐 。

  • at November 27, 2012 12:10 PM comment | Homepage
Post A Comment









Yes No



Please input the magic number:

( Prevent the annoy garbage messages )
( What if you cannot see the numbers? )
Please input the magic number

誰來收藏
Loading ...
unlog_NVPO 0