過F點分別做AB,BC的垂線垂足分別為I,J.連接EF.
2 ~7 c$ F" }0 }% @$ |因為HF為角BHG的角平分線.
; J6 B& h8 W: I: c0 ^所以FI=FG(角平分線定理)
! I0 f" z/ c# g, u. Q9 M在直角三角形HIF與HGF中HF為倆三角形的公共邊,又FI=GF/ x$ o- O+ ~1 L" h) X: M
所以 三角形HIF全等于HGF
. V/ ]4 |7 M% m3 c, A; q所以 HI=HG
3 R$ e$ |- J" A$ F- g1 v: j同理可證 FI=FJ 又FI=GF/ F: \" q- c2 L# C2 `4 u+ t
所以 FI=FJ=GF
) W/ r, H4 A* t( X7 _' X9 x* m在四邊形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ
( P$ Y0 ~0 u; a$ P$ U1 _所以四邊形為正方形
! m" F/ ?6 I3 D所以 FI=BI=BJ=FJ0 z) K6 v" A( ^3 L3 d7 y
在直角三角形EFJ與EFG中 EF為它倆的公共邊又FJ=FG
+ k$ s5 T6 h( T% i所以EFJ全等于EFG 5 C N% g# d/ r$ o8 ?
所以 GE=JE / [7 k) x% Q/ V; s- }1 n' u
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ, w3 X z5 |( }/ y; K
又HA=EC(已知) IB=BJ=FG(已證)
o# O# }0 c4 x$ T8 h所以 HE=2AB-2FG - B" c( {/ t* u
所以 AB=FG+1/2HE |