行列式的性质及其运算