Verified answer

BF = DE по условию,

∠AED = ∠CFB по условию,

∠CBF = ∠ADE как накрест лежащие при пересечении параллельных прямых ВС и AD секущей BD, ⇒

ΔCBF = ΔADE по стороне и двум прилежащим к ней углам.

Значит CF = AE,

BE = BF - EF,

DF = DE - EF, а так как BF = DE, то и BE = DF,

∠CFD = ∠AEB как смежные с равными углами (∠AED = ∠CFB по условию),

значит ΔCFD = ΔAEB по двум сторонам и углу между ними.

Тогда ∠АВЕ = ∠CDF, а эти углы - накрест лежащие при пересечении прямых АВ и CD секущей BD, значит АВ║CD.