是。根据作业帮资料显示，若AX1=0，则ATAX1=0，即AX=0的解都是ATAX=0的解，若ATAX2=0，则X2TATAX2=0，所以(AX2)T(AX2)=0，所以AX2=0，这里要求A是实矩阵，提示：AX2是一个列向量，所以ATAX=0的解也是AX=0的解，所以xtax=0和ax=0是同解。