5
高校数学解説
文献あり

和算・源氏香からクラウゼン・フォンシュタウトの定理へ

144
0
$$$$

タイトル画像 使用ツール Grok2 タイトル画像 使用ツール Grok2

はじめに

 この記事は  第32回日曜数学会 での発表内容に加筆したものです。

 この記事では最初に関・ベルヌーイ数の分母についての法則について説明してから、源氏香の話をします。

 関・ベルヌーイ数と源氏香。何の関係もないように思われるでしょうが、源氏香の話から、ベル数・スターリング数の話を経て、最後に関・ベルヌーイ数の法則の証明につながる構成になっています。

 記事のタイトルの「クラウゼン・フォンシュタウトの定理」は、最後の証明のところで出てきます。

ややボリュームはありますが、なるべく平易な説明をしたいと思いますのでお付き合いいただければと思います。

 なお、この記事では整数の集合を $\mathbb{Z}$ で、素数の集合を $\mathbb{P}$ で表します。
 また、二項係数を ${\displaystyle {n \choose k}}$ で表します。
 つまり、
  ${\displaystyle {n \choose k}={}_{n}\mathrm{C}{}_k}$
ということです。

関・ベルヌーイ数

 関・ベルヌーイ数は、べき乗和の公式を二項係数を使って表したときに、係数に表れる数列です。日本では関孝和が、スイスではヤコブ・ベルヌーイが、ほぼ同時期に独立して発見したと言われています。

 具体的に見てみましょう。次の式の赤い部分が関・ベルヌーイ数です。

${\displaystyle 1^0+2^0+3^0+\cdots+n^0 =\frac{1}{1}\cdot{1 \choose 0}\cdot \textcolor{red}{1}\cdot n }$

${\displaystyle 1^1+2^1+3^1+\cdots+n^1 =\frac{1}{2}\left( {2 \choose 0}\cdot \textcolor{red}{1}\cdot n^{2} +{2 \choose 1}\cdot \textcolor{red}{\frac{1}{2}}\cdot n^{1} \right) }$

${\displaystyle 1^2+2^2+3^2+\cdots+n^2 =\frac{1}{3}\left( {3 \choose 0}\cdot \textcolor{red}{1}\cdot n^{3} +{3 \choose 1}\cdot \textcolor{red}{\frac{1}{2}}\cdot n^{2} +{3 \choose 2}\cdot \textcolor{red}{\frac{1}{6}}\cdot n^{1} \right)}$

${\displaystyle 1^3+2^3+3^3+\cdots+n^3 =\frac{1}{4}\left( {4 \choose 0}\cdot \textcolor{red}{1}\cdot n^{4} +{4 \choose 1}\cdot \textcolor{red}{\frac{1}{2}}\cdot n^{3} +{4 \choose 2}\cdot \textcolor{red}{\frac{1}{6}}\cdot n^{2} +{4 \choose 3}\cdot \textcolor{red}{0}\cdot n^{1} \right)}$

${\displaystyle 1^4+2^4+3^4+\cdots+n^4 =\frac{1}{5}\left( {5 \choose 0}\cdot \textcolor{red}{1}\cdot n^{5} +{5 \choose 1}\cdot \textcolor{red}{\frac{1}{2}}\cdot n^{4} +{5 \choose 2}\cdot \textcolor{red}{\frac{1}{6}}\cdot n^{3} +{5 \choose 3}\cdot \textcolor{red}{0}\cdot n^{2} +{5 \choose 4}\cdot \textcolor{red}{\left(-\frac{1}{30}\right)}\cdot n^{1} \right)}$

${\displaystyle 1^k+2^k+3^k+\cdots+n^k =\frac{1}{k+1}\sum_{j=0}^{k} {k+1 \choose j}B_j n^{k-j+1} }$

$B_{0}$$B_{1}$$B_{2}$$B_{3}$$B_{4}$$B_{5}$$B_{6}$$B_{7}$$B_{8}$$B_{9}$$B_{10}$
$1$$\dfrac{1}{2}$$\dfrac{1}{6}$$0$$-\dfrac{1}{30}$$0$$\dfrac{1}{42}$$0$$-\dfrac{1}{30}$$0$$\dfrac{5}{66}$
$B_{11}$$B_{12}$$B_{13}$$B_{14}$$B_{15}$$B_{16}$$B_{17}$$B_{18}$$B_{19}$$B_{20}$$\cdots$
$0$$-\dfrac{691}{2730}$$0$$\dfrac{7}{6}$$0$$-\dfrac{3617}{510}$$0$$\dfrac{43867}{798}$$0$$-\dfrac{174611}{330}$$\cdots$
$B_1$$\dfrac{1}{2}$$-\dfrac{1}{2}$

 関・ベルヌーイ数については、定義の仕方により $\dfrac{1}{2}$ とする場合と $-\dfrac{1}{2}$ とする場合があります。この記事では、上記のべき乗和の式から定義するため、 $\dfrac{1}{2}$ とする立場を採用しています。

なぜべき乗の数が増えると公式に新しい関・ベルヌーイ数が現れるのか

 なぜべき乗の数が増えると公式に新しい関・ベルヌーイ数が次々と現れるのでしょうか。それを考えるために、 $m-1$ 番目までの関・ベルヌーイ数がわかっているときに、積分を使って $m$ 番目の関・ベルヌーイ数を求める操作を説明します。

 説明しやすくするために、 $n$ までの自然数の $m$ 乗和を $S_m(n)$ で表すことにします。

   $S_m(n):=1^m+2^m+3^m+\cdots +n^m$

 先ほどの式を使うとこうなります。

  ${\displaystyle S_m(n) =\frac{1}{m+1}\sum_{j=0}^{m} {m+1 \choose j}B_j n^{m-j+1} }$

 $n$$x$ に置き換えた式を考えます。

  ${\displaystyle S_m(x) =\frac{1}{m+1}\sum_{j=0}^{m} {m+1 \choose j}B_j x^{m-j+1} }$

 ここでちょっと飛躍しますが、$S_m(x)$ を この式の右辺で定義される $x$ の関数だと思うことにします。
 また、$x$ が整数でない場合も定義域に含む関数だと考えます。

 このとき、$x^{m-1}=S_{m-1}(x)-S_{m-1}(x-1)$ が必ず成り立ちます。

 $x$ が自然数のときに成り立つことは自明だと思います。
 自然数でないときについても、$x=1,2,\cdots$ と順に代入していけば、多項式の係数について次数以上の連立方程式を作ることができるので、必ず成り立つことが分かります。

 言い換えると、$x^{m-1}=S_{m-1}(x)-S_{m-1}(x-1)$ は恒等式になっているということです。

 次に、$mS_{m-1}(x)$ を積分しててできる原始関数のうち積分定数 $0$ のものを $F_m(x)$ とします。

 $S_m(x)$$x$ の次数は必ず $1$ 以上ですから、$F_m(x)$$x$ の次数は必ず $2$ 以上になります。

  ${\displaystyle \begin{align} F_m(x)&=\int m S_{m-1}(x) dx\qquad(\text{積分定数は0})\\ &=\sum_{j=0}^{m-1} \frac{1}{m-j+1}{m \choose j}B_j x^{m-j+1}\\ &=\frac{1}{m+1}\sum_{j=0}^{m-1} \frac{m+1}{m-j+1}{m \choose j}B_j x^{m-j+1}\\ &=\frac{1}{m+1}\sum_{j=0}^{m-1} {m+1 \choose j}B_j x^{m-j+1}\\ \end{align} }$

 次に、

  $x^{m-1}=S_{m-1}(x)-S_{m-1}(x-1)$

