过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
9 s+ ]. z- t7 b+ P因为HF为角BHG的角平分线.
4 z6 b+ Q p8 v3 z( N4 S所以FI=FG(角平分线定理)5 J+ \2 N: j( d1 D
在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF
1 V4 a+ {( V* X# Z) [$ Z所以 三角形HIF全等于HGF6 g0 S& K& W. d8 a+ }
所以 HI=HG
3 E o$ l$ n M0 y# t同理可证 FI=FJ 又FI=GF# s. z# Q! F! }# V( f5 q; e8 F
所以 FI=FJ=GF- @5 B* O5 E9 O0 T( ]% A
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ + H+ H# ~" c- @; F$ a
所以四边形为正方形 r/ X0 b5 U: [8 L
所以 FI=BI=BJ=FJ# a! q& d4 \7 W+ i& a
在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
' M% m! S ]& F, {+ S5 K y' l所以EFJ全等于EFG
: Q- A4 X4 H( ~% @7 s( [所以 GE=JE
: S9 b3 ]; L, L! G! Q; Q2 [3 h# z! z HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ% Y+ o4 B( U/ \! M# y/ B; \
又HA=EC(已知) IB=BJ=FG(已证)1 L/ V; l* L7 T
所以 HE=2AB-2FG
* [* p1 l+ {" I8 z7 M 所以 AB=FG+1/2HE |