证明:∵四边形ABCD是菱形(已知)
∴∠B=∠D,AD=AB(菱形的性质)
在△ABE与△ADF中:
∵﹛∠B=∠D(已证),AD=AB(已证),BE=DF(已知)﹜
∴△ABE≌△ADF﹙SAS﹚
∴AE=AF﹙全等三角形的对应边相等﹚