1. 如图，在菱形ABCD中，AC和BD相交于点O，过点O的线段EF与一组对边AB，CD分别相交于点E，F．

1. （1） 求证：AE=CF；
3. （2） 若AB=2，点E是AB中点，求EF的长．