等式|a+a^t c+c^t;b d|=|a c;b d|+|a^t c^t;b d|成立()
出自:兰州工业大学线性代数