【問題】
n次の実行列 A,B,C,D に対して，2n次の行列 X を
　　X = [A　B]
　　　　 [C　D]
とおく．X が正定値対称行列のとき，

　　det (X) ≦ det (A)・det(D)

を示せ．