ですから、

  $x^{m-1}-S_{m-1}(x)+S_{m-1}(x-1)=0$

です。
 この式の左辺を $m$ 倍してから積分します。

   ${\displaystyle \begin{align} &\int \left(mx^{m-1}-mS_{m-1}(x)+mS_{m-1}(x-1)\right) dx\\ &=x^m-F_m(x)+F_m(x-1)+C \end{align} }$

 $C$ は積分定数です。
 ここで積分前の式をみると、$x$ の多項式のように見えますが、展開すると $0$ になる式ですので、積分した後の式を展開したら $1$ 次以上の項はすべて打ち消しあって、定数項のみが残り、定数関数の形になるはずです。

 そこで、 $C_m=x^m-F_m(x)+F_m(x-1)$ で定義される定数 $C_m$ を導入すれば、

  $x^m=F_m(x)-F_m(x-1)+C_m$

 とすることができます。
 これは $x$ についての恒等式であることに注意してください。

 $x^m$ について $x=1,2,3,\cdots,n$ の和を取ると望遠鏡和になって

   ${\displaystyle \begin{align} \sum_{k=1}^{n} x^m&=\sum_{k=1}^{n}\left(F_m(x)-F_m(x-1)+C_m\right)\\ &=F_m(n)-F_m(0)+C_m n\\ &=F_m(n)+C_mn \end{align} }$

 勘のいい方は、ここで出てきた定数 $C_m$ が関・ベルヌーイ数の正体だと気が付いたかもしれませんが、もう少し計算を進めてみましょう。式の左辺を $S_m(n)$ に書き換え、

  ${\displaystyle \begin{align} F_m(x) &=\frac{1}{m+1}\sum_{j=0}^{m-1} {m+1 \choose j}B_j x^{m-j+1}\\ \end{align} }$

を使ってさらに書き換えると

   ${\displaystyle \begin{align} S_m(n) &=\frac{1}{m+1}\sum_{j=0}^{m-1} {m+1 \choose j}B_j n^{m-j+1}+C_mn \end{align} }$

この式を、最初の式

    ${\displaystyle S_m(n) =\frac{1}{m+1}\sum_{j=0}^{m} {m+1 \choose j}B_j n^{m-j+1} }$

と見比べてみましょう。$B_m=C_m$ となっていますね。

 べき乗の数が増えてくると新たな関・ベルヌーイ数が次々と現れてくるのは、 $n-1$ 乗和の式を積分して $n$ 乗和の式を導出するときに、新しい定数が次々と現れるから、ということが分かると思います。

関・ベルヌーイ数の法則

$B_{0}$$B_{1}$$B_{2}$$B_{3}$$B_{4}$$B_{5}$$B_{6}$$B_{7}$$B_{8}$$B_{9}$$B_{10}$
$1$$\dfrac{1}{2}$$\dfrac{1}{6}$$0$$-\dfrac{1}{30}$$0$$\dfrac{1}{42}$$0$$-\dfrac{1}{30}$$0$$\dfrac{5}{66}$
$B_{11}$$B_{12}$$B_{13}$$B_{14}$$B_{15}$$B_{16}$$B_{17}$$B_{18}$$B_{19}$$B_{20}$$\cdots$
$0$$-\dfrac{691}{2730}$$0$$\dfrac{7}{6}$$0$$-\dfrac{3617}{510}$$0$$\dfrac{43867}{798}$$0$$-\dfrac{174611}{330}$$\cdots$

 関・ベルヌーイ数にはいくつかの法則があります。
・ 奇数番目の関・ベルヌーイ数は $B_1$ を除いて $0$ である。
・ 偶数番目の関・ベルヌーイ数は $B_0$ を除いて符号が交互に入れ替わる。
ということには、すぐに気が付くかもしれません。
実はほかにも、ぱっと見では気づかない面白い法則があります。

$n$$2$$4$$6$$8$$10$$12$$14$$16$$18$$20$$\cdots$
$B_n$$\dfrac{1}{6}$$-\dfrac{1}{30}$$\dfrac{1}{42}$$-\dfrac{1}{30}$$\dfrac{5}{66}$$-\dfrac{691}{2730}$$\dfrac{7}{6}$$-\dfrac{3617}{510}$$\dfrac{43867}{798}$$-\dfrac{174611}{330}$$\cdots$
分母$6$$30$$42$$30$$66$$2730$$6$$510$$798$$330$$\cdots$
素因数分解$2\cdot3$$2\cdot3\cdot5$$2\cdot3\cdot7$$2\cdot3\cdot5$$2\cdot3\cdot11$$2\cdot3\cdot5\cdot7\cdot13$$2\cdot3$$2\cdot3\cdot5\cdot17$$2\cdot3\cdot7\cdot19$$2\cdot3\cdot5\cdot11$$\cdots$
$n$ の正の約数$1,2$$1,2,4$$1,2,3,6$$1,2,4,8$$1,2,5,10$$1,2,3,4,6,12$$1,2,7,14$$1,2,4,8,16$$1,2,3,6,9,18$$1,2,4,5,10,20$$\cdots$
$n$ の正の約数 $+1$$2,3$$2,3,5$$2,3,4,7$$2,3,5,9$$2,3,6,11$$2,3,4,5,7,13$$2,3,8,15$$2,3,5,9,17$$2,3,4,7,10,19$$2,3,5,6,11,21$$\cdots$
$n$ の正の約数 $+1$ かつ素数$2,3$$2,3,5$$2,3,7$$2,3,5$$2,3,11$$2,3,5,7,13$$2,3$$2,3,5,17$$2,3,7,19$$2,3,5,11$$\cdots$

 今回ご紹介するのは偶数番目の関・ベルヌーイ数の分母についての法則です。
 $n$ 番目の関・ベルヌーイ数の分母は、「$n$ の正の約数に $1$ を足した数のうち素数であるもの」の積になるのです!

 $n$ が偶数のとき、$n$ 番目の関・ベルヌーイ数の(既約分数の)分母は、「$n$ の正の約数に $1$ を足した数のうち素数であるもの」の積になる。

  $B_{12}$ の分母は $2730 = 2 \times 3 \times 5 \times 7 \times 13$
  $12$ の正の約数は $1,2,3,4,6,12$
  それらに $1$ を足した数のうち素数は $2,3,5,7,13$

 この記事の最後で、この事実を証明する予定です。
 いったん和算の話に移りますが、最後にちゃんとこの話につながりますのでしばらくおつきあいください。

