首先证明任取n维列向量x≠0,Bx≠0
因为R(B)=n,所以存在B的n级子式不为0,不妨设B前n行构成的子式|B1|不为0,则若B1x=0必有x=0,矛盾.所以B1x≠0,所以Bx≠0.
这样因为A正定,任取x≠0,Bx≠0,所以x'B'ABx=(Bx)'A(Bx)>0
即,B'AB正定