过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.: r; ~: d8 \6 d" y- [# B* c
因为HF为角BHG的角平分线.
! B- M- { w, ^0 ? b所以FI=FG(角平分线定理)
5 W" Y, z0 `+ D0 l, V. a8 W在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF
8 m, ~5 O* w/ B所以 三角形HIF全等于HGF
3 U' A$ W9 p: D g所以 HI=HG
7 w) G( O& q& g! W1 ` R$ N9 T同理可证 FI=FJ 又FI=GF: e+ |: s7 X6 Y$ e/ B% ^6 n
所以 FI=FJ=GF$ x/ m! P9 k L' n1 \( {! l! U
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ 6 m7 \, Y! r4 \ V
所以四边形为正方形. ]3 I v* h0 w
所以 FI=BI=BJ=FJ0 ]% @9 e$ Y. d% m
在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
2 v' N0 Q' D% `+ o* g- g4 B所以EFJ全等于EFG
0 {5 d' H7 P& I6 C, h所以 GE=JE
4 I% q5 ~$ K8 F/ K2 ~ HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ
1 q' C s- ~5 S; x& o \$ J5 h9 ?又HA=EC(已知) IB=BJ=FG(已证)3 `( J( M r- u& l$ F
所以 HE=2AB-2FG
3 B5 Q* n. Z1 i3 _7 Y" m 所以 AB=FG+1/2HE |