求证题,已知FG BC,角BAC=角ACD,FB=5,FG=8,求EF