Для доказательства того, что MB=MC, рассмотрим треугольники MAB и MAC.
Поскольку прямая BM перпендикулярна к стороне AB угла A, то угол MBK прямой, где K - проекция точки M на сторону AB. Аналогично, угол MCL прямой, где L - проекция точки M на сторону AC.
Так как AB=AC и угол ABM равен углу AMC (они вертикальные), то треугольники MAB и MAC равнобедренные. Следовательно, MK=ML и угол KMB равен углу LMC.
Так как угол MBK прямой и равен углу LMC, то треугольники MBK и MLC подобны по признаку угловой сходности. Следовательно, отношение сторон MB и MK равно отношению сторон MC и ML.
Но MK=ML, следовательно MB=MC.
Таким образом, доказано, что MB=MC.