如图，在正方形ABCD中，点E是BC边的延长线上一点，连接DE，且∠EDC＝30°，以DE为斜边作等腰Rt△DEF，直角边EF的延长线交BD于点M，连接AF．