是 r(A, B) , 逗号不能省略
再者, 你把结论记错了, 应该是
向量组A可以被 向量组B线性表示的充要条件为 r(B)=r(A , B)
证明方法即 B 的极大无关组即 (A,B) 列向量组的极大无关组