1. (2022八下·温州期末) 如图，O是 ▱ ABCD对角线的交点，BE⊥OC于点E，延长BE至点F，使EF=BE，连结DF．

1. （1） 求证：∠F=90°．
3. （2） 当ABCD为矩形，AC=6，BF=时，求DF，CE的长．