首先需要明确,这个证明的切入点是:方程组的解包含与被包含的挂关系。 1)证明 r(ATA)≤r(A) 当 AX=0时,ATAX=0 必然成立,即: ATAX=0 的解,包含了 AX=0 的解,就说明了 ATAX=0