设A为m阶正定阵,B为m*n阶矩阵,证明:B^tAB为正定阵的充要条件为R(B)=n