如图，在正方形ABCD中，E是AD的中点，F是BA延长线上的一点，若AF=0.5AB，则可通过________（填“平移”、“旋转”、“轴对称”）变换，使三角形ABE变换到三角形ADF的位置；且线段BE、DF的数量关系是________．
网友回答
旋转 BE=DF
解析分析：由E是AD的中点，AF=0.5AB，得到AE=AF，根据正方形的性质和旋转的定义得到△EAD绕点A逆时针旋转90°得△FAD，即可得到
BE=DF．
解答：∵E是AD的中点，AF=0.5AB，
∴AE=AF，
而AB=AD，∠EAB=∠FAD，
∴△EAD绕点A逆时针旋转90°得△FAD，
∴BE=DF．
故