过F点分别做AB,BC的垂线垂足分别为I,J.连接EF.
, G m, c- D6 L8 X因为HF为角BHG的角平分线.
4 o2 F- [) H+ K- G) ~9 }0 M所以FI=FG(角平分线定理)
8 M5 b& X7 q# u- x1 H9 o在直角三角形HIF与HGF中HF为俩三角形的公共边,又FI=GF [& Q% p* I8 o$ T4 H
所以 三角形HIF全等于HGF
& e# l5 s0 o9 e5 v& Q. J9 J所以 HI=HG+ w. C1 G* S1 a4 o
同理可证 FI=FJ 又FI=GF* v7 Z6 j: g: U& W) h1 W
所以 FI=FJ=GF
# \2 S* e, k! a$ e在四边形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ & Z8 i) Y9 Y) B% E
所以四边形为正方形
1 \ G0 |: M" n所以 FI=BI=BJ=FJ- R+ b9 ^& k2 p. ~
在直角三角形EFJ与EFG中 EF为它俩的公共边又FJ=FG
* B$ U; ^& b: u) z所以EFJ全等于EFG
( ~4 H8 U7 P- V( \3 l( k所以 GE=JE ( C7 a5 `7 f, f# u# }# y! p7 U
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ+ j0 P) h/ o5 O3 c( A3 _
又HA=EC(已知) IB=BJ=FG(已证)
0 a# R3 u7 Q# c; e所以 HE=2AB-2FG
# ?' ^. \6 R4 _$ O, v 所以 AB=FG+1/2HE |