Рассмотрим \(\triangle ABC\) и \(\triangle EDC\).
По первому признаку равенства треугольников (по двум сторонам и углу между ними), \(\triangle ABC = \triangle EDC\).
Из равенства треугольников следует равенство соответствующих сторон:
AB = ED.
Таким образом, отрезок ED действительно равен искомому расстоянию AB.
Объяснение: Равенство треугольников ABC и EDC по первому признаку доказывает, что AB = ED.