这个用定义应该可以证明,不过涉及求和负号的拆解,过程很繁杂,没什么技术含量,就是要细心.这个性质直接拿来用就可以了,要注意分块的行数列数要对应