神魔大陆采集光彩宝石:⊿ABC中,∠ACB=90度,D为AB的中点,E为AC延长线上一点,ED交BC于F,∠A=3∠E,求证EF=AB