解析的整数論（読み）かいせきてきせいすうろん

日本大百科全書(ニッポニカ)

解析的整数論
かいせきてきせいすうろん

微分積分学をはじめとする解析的方法を整数論に適用する学問をいう。その創始はドイツの数学者ディリクレによる。たとえば、すべての素数の逆数の和を考えてみる。

ここにpはすべての素数を動く変数である。実はこの級数は発散する。かりに素数が有限個しかないとすれば、その逆数和は有限の値となるのだから、この級数の発散は素数が無限に存在することを意味する。11と13、17と19のように差が2の素数の組を双子素数(ふたごそすう)という。qでもって双子素数を動く変数を表すことにすると、級数

は収束する。これが発散すれば双子素数は無数にあることが結論されるが、それはいえない。ただ、ある意味で双子素数はかなり数が少ないことがいえる。

　このように級数が整数論に応用されて多大な成果をもたらす。なかでもディリクレの算術級数定理は有名で、また重要でもある。aを初項、dを公差とする等差級数（算術級数）を考える。

　　a_n＝a＋(n－1)d
aとdとが互いに素であれば、a_nの形をした素数の逆数の和はつねに発散する。すなわちa_nのなかには無数に素数が存在する。これをディリクレの算術級数定理という。たとえばdを10としaを1とすると、11、31、41、61、……のように1桁(けた)目が1である素数が無数に存在する。

［足立恒雄］

素数定理

関数論の応用例としてもっとも典型的であり、しかも解析的整数論においてもっとも基本的なのが、素数定理である。正の数xを超えない素数の個数をπ(x)と表すことにする。たとえば
　　π(10)＝4, π(100)＝25, π(10⁷)＝164579
である。素数の分布に関するもっとも荒っぽいのはπ(2x)－π(x)≧1がx≧2のとき成り立つことを主張する定理であろう。すなわち、xと2xの間にかならず素数が存在する。この程度の定理でも証明はそうやさしくはない。ガウスは15歳のころ、xが大きくなると

すなわち、

であることを知ったと述べている。

だから、素数定理は

とも述べられる。証明は1896年に至ってアダマールとド・ラ・バレ・プサンCh. de la Vallée-Poussinによって与えられた。そのほか、リーマンのゼータ関数など、解析的整数論固有の問題があって、現在も研究されている。

［足立恒雄］

[参照項目] | 素数

出典　小学館　日本大百科全書(ニッポニカ)

ブリタニカ国際大百科事典 小項目事典

解析的整数論
かいせきてきせいすうろん
analytic number theory

整数論の一部門であって，解析学的な研究手段を用いて，代数的な取扱いによるよりも精密な結果を得ようとするものである。歴史的には，P.ディリクレの関数を用いての研究に始り，続いて G.リーマン，J.アダマールなどの諸研究を経て，I.ビノグラドフらの研究によって多くの成果が得られた。現在でもこの分野における研究は盛んであり，その傾向は，関数論的な色彩を強く示している。

出典　ブリタニカ国際大百科事典 小項目事典

デジタル大辞泉

かいせきてき‐せいすうろん【解析的整数論】

整数論の諸問題を解析学的な手法を用いて研究する数学の一分野。ルジャンドル、ディリクレ、チェビシェフ、リーマンらが現代数学における同分野の研究に大きく寄与した。解析的数論。解析数論。

出典　小学館

世界大百科事典 第２版

かいせきてきせいすうろん【解析的整数論 analytic number theory】

解析的な手法をおもな研究の方法とする整数論の一分野。解析学と整数論は一見あまり関係がないように思われる。しかし整数論においても，種々の関数が自然に現れてくる。例えば，L.オイラーは次のような関数を考えた。これは，後にG.F.リーマンがこの関数について深い研究をしたので，リーマンのゼータ関数Riemann zeta functionと呼ばれている。オイラーはζ(s)について，いくつかの重要な発見をしたが，その一つとして次の無限積によるζ(s)の表示式を見いだした。

出典　株式会社平凡社

世界大百科事典内の解析的整数論の言及

【整数論】より

…ディリクレはこの解析学を用いる方法で算術級数の定理の証明を与えた。ディリクレの方法を発展させていく中から解析的整数論ができてきた。ディリクレに引き続いて現れたクンマーは，フェルマーの大定理の研究から出発して，xⁿ－1＝0の根で生成される円分体を詳しく研究した。…

※「解析的整数論」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社