1. (2022·德城模拟) 如图，点O是菱形ABCD的对角线的交点，DE∥AC，CE∥BD，连接OE．求证：

1. （1） 四边形OCED是矩形；
3. （2） 如果AB＝AC＝4，连接AE，求线段AE的长．