Для доказательства того, что MN = BC, мы можем использовать радиус-векторы. Пусть O1 и O2 - центры окружностей, построенных на сторонах AB и AC соответственно. Тогда, так как BC является диаметром окружности, центр которой это O, то радиус-вектор OB = 1/2 BC и радиус-вектор OC = 1/2 BC.
Также, по построению, радиус-вектора ON и OM перпендикулярны соответственно к AB и AC. Это означает, что радиус-вектора ON и OM также являются перпендикулярными прямыми к BC.
Так как радиус-вектор ON и OM перпендикулярны к BC, и их точки пересечения N и M лежат на BC, то можно заключить, что MN = BC.
