BF垂直AF,CE垂直AF,D为BC中点,求证:EF=BD