n 次正方行列 A=(a_ij)_ij に対し、A の行列式 detA を detA=∑σ∈Sn(sgn σ) a1σ(1) … anσ(n) で定める。detA を |A| とも書く。問題１７（対称ブロック行列の行列式）n 次正方行列 A,B に対し det(A B \\ B A) = det(A+B)det(A−B) であることを示せ。