如图，正方形ABCD中，E、F分别在边BC、CD上，且∠EAF＝45°，连接EF， 这种模型属于“半角模型”中的一类，在解决“半角模型”问题时，旋转是一种常用的分析思路．例如图中△ADF与△ABG可以看作绕点A旋转90°的关系．这可以证明结论“EF＝BE＋DF”，请补充辅助线的作法，并写出证明过程．