如图,EF过矩形ABCD对角线的交点O,且分别交AB、CD于E、F,那么阴影部分的面积是矩形ABCD的面积的( )
①CF=AE;
②OE=OF;
③四边形ABCD是平行四边形;
④图中共有四对全等三角形.
其中正确结论有( )
求证: