【１】ベルヌーイ数

　ベルヌーイ数は

　　ｘ／ｔａｎｈｘ＝ｘｃｏｓｈｘ／ｓｉｎｈｘ

＝１＋Ｂ1／２！（２ｘ）^2−Ｂ2／４！（２ｘ）^4＋Ｂ6／２！（２ｘ）^6−・・・

　あるいは，ｘ／ｔａｎｈｘ＝２ｘ／（ｅｘｐ(2x)−１）＋ｘより，

　　ｘ／（ｅｘｐ(x)−１）＝１−１／２ｘ＋Ｂ1／２！ｘ^2−Ｂ2／４！ｘ^4＋Ｂ3／６！ｘ^6−・・・

の係数として得られます（母関数，生成関数）．

　ベルヌーイ数が整数論にとって欠かすことができない存在なのは，ゼータ関数との関係にその理由があり，リーマンのゼータ関数

　　ζ(s)＝Σ１／ｎ^s＝Π（１−ｐ^(-s)）^(-1)

とベルヌーイ数との間には，次の公式が成り立ちます．

　　Π１／（１−ｐ^(-2m)）＝ζ(2m)＝Ｂm／２・（２π）^(2m)／（２ｍ）！

ベルヌーイ数とゼータ関数のこの関係は指数関数ｅｘｐ（ｚ）の性質から，ベルヌーイ数の母関数が周期２πｉであることから導かれます．

［補］三角関数は周期２πをもつ一変数一周期の実関数です（ｓｉｎ（ｘ＋２π）＝ｓｉｎｘ）．他の周期はその整数倍２ｎπですから二重周期ではありません．指数関数ｅｘｐ（ｘ）も複素数の世界にはいると，オイラーの等式ｅｘｐ（２πｉ）＝１よりｅｘｐ（ｚ＋２πｉ）＝ｅｘｐ（ｚ）ですから周期２πｉをもちますが，これも単周期関数です．複素数変数の単周期関数は，対応点を同一視することによって無限の長さをもつ円筒と見ることができます．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　また，類数とはイデアルと普通の数との比率（自然数）のことで，素因数分解の一意性がどれだけ崩れているかを計る重要な不変量です．Ｚ［ζp］の類数が奇素数ｐの倍数でなければ，ｎ＝ｐに対してフェルマー装うが成り立つことが証明されたのですが，クンマーはどのような場合にＺ［ζp］の類数は奇素数ｐの倍数になるかという問いに解答を与えました．すなわち，

　「ｂ＝２，４，６，・・・，ｐ−３に対して，ベルヌーイ数Ｂbのいずれかの分子がｐの倍数であるときに限り，Ｚ［ζp］の類数は奇素数ｐの倍数になる．」

［補］ベルヌーイ数を（二重級数でなく）単級数で表わすと

　　Ｂn＝（１＋［２（２^2n−１）（２ｎ）！／２^2n-1π^2n・Σ(m=1~3n)ｍ^ｰ2n］）／２（２^2n−１）　　　（Chowla,1972）

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