1.4.2 行列式的性质