1. (2016·达州)

如图，在▱ABCD中，已知AD＞AB．

1. （1） 实践与操作：作∠BAD的平分线交BC于点E，在AD上截取AF=AB，连接EF；（要求：尺规作图，保留作图痕迹，不写作法）

3. （2） 猜想并证明：猜想四边形ABEF的形状，并给予证明．