三角形abc中,ab等于ac,点O在边ab上,圆心o过点B且分别与ab,bc相交于点D、E,EF垂直ac。垂足为F,求证