和算・源氏香からクラウゼン・フォンシュタウトの定理へ

源氏香

 源氏香とは、$5$ つの香木を炷いて(「たいて」と読みます。)、そのうち同じ香りものがあるかないかを判断し、どのくらいあっていたかを競い合う上流階級の遊びでした。江戸時代には和算家がこれを「 $n$ 種類の香木」に一般化して研究しました。そして、ベル数、スターリング数、関・ベルヌーイ数にあたる数列を次々と発見していきました。

 どんな遊びなのかもう少し詳しく説明しましょう。
 プレイヤーはまず縦に $5$ 本の線を引きます。それからゲームマスターが $5$ つの香木を炷くのですが、説明の都合上、順に $A,B,C,D,E$ と名前をつけます。

 プレイヤーが引いた $5$ 本の線は右から順に $A,B,C,D,E$ に対応します。プレイヤーはゲームマスターが炷いた香りを聞きます(誤字ではありません。香は「嗅ぐ」ではなく「聞く」ものなのです。) 。

 そして、同じ香りのものがあったと思ったときは、対応する線を横線でつなぎます。

 このとき、$5$ つとも同じ香りのときもあれば、全部違う香りのときもあります。$A,C,D,E$$4$ つが同じ香りのときだとか、$A,D$$C,E$$2$ 組が同じ香りのときもあります。同じ香りの組が $2$ 組あるときは、横線の高さを変えて区別することにします。

 そうしてできあがる図のパターンは全部で $52$ とおりあります。これに、源氏物語 $54$ 帖のうち $52$ 帖を対応させているのが「源氏香の図」というわけです。雅ですね。

 同じ香りの組が $2$ 組ある場合、どちらの組の横線を高くするかについては、特に法則性はないようです。

源氏香の図 源氏香の図

※ 画像は 日本語版ウィキペディアのDaisuke615さん - 原版の投稿者自身による著作物, CC 表示-継承 3.0 より

 源氏香の図は $52$ 種類あります。これは、「区別のつく $5$ つの要素からなる集合の分割が $52$ とおりある」と解釈することができます。

 和算家は源氏香の問題を一般化して、$6$ 種香の場合、$7$ 種香の場合、$8$ 種香の場合、…という具合に調べていきました。
 今日ではそれらは「ベル数」と呼ばれているものになります。

ベル数

 区別のつく $n$ 個の要素からなる集合の分割が何通りあるかを 「ベル数」と呼びます。この記事ではベル数を

 $B(n)$

で表します。

$B(1)$$B(2)$$B(3)$$B(4)$$B(5)$$B(6)$$B(7)$$B(8)$$B(9)$$B(10)$
$1$$2$$5$$15$$52$$203$$877$$4140$$21147$$115975$

 源氏香との関係でいうと、源氏香の $52$ 種は

 $B(5)=52$

に対応しています。

 和算家はさらに、区別のつく $n$ 個の要素からなる集合を $k$ 個に分ける分割の個数についても調べていました。
 今日ではそれらは「第 $2$ 種スターリング数」と呼ばれているものになります。

$2$ 種スターリング数

 区別のつく $n$ 個の要素からなる集合を $k$ 個に分ける分割の個数を、第 $2$ 種スターリング数といいます。
 この記事では第 $2$ 種スターリング数を

 ${\left\{ \begin{matrix} n \\ k \\ \end{matrix} \right\} }$

で表します。

 第 $2$ 種スターリング数は $S(n,k)$$S_n^k$ などと表記することもあります。

$2$ 種スターリング数の漸化式

 後で必要になるので、第 $2$ 種スターリング数の漸化式を紹介します。

$2$ 種スターリング数の漸化式

  ${\left\{\begin{matrix} n+1 \\ k \\ \end{matrix}\right\} =\left\{\begin{matrix} n \\ k-1 \\ \end{matrix}\right\} +k \left\{\begin{matrix} n \\ k \\ \end{matrix}\right\} }$

 この漸化式も、和算家が発見しています。

 なぜこの式が成り立つのか、源氏香で考えてみましょう。

 $n+1$ 種の香が $k$ 個のグループに分かれる場合の数は何通りか考えるにあたり、最後の香を炷く前の状態、つまり $n$ 種の香を炷いた状態から考えます。

 ありえるのは、 「$n$ 種の香を炷いた段階で $k-1$ 個のグループに分かれていて、最後に新しい香を炷いた場合」と、「$n$ 種の香を炷いた段階で $k$ 個のグループに分かれていて、最後にどれかのグループと同じ香を炷いた場合」です。

 これをもとに考えれば、先ほどの漸化式が導かれます。

 漸化式も使って、第 $2$ 種スターリング数 ${\left\{\begin{matrix} n \\ k \\ \end{matrix}\right\}}$ を表にするとこんな感じになります。

$n \backslash k$123456
11
211
3131
41761
511525101
61319065151

 この表で ${\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}=\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}=1}$ となっていることに注目してください。定義からも明らかな式ですが、この性質は後ほど使います。

${\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}=\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}=1}$

 源氏香との関係でいうと、源氏香の $52$ 種は

 $\begin{align}  \left\{\begin{matrix} 5 \\ 1 \\ \end{matrix} \right\} +\left\{\begin{matrix} 5 \\ 2 \\ \end{matrix} \right\} +\left\{\begin{matrix} 5 \\ 3 \\ \end{matrix} \right\} +\left\{\begin{matrix} 5 \\ 4 \\ \end{matrix} \right\} +\left\{\begin{matrix} 5 \\ 5 \\ \end{matrix} \right\} &=1+15+25+10+1\\ &=52 \end{align} $

に対応しています。

