在三角形ABC中,AD平分角BAC,点E在AB上,EF垂直于AD于O并交AC于F.求证:角BED=角DFC