如图，在矩形ABCD中，AB＞AD，把矩形沿对角线AC所在直线折叠，使点B落在点E处，AE交CD于点F，连接DE。求证：