$2$ 種スターリング数の一般項

 第 $2$ 種スターリング数の一般項は次の式で表すことができます。

$2$ 種スターリング数の公式

 ${\displaystyle \left\{\begin{matrix} n \\ k \\ \end{matrix}\right\} =\frac{1}{k!}\left( k^{n} -{k \choose 1}(k-1)^{n} +{k \choose 2}(k-2)^{n} -{k \choose 3}(k-3)^{n} +\cdots +(-1)^{k-1}{k \choose k-1}1^{n} \right) }$

 なぜこの公式が成り立つのかは、源氏香で説明できます。

 例えば ${\displaystyle \left\{\begin{matrix} 5 \\ 3 \\ \end{matrix}\right\} }$ で考えてみましょう。

 つまり、$5$ つの香を同じグループでわけると $3$ つのグループに分かれる場合の数です。

 $3$ 種類の香を $5$ 回炷く場合の数は単純計算で $3^5$ になりそうですが、この中には $2$ 種類しかない場合や $1$ 種類しかない場合も含まれているので、その分を減らさなければなりません。

 $3$ 種類の香を $A,B,C$ とし、さらに、香 $A$ を使わない炷き方の集合を同じ記号を使いまわして $A$ とします。香 $B,C$ も同様とします。

 また、集合の元の数を $|A|$ のように表します。

 そうすると、包除原理により、$A,B,C$ のちょうど $3$ 種類の香を炷く場合の数は

  ${\displaystyle \begin{align} &3^5-|A|-|B|-|C|+|AB|+|BC|+|CA|\\ &=3^5-{3 \choose 1}2^5 + {3 \choose 2}1^5 \end{align} }$

となります。
源氏香では、$A,B,C$ を入れ替えたものも同一視しますので、全体を $3!$ で割ることで

 ${\displaystyle \left\{\begin{matrix} 5 \\ 3 \\ \end{matrix}\right\} =\frac{1}{3!}\left( 3^{5} -{3 \choose 1}2^{5} +{3 \choose 2}1^{5} \right) }$

を得ます。

 一般の場合も、これと同様にして計算できるので、先ほどの公式が成り立ちます。

$x^n$ を下降階乗冪と第 $2$ 種スターリング数で表す

 $x^n$ を下降階乗冪と第 $2$ 種スターリング数で表します。

下降階乗冪は、次のように定義されます。

  ${x^{\underline{n}}:=x(x-1)(x-2)\cdots(x-n+1)}$

 $x^n$ を下降階乗冪と第 $2$ 種スターリング数で次のように表すことができます。

  ${x^n=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x^{\underline{1}} +\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}x^{\underline{2}} +\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}x^{\underline{3}} +\cdots +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x^{\underline{n}} }$

 数学的帰納法で証明する。

(i) $n=1$ のとき
  ${x^1=\left\{\begin{matrix} 1 \\ 1 \\ \end{matrix}\right\}x^{\underline{1}}}$

 は明らかに成り立つ。

(ii) $n=k$ のとき成り立つと仮定する。
  ${x^n=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x^{\underline{1}} +\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}x^{\underline{2}} +\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}x^{\underline{3}} +\cdots +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x^{\underline{n}} }$

 両辺に $x$ をかけて変形していきます。

  ${\displaystyle \begin{align} x^{n+1} &=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x\cdot x^{\underline{1}} +\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}x\cdot x^{\underline{2}} +\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}x\cdot x^{\underline{3}} +\cdots +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x\cdot x^{\underline{n}}\\ &=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}(x^{\underline{1}}+ x^{\underline{2}}) +\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}(2x^{\underline{2}}+ x^{\underline{3}}) +\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}(3x^{\underline{3}}+ x^{\underline{4}}) +\cdots +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}(nx^{\underline{n}}+ x^{\underline{n+1}})\\ &=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x^{\underline{1}} +\left(\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}+2\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}\right)x^{\underline{2}} +\left(\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}+3\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}\right)x^{\underline{3}} +\cdots +\left(\left\{\begin{matrix} n \\ n-1 \\ \end{matrix}\right\}+n\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}\right)x^{\underline{n}} +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x^{\underline{n+1}}\\ &=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x^{\underline{1}} +\left\{\begin{matrix} n+1 \\ 2 \\ \end{matrix}\right\}x^{\underline{2}} +\left\{\begin{matrix} n+1 \\ 3 \\ \end{matrix}\right\}x^{\underline{3}} +\cdots +\left\{\begin{matrix} n+1 \\ n \\ \end{matrix}\right\}x^{\underline{n}} +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x^{\underline{n+1}}\\ &=\left\{\begin{matrix} n+1 \\ 1 \\ \end{matrix}\right\}x^{\underline{1}} +\left\{\begin{matrix} n+1 \\ 2 \\ \end{matrix}\right\}x^{\underline{2}} +\left\{\begin{matrix} n+1 \\ 3 \\ \end{matrix}\right\}x^{\underline{3}} +\cdots +\left\{\begin{matrix} n+1 \\ n \\ \end{matrix}\right\}x^{\underline{n}} +\left\{\begin{matrix} n+1 \\ n+1 \\ \end{matrix}\right\}x^{\underline{n+1}}\\ \end{align} }$

 したがって $n=k+1$ のときも成り立つ。

 (なお、$4$ 行目の変形では漸化式を、最後の行では ${\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}=\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}=1}$ を使っています。)

(i)(ii)より、すべての自然数 $n$ について

  ${x^n=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x^{\underline{1}} +\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}x^{\underline{2}} +\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}x^{\underline{3}} +\cdots +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x^{\underline{n}} }$

は成り立つ。

 

$x^n$ を上昇階乗冪と第 $2$ 種スターリング数で表す

 $x^n$ を上昇階乗冪と第 $2$ 種スターリング数で表します。

上昇階乗冪は、次のように定義されます。

  ${x^{\overline{n}}:=x(x+1)(x+2)\cdots(x+n−1)}$

 さきほどの下降階乗冪のときの式で、$x$$-x$ に置き換えるとこうなります。

  ${(-x)^n=\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}(-x)^{\underline{1}} +\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}(-x)^{\underline{2}} +\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}(-x)^{\underline{3}} +\cdots +\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}(-x)^{\underline{n}} }$

  ${x^n=(-1)^{n-1}\left\{\begin{matrix} n \\ 1 \\ \end{matrix}\right\}x^{\overline{1}} +(-1)^{n-2}\left\{\begin{matrix} n \\ 2 \\ \end{matrix}\right\}x^{\overline{2}} +(-1)^{n-3}\left\{\begin{matrix} n \\ 3 \\ \end{matrix}\right\}x^{\overline{3}} +\cdots +(-1)^{n-n}\left\{\begin{matrix} n \\ n \\ \end{matrix}\right\}x^{\overline{n}} }$

