只需证明A^TAX=0的解是AX=0的解即可
因为A^TAX=0的解是XTATAX=(AX)^T(AX)=0的解
令AX=B,则BTB=0,所以B=AX=0
证毕!