初三的灵灵从小就喜欢动手动脑,请看他的研究:(1)以AB为直径画半圆O;(2)在半圆O上任取一点C;(3)画∠ACB的角平分线与AB相交于点D;(4)画CD的中垂线l与AC、BC分别相交于E、F;(5)连接DE、DF.如图,他发现:①∠ADE与∠BDF互余;②四边形CEDF为正方形;③四边形CEDF的面积为AE•BF.
你认为其中正确的有________.