过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
/ o7 v8 \- M5 h+ ?因为HF为角BHG的角平分线.$ V' d8 P8 g- V6 C
所以FI=FG(角平分线定理)9 y/ |) ]: {" v# T3 T
在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF
+ a g. n E+ s8 w9 }" J所以 三角形HIF全等于HGF
0 B3 h8 O5 H8 {! d- I所以 HI=HG
# T2 s( w0 [/ y7 q9 M/ i/ U+ a同理可证 FI=FJ 又FI=GF
4 J$ P5 R/ `: M( Z所以 FI=FJ=GF Q3 P3 f5 z9 j/ T/ y) W
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ
5 a! m4 g V/ u+ n( U所以四边形为正方形
# A+ J' Y( q" d) | @9 W/ Q所以 FI=BI=BJ=FJ* o/ i( v" X# Q7 ~- y, `
在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
( R+ j4 W$ F' y所以EFJ全等于EFG
7 ^: ?4 A; e0 ~: u所以 GE=JE
z) Z" p; o3 |* W# P+ c" W. q4 W HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ+ E* E" F0 s; t D4 l# J
又HA=EC(已知) IB=BJ=FG(已证)6 D4 }& R3 E% f
所以 HE=2AB-2FG
1 v0 u, Q* W9 | 所以 AB=FG+1/2HE |