Для доказательства утверждения о том, что AP = (AB + AC - BC) / 2, используем свойства треугольника и его вписанной окружности.
Обозначим длины сторон треугольника:
- AB = c
- AC = b
- BC = a
Пусть r – радиус вписанной окружности, а S – площадь треугольника ABC. Также введем обозначения для длин отрезков, которые образуются точками касания окружности с сторонами треугольника:
- AP = x
- BP = y
- CP = z
Согласно свойству вписанной окружности, длины отрезков, образованные касанием окружности, имеют следующие соотношения:
- AP + PB = AB
- BP + PC = AC
- CP + PA = BC
Из этих уравнений можем выразить отрезки:
- AP + BP = c → x + y = c
- BP + CP = b → y + z = b
- CP + AP = a → z + x = a
Теперь, сложив все три уравнения, получаем: (x + y) + (y + z) + (z + x) = c + b + a, или, 2(x + y + z) = c + b + a.
Следовательно, можно выразить сумму отрезков AP, BP и CP: x + y + z = (c + b + a) / 2.
Теперь выразим AP: AP = x = (c + b + a) / 2 - (y + z).
Так как y + z = b + c - a (по второму уравнению), подставляем это в выражение: AP = (c + b + a) / 2 - (b + c - a).
Упрощаем это выражение: AP = (c + b + a) / 2 - b - c + a, AP = (c + b + a - 2b - 2c + 2a) / 2, AP = (2a - b - c) / 2, AP = (AB + AC - BC) / 2.
Таким образом, мы доказали, что AP = (AB + AC - BC) / 2.