过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
: _5 W. a7 I# u因为HF为角BHG的角平分线.
I, p# b1 f; T4 W( Q: P" ~* g/ k4 y所以FI=FG(角平分线定理): q$ D3 j" { H7 ~. e
在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF
6 ^: b' j0 i/ L4 _) |( C所以 三角形HIF全等于HGF
0 x. w& ]: t8 Q4 c/ h9 X/ Q, _所以 HI=HG$ e7 f' e/ s9 M, d; @; F/ q+ v
同理可证 FI=FJ 又FI=GF
' e5 p! s9 f# S所以 FI=FJ=GF( W: Q0 p9 [! w: c+ I
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ . b \# G) G5 ]% F1 S- P% C( E3 m
所以四边形为正方形
: n* Z, M! M' H6 U3 v所以 FI=BI=BJ=FJ
- l* x- ` P9 p在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
$ @* y7 |! ~- M所以EFJ全等于EFG
& [- E& u* r% ]1 a- {' e所以 GE=JE ( B s: Z A/ g5 o% O
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ
4 f: e( M4 p4 M! z( ~7 l又HA=EC(已知) IB=BJ=FG(已证)
) y- {" ]1 i* Y" P, ^' T+ x# J所以 HE=2AB-2FG
, G% y; C- r2 l! x" Q, v( B8 m 所以 AB=FG+1/2HE |