工程数学线性代数.图中黑笔括号里是怎么推导的,有什么定理吗?