1. (2020九上·云梦期中) 正方形ABCD的四个顶点都在⊙O上，E是⊙O上的一点.

1. （1） 如图1，若点E在 上，F是DE上的一点，DF＝BE.

   ①求证： ADF≌ ABE；

   ②求证：DE﹣BE＝ AE.

3. （2） 如图2，若点E在 上，直接写出线段DE、BE、AE之间的等量关系.