использовано определение биссектрисы, определение расстояния от точки до прямой, признак равенства прямоугольных треугольников по гипотенузе и катету.