Рассмотрим окружность с центром В и радиусом m, которая проходит через точки А и С (см. рис.).

  Из равенства угловАBСиАDСследует, что точкиВиDлежат в разных полуплоскостях относительно прямойАС. Кроме того, ∠АDС= 180° – ½ ∠АВС,  значит, точкаDтакже лежит на этой окружности. Следовательно,  BD = m.

m.