素数定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/21 05:53 UTC 版)
18世紀末には、π(x) が x ln x {\displaystyle {\frac {x}{\operatorname {ln} x}}} に漸近近似できること、即ち lim x → ∞ π ( x ) x / ln x = 1 {\displaystyle \lim _{x\to \infty }{\frac {\pi (x)}{x/\operatorname {ln} x}}=1} が成り立つであろうということが、カール・フリードリヒ・ガウスにより予想されていた。1850年頃にパフヌティ・チェビシェフは、この等式の左辺がもし極限を持つならば、それは1でなくてはならないことを示した。その後もこの予想は長らく証明されなかったが、1896年になってジャック・アダマールとシャルル＝ジャン・ド・ラ・ヴァレー・プーサン（英語版）により独立に証明され、現在では素数定理と呼ばれている。彼らの証明は、リーマンゼータ関数の性質を用いている。 長い間、解析的方法を用いなければ素数定理を証明することはできないと信じられていたが、1948年頃、アトル・セルバーグとポール・エルデシュは複素解析を用いない素数定理の証明を（ほぼ独立に）発見した。それらの証明では、数論的関数の初等的評価のみを用いていた。
※この「素数定理」の解説は、「素数計数関数」の解説の一部です。
「素数定理」を含む「素数計数関数」の記事については、「素数計数関数」の概要を参照ください。
ウィキペディア小見出し辞書の「素数定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
固有名詞の分類
このページでは「ウィキペディア小見出し辞書」から素数定理を検索した結果を表示しています。
Weblioに収録されているすべての辞書から素数定理を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から素数定理
を検索
Weblioに収録されているすべての辞書から素数定理を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から素数定理
を検索
- 素数定理のページへのリンク
