设O是三角形ABC所在平面外一点,OA=AB=AC,角OBA=角OCA=45度.求证:AO⊥面ABC