如图,矩形ABCD,在CD上选一点E,沿直线AE把三角形ADE折叠,使点D恰好落在BC边上的点F处.