1. (2020九上·密云期末) 如图，矩形ABCD中，AD>AB，DE平分∠ADC交BC于点E，将线段AE绕点A逆时针旋转90°得到线段AF，连接EF，AD与FE交于点O．

1. （1） ①补全图形；

   ②设∠EAB的度数为 ，直接写出∠AOE的度数（用含 的代数式表示）．

3. （2） 连接DF，用等式表示线段DF，DE，AE之间的数量关系，并证明．