请问，画红线的增广矩阵这一步骤是怎么推算化简出来的呢?谢谢解答。