過F點(diǎn)分別做AB,BC的垂線垂足分別為I,J.連接EF.( b3 [7 B$ S; `2 _" i) |$ V- Z' V- b" y
因?yàn)镠F為角BHG的角平分線.0 G% n* o2 f$ k* _, C6 l( g/ Z V
所以FI=FG(角平分線定理)& ^* Z# k) E" _4 J( f3 `: W
在直角三角形HIF與HGF中HF為倆三角形的公共邊,又FI=GF
2 Y2 w; M; Q3 S* X/ j' a% y* v所以 三角形HIF全等于HGF
3 P0 ], z+ |0 v& l* k所以 HI=HG/ h4 K2 o0 f$ G0 T# m. u+ T' E
同理可證 FI=FJ 又FI=GF2 X$ [. u; n1 {9 A
所以 FI=FJ=GF5 ^! A% ^& f2 O
在四邊形FIBJ中 FI=FJ 且FI垂直BI FJ垂直BJ * ]: Q# n( H8 K$ Y$ K: C
所以四邊形為正方形
n: H1 P3 I& T+ G所以 FI=BI=BJ=FJ( a1 s0 L, w7 W+ x
在直角三角形EFJ與EFG中 EF為它倆的公共邊又FJ=FG4 r2 l% U4 c2 V
所以EFJ全等于EFG 3 h' a2 R# D7 Z" T4 D9 v. M
所以 GE=JE ' O- f t3 L% q5 Y6 c" V
HE=HG+GE=HI+JE=HA+AI+BC-EC-BJ=HA+AB-IB+BC-EC-BJ/ t. k' H" y% F( R3 I5 D" h
又HA=EC(已知) IB=BJ=FG(已證)
6 Y7 K Q* l, T所以 HE=2AB-2FG
- n" k' A& h6 @4 z4 h1 ? 所以 AB=FG+1/2HE |