Доказательство:
Так как треугольник остроугольный и BD - биссектриса, то ∠B<90°⇒∠CBD<45°=∠DFC, следовательно F∈BC.
Проведем из точки D перпендикуляр до отрезка BC с основанием M, M будет принадлежать стороне BC поскольку треугольник остроугольный.
Тогда прямоугольные треугольники BDE и BDM равны по общей гипотенузе BD и острым углам ∠DBE, ∠DBM. Из этого следует что, 
.
Также из-за того что, ∠DBC<∠DFC=45°<∠DMC=90°⇒F∈BM, теперь можно пользоваться тем что 
.
Заметим что, DFM - прямоугольный треугольник с углом 45°, то есть 
.
Учитывая доказанные равенства получаем,
Что требовалось доказать.
Пересечение этой окружности с прямой I и даст нам точки на прямой I, находящиеся на расстоянии "а" от точки М.
Проведем перпендикуляр МН из точки М к прямой I. Длина этого перпендикуляра - расстояние от точки М до прямой I.
Если значение "а" больше расстояния от М до I, то имеем две точки на прямой I, находящиеся на расстоянии "а" от точки М.
Если значение "а" равно расстоянию от М до I, то имеем одну точку на прямой I, находящуюся на расстоянии "а" от точки М.
Если значение "а" меньше расстояния от М до I, то точки на прямой I, находящейся на расстоянии "а" от точки М не существует.