在△ABC中∠ACB=90º,D是AB的中点,E是AC延长线上一点,DE上交BC于F,∠A=3∠E.求证:EF