(1) の行列式を計算します。
まず、各行をすべて足し合わせて1行目にします。
∣ 4 a + 4 b + 4 c 4 a + 4 b + 4 c 4 a + 4 b + 4 c 4 a + 4 b + 4 c a + b a + b + c a a a a a + b + c a + b a a a + b a + b + c ∣ \begin{vmatrix} 4a+4b+4c & 4a+4b+4c & 4a+4b+4c & 4a+4b+4c \\ a+b & a+b+c & a & a \\ a & a & a+b+c & a+b \\ a & a & a+b & a+b+c \end{vmatrix} 4 a + 4 b + 4 c a + b a a 4 a + 4 b + 4 c a + b + c a a 4 a + 4 b + 4 c a a + b + c a + b 4 a + 4 b + 4 c a a + b a + b + c 4 ( a + b + c ) 4(a+b+c) 4 ( a + b + c ) をくくりだすと 4 ( a + b + c ) ∣ 1 1 1 1 a + b a + b + c a a a a a + b + c a + b a a a + b a + b + c ∣ 4(a+b+c) \begin{vmatrix} 1 & 1 & 1 & 1 \\ a+b & a+b+c & a & a \\ a & a & a+b+c & a+b \\ a & a & a+b & a+b+c \end{vmatrix} 4 ( a + b + c ) 1 a + b a a 1 a + b + c a a 1 a a + b + c a + b 1 a a + b a + b + c 次に、2列目から1列目を、3列目から1列目を、4列目から1列目を引きます。
4 ( a + b + c ) ∣ 1 0 0 0 a + b c − b − b a 0 b + c b a 0 b b + c ∣ 4(a+b+c) \begin{vmatrix} 1 & 0 & 0 & 0 \\ a+b & c & -b & -b \\ a & 0 & b+c & b \\ a & 0 & b & b+c \end{vmatrix} 4 ( a + b + c ) 1 a + b a a 0 c 0 0 0 − b b + c b 0 − b b b + c 1行目で余因子展開すると
4 ( a + b + c ) ∣ c − b − b 0 b + c b 0 b b + c ∣ 4(a+b+c) \begin{vmatrix} c & -b & -b \\ 0 & b+c & b \\ 0 & b & b+c \end{vmatrix} 4 ( a + b + c ) c 0 0 − b b + c b − b b b + c 1列目で余因子展開すると
4 ( a + b + c ) c ∣ b + c b b b + c ∣ 4(a+b+c) c \begin{vmatrix} b+c & b \\ b & b+c \end{vmatrix} 4 ( a + b + c ) c b + c b b b + c 4 ( a + b + c ) c ( ( b + c ) 2 − b 2 ) = 4 ( a + b + c ) c ( b 2 + 2 b c + c 2 − b 2 ) = 4 ( a + b + c ) c ( 2 b c + c 2 ) = 4 c 2 ( a + b + c ) ( 2 b + c ) 4(a+b+c) c ((b+c)^2 - b^2) = 4(a+b+c) c (b^2 + 2bc + c^2 - b^2) = 4(a+b+c) c (2bc + c^2) = 4c^2(a+b+c)(2b+c) 4 ( a + b + c ) c (( b + c ) 2 − b 2 ) = 4 ( a + b + c ) c ( b 2 + 2 b c + c 2 − b 2 ) = 4 ( a + b + c ) c ( 2 b c + c 2 ) = 4 c 2 ( a + b + c ) ( 2 b + c )
次に(2) の行列式を計算します。
∣ b 2 + c 2 a b c a a b c 2 + a 2 b c c a b c a 2 + b 2 ∣ \begin{vmatrix} b^2+c^2 & ab & ca \\ ab & c^2+a^2 & bc \\ ca & bc & a^2+b^2 \end{vmatrix} b 2 + c 2 ab c a ab c 2 + a 2 b c c a b c a 2 + b 2 サラスの公式を用いて計算します。
( b 2 + c 2 ) ( c 2 + a 2 ) ( a 2 + b 2 ) + a b ⋅ b c ⋅ c a + c a ⋅ a b ⋅ b c − c a ( c 2 + a 2 ) c a − ( b 2 + c 2 ) b c 2 − a b ⋅ a b ⋅ ( a 2 + b 2 ) (b^2+c^2)(c^2+a^2)(a^2+b^2) + ab \cdot bc \cdot ca + ca \cdot ab \cdot bc - ca(c^2+a^2)ca - (b^2+c^2)bc^2 - ab \cdot ab \cdot (a^2+b^2) ( b 2 + c 2 ) ( c 2 + a 2 ) ( a 2 + b 2 ) + ab ⋅ b c ⋅ c a + c a ⋅ ab ⋅ b c − c a ( c 2 + a 2 ) c a − ( b 2 + c 2 ) b c 2 − ab ⋅ ab ⋅ ( a 2 + b 2 ) ( b 2 + c 2 ) ( c 2 a 2 + c 2 b 2 + a 4 + a 2 b 2 ) + a 2 b 2 c 2 + a 2 b 2 c 2 − c 4 a 2 − c 2 a 4 − b 3 c 2 − b c 4 − a 4 b 2 − a 2 b 4 (b^2+c^2)(c^2a^2 + c^2b^2 + a^4 + a^2b^2) + a^2b^2c^2 + a^2b^2c^2 - c^4a^2 - c^2a^4 - b^3c^2 - b c^4 - a^4b^2 - a^2b^4 ( b 2 + c 2 ) ( c 2 a 2 + c 2 b 2 + a 4 + a 2 b 2 ) + a 2 b 2 c 2 + a 2 b 2 c 2 − c 4 a 2 − c 2 a 4 − b 3 c 2 − b c 4 − a 4 b 2 − a 2 b 4 b 2 c 2 a 2 + b 2 c 2 b 2 + b 2 a 4 + b 2 a 2 b 2 + c 4 a 2 + c 4 b 2 + c 2 a 4 + c 2 a 2 b 2 + 2 a 2 b 2 c 2 − c 4 a 2 − c 2 a 4 − b 3 c 2 − b c 4 − a 4 b 2 − a 2 b 4 b^2c^2a^2 + b^2c^2b^2 + b^2a^4 + b^2a^2b^2 + c^4a^2 + c^4b^2 + c^2a^4 + c^2a^2b^2 + 2a^2b^2c^2 - c^4a^2 - c^2a^4 - b^3c^2 - b c^4 - a^4b^2 - a^2b^4 b 2 c 2 a 2 + b 2 c 2 b 2 + b 2 a 4 + b 2 a 2 b 2 + c 4 a 2 + c 4 b 2 + c 2 a 4 + c 2 a 2 b 2 + 2 a 2 b 2 c 2 − c 4 a 2 − c 2 a 4 − b 3 c 2 − b c 4 − a 4 b 2 − a 2 b 4 a 2 b 4 + b 4 c 2 + b 2 c 2 a 2 + c 4 b 2 + a 2 b 2 c 2 + 2 a 2 b 2 c 2 − a 2 b 4 − b 3 c 2 − b c 4 − b 4 a 2 a^2b^4 + b^4c^2 + b^2c^2a^2 + c^4b^2 + a^2b^2c^2 + 2a^2b^2c^2 - a^2b^4 - b^3c^2 - b c^4 - b^4a^2 a 2 b 4 + b 4 c 2 + b 2 c 2 a 2 + c 4 b 2 + a 2 b 2 c 2 + 2 a 2 b 2 c 2 − a 2 b 4 − b 3 c 2 − b c 4 − b 4 a 2 a 4 b 2 + a 4 c 2 + b 4 a 2 + b 4 c 2 + c 4 a 2 + c 4 b 2 + 2 a 2 b 2 c 2 a^4b^2+a^4c^2+b^4a^2+b^4c^2+c^4a^2+c^4b^2+2a^2b^2c^2 a 4 b 2 + a 4 c 2 + b 4 a 2 + b 4 c 2 + c 4 a 2 + c 4 b 2 + 2 a 2 b 2 c 2
a 4 b 2 + a 2 b 4 + a 4 c 2 + a 2 c 4 + b 4 c 2 + b 2 c 4 − a 4 b 2 − a 2 b 4 − a 4 c 2 − c 4 b 2 − a 2 c 4 − b 4 c 2 + 4 a 2 b 2 c 2 a^4b^2 + a^2b^4 + a^4c^2 + a^2c^4 + b^4c^2 + b^2c^4 - a^4b^2-a^2b^4 - a^4c^2 - c^4b^2-a^2c^4-b^4c^2+4a^2b^2c^2 a 4 b 2 + a 2 b 4 + a 4 c 2 + a 2 c 4 + b 4 c 2 + b 2 c 4 − a 4 b 2 − a 2 b 4 − a 4 c 2 − c 4 b 2 − a 2 c 4 − b 4 c 2 + 4 a 2 b 2 c 2 = 4 a 2 b 2 c 2 = 4a^2b^2c^2 = 4 a 2 b 2 c 2