任取非零向量X=(x1,x2...,xn)
于是X'X>0,且(GX)'(GX)≥0
则X'(G'G+aI)X
=X'G'GX+X'aIX
=(GX)'(GX)+aX'X
>0
故G'G+aI为正定矩阵