如图，在▱ABCD中，已知AD＞AB．
（1）实践与操作：作∠BAD的平分线交BC于点E，在AD上截取AF=AB，连接EF；（要求：尺规作图，保留作图痕迹，不写作法）
（2）猜想并证明：猜想四边形ABEF的形状，并给予证明．
如图，在▱ABCD中，已知AD＞AB．
（1）实践与操作：作∠BAD的平分线交BC于点E，在AD上截取AF=AB，连接EF；（要求：尺规作图，保留作图痕迹，不写作法）
（2）猜想并证明：猜想四边形ABEF的形状，并给予证明．
计算：
﹣（﹣2016）0+|﹣3|﹣4cos45°．