由 D^T = D， 得 (P^TDP)^T = P^TDP , 则 P^TDP 对称。A^T = A, B^T = BA^(-1) = (A^T)^(-1) = [A^(-1)]^T, 则 A^(-1) 对称。[B - C^TA^(-1)C]^T = B - C^TA^(-1)C, 则 B - C^TA^(-1)C 对称。
