1. (2023八下·江州期末) 在▱ABCD中，对角线AC，BD交于点O，AC⊥CD，点E是BD上的一点，∠AEB=∠BDC.

1. （1） 如图1，求证：AE=CD；
3. （2） 如图2，▱AFCE的顶点F在BD上，若OF=DE.

   ①求证：四边形AFCE是矩形；

   ②求的值.