1) АО=ОВ (по условию)
2) DO=CO (по условию)
3) Углы AOD=BOC (по свойству вертикальных углов)
4) Из 1-3 пунктов можо сделать вывод, что треугольники AOD=BOC (по двум сторонам и углу между ними)
5) AD=BC (как соответственные элементы в равных треугольниках)
6) Треугольник DOC-равнобедренный ( так как DO=CO), следовательно углы ODC=OCD (по свойству равнобедренного треугольника)
7) Углы ADO=BCO (как соответственные элементы в равных треугольниках)
8) Углы ADE=BCF (из пунктов 6 и 7)
9) Треугольники ADE=BFC (из пунктов 5,8 и условия DE=CF по двум сторонам и углу между ними)
10) AE=BF (как соответственные элементы в равных треугольниках)