Dans AFC
AB est une hauteur de ce triangle (car AB perp à CF, propriété du rectangle ABCD)
OF est une hauteyur aussi (car OF perp à AC, propriété de la médiatrice)
les 3 hauteurs se coupent en un même point donc EC est aussi une hateur de ce triangle