ここでは

　　｜２　１　・・　１｜　｜２　１　・・　０｜

　　｜１　２　・・　１｜　｜１　２　・・　０｜

　　｜１　１　・・・１｜＝｜０　１　・・　０｜＝１＋ｎ

　　｜１　１　・・　１｜　｜０　０　・・　１｜

　　｜１　１　・・　２｜　｜０　０　・・　２｜

を示してみよう．

　なぜ，このようなことをするのかというと，例えば，３次元の平行六面体の体積は

　　Ｖ^2＝｜ａ↑・ａ↑　　ａ↑・ｂ↑　　ａ↑・ｃ↑｜

　　　　　｜ｂ↑・ａ↑　　ｂ↑・ｂ↑　　ｂ↑・ｃ↑｜

　　　　　｜ｃ↑・ａ↑　　ｃ↑・ｂ↑　　ｃ↑・ｃ↑｜

で与えられ，点の配置が立方格子の格子線の交角を６０°になるようにゆがめたとき，グラミアンは

　　　　｜ｄ^2　　ｄ^2／２　　ｄ^2／２｜　　　　　　　　｜２　１　１｜

　　Ｇ＝｜ｄ^2／２　　ｄ^2　　ｄ^2／２｜＝（ｄ^2／２）^3｜１　２　１｜

　　　　｜ｄ^2／２　　ｄ^2／２　　ｄ^2｜　　　　　　　　｜１　１　２｜

として得ることができるというのがその理由である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　３次の行列式であれば，行列式を展開して

　　｜２　１　１｜　　　｜２　１　０｜

　　｜１　２　１｜＝４，｜１　２　１｜＝４

　　｜１　１　２｜　　　｜０　１　２｜

であることを確認することができる．しかし，直接

　　｜２　１　１｜

　　｜１　２　１｜

　　｜１　１　２｜

を

　　｜２　１　０｜

　　｜１　２　１｜

　　｜０　１　２｜　　

に変形することは難しいだろう．

　　｜２　１　・・　０｜

　　｜１　２　・・　０｜

　　｜０　１　・・　０｜＝１＋ｎ

　　｜０　０　・・　１｜

　　｜０　０　・・　２｜

は既に証明済みであるから，

　　｜２　１　・・　１｜

　　｜１　２　・・　１｜

　　｜１　１　・・・１｜＝１＋ｎ

　　｜１　１　・・　１｜

　　｜１　１　・・　２｜

を示すことによって，両辺が一致することを確認してみよう．それでも立派な証明だろう．

　まず，第１行を他の行から引いて

　　｜２　１　・・　１｜　｜２　　１　・・　１｜

　　｜１　２　・・　１｜　｜−１　１　・・　０｜

　　｜１　１　・・　１｜＝｜−１　０　・・　０｜

　　｜１　１　・・　１｜　｜−１　０　・・　０｜

　　｜１　１　・・　２｜　｜−１　０　・・　１｜

さらに第２列〜第ｎ列を第１列に加えれば

　　｜２　　１　・・　１｜　｜１＋ｎ　１　・・　１｜

　　｜−１　１　・・　１｜＝｜　０　　１　・・　０｜

　　｜−１　０　・・　０｜＝｜　０　　０　・・　０｜

　　｜−１　０　・・　１｜　｜　０　　０　・・　０｜

　　｜−１　０　・・　２｜　｜　０　　０　・・　１｜

のように上三角行列式となる．

　三角行列の行列式の値は対角要素の積になるから，

　　｜２　１　・・　１｜

　　｜１　２　・・　１｜

　　｜１　１　・・　１｜＝１＋ｎ

　　｜１　１　・・　１｜

　　｜１　１　・・　２｜

となることが証明されたことになる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