1. (2017八下·南通期中) 如图，在▱ABCD中，已知AB＞BC．

1. （1） 实践与操作：作∠ADC的平分线交AB于点E，在DC上截取DF=AD，连接EF；（要求：尺规作图，保留作图痕迹，不写作法）
   
3. （2） 猜想并证明：猜想四边形AEFD的形状，并给予证明．