秩(ATA)≤秩(A)≤m,而矩阵ATA是n×n矩阵,n＞m,所以det（AT*A）=0
如果A是一个2*3的矩阵,det（AT*A）=0 成立