>>907
A, B 半正定値なのである対称行列 X, Y が存在して X^2 = A, Y^2 = B.
よって tr(AB) = tr(X^2 Y^2) = tr(YXXY) = tr((XY)^T (XY)) = 0
∴ X Y = 0 ∴ X^2 Y^2 = 0 ∴ A B = 0