Для доказательства утверждения воспользуемся геометрической конструкцией и рассмотрим следующую ситуацию:
Пусть ABC - треугольник, M - произвольная точка на биссектрисе угла BAC. Проведем перпендикуляры MD и ME из точки M на стороны AB и AC соответственно.
На данном этапе мы не можем утверждать, что отрезки MD и ME соответственно равны, так как мы еще не провели все необходимые построения.
Далее, продолжим перпендикуляры MD и ME за точками D и E соответственно и построим точки F и G на сторонах AB и AC так, чтобы отрезки DF и EG были равны отрезкам MD и ME.
Теперь проведем перпендикуляр FH на сторону AC, проложенную из точки F, и перпендикуляр GR на сторону AB, проложенный из точки G.
Также проведем прямую MH и до точки K на стороне AC.
В итоге, у нас получается два равных треугольника:
Треугольник DKH, так как у него две стороны равны соответственно сторонам DM и GM, так как DK и GH - общие стороны, углы при этих сторонах они тоже равны, так как MH является биссектрисой угла DMG.
Треугольник GFH, так как он прямоугольный (угол G и угол F - прямые), а также у него гипотенуза FG равна гипотенузе DH из первого треугольника.
Из равенства треугольников DKH и GFH следует равенство их боковых сторон HG и DH, а это означает, что длины отрезков DF и EG равны длинам отрезков MD и ME.
Таким образом, перпендикуляры, проведенные из любой точки M на биссектрисе угла BAC, действительно вырезают на сторонах AB и AC равные отрезки.
