【探索发现】如图①，四边形ABCD是正方形，M，N分别在边CD、BC上，且∠MAN=45°，我们把这种模型称为“半角模型”，在解决“半角模型”问题时，旋转是一种常用的方法．如，小明将△ADM绕点A顺时针旋转90°，点D与点B重合，得到△ABE，如图②．从而证明出了DM+BN=MN．