过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
- f. k& ~3 }, \' c. J因为HF为角BHG的角平分线. l0 M, O+ @% k U D; q
所以FI=FG(角平分线定理)
! M& q& i* s& E1 P# P$ _2 i在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF2 J8 u* ]. E" j) _! O. C
所以 三角形HIF全等于HGF
1 y! c9 g' X9 `7 L. n所以 HI=HG
$ g7 t2 n$ K: y, U同理可证 FI=FJ 又FI=GF1 }) R2 a% \1 ]# a" ~$ @
所以 FI=FJ=GF, D; Z# i! O7 j* v% a" ?& f2 R
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ + v( S9 U( G, a& _' W. ]% h: [
所以四边形为正方形, y" Y6 e/ Z5 \3 X6 g, M! Z8 P+ h
所以 FI=BI=BJ=FJ
* m( K! x6 P) u% t0 q. a$ o. |1 b |在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
' X0 H3 |+ b4 S/ U所以EFJ全等于EFG
% r" @ G% C: ]所以 GE=JE 1 }& v% H. A" K& C& y3 L, d8 d( N
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ! E. s2 {0 { D% l+ M
又HA=EC(已知) IB=BJ=FG(已证)
/ K8 p3 [* r4 I" `* i所以 HE=2AB-2FG
; Z2 i$ a) {$ E& ?4 F/ |; H 所以 AB=FG+1/2HE |