$1$ 種スターリング数

 ここからは源氏香の話から離れますが、証明に必要なため第 $1$ 種スターリング数について説明します。

 第1種スターリング数  ${ \begin{bmatrix} n \\ k \\ \end{bmatrix} }$ は、上昇階乗冪

  ${x^{\overline{n}}=x(x+1)(x+2)\cdots(x+n−1)}$

$x$ のべき級数:

  ${\displaystyle x^{\overline{n}}=\sum_{k=0}^{n}\begin{bmatrix} n \\ k \\ \end{bmatrix}x^{k}}$

で表現したときの展開係数として定義されます。$(0\le k \le n)$
また、便宜上 ${ \begin{bmatrix} 0 \\ 0 \\ \end{bmatrix}=1 }$ と定義します。

 具体的に見てみましょう。
 次の式たちの赤い部分が第 $1$ 種スターリング数です。

  ${x^{\overline{0}}=\textcolor{red}{1}}$
  ${x^{\overline{1}}=\textcolor{red}{0}+\textcolor{red}{1}x}$
  ${x^{\overline{2}}=\textcolor{red}{0}+\textcolor{red}{1}x+\textcolor{red}{1}x^2}$
  ${x^{\overline{3}}=\textcolor{red}{0}+\textcolor{red}{2}x+\textcolor{red}{3}x^2+\textcolor{red}{1}x^3}$
  ${x^{\overline{4}}=\textcolor{red}{0}+\textcolor{red}{6}x+\textcolor{red}{11}x^2+\textcolor{red}{6}x^3+\textcolor{red}{1}x^4}$
  ${x^{\overline{5}}=\textcolor{red}{0}+\textcolor{red}{24}x+\textcolor{red}{50}x^2+\textcolor{red}{35}x^3+\textcolor{red}{10}x^4+\textcolor{red}{1}x^5}$

これらの係数から第1種スターリング数 ${ \begin{bmatrix} n \\ k \\ \end{bmatrix} }$ の表をつくると

$n \backslash k$012345
0100000
1010000
2011000
3023100
40611610
50245035101

という具合になります。

 表からもわかるように、$n< k$ のときは ${ \begin{bmatrix} n \\ k \\ \end{bmatrix} =0 }$ としています。

 こうすることで、この後の式変形がやりやすくなります。

 また、$n>0$ のときは、 ${ \begin{bmatrix} n \\ 0 \\ \end{bmatrix} =0 , \begin{bmatrix} n \\ 1 \\ \end{bmatrix} =(n-1)! }$ であることにも注目してください。この後の式変形で使います。

$S_m(n)$ をスターリング数を使った式にする

 これから、$n$ までの自然数の $m$ 乗和 $S_m(n)$ を第 $1$ 種スターリング数と第 $2$ 種スターリング数を使った式にしていきます。

 まず、先ほど導出した $x$ のべき乗を上昇階乗冪と第 $2$ 種スターリング数で表す式を使います。

  ${x^m=(-1)^{m-1}\left\{\begin{matrix} m \\ 1 \\ \end{matrix}\right\}x^{\overline{1}} +(-1)^{m-2}\left\{\begin{matrix} m \\ 2 \\ \end{matrix}\right\}x^{\overline{2}} +(-1)^{m-3}\left\{\begin{matrix} m \\ 3 \\ \end{matrix}\right\}x^{\overline{3}} +\cdots +(-1)^{m-m}\left\{\begin{matrix} m \\ m \\ \end{matrix}\right\}x^{\overline{m}} }$

 見やすさのために $\sum$ で書き直します。

  ${\displaystyle x^m=\sum_{k=1}^{m} (-1)^{m-k}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}x^{\overline{k}} }$

 いよいよ $S_m(n)$ を変形していきます。

   ${\displaystyle \begin{align}   S_m(n) &= \sum_{l=1}^{n} l^m\\ &= \sum_{l=1}^{n} \left( \sum_{k=1}^{m} (-1)^{m-k}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}l^{\overline{k}}\right)\\ &= \sum_{k=1}^{m} \left( (-1)^{m-k}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\sum_{l=1}^{n} l^{\overline{k}}\right)\\ \end{align} }$

  ${\displaystyle \begin{align}\sum_{l=1}^{n} l^{\overline{k}} \end{align}}$ の部分は望遠鏡和で次のように計算できます。

   ${\displaystyle \begin{align} \sum_{l=1}^{n} l^{\overline{k}} &=\sum_{l=1}^{n}\frac{1}{k+1}\left( l^{\overline{k+1}} - (l-1)^{\overline{k+1}} \right)\\ &=\frac{1}{k+1}n^{\overline{k+1}} \end{align} }$

 これを使って

   ${\displaystyle \begin{align}   S_m(n) &= \sum_{k=1}^{m} \left( (-1)^{m-k}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\sum_{l=1}^{n} l^{\overline{k}}\right)\\ &= \sum_{k=1}^{m} \left( (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}n^{\overline{k+1}}\right)\\ \end{align} }$

 さらに、上昇階乗の部分を第 $1$ 種スターリング数

  ${\displaystyle n^{\overline{k}}=\sum_{l=0}^{k}\begin{bmatrix} k \\ l \\ \end{bmatrix}n^{l}}$

を使って書き換えます。

   ${\displaystyle \begin{align}   S_m(n) &= \sum_{k=1}^{m} \left( (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}n^{\overline{k+1}}\right)\\ &= \sum_{k=1}^{m} \left( (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\sum_{l=0}^{k+1}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l}\right)\\ \end{align} }$

$k+1< l$ のときは ${ \begin{bmatrix} k+1 \\ l \\ \end{bmatrix} =0 }$ であることから、

   ${\displaystyle \begin{align} \sum_{l=0}^{\textcolor{red}{k+1}}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} = \sum_{l=0}^{\textcolor{red}{m+1}}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \end{align} }$

