過F點分別做AB,BC的垂線垂足分別為I,J.連接EF. d5 B: k Q7 ` T* n) b
因為HF為角BHG的角平分線.3 N ~' Y8 U& m+ G
所以FI=FG(角平分線定理)
3 ]. e# d( d) v- n% b% m" A6 R在直角三角形HIF與HGF中HF為倆三角形的公共邊,又FI=GF
) g6 Z1 n7 _+ [4 o所以 三角形HIF全等于HGF- H6 z. k4 m. N2 b3 j& ?3 U+ g& j3 Q
所以 HI=HG
R, d' M7 n L0 X. C ]同理可證 FI=FJ 又FI=GF
' h4 s# \5 t; F2 q* N. |3 Y+ H+ l所以 FI=FJ=GF& O3 x2 g, J- W
在四邊形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ
: g2 y4 _" b1 u8 m; q+ B所以四邊形為正方形- j- a x5 l" ~2 e: `# H z' V
所以 FI=BI=BJ=FJ9 p) c6 ~6 R3 G4 p# P8 L
在直角三角形EFJ與EFG中 EF為它倆的公共邊又FJ=FG
* s1 ?9 T# b2 J9 {; o, n5 C所以EFJ全等于EFG
; {) @2 E P. D5 E3 C4 A; e. y* p* z! g所以 GE=JE
Z0 _8 @* A, y C HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ
" }$ m p. S! \+ G* O又HA=EC(已知) IB=BJ=FG(已證). P; z3 y( j2 R0 G7 L
所以 HE=2AB-2FG $ Q( V4 Z" W, M5 ~; `
所以 AB=FG+1/2HE |