Обозначим угол \( \angle BPD = \angle CPD = x \). Так как точка \( P \) находится на биссектрисе \( AD \) треугольника \( ABC \), это означает, что угол \( \angle BAD \) равен углу \( \angle CAD \).
Обозначим угол \( \angle BAD = \alpha \) и угол \( \angle CAD = \alpha \). Так как \( AD \) — биссектрисы, то:
\[ \angle BAP = \alpha - x \] \[ \angle CAP = \alpha - x \]
Теперь рассмотрим треугольники \( BPD \) и \( CPD \). В этих треугольниках у нас есть:
- Углы \( \angle BPD \) и \( \angle CPD \) равны, так как \( \angle BPD = x \) и \( \angle CPD = x \).
- Углы \( \angle BAP \) и \( \angle CAP \) также равны, так как оба равны \( \alpha - x \).
Таким образом, треугольники \( BPD \) и \( CPD \) имеют два равных угла, что делает их подобными по критерию углы-углы (AA).
Из подобия треугольников следует, что:
\[ \frac{BP}{CP} = \frac{DP}{DP} \]
Это означает, что:
\[ BP = CP \]
Таким образом, длины отрезков \( AB \) и \( AC \) равны, что, в свою очередь, указывает на то, что треугольник \( ABC \) является равнобедренным.
Мы показали, что \( AB = AC \), что и требовалось доказать. Треугольник \( ABC \) действительно равнобедренный!
