如图,已知:在正方形ABCD中,角EAF等于九十度,AM垂直EF,求证:AD等于AM