parmenides51 wrote: Let $ABC$ be an acute, non-isosceles triangle with altitude $AD$ ($D \in 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$. Probably there is typo, because point $M$ isn't used in anywhere.