已知：如图，正方形的边长为1，在射线AB上取一点E，联结DE，将ADE绕点D针旋转90°，E点落在点F处，联结EF，与对角线BD所在的直线交于点M，与射线DC交于点N．求证：