kuai
求证:AE=EF,
如图,作FH⊥BC,⊿ABE∽⊿EHF(AAA)
设AB=2a, CH=HF=x, 则BE=EC=a,
EAB/BE=2=EH/FH=(a+x)/x 得到x=a EH=2a=AB.
,⊿ABE≌⊿EHF(ASA) ∴AE=EF