ｓを複素変数とするとき，関数等式

　　ζ(s)＝π^(s-1/2)Γ((1-s)/2)／Γ(s/2)ζ(1-s)

を用いればζ(s)をｓ＝１（極）を除くすべての複素数に対して意味をもたせることができ，ｓを−１とすると値が−１／１２，２とすると値が０になるというわけです．Γはガンマ関数です．

　また，

ξ(s)=1/2s(s-1)π^(-s/2)Γ(s/2)ζ(s)

あるいは

ξ(s)=π^(-s/2)Γ(s/2)ζ(s)・・・完備リーマンゼータ関数

で定義すると

ξ(s)=ξ(1-s)

のように完全に左右対称な美しい形に書くことができます．ガンマ関数はゼータ関数の仲間と思ってほしい所以です．

　関数等式は

(1)ｓを複素変数として複素全平面への解析接続を与えることができること

(2)ζ(s)がRe(s)=1/2を対称軸とする美しい対称性をもっていること

を示しています．

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

【７】リーマン予想

　ゼータ関数の対称性はガンマ関数の対称性

Γ(s)Γ(1-s)=π/sinπs

に補ってもらうとs=1/2を対称軸とする左右対称な美しい形に書くことができることがわかりました．

　半平面Re(s)<0には自明な零点以外に零点はなく，Re(s)＞１で零点をもたない・・・こうして帯状の領域０≦Re(s)≦１だけが残されたことになります．このs=1/2の軸に関する対称性に基づいて，ζ(s)の零点が自明な零点ｓ＝−２，−４，・・・，−２ｎと非自明な零点ｓ＝１／２＋ｔｉの線上にあるというのが有名なリーマン予想です（１８５９年）．

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