【正确答案】必要性：设B^TAB为正定矩阵，则由定义知，对任意的n维实列向量x≠0，有x^T(B^TAB)x＞0，即(Bx)^TA(Bx)＞0。于是，Bx≠0。因此，Bx=0只有零解，故有r(B)=n。
充分性：因(B^TAB)^T=B^TA^T(B^T)^T=B^TAB，故B^TAB为实对称矩阵。
若r(B)=n，则线性方程组Bx=0只有零解，从而对任意的n维实列向量x≠0，有Bx≠0。
又A为正定矩阵，所以对于Bx≠0，有(Bx)^TA(Bx)＞0。于是当x≠0，有x^T(B^TAB)x=(Bx)^TA(Bx)＞0，故B^TAB为正定矩阵。