と書き換えることができます。さらに、$k+1>0$ のときは、${ \begin{bmatrix} k+1 \\ 0 \\ \end{bmatrix} =0 }$ ですから、   ${\displaystyle \begin{align} \sum_{\textcolor{red}{l=0}}^{m+1}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \end{align} }$${\displaystyle \begin{align} \sum_{\textcolor{red}{l=1}}^{m+1}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \end{align} }$ に書き換えることができます。

   ${\displaystyle \begin{align}   S_m(n) &= \sum_{k=1}^{m} \left( (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\sum_{l=0}^{k+1}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \right)\\ &= \sum_{k=1}^{m} \left( (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\sum_{l=1}^{m+1}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \right)\\ &= \sum_{l=1}^{m+1} \left(\sum_{k=1}^{m} (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \right)\\ \end{align} }$

 最後の行で足し算の順番を入れ替えています。「長方形状にならんだ数の総和は、行方向に足したものを列方向に足しても、列方向に足したものを行方向に足しても求められる」とイメージしてもらえば何をしているかわかると思います。

公式の導出

 この記事の冒頭にも出てきましたように、関・ベルヌーイ数を使って次のように $S_m(n)$ を表すことができます。

   ${\displaystyle S_m(n) =\frac{1}{m+1}\sum_{j=0}^{m} {m+1 \choose j}B_j n^{m-j+1} }$

先ほどの式と並べてみましょう。

   ${\displaystyle S_m(n) =\frac{1}{m+1}\sum_{j=0}^{m} {m+1 \choose j}B_j n^{m-j+1} }$

   ${\displaystyle S_m(n) =\sum_{l=1}^{m+1} \left(\sum_{k=1}^{m} (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\begin{bmatrix} k+1 \\ l \\ \end{bmatrix}n^{l} \right) }$

 ここで、$S_m(n)$$n$ の多項式とみたときの $\textcolor{red}{n^1}$ の項の係数を $2$ 通りで計算してみましょう。一致するはずですから、イコールで結ぶことができます。

  ${\displaystyle \frac{1}{m+1} {m+1 \choose m}B_m =\sum_{k=1}^{m} (-1)^{m-k}\frac{1}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\}\begin{bmatrix} k+1 \\ 1 \\ \end{bmatrix} }$

 この式を、${\displaystyle{m+1 \choose m}=m+1}$ や、$\begin{bmatrix} k+1 \\ 1 \\ \end{bmatrix}=k!$ を使って整理すると

  ${\displaystyle B_m =\sum_{k=1}^{m} (-1)^{m-k}\frac{k!}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\} }$

 $m$ の偶奇と $B_m$ の偶奇の関係がわかりやすいように $(-1)^m$$\sum$ の前に出して公式を作ります。

  ${\displaystyle B_m =(-1)^{m}\sum_{k=1}^{m} (-1)^{k}\frac{k!}{k+1}\left\{\begin{matrix} m \\ k \\ \end{matrix}\right\} }$

関・ベルヌーイ数を第 $2$ 種スターリング数で表す公式

 ${\displaystyle B_m = (-1)^m\sum_{k=1}^{m}(-1)^k \frac{k!}{k+1} \left\{ \begin{matrix} m \\ k \\ \end{matrix} \right\} }$

整数になるか分数になるか

 だいぶ長くなってきましたが、ようやく一番重要な公式が導出できました。ここからさらに、公式内の $\sum$ の引数 $k$ ごとに項が整数になるか分数になるか考えていきます。

 偶数番目の関・ベルヌーイ数についてのみ考えますので、公式の $m$$2m$ に書き換えておきます。

 ${\displaystyle \begin{align} B_{2m} &= (-1)^{2m}\sum_{k=1}^{2m}(-1)^k \frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}\\ &= \sum_{k=1}^{2m}(-1)^k \frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\} \end{align} }$

 これから、${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}}$ の部分が整数になるかと分数になるかについて場合分けして調べます。

合成数のとき

 まず、 $k+1$ が合成数のときについて考えます。
 ${\displaystyle \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}$ が整数であることに注意してください。

「素数の $2$ 乗以外の合成数のとき」「$2$ より大きい素数の $2$ 乗のとき」「$2^2$ のとき」の $3$ つに場合分けします。

  1. $k+1$ が素数の $2$ 乗以外の合成数のとき
     分母は $k$ より小さい異なる $2$ 数の積にできるので、$\dfrac{k!}{k+1}$ は必ず整数になります。

  2. $k+1$$2$ より大きい素数の $2$ 乗のとき
     その素数を $p$ とおきます。

 $k+1=p\cdot p > 2\cdot p $

 より

 $k\geq 2p$

 ですから、$k!$ は素因数として $p$$2$ 個以上もつので、$\dfrac{k!}{k+1}$ は必ず整数になります。

  1. $k+1=2^2$ のとき

 次に、 $k+1=2^2$ のときについて考えます。

 $\dfrac{k!}{k+1}=\dfrac{3}{2}$ なのでこの部分は整数にはなりません。しかし、${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}} =\frac{3!}{4} \left\{ \begin{matrix} 2m \\ 3 \\ \end{matrix} \right\}}$ は整数になります。

 整数になることを示すために、第 $2$ 種スターリング数の一般項の公式

 ${\displaystyle \left\{\begin{matrix} n \\ k \\ \end{matrix}\right\} =\frac{1}{k!}\left( k^{n} -{k \choose 1}(k-1)^{n} +{k \choose 2}(k-2)^{n} -{k \choose 3}(k-3)^{n} +\cdots +(-1)^{k-1}{k \choose k-1}1^{n} \right) }$

を使います。

${\displaystyle \begin{align} \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}} &=\frac{3!}{4} \left\{ \begin{matrix} 2m \\ 3 \\ \end{matrix} \right\}\\ &=\frac{3!}{4} \cdot\frac{1}{3!}\left( 3^{2m} -{3 \choose 1}2^{2m} +{3 \choose 2}1^{2m} \right)\\ &=\frac{1}{4} \left( 3^{2m} -{3 \choose 1}2^{2m} +{3 \choose 2}1^{2m} \right) \end{align} }$

 カッコの中身を $\mod 4$ で計算するとこうなります。

 ${\displaystyle \begin{align} 3^{2m} -{3 \choose 1}2^{2m} +{3 \choose 2}1^{2m} &\equiv(-1)^{2m}-3\cdot0^m+3&\mod4\\ &\equiv0&\mod4 \end{align} }$

 カッコの中身は $4$ の倍数になりますから、${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}}$ は整数になります。

 ここまでで、「${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}}$ は、$k+1$ が合成数のときは整数になる」ことを示しました。

 ${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}}$ は、$k+1$ が合成数のときは整数になる。

素数のとき

 次に、$k+1$ が素数のときについて考えます。

 先ほどの公式を使うと

 ${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}} =\frac{1}{k+1}\left( k^{2m} -{k \choose 1}(k-1)^{2m} +{k \choose 2}(k-2)^{2m} -{k \choose 3}(k-3)^{2m} +\cdots +(-1)^{k-1}{k \choose k-1}1^{2m} \right) }$

