
Несмотря на то, что прямоугольный треугольник, сторонами которого являются высота, медиана и отрезок гипотенузы между ними, является Пифагоровым (8, 15,17), и высота делит гипотенузу, длина которой равна 17*2 = 34, на отрезки длиной 17 - 8 = 9 и 17 + 8 = 25 (как и положено, 9*25 = 15^2), сам треугольник не является целочисленным, и его катеты надо просто вычислить по теореме Пифагора.
Меньший катет равен √(9^2 + 15^2) = 3*√34;
Больший катет равен √(25^2 + 15^2) = 5*√34;
Ну да, еще периметр 34 + 8*√34 ;
Доказательство
1) Возьмем произвольную точку M на биссектрисе угла BAC, проведем перпендикуляр MK и ML к прямым AB и AC
Рассмотрим прямоугольные треугольники AMK и AML. Они равны по гипотенузе и острому углу. (AM - общая гипотенуза, ∠1∠2 по условию\). Следовательно, MKML
2) Пусть точка M лежит внутри угла BAC и равноудалена от его сторон AB и AC. Докажем, что луч AM - биссектриса угла BAC
Проведем перпендикуляры MK и ML к прямым AB и AC. Прямоугольные треугольники AMK и AML - равны по гипотенузе и катету (AM - общая гипотенуза, MKML по условию ). Следовательно, ∠1∠2. Но это и значит, что луч AM - биссектриса угла BAC. Теорема доказана