A为m行n列的列满秩矩阵,证明B=A^T·A为对称正定矩阵?