となります。

 突然ですが $k+1\in\mathbb{P}$ のときは、

  ${\displaystyle {k \choose j} \equiv (-1)^j \mod (k+1)}$

となります。

  ${\displaystyle j(j-1)(j-2)\cdots 2\cdot1\cdot{k \choose j} =(k+1-1)(k+1-2)\cdots(k+1-j)}$
  ${\displaystyle j(j-1)(j-2)\cdots 2\cdot1\cdot{k \choose j} \equiv(-1)(-2)\cdots(-j) \mod(k+1)}$
  ${\displaystyle j(j-1)(j-2)\cdots 2\cdot1\cdot\left({k \choose j}-(-1)^j)\right) \equiv0 \mod(k+1)}$

 $j< k+1$ であるから、$k+1\in\mathbb{P}$ のときは

  ${\displaystyle j(j-1)(j-2)\cdots 2\cdot1 \not\equiv 0 \mod(k+1)}$

なので、

  ${\displaystyle {k \choose j}-(-1)^j \equiv0 \mod(k+1)}$

すなわち

  ${\displaystyle {k \choose j} \equiv (-1)^j \mod (k+1)}$

 また、素数 $p$ を法として、$1$ から $(p-1)$ までの $n$ 乗和が
$≡0$ ($n$$(p-1)$ の倍数じゃないとき)
$≡-1$ ($n$$(p-1)$ の倍数のとき)
になります。

 このことは原子根を使って証明できます。

原子根

$3$ 以上の)素数 $p$$1$ 以上 $p$ 未満の整数 $r$ が以下の性質を満たすとき,$r$ を法 $p$ に対する原始根と呼ぶ。
$r,r^2,⋯ ,r^{p−2}$ のいずれもが $p$ で割って余り $1$ でない」
(また,$r=1$$p=2$ に対する原始根である,とする。)

 原子根には「$r$$p$ に対する原始根のとき $r,r^2,⋯ ,r^{p−1}$$p$ で割ったあまりは全て異なり,その余りは $1$ から $p−1$ を一巡する。」や、「任意の素数 $p$ に対して原始根 $r$ が存在する。」という重要な性質があります。

(i) $n\not\equiv p-1$ のとき

 素数 $p$ の原子根を $1$ つ選び $a$ とします。 $p$ を法として、「 $1,2,\cdots,p-1$ 」と「 $1a,2a,\cdots,(p-1)a$ 」は順序を除いて合同になります。

 なぜなら、 $ka\equiv ha$ ならば、 $(k-h)a\equiv 0$ となり、$a\not\equiv0$ から$k\equiv h$ となることから、$k\not\equiv h \Rightarrow ka\not\equiv ha$ となるからです。

 したがって、これらを $n$ 乗した和も合同になります。つまり

  ${\displaystyle (1a)^{n}+(2a)^{n}+(3a)^{n}+\cdots +((p-1)a)^{n} \equiv 1^{n}+2^{n}+3^{n}+\cdots +(p-1)^{n}}$

  ${\displaystyle \left(a^{n}-1\right)\left(1^{n}+2^{n}+3^{n}+\cdots +(p-1)^{n}\right) \equiv 0}$

 原子根の定義より、 $n\not\equiv p-1$ のときは $a^n \not\equiv 1$ ですから、

 ${\displaystyle 1^{n}+2^{n}+3^{n}+\cdots +(p-1)^{n} \equiv 0}$

となります。

(ii) $n\equiv p-1$ のとき

 原子根の定義より、 $n\equiv p-1$ のときは $a^n \equiv 1$ ですから、先ほどと同様に原子根を $1$ つ選び $a$ とします。 $p$ を法として、「 $1,2,\cdots,p-1$ 」と「 $a,a^2,\cdots,a^{p-1}$ 」は順序を除いて合同になります。

 したがって、これらを $n$ 乗した和も合同になります。つまり

  ${\displaystyle \begin{align} 1^{n}+2^{n}+3^{n}+\cdots +(p-1)^{n} &\equiv (a^1)^{n}+(a^2)^{n}+(a^3)^{n}+\cdots +(a^{p-1})^{n}\\ &\equiv (a^n)^{1}+(a^n)^{2}+(a^n)^{3}+\cdots +(a^{n})^{p-1}\\ &\equiv 1^{1}+1^{2}+1^{3}+\cdots +1^{p-1}\\ &\equiv-1 \end{align} }$

これを使って

 ${\displaystyle \textcolor{red}{\frac{h!}{h+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}} =\frac{1}{k+1}\left( k^{2m} -{k \choose 1}(k-1)^{2m} +{k \choose 2}(k-2)^{2m} -{k \choose 3}(k-3)^{2m} +\cdots +(-1)^{k-1}{k \choose k-1}1^{2m} \right) }$

の右辺のカッコの中だけを $\mod (k+1)$ で計算していくと

 ${\displaystyle \begin{align} &k^{2m} -{k \choose 1}(k-1)^{2m} +{k \choose 2}(k-2)^{2m} -{k \choose 3}(k-3)^{2m} +\cdots +(-1)^{k-1}{k \choose k-1}1^{2m}\\ &\equiv k^{2m} -(-1)(k-1)^{2m} +(-1)^{2}(k-2)^{2m} -(-1)^{3}(k-3)^{2m} +\cdots +(-1)^{k-1}(-1)^{k-1}1^{2m}\\ &\equiv k^{2m} +(k-1)^{2m} +(k-2)^{2m} +(k-3)^{2m} +\cdots +1^{2m}\\ &\equiv \begin{cases} 0 & \qquad(k+1\in\mathbb{P}) \land (2m\not\equiv0 \mod k)\\ -1 & \qquad(k+1\in\mathbb{P}) \land (2m\equiv0 \mod k) \end{cases}\\ &\,\,\,\,(\mod(k+1)) \end{align} }$

 したがって、${\displaystyle \textcolor{red}{\frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}}$ は、「$k+1$ が 素数であり、かつ $k$$2m$ の約数 でない」ときは整数になり、「$k+1$ が 素数であり、かつ $k$$2m$ の約数 である」ときは ${\displaystyle \left(\text{整数}-\frac{1}{k+1}\right) }$ になります。

 ${\displaystyle \frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}$ は、「$k+1$ が 素数であり、かつ $k$$2m$ の約数 でない」ときは整数になり、「$k+1$ が 素数であり、かつ $k$$2m$ の約数 である」ときは ${\displaystyle \left(\text{整数}-\frac{1}{k+1}\right) }$ になる。

 合成数のときの結果と合わせるとこうなります。

 ${\displaystyle \frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\}}$ は、「$k+1$ が 素数であり、かつ $k$$2m$ の約数 である」ときは ${\displaystyle \left(\text{整数}-\frac{1}{k+1}\right) }$ になり、それ以外のときは整数になる。

 もとの式に戻りましょう。

 ${\displaystyle \begin{align} B_{2m} &= \sum_{k=1}^{2m}(-1)^k \frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\} \end{align} }$

