过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
. g3 t6 }! x6 X/ I因为HF为角BHG的角平分线.
8 Q+ l" O* V5 ]; h所以FI=FG(角平分线定理)( z$ z0 b' W2 y5 R6 |
在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF
: ]% S8 D# f3 j1 j- Y0 ]" u. `所以 三角形HIF全等于HGF' b' z5 r2 B! \5 x8 I
所以 HI=HG' E; B" A. A+ X) D0 B+ g$ X
同理可证 FI=FJ 又FI=GF
: w3 J9 a/ y& N4 s B& z' N所以 FI=FJ=GF2 D4 w/ O1 d# T! @" V }: X R
在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ
+ y" T) O3 X' [6 o" F8 @; d7 H所以四边形为正方形
! B+ F4 K) |$ `所以 FI=BI=BJ=FJ
, a9 ~% l, j$ i7 Q3 R; R/ u在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
9 {( S7 H8 u. J$ O. \8 r1 |# F所以EFJ全等于EFG 0 ], C# T; h) u
所以 GE=JE
3 J _/ J1 y3 n& | HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ
, ~; u2 W2 A% H) j/ n又HA=EC(已知) IB=BJ=FG(已证)' d+ j( u% _' ^
所以 HE=2AB-2FG
0 M6 l3 f. `& n/ `1 o4 O+ A1 U) ]3 _ 所以 AB=FG+1/2HE |