用坐标法证明四边形ABCD是长方形,则对任意一点M等式|AM|平方加|CM|平方=|BM|平方加|DM|平方成立.