$(-1)^k$ の部分について考えます。 $k+1$ が偶素数(つまり $2$)のときは $(-1)^k=-1$ 、奇素数(つまり $3$ 以上の素数) のときは $(-1)^k=1$ となります。「整数 $-\dfrac{1}{2}$ 」は「整数 $+\dfrac{1}{2}$ 」ともかけることを利用して次のようにまとめることができます。

 ${\displaystyle \begin{align} (-1)^k \frac{k!}{k+1} \left\{ \begin{matrix} 2m \\ k \\ \end{matrix} \right\} =\begin{cases} \text{整数}-\frac{1}{k+1}&\qquad(k+1\in\mathbb{P} )\land (k|2m)\\ \text{整数}&\qquad\mathrm{それ以外のとき} \end{cases} \end{align} }$

 式のなかで $(k|2m)$ の部分は、$k$$2m$ の約数であるという意味です。
 以上より、$B_{2m}$ は次のようになることがわかります。

 ${\displaystyle \begin{align} B_{2m} &= \sum_{k=1}^{2m}\begin{cases} \text{整数}-\frac{1}{k+1}&\qquad(k+1\in\mathbb{P} )\land (k|2m)\\ \text{整数}&\qquad\mathrm{それ以外のとき} \end{cases} \end{align} }$

クラウゼン・フォンシュタウトの定理

 得られた式には、クラウゼン・フォンシュタウトの定理という名前が付いています。

クラウゼン・フォンシュタウトの定理

$\displaystyle B_{2n} + \sum _{\begin{matrix} (p-1)|2n \\ p\in\mathbb{P} \end{matrix} \\ } \frac{1}{p} \in \mathbb{Z}$

 非自明で面白い式だと思います!

 具体例でクラウゼン・フォンシュタウトの定理が成り立つことを確認してみましょう。

 ${\displaystyle \begin{array}{llll} &B_2&=\dfrac{1}{6}&=1-\dfrac{1}{2}-\dfrac{1}{3}\\  &B_4&=-\dfrac{1}{30}&=1-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{5}\\  &B_6&=\dfrac{1}{42}&=1-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{7}\\  &B_8&=-\dfrac{1}{30}&=1-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{5}\\  &B_{10}&=\dfrac{5}{66}&=1-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{11}\\  &B_{12}&=-\dfrac{691}{2730}&=1-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{5}-\dfrac{1}{7}-\dfrac{1}{13}\\  &B_{14}&=\dfrac{7}{6}&=2-\dfrac{1}{2}-\dfrac{1}{3}\\  &B_{16}&=-\dfrac{3617}{510}&=-6-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{5}-\dfrac{1}{17}\\  &B_{18}&=\dfrac{73867}{798}&=56-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{7}-\dfrac{1}{19}\\  &B_{20}&=-\dfrac{174611}{330}&=-528-\dfrac{1}{2}-\dfrac{1}{3}-\dfrac{1}{5}-\dfrac{1}{11} \end{array} }$

 確かに成り立っていますね!

 ここまでくれば、「$n$ が偶数のとき、$n$ 番目の関・ベルヌーイ数の分母は、『$n$ の正の約数に $1$ を足した数のうち素数であるもの』の積になる」ことは簡単にわかりますね。

 分数の部分はすべて $\dfrac{1}{\text{素数}}$ の形になっていますから、通分して分母をそれら素数の積にすることができます。
 通分の操作を考えると、分子はそれら素数のどれを法としても $1$ と合同になりますので、通分した後に約分されることがないこともわかりますね。

 というわけで、この記事の主題を示すことができました。

 $n$ が偶数のとき、$n$ 番目の関・ベルヌーイ数の(既約分数の)分母は、「$n$ の正の約数に $1$ を足した数のうち素数であるもの」の積になる。

おわりに

 これでこの記事はおわりです。

 今回の発表は小林吹代著「和算からベルヌーイ数へと続く数の世界」をベースにしています。
 ベル数やスターリング数について、和算的なアプローチで解説している本です。
 「和算的な」と感じたのは、抽象的な式よりも、具体的な計算の中から法則を見出すようなスタイルで説明している部分が多いからです。

 この辺は読む人によって好みが分かれそうではありますが、私はわかりやすいと思いました。

 正直なところ、和算とクラウゼン・フォンシュタウトの定理は直接は関係ないと思います。

 この本の「はじめに」では、「源氏香といえば $2023$ 年国際数学オリンピックのロゴの関屋ですよね」「関屋といえば和算家関」「和算家関といえば関・ベルヌーイ数」「関・ベルヌーイ数といえばクラウゼン・フォンシュタウトの定理ですよね」のような流れ(意訳)で源氏香とクラウゼン・フォンシュタウトの定理を強引に結び付けていて感動しました。

 本の中では、スターリング数の説明に源氏香を使っていたりして、和算家の考えていたことがほんのり伝わってきて楽しいです。(この記事を作るにあたり大いに参考にさせていただきました。)

 よかったら読んでみてください。

 この本を買ったきっかけは、中学校入試の問題で源氏香の問題が出題されたのをみて、源氏香について調べようとしたのがきっかけでした。
 その問題では、源氏香の図(何カ所か「穴」があいている)や問題文だけで1ページ以上使っていて、第 $2$ 種スターリング数にあたる数字を計算させる小問なんかもあって、ずいぶん挑戦的な問題でした。いまのところネットには公開されていないようです。(解答速報は塾のサイトなどで出ているようです。)

おまけ

 実は、日曜数学会で源氏香がテーマになったのは過去になんどかあったということで・・・

 和算で取り扱われていたので、趣味で数学をしている人には割と知られている遊びだったりするのかも。

 興味を持った人はぜひいろいろ調べてみてね。

ヘカテー:源氏香をやりませう @第28回日曜数学会

ちばまさみ:源氏香(げんじこう) @第6.28回日曜数学会

参考文献

[1]
小林吹代, 和算からベルヌーイ数へと続く数の世界 ~ベル数・スターリング数でも和算家はスゴかった~ (知りたい!サイエンス), 技術評論社, 2024
投稿日:24日前
更新日:24日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

apu_yokai
apu_yokai
483
64739

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中