∆MPF=∆EPN, т. к MP=PN;EP=PF по условию,
угол MPF=угол EPN, как вертикальные.
угол FMP=угол ENP, как углы в равных треугольниках, лежащие против равных сторон. Но эти углы являются внутренними накрест лежащими для сторон MF и EN.
Следовательно EN параллельна MF
Высота делит противоположную сторону на 2 отрезка. Обозначим один их них буквой х. И составим систему уравнений по теореме Пифагора из правого и левого прямоугольных треугольников. Затем приравняем обе части и найдем х. Потом подставим в любую их первоначальных двух строк полученный
Т.к. 9²+12²=15², то ∠A - прямой. Значит r=AC₁=(9+12-15)/2=3, откуда C₁B=12-3=9 и AC₁/C₁B=1/3. Т.к. BB₁ - биссектриса, то CB₁/B₁A=BC/BA=5/4. По т. Чевы (BA₁/A₁C)·(CB₁/B₁A)·(AC₁/C₁B)=1, откуда
A₁C/BA₁=(5/4)·(1/3)=5/12, т.е. BA₁=(12/17)BC=12·15/17. Т.к. BP - биссектриса треугольника ABA₁, то AP/PA₁=AB/BA₁=12/(12·15/17)=17/15.