1. (2020八下·北京期末) 正方形ABCD中，将线段AB绕点B顺时针旋转α(其中 )，得到线段BE ， 连接AE ． 过点C作CF⊥AE交AE延长线于点F ， 连接EC ， DF ．

1. （1） 在图1中补全图形；

   

3. （2） 求∠AEC的度数；
5. （3） 用等式表示线段AF ， DF ， CF的数量关系，并证明．