Рассмотрим рисунок 3.50.
Если АВ = ВС, то ΔАВС - равнобедренный, значит ∠ВАС = ∠ВСА.
Если DE = EF, то ΔDEF - равнобедренный, значит ∠EDF = ∠EFD.
∠1 = ∠2, следовательно, ∠ВАС = ∠EDF, а эти углы соответственные при секущей AF.
Значит, АВ || DE.
Ответ: Доказано, АВ || DE.