Т.к. AB = DC и AB || DC, то ABCD - параллелограмм.
Аналогично т.к. DC || EF и DC = EF, то DCEF - параллелограмм.
По свойству диагоналей параллелограмма:
AO1 = O1C и аналогично FO2 = O2C.
Рассмотрим ∆АСF.
AO1 = O1C и FO2 = O2C. Тогда O1O2 - средняя линия ∆ACF.
Тогда O1O2 = 1/2AF или AF = 2O1O2 и O1O2 || AF.