设O为三角形ABC的外接圆圆心,点E,F分别为高BE,CF的垂足,求证:OA垂直于EF.