如图,折叠矩形ABCD的一个角角ADE,使点D落在BC边的点F处