等式 |a+at b c+ct d|=|a |b c d |+|at b ct d|成立。
出自:郑州航空工业管理学院线性代数