1. Рассматриваем треугольники ABF и CDE.
2. Углы BAF и DCE равны как накрест лежащие при параллельных прямых AB и CD и секущей AC.
3. Углы ABF и CDE равны как накрест лежащие при параллельных прямых AB и CD и секущей BD.
4. Треугольники ABF и CDE равны по стороне и двум прилежащим углам (по второму признаку равенства треугольников).
5. Следовательно, BF = ED.
Доказано.