过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
: w+ q( R1 r4 F5 O# \" G2 y因为HF为角BHG的角平分线.
2 x: p- D _4 J所以FI=FG(角平分线定理)
4 z+ V% L! m8 ]! ~, h在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF' w4 c; E& a! I7 F# H3 G& e
所以 三角形HIF全等于HGF
) ?. t8 r$ o- b& a所以 HI=HG
* ]3 G8 L6 c2 [! A$ J; I8 `# D同理可证 FI=FJ 又FI=GF ?4 s( \) m' ]! D8 b
所以 FI=FJ=GF, N y9 q2 n. _1 V2 x# f) {3 X
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ : l4 w4 m$ h. N5 f( V6 U) v
所以四边形为正方形; {9 D" E T: e; {& K
所以 FI=BI=BJ=FJ
! h! c) `8 q3 v% d9 [/ M4 m, X- Y在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
. ?1 W5 q& e" @, E1 ?所以EFJ全等于EFG
* @ e2 U& u3 j6 p8 P* I1 N4 O |所以 GE=JE
' F4 m( K% P0 x) |; q, t, A HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ3 L L8 ]) v4 F: @0 c& V/ k6 j; [
又HA=EC(已知) IB=BJ=FG(已证)
, v$ @. g1 W% N# I8 P7 l+ `所以 HE=2AB-2FG # X' l" [: |& V( z" A1 b
所以 AB=FG+1/2HE |