设A是实数域R上的一个m×n矩阵,X为R上的一个n×1矩阵,则A'AX=0的充要条件是AX=0