求证:FD平分角EFC