一道几何题,如图,三角形ABD为等腰直角三角形,角MAN为45度,求证:DN的平方加BM的平方=MN的平方