1. (2023九上·西安期中)  如图，在菱形ABCD中，对角线AC，BD相交于点O，BE⊥AB，垂足为B，交AC于点E．

 

1. （1） 求证： ．
3. （2） 若AE＝13，AB＝12，求EC的长．