Let ABC be an acute, non-isosceles triangle with altitude AD (DāBC), M is the midpoint of AD and O is the circumcenter. Line AO meets BC at K and circle of center K, radius KA cuts AB,AC at E,F respectively. Prove that AO bisects EF. geometrybisects segmentcircumcircle