如图,矩形ABCD中,e是ad的中点,将三角形abe沿be折叠,求df的长