[size=150]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[/size]

素数というのはとりあえず、2，3，5、…と存在するわけだし、[br][b][url=https://www.geogebra.org/m/twxxx3yq#material/tmsbscut]無限に続く[/url][/b]こともわかっている。[br][br]しかし、[b][url=https://www.geogebra.org/m/twxxx3yq#material/tmsbscut]素数の空白地帯[/url]がベターっと続く可能性[/b]があることもわかっている。[br]それに、素数の濃度は[url=https://www.geogebra.org/m/twxxx3yq#material/pkph4znr]1/logN≒π(N)/N[/url]で、素数は先にいけばいくほど[b]濃度が薄くなっていく[/b]。[br]（ガウスの理論からπ（N）≒N/logN )[br]さらに、素数の分布は予想がつかないほど不規則なのだ。[br][br]さて、どんな自然数Nを指定されてもN以下に素数があることはもちろん当然で何の話題にもならない。[br][br]そうではなく、次の長さNの整数たち、[br]つまり、Nを超えて２Nまでの整数は空白になることはないのだろうか？[br][br]ならない。[br]これをベルトランさんが主張した。[br][br][b]ベルトランの予想[/b]は、「[b]どんな自然数Nでも、Nより大きく２N以下の素数が必ずある[/b]。」[br]Nから先の２Nまでは素数砂漠が奇跡的に存在する、[br]そんな巨大数Nはありえないのか？？？[br]

チェビシェフさんは素数の分布を独自の道具を使って分析した。[br]その道具は２つある。[br][br][b][color=#0000ff]N以下の素数をｐとするとき、その自然対数の和をθ（N)とする。[br]第１関数θ（N)＝Σlogp[br]N以下の１素数のべきをP^aとするとき、その自然対数の和をψ（N)とする。[br]第２関数ψ（N)＝Σlogp[br][br][/color][/b]こんなに省略してしまうと、なんだかわからないでしょうから、例を出そう。[br]Nまでの素数の個数をπ（N)とかくことにする。[br][br]N＝10なら[br][br]π（N)=４．[br]θ（N)=log2+log3+log5+log7=log(2・３・５・７）＝log210[br]2のべきは最大８で3個、３のべきは最大９で２個あるから、[br]ψ（N)=３log2+2log3+log5+log7=log(8・9・５・７）＝log2520[br][br]π（２N)=８．[br]θ（２N)=log(210・11・13・17・19）[br]ψ（２N)=log(16・９・５・７・11・13・17・19）[br][br]π（２N）-π（N)=8-4=4＞０[br]θ（２N）-θ（N)＝log(210・11・13・17・19/210）=log(11・13・17・19)[br]ψ（2N）-ψ(N)=log(16・９・５・７・11・13・17・19/(8・9・５・７))=log(2・11・13・17・19）[br]もしも、Nをこえて２Nまでに素数が空白になるとどうなるだろうか？[br]π（２N）-π（N)=0はもちろんだ。[br]θ（２N）-θ（N)=log1=0[br]ψ（２N）-ψ（N)=log1=0[br]logを使うことで、logA-logA=logA/A=log1=0となるから、素数空白地帯があればベルトランさんの[br]意図に反して、どの関数の差も＝０になるということだね。[br][br][color=#9900ff][b][u][size=150]課題：コードで3関数の挙動をしらべるにはどうしますか。[br][/size][/u][/b][/color][br]Nを倍々にふやしながら、２NとNとでの差を比較してみよう。[br]どれだけNの増大に連動するかがわかる。[br][br]例[br][color=#0000ff][IN]Python[br]import numpy as np[br]from sympy import primerange, primefactors[br]from sympy import primepi[br][br]def chebyshev_f(N):[br] primes = list(primerange(2, N + 1))[br] # 1. 第1関数 chevy1(N) = Σ log(p)[br] th = sum(np.log(p) for p in primes)[br] # 2. 第2関数 chevy2(N)[br] ps = 0[br] for p in primes:[br] a = 1[br] while p ** (a + 1) <= N:[br] a += 1[br] ps += np.log(p ** a) [br] return th, ps[br][br]def bertrand_report(N):[br] th1N,ps1N = chebyshev_f(N)[br] th2N,ps2N = chebyshev_f(2 * N)[br] pi1N = primepi(N)[br] pi2N = primepi(2 * N)[br] diff_0 = pi2N - pi1N[br] diff_1 = th2N - th1N[br] diff_2 = ps2N - ps1N[br] print("-" * 5,end="")[br] print(f"【N = {N}】",end="")[br] print("-" * 20) [br] print(f" π(2N) - π(N) = {diff_0:.4f})") [br] print(f" θ(2N) - θ(N) = {diff_1:.4f} (指数化: e^diff = {np.exp(diff_1):.1f})")[br] print(f" ψ(2N) - ψ(N) = {diff_2:.4f} (指数化: e^diff = {np.exp(diff_2):.1f})")[br]bertrand_report(10)[br]bertrand_report(20)[br]bertrand_report(40)[br]bertrand_report(80)[br][/color][OUT][br][b]-----【N = 10】--------------------[br] π(2N) - π(N) = 4.0000)[br] θ(2N) - θ(N) = 10.7405 (指数化: e^diff = 46189.0)[br] ψ(2N) - ψ(N) = 11.4336 (指数化: e^diff = 92378.0)[br]-----【N = 20】--------------------[br] π(2N) - π(N) = 4.0000)[br] θ(2N) - θ(N) = 13.5477 (指数化: e^diff = 765049.0)[br] ψ(2N) - ψ(N) = 16.9489 (指数化: e^diff = 22951470.0)[br]-----【N = 40】--------------------[br] π(2N) - π(N) = 10.0000)[br] θ(2N) - θ(N) = 40.6109 (指数化: e^diff = 433601713048865408.0)[br] ψ(2N) - ψ(N) = 43.2500 (指数化: e^diff = 6070423982684139520.0)[br]-----【N = 80】--------------------[br] π(2N) - π(N) = 15.0000)[br] θ(2N) - θ(N) = 71.4749 (指数化: e^diff = 10994118229824091706491928576000.0)[br] ψ(2N) - ψ(N) = 77.2740 (指数化: e^diff = 3628059015841991308949340284780544.0)[br][br]＜振り返り＞[br][/b]π関数は現実のカウントなので、不規則性があり、がたがたするのはしかたない。[br]でも、πは調べただけだからただのラベルであり、中身がない。[br]その中身を理想化したのがθとψだ。[br][br]Nが倍々に範囲拡大すると、チェビシェフ関数は両方とも倍々に近く増大するため[br]２NとNの関数差もNの範囲拡大に比例して増大しているように見える。[br][br][b]この直線に近い反応[/b]のよさ[br][br]これから、不規則な現実であるπをきれいな直線に近い直線で予測してくれるようすがわかる。[br]もちろん、そのまま同じになるという近似ではない。[br][br]しかし、指数化することで、そのなめらかな増加が手にとるようにわかる。[br][b][color=#0000ff][br]こんな変化からいきなり２NとNの関数差がぼこっと０になることがあり得ない[br][/color][/b][br]ということが[br]この実験だけでわかるでしょう。[br][br]チェビシェフさんは、さらにθ(x)については、正の定数A,Bがあって、2直線y=Axとｙ＝Bxで[br]挟み込み、Ax＜θ(x)＜Bxができることを証明した。チェビシェフ不等式という定理だ。[br]ベルトランさんのときはただの予想だったものが、[br][b]ベルトラン・チェビシェフの定理[/b]となった。「[b]2以上のｘに対して２と２ｘの間には必ず素数がある[/b]。」[br]つまり、チェビシェフさんは証明できたということですね。[br][br]さっき、π（ｘ）は不規則な現実であり、θ（ｘ）、ψ（ｘ）はなめらなな直線みたいだが理論であり、[br]しかも大きさがちがうとかいた。[br]こんな現実離れしたものがなぜ大事なのか。[br][br]それは、logxで割ると[b]現実に即している関数[/b]になるからだ。[br]それが、[b]チェビシェフ関数定理[/b]でｘ→∞のとき、[b]θ（ｘ）/logx, ψ（ｘ）/logxともに→π（ｘ）[/b][br]というものだ。[br]差ではなく、関数そのもので確かめてみよう。

[color=#9900ff][b][u][size=150]課題：チェビシェフ関数定理を実感するにはどうしたらよいですか。[br][/size][/u][/b][/color][br]調べる範囲を100倍ごとに大きくしてみましょう。[br]ガウスの理論値π（ｘ）＝ｘ/logxととも比べると[br]チェビシェフ関数のよさに確信が持てるでしょう。[br][br]import numpy as np[br]from sympy import primerange, primefactors[br]from sympy import primepi[br]import math[br][br]def chebyshev_f(N):[br] primes = list(primerange(2, N + 1))[br] # 1. 第1関数 chevy1(N) = Σ log(p)[br] th = sum(np.log(p) for p in primes)[br] # 2. 第2関数 chevy2(N)[br] ps = 0[br] for p in primes:[br] a = 1[br] while p ** (a + 1) <= N:[br] a += 1[br] ps += np.log(p ** a) [br] return th, ps[br][br]def pi_report(N):[br] thN,psN = chebyshev_f(N)[br] piN = primepi(N)[br] logN = math.log(N) [br] print("-" * 5,end="") [br] print(f"【N = {N}】",end="")[br] print("-" * 20) [br] print(f" π(N) = {piN:.4f})") [br] print(f" N/log(N) = {N/logN:.4f})") [br] print(f" θ(N)/log(N) = {thN/logN:.4f})")[br] print(f" ψ(N)/log(N) = {psN/logN:.4f})")[br]pi_report(10)[br]pi_report(1000)[br]pi_report(100000)[br]pi_report(10000000)[br][OUT][br][b]-----【N = 10】--------------------[br] π(N) = 4.0000)[br] N/log(N) = 4.3429)[br] θ(N)/log(N) = 2.3222)[br] ψ(N)/log(N) = 3.4014)[br]-----【N = 1000】--------------------[br] π(N) = 168.0000)[br] N/log(N) = 144.7648)[br] θ(N)/log(N) = 138.4307)[br] ψ(N)/log(N) = 144.2843)[br]-----【N = 100000】--------------------[br] π(N) = 9592.0000)[br] N/log(N) = 8685.8896)[br] θ(N)/log(N) = 8658.5629)[br] ψ(N)/log(N) = 8690.3684)[br]-----【N = 10000000】--------------------[br] π(N) = 664579.0000)[br] N/log(N) = 620420.6884)[br] θ(N)/log(N) = 620121.6033)[br] ψ(N)/log(N) = 620330.0700)[br][br][size=150]＜振り返り＞[br][/size][/b]桁数が同じであること、[br]そして、最大桁の数字が同じになり、[br]次の桁の数字も近づく様子から、π(x)の近似関数になりうることが実感できるでしょう。[br]なによりも、「ガウスの理論値とはほぼ一致」といってよい精度ですね。[br][br][b]チェビシェフ関数定理を言い換えると[br](ｘ[/b]→∞のとき、[b]θ（ｘ）/logｘ, ψ（ｘ）/logｘ　→　ｘ/logｘ）[/b][br]とかけるから、[br]logN倍すれば、[br][b]ｘ→∞のとき、[b]θ（ｘ）, ψ（ｘ）→ｘ[/b][br][/b][br]つまり、[b]チェビシェフ関数[/b]は両方とも[br][b][color=#0000ff][size=150][size=200]ｙ＝ｘに近づく[/size][/size][/color][/b]ということだ。[br][br]なんて、単純で美しいのだろうか。[br][br][color=#9900ff][b][size=150][u]課題：geogebraで、チェビシェフ第一関数が直線的に変化することを確かめよう。[br][/u][/size][/b][/color][br]n = slider(10,10000,10)[br]nums = Sequence(a,a,1,n)[br]primes = Keepif(IsPrime(a),nums)[br]chevy1= sum(zip(ln(a),a,primes)) #log10ではなく、自然対数ln[br]y=x[br](n,chevy1)[br]y=chevy1/n x[br]グラフのメモリをｘ、ｙともに15000まで第一象限が見えるように設定して[br]nをアニメーションしてみよう。[br]n=10000のオーダーでは、[br][b]ｙ＝ｘとy=chevy1/n xは隙間が多少あるものの[br]直線的な変化とほぼ重なる感じがみられるね。[br][/b][br][b]理論値とはいえ、これが凹っと０になることが巨大数で起こることは、[br]証明せずともありえないという感じがしますね。[br][br][/b]この検証から、[br]素数たちが隙間を作りながらも、はるかかなたでも巨大な真空をつくらずに存在を[br]続けるエネルギーを感じますね。[br][br][color=#0000ff][b][size=200]まっすぐに広がる素数空間のエネルギーです。[br][/size][/b][/color][br]ということで、[br]証明はチェビシェフさんやラマヌジャンさんなどの数学の専門家におまかせしておきましょう。