过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
( s1 Y; T! C. h2 T+ m因为HF为角BHG的角平分线.* k8 A, B' F% L. ~: \
所以FI=FG(角平分线定理)
# `* }* b# w! H, }! j在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF
/ O! U+ a& t4 }3 }6 s所以 三角形HIF全等于HGF
' i7 D& i1 c# e7 k0 E8 \所以 HI=HG
# H" z- s0 b, X' v同理可证 FI=FJ 又FI=GF( L2 g( d" |& D7 e
所以 FI=FJ=GF
/ m$ _, p2 N- u1 v9 Z, a N在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ 6 G) s" l S+ f/ r* y$ S
所以四边形为正方形
, P: K) D v: h! t. A+ L. }所以 FI=BI=BJ=FJ7 [4 l% m% ]5 P2 u. ^5 U
在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG! K6 |: @2 t9 f9 l1 j4 `
所以EFJ全等于EFG
3 K$ k0 q$ a4 m C所以 GE=JE ' n; B& g) }" J3 B3 T* V
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ
4 `+ C- x: t8 n" S又HA=EC(已知) IB=BJ=FG(已证)
4 { f: ?6 ]1 Q0 C/ N3 _$ U9 B所以 HE=2AB-2FG . ?# ~, ?& k' a8 e3 K: B
所以 AB=FG+1/2HE |