まず、与えられた行列の等式が成り立つことを確認する。
左辺の行列の積を計算すると、
[ 0 a b a 0 c b c 0 ] [ 0 a b a 0 c b c 0 ] = [ a 2 + b 2 0 + 0 + b c 0 + a c + 0 0 + 0 + b c a 2 + 0 + c 2 a b + 0 + 0 0 + a c + 0 a b + 0 + 0 b 2 + c 2 + 0 ] = [ a 2 + b 2 b c a c b c a 2 + c 2 a b a c a b b 2 + c 2 ] \begin{bmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{bmatrix} \begin{bmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{bmatrix} = \begin{bmatrix} a^2+b^2 & 0+0+bc & 0+ac+0 \\ 0+0+bc & a^2+0+c^2 & ab+0+0 \\ 0+ac+0 & ab+0+0 & b^2+c^2+0 \end{bmatrix} = \begin{bmatrix} a^2+b^2 & bc & ac \\ bc & a^2+c^2 & ab \\ ac & ab & b^2+c^2 \end{bmatrix} 0 a b a 0 c b c 0 0 a b a 0 c b c 0 = a 2 + b 2 0 + 0 + b c 0 + a c + 0 0 + 0 + b c a 2 + 0 + c 2 ab + 0 + 0 0 + a c + 0 ab + 0 + 0 b 2 + c 2 + 0 = a 2 + b 2 b c a c b c a 2 + c 2 ab a c ab b 2 + c 2 となり、右辺と一致する。
次に、この等式を用いて、与えられた行列式を計算する。
行列式の性質より、行列の積の行列式は、行列式の積に等しい。すなわち、
d e t ( A B ) = d e t ( A ) d e t ( B ) det(AB) = det(A) det(B) d e t ( A B ) = d e t ( A ) d e t ( B ) である。
したがって、
∣ a 2 + b 2 b c a c b c a 2 + c 2 a b a c a b b 2 + c 2 ∣ = ∣ 0 a b a 0 c b c 0 ∣ ∣ 0 a b a 0 c b c 0 ∣ = ( ∣ 0 a b a 0 c b c 0 ∣ ) 2 \begin{vmatrix} a^2+b^2 & bc & ac \\ bc & a^2+c^2 & ab \\ ac & ab & b^2+c^2 \end{vmatrix} = \begin{vmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{vmatrix} \begin{vmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{vmatrix} = \left( \begin{vmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{vmatrix} \right)^2 a 2 + b 2 b c a c b c a 2 + c 2 ab a c ab b 2 + c 2 = 0 a b a 0 c b c 0 0 a b a 0 c b c 0 = 0 a b a 0 c b c 0 2 である。
ここで、
∣ 0 a b a 0 c b c 0 ∣ = 0 ∣ 0 c c 0 ∣ − a ∣ a c b 0 ∣ + b ∣ a 0 b c ∣ = 0 − a ( 0 − b c ) + b ( a c − 0 ) = a b c + a b c = 2 a b c \begin{vmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{vmatrix} = 0\begin{vmatrix} 0 & c \\ c & 0 \end{vmatrix} - a \begin{vmatrix} a & c \\ b & 0 \end{vmatrix} + b \begin{vmatrix} a & 0 \\ b & c \end{vmatrix} = 0 - a(0-bc) + b(ac-0) = abc + abc = 2abc 0 a b a 0 c b c 0 = 0 0 c c 0 − a a b c 0 + b a b 0 c = 0 − a ( 0 − b c ) + b ( a c − 0 ) = ab c + ab c = 2 ab c よって、
( ∣ 0 a b a 0 c b c 0 ∣ ) 2 = ( 2 a b c ) 2 = 4 a 2 b 2 c 2 \left( \begin{vmatrix} 0 & a & b \\ a & 0 & c \\ b & c & 0 \end{vmatrix} \right)^2 = (2abc)^2 = 4a^2b^2c^2 0 a b a 0 c b c 0 2 = ( 2 ab c ) 2 = 4 a 2 b 2 c 2