过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.0 ~. r# `6 j" V9 D+ t) R
因为HF为角BHG的角平分线.
+ s# u- _% y* _4 C所以FI=FG(角平分线定理)
' T( q) S& Y! F& }在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF0 V% \+ Q2 N* ?) F# V- L0 k
所以 三角形HIF全等于HGF/ [% P; t5 f4 m- o+ H$ j
所以 HI=HG: J3 s! v3 F3 m
同理可证 FI=FJ 又FI=GF
; {" k0 M! \$ S+ F. x* G, L所以 FI=FJ=GF) x9 X8 Z% t% `/ H5 Y* q
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ
7 `8 v, O: O( z9 p ] Q/ h所以四边形为正方形
7 f u7 ^$ K' Q所以 FI=BI=BJ=FJ* D& N) v8 l: q
在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
3 g1 y9 V" M" f4 |- C所以EFJ全等于EFG 7 _7 {! V: G: Z
所以 GE=JE & l$ [, |/ \5 g5 _4 u
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ8 m; H, H7 Y/ ?% m# b1 y, ]
又HA=EC(已知) IB=BJ=FG(已证)- G0 B" @% W9 X3 ^
所以 HE=2AB-2FG
! I3 s: r8 H: G, i- [9 {6 u0 T 所以 AB=FG+1/2HE |