Let $ABC$ be a triangle, and $M$ and $N$ variable points on $AB$ and $AC$ respectively, such that both $M$ and $N$ do not lie on the vertices, and also, $AM \times MB = AN \times NC$. Prove that the perpendicular bisector of $MN$ passes through a fixed point.
Problem
Source:
Tags: geometry, circumcircle, perpendicular bisector, power of a point, geometry proposed