7.3.1 双线性矩阵不等式