・ 階乗の意外な表現                 S.H氏

 自然数 n の階乗 n! について、次のような性質があることは興味深い。

   

 この表現の使い道は?と問われれば答に窮してしまうほど、その意義は怪しいが、形自
体には他を寄せ付けない美しさがある。

 例 n=3 のときについて確認してみよう。

   

 となる。 この計算の中で、
                  

の形をした行列式は、有名な行列式である。

 一般に、
       

の形をした行列式は、Van der Monde (ファンデルモンデ)の行列式と言われる。

 この行列式の値は、簡単な計算から、

        

となることが分かる。

 実際に、任意の i 、j について、x=x とすると、行列式の性質から、0 となるので、

与えられた行列式は、x−x ( i < j )で割り切れる。

 よって、与えられた行列式は、   ( k は実数の定数) とおける。

ここで、左辺における x23243・・・xn-1 の係数は明らかに、1 であり、

右辺における x23243・・・xn-1 の係数は、

     

の形を考慮して、 k(−1)(−1)2(−1)3・・・(−1)n-1 となる。

 よって、  となり、上記の公式が示された。

 この公式を用いると、上記の例の問題は、次のように解かれる。

    

 同様にして、冒頭の等式も示される。

   


 当HPの掲示板「出会いの泉」に、平成20年10月26日付けで、HN「凡人」さんが下記の
ように書き込まれた。

 階乗の意外な表現の一般における証明ですが、ファンデルモンデの行列式を利用すれ
ば簡単に証明出来ると思います。しかし、実は一昨年受験した第125回実用数学技能検
定1級に似たような問題があったのですが、「ファンデルモンデの行列式から(以下略)」と
解答したところ恐らく誤答となっている様だったので、怪しい所もありますが。(採点された
解答用紙は返却されないので、得点からの類推ですが、誤答となっているのはこの問題
だと思います)
 数検の問題はこの場に載せても良いものか迷う所なのでやめときます。


 確かに、ファンデルモンデの行列式を利用すれば簡単に証明されますね!でも問題自体
が、ファンデルモンデの行列式とほとんど同じような...予感。数検1級の問題がどんな問
題か大いに興味がありますが、閲覧は無理ですよね。

 当初は、証明が面倒そうだったので敬遠していましたが、「凡人」さんの声に後押しされて
証明に挑戦してみました。この機会を与えていただいた「凡人」さんに感謝いたします。



                                             投稿一覧に戻る