1)△AOD=△BOC(по 3 сторонам) следовательно угол BCO=ADO
2)△COD- равнобедренный следовательно угол OCD=ODC(по свойству равнобедренного треугольника)
3) Исходя из 1 и 2 пункта следует равенство углов ADE и BCF
4) △ADE=△BCF(по двум сторонам и углу между ними) следовательно AE=BF(как соответственные элементы в равных треугольниках).