Cauchy-Schwarz不等式

ａ（ｉ）（１≦ｉ≦ｎ）を実内積空間または複素内積空間の元とすると
（ｉ，ｊ）成分がａ（ｉ）とａ（ｊ）の内積のｎ次行列の行列式は０以上。