行列式按行展开定理推论应用