1. Прямая, проходящая через центр описанной окружности и перпендикулярная стороне AC, является осью симметрии треугольника ABC относительно этой прямой.
2. Точка M лежит на стороне AB, и прямая, проходящая через O и перпендикулярная AC, пересекает AB в точке M.
3. Следовательно, AM = MC. Доказано.