4. Доказать: BF = ED, AF = EC.

1. Рассматриваем треугольники ABF и CDE.

2. AB = CD и AF = EC (по условию).

3. Углы BAF и DCE равны как накрест лежащие при параллельных прямых AB и CD и секущей AC.

4. Треугольники ABF и CDE равны по двум сторонам и углу между ними (по первому признаку равенства треугольников).

5. Следовательно, BF = ED и AF = EC.

Доказано.