1)∆ODC- равнобедренный (т.к. OD=OC) => угол ODC равен углу OCD по свойству равнобедренного треугольника.
2)AC=AO+OC, BD=OB+OD => AC=BD (т.к. AO=OB, OD=OC по условию)
3)EC=DF (т.к. DC-общий, DE=CF по условию)
4)∆AEC=∆FBD по 2ум сторонам и углу
5)AE=BF (т.к. в равных треугольниках все соответствующие элементы равны)