8.1.2 行列式的性质