Для доказательства MN = BC, обратимся к свойству о благоприятном положении двух окружностей и их диаметрах. Так как AB и AC являются диаметрами окружностей, то точки M и N расположены на диаметрах окружностей. Кроме того, известно, что AM || BC и AN || BC, так как прямая, проходящая через вершину A, параллельна стороне BC.
Из этих условий следует, что треугольник AMB подобен треугольнику ABC по принципу сторона-против-стороны. Аналогично, треугольник ANC подобен треугольнику ABC.
Так как треугольники AMB и ANC подобны треугольнику ABC, и их стороны соответственно параллельны стороне BC, то по соответственности сторон потомка треугольников MNB и MNC также будут параллельны стороне BC.
Из параллельности сторон следует, что MNB и MNC также подобны треугольнику ABC по принципу сторона-против-стороны. Таким образом, MNB и MNC также будут подобны друг другу.
В подобных треугольниках соотношение длин сторон равно соотношению длин попарно соответствующих сторон. Так как AB и AC являются диаметрами окружностей, то длины AM и AN будут равны половине длины стороны BC.
Следовательно, MN = MB + BN = BC. Доказано.
