素数の規則を見つけたい。。。 (701ﾚｽ)

素数の規則を見つけたい。。。 http://rio2016.5ch.net/test/read.cgi/math/1640355175/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

279: １３２人目の素数さん [sage] 2023/12/25(月) 12:37:05.29 ID:cm14oBhI √(((1/2)*1/ln(5))*1/((1-1/2)(1-1/3)))=0.96 √(((1/2)*1/ln(7))*1/((1-1/2)(1-1/3)(1-1/5)))=0.98 √(((1/2)*1/ln(11))*1/((1-1/2)(1-1/3)(1-1/5)(1-1/7)))=0.95 √(((1/2)*1/ln(13))*1/((1-1/2)(1-1/3)(1-1/5)(1-1/7)(1-1/11)))=0.96 √(((1/2)*1/ln(17))*1/((1-1/2)(1-1/3)(1-1/5)(1-1/7)(1-1/11)(1-1/13)))=0.95 √(((1/2)*1/ln(19))*1/((1-1/2)(1-1/3)(1-1/5)(1-1/7)(1-1/11)(1-1/13)(1-1/17)))=0.96 http://rio2016.5ch.net/test/read.cgi/math/1640355175/279

280: １３２人目の素数さん [sage] 2023/12/25(月) 12:40:21.03 ID:cm14oBhI √(((1/2)*1/ln(23))*1/((1-1/2)(1-1/3)(1-1/5)(1-1/7)(1-1/11)(1-1/13)(1-1/17)(1-1/19)))=0.96 Π(1-1/P(k))＝1からn番目の素数積 √(((1/2)*1/ln(P(n+1))*1/(Π(1-1/P(k)))≒1 e^(1/2*1/Π(1-1/P(k)))≒P(n+1) ←n+1番目の素数はe^(1/2*1/Π(1-1/P(k)))に近似する http://rio2016.5ch.net/test/read.cgi/math/1640355175/280

281: １３２人目の素数さん [sage] 2023/12/25(月) 18:23:09.30 ID:cm14oBhI √(((1/2)*1/ln(P(n+1))*1/(Π(1-1/P(k)))/√(((1/2)*1/ln(P(n))*1/(Π(1-1/P(k)))≒1 P(n+1)≒e^(lnP(n)/(1-1/P(n))と近似できる　　　 P(2)=5≒5.19=e^(ln3/(1-1/3)) P(3)=7≒7.47＝e^(ln5/(1-1/5)) P(4)=11≒9.68=e^(ln7/(1-1/7)) P(5)=13≒13.98=e^(ln11/(1-1/11)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/281

282: １３２人目の素数さん [sage] 2023/12/25(月) 18:36:33.81 ID:cm14oBhI 誤差が大きくなってくるので P(n+2)= e^(lnP(n)/((1-1/P(n))*(1-1/P(n+1))))やP(n+3)= e^(lnP(n)/((1-1/P(n))*(1-1/P(n+1))*(1-1/P(n+2))))と別々の表記にしたものを平均化して誤差を減らす P(3)=7=7.66≒(e^(ln5/(1-1/5))+e^(ln3/((1-1/3)(1-1/5))))/2 P(4)=11≒10.3984＝(e^(ln7/(1-1/7))+e^(ln5/((1-1/5)(1-1/7)))+e^(ln3/((1-1/3)(1-1/5)(1-1/7))))/3 P(5)=13≒13.11=(e^(ln11/(1-1/11))+e^(ln7/((1-1/7)(1-1/11)))+e^(ln5/((1-1/5)(1-1/7)(1-1/11))))/3 ←およそ３個ほどで平均化すると誤差が減らせるためfloor関数かupper関数で素数にできる http://rio2016.5ch.net/test/read.cgi/math/1640355175/282

283: １３２人目の素数さん [sage] 2023/12/25(月) 23:30:37.87 ID:cm14oBhI √((1/ln(P(m+2)^2)+ln(P(m+2)^2)/P(m+2))*1/Π(1-1/P(k)))≒1 √((1/ln(P(m+1)^2)+ln(P(m+1)^2)/P(m+1))*1/Π(1-1/P(k)))≒1 √(1/ln(P(n+1)^2)+ln(P(n+1)^2)/P(n+1))=√(1-1/n)*√(1/ln(P(n)^2)+ln(P(n)^2)/P(n)) √(1/ln(x^2)+ln(x^2)/x)≒√(1-1/n)*√(1/ln(P(n)^2)+ln(P(n)^2)/P(n)) ←x=n+1番目の素数（ｘ＞０を満たす解) http://rio2016.5ch.net/test/read.cgi/math/1640355175/283

284: １３２人目の素数さん [sage] 2023/12/25(月) 23:37:25.00 ID:cm14oBhI P(n)はn番目の素数 √(1/ln(P(n+1)^2)+ln(P(n+1)^2)/P(n+1))-√(1-1/n)*√(1/ln(P(n)^2)+ln(P(n)^2)/P(n)) ≒0←n番目の素数とn+1番目の素数を入れるとほぼ０の差になる √(1/ln(15319^2)+ln(15319^2)/15319)-√(1-1/15313)*√(1/ln(15313^2)+ln(15313^2)/15313)≒0=1.99*10^-6 √(1/ln(90031^2)+ln(90031^2)/90031)-√(1-1/90023)*√(1/ln(90023^2)+ln(90023^2)/90023)≒0=3.041*10^-7 http://rio2016.5ch.net/test/read.cgi/math/1640355175/284

285: １３２人目の素数さん [sage] 2023/12/26(火) 00:22:17.81 ID:HXteC7SW ζ(s)=1/((1-1/2^s)*(1-1/3^s)*(1-1/5^s)*・・・*(1-1/e^(s*ζ(1)/2))) ←ゼータ関数の計算に使われる最大の素数がe^(s*ζ(1)/2)だと仮定するとき 1/(1-1/e^(ζ(1)/2^2+i*y*ζ(1)/2))=1/(1-cos(y*ζ(1)/2)/e^(ζ(1)/2^2)+i*sin(y*ζ(1)/2)/e^(ζ(1)/2^2)) 1/(1-1/e^(ζ(1)/2^2+i*y*ζ(1)/2))=e^(i*Θ)/√(1+1/e^(ζ(1)/2)-2*cos(y*ζ(1)/2)/e^(ζ(1)/2^2)) 1/(1-1/e^(ζ(1)/2*x+i*y*ζ(1)/2))=e^(i*Θ)/√(1+1/e^(ζ(1)*x)-2*cos(y*ζ(1)/2)/e^(ζ(1)/2*x)) x≠1/2でないとするとe^(ζ(1)*x)≠e^(ζ(1)/2)になるためゼータ関数の計算に使われる最大の素数がe^(s*ζ(1)/2)になる仮定に反する http://rio2016.5ch.net/test/read.cgi/math/1640355175/285

286: １３２人目の素数さん [sage] 2023/12/26(火) 00:23:14.84 ID:HXteC7SW ζ(s)=1/((1-1/2^s)*(1-1/3^s)*(1-1/5^s)*・・・*(1-1/e^(s*ζ(1)/2))) ←ゼータ関数の計算に使われる最大の素数がe^(ζ(1)/2)だと仮定するとき 1/(1-1/e^(ζ(1)/2^2+i*y*ζ(1)/2))=1/(1-cos(y*ζ(1)/2)/e^(ζ(1)/2^2)+i*sin(y*ζ(1)/2)/e^(ζ(1)/2^2)) 1/(1-1/e^(ζ(1)/2^2+i*y*ζ(1)/2))=e^(i*Θ)/√(1+1/e^(ζ(1)/2)-2*cos(y*ζ(1)/2)/e^(ζ(1)/2^2)) 1/(1-1/e^(ζ(1)/2*x+i*y*ζ(1)/2))=e^(i*Θ)/√(1+1/e^(ζ(1)*x)-2*cos(y*ζ(1)/2)/e^(ζ(1)/2*x)) x≠1/2でないとするとe^(ζ(1)*x)≠e^(ζ(1)/2)になるためゼータ関数の計算に使われる最大の素数がe^(ζ(1)/2)になる仮定に反する http://rio2016.5ch.net/test/read.cgi/math/1640355175/286

287: １３２人目の素数さん [sage] 2023/12/26(火) 12:26:19.68 ID:HXteC7SW > > e^(i*2pi*(a/2^n+b/3^n+c/5^n+d/7^n＋・・・+1/P(n)^n) > 2,3,5,7・・・P(n)を素因数に持たない数が円周上に均等に分布しているとき > 約(2^n-2^(n-1))*(3^n-3^(n-1))*(5^n-5^(n-1))*(7^n-7^(n-1))*・・・*(P(n)^n-P(n)^(n-1))*(P(n+1)^2)/(2,3,5,7・・・P(n))^n個とみなせる > > a1からanまでに分母の素因数を持たない数を入れるとa1≠2、a2≠3、・・・an≠P(n) > e^(i*2pi*(a1/2^n+a2/3^n+a3/5^n+a4/7^n＋・・・+an/P(n)^n)=e^(i*2pi*(X/(2,3,5,7・・・P(n))^n) Xは１番目からn番目の素数を素因数に持たない > Xの正確な分布が分かればP(n+1)^2より小さな素数の個数が正確に求まるため誤差がなくなる http://rio2016.5ch.net/test/read.cgi/math/1640355175/287

288: １３２人目の素数さん [sage] 2023/12/27(水) 15:48:50.75 ID:wasfqitI (e^(ln83/(1-1/83))+e^(ln79/((1-1/79)(1-1/83)))+e^(ln73/((1-1/73)(1-1/79)(1-1/83)))+e^(ln71/((1-1/71)(1-1/73)(1-1/79)(1-1/83)))+e^(ln67/((1-1/67)(1-1/71)(1-1/73)(1-1/79)(1-1/83)))+e^(ln61/((1-1/61)(1-1/67)(1-1/71)(1-1/73)(1-1/79)(1-1/83))))/6 =88.22231729709546598≒89 n+1番目の素数は1からn番目の素数で近似できる P(n+1)=upper[1/n*Σ(e^(lnP(n-k)/Π(1-P(m)) ] (n-k<=m<=n,0<=k<=n-1)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/288

289: １３２人目の素数さん [sage] 2023/12/28(木) 12:49:48.69 ID:/6JWP4pU 480*12*16*18*(23^2)/(2310*13*17*19)+8=98.47（23＾２未満の素数＝99個) 480*12*16*18*22*(29^2)/(2310*13*17*19*23)+9=146.57（29＾２未満の素数＝146個) 480*12*16*18*22*28*(31^2)/(2310*13*17*19*23*29)+10=161.78 (31＾２未満の素数＝162個) 480*12*16*18*22*28*30*(37^2)/(2310*13*17*19*23*29*31)+11=220.25 (37＾２未満の素数＝219個) 480*12*16*18*22*28*30*36*(41^2)/(2310*13*17*19*23*29*31*37)+12=262.000021 (41＾２未満の素数＝263個) 480*12*16*18*22*28*30*36*40*(43^2)/(2310*13*17*19*23*29*31*37*41)+13=281.27 (43＾２未満の素数＝283個) 1からP(m+1)^2の範囲内には (P(k)はk番目の素数、1<=k<=mの時) 約 P(m+1)^2*Π(1-1/P(k))+(n-1) 個の素数がある http://rio2016.5ch.net/test/read.cgi/math/1640355175/289

290: １３２人目の素数さん [sage] 2023/12/28(木) 23:54:04.76 ID:/6JWP4pU 1からP(m+1)^2の範囲内には (P(k)はk番目の素数、1<=k<=mの時) 約 P(m+1)^2*Π(1-1/P(k))+m 個の素数がある １から+∞の間にはlim (m→∞) P(m+1)/ζ(1)+m=e^(ζ(1)/2)/ζ(1)+∞個の素数がある http://rio2016.5ch.net/test/read.cgi/math/1640355175/290

291: １３２人目の素数さん [] 2023/12/29(金) 01:04:26.73 ID:voXPt7J2 ゼータ関数の絶対値＝1/Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x) 素数の分だけ分母の項がかけられる yに応じて1を上回る時と1を下回る時がある xが1/2でないと分母の値が無限になるyが存在しない(1を上回る項が趨勢にならない) http://rio2016.5ch.net/test/read.cgi/math/1640355175/291

292: １３２人目の素数さん [sage] 2023/12/29(金) 01:34:53.04 ID:voXPt7J2 Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x) ＝(Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))^n/n!-Ａ(あまりのこう)とおけるため Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x) か無限になるときのxが1/2であることになる http://rio2016.5ch.net/test/read.cgi/math/1640355175/292

293: １３２人目の素数さん [] 2023/12/29(金) 02:42:24.37 ID:axaYrUXn 一応素数の一般項はあるみたいだが……実用性が全く無い なのですうがくかいでは http://rio2016.5ch.net/test/read.cgi/math/1640355175/293

294: １３２人目の素数さん [] 2023/12/29(金) 06:38:25.88 ID:O2hO3W65 ゼータの特殊値の規則の方が面白そう http://rio2016.5ch.net/test/read.cgi/math/1640355175/294

295: １３２人目の素数さん [sage] 2023/12/29(金) 16:02:27.62 ID:voXPt7J2 Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)＝(Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))^n/n!-Ａ(あまりのこう) (Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))=lim[n→∞] ((Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)+Ａ(あまりのこう))*n!)^(1/n)=∞^(1/∞)=1 (Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)) √(1+1/2^2x-2×cos(y×ln2)/2^x)+√(1+1/3^2x-2×cos(y×ln3)/3^x)+√(1+1/5^2x-2×cos(y×ln5)/5^x)+・・・+√(1+1/p(n)^2x-2×cos(y×lnp(n))/p(n)^x)=1 x=1/2でないと√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))のp(k)にk番目の素数を入れてすべての素数分足した際に１に収束しない可能性がある。(1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)の項目が＋とーにぶれるため) http://rio2016.5ch.net/test/read.cgi/math/1640355175/295

296: １３２人目の素数さん [sage] 2023/12/29(金) 16:10:09.63 ID:voXPt7J2 Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)＝(Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))^n/n!-Ａ(あまりのこう) (Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))=lim[n→∞] ((Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)+Ａ(あまりのこう))*n!)^(1/n)=((Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)+Ａ(あまりのこう))^(1/n)*(n!)^(1/n))=∞←lim[n→∞] (n!)^(1/n)が無限のため (Σ√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)) √(1+1/2^2x-2×cos(y×ln2)/2^x)+√(1+1/3^2x-2×cos(y×ln3)/3^x)+√(1+1/5^2x-2×cos(y×ln5)/5^x)+・・・+√(1+1/p(n)^2x-2×cos(y×lnp(n))/p(n)^x)=∞ x=1/2でないと√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x))のp(k)にk番目の素数を入れてすべての素数分足した際に無限に発散しない可能性がある。（収束してしまう可能性がある) (1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)の項目が＋とーにぶれるため) http://rio2016.5ch.net/test/read.cgi/math/1640355175/296

297: １３２人目の素数さん [sage] 2023/12/29(金) 16:22:02.15 ID:voXPt7J2 y=0のタイミングですべて1を下回るためゼータ関数のζ(x+i*0)=∞になる(1未満のものが無限個かかって分母が０になるため) ゼータ関数の絶対値=1/Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)=1/0=∞ 1+1/2^2x-2×cos(y×ln2)/2^x　< 1 1+1/3^2x-2×cos(y×ln3)/3^x < 1 逆にすべての項目が１以上になれば０に収束する(実際はそんなyが存在するのがx=1/2のときだけ) (1より大きい項目がたくさん出るタイミングがx=1/2以外では出てこない) ゼータ関数の絶対値=1/Π√(1+1/p(k)^2x-2×cos(y×lnp(x))/p(k)^x)=1/∞=0 1+1/2^2x-2×cos(y×ln2)/2^x　> 1 1+1/3^2x-2×cos(y×ln3)/3^x > 1 1+1/5^2x-2×cos(y×ln5)/5^x > 1 http://rio2016.5ch.net/test/read.cgi/math/1640355175/297

298: １３２人目の素数さん [sage] 2023/12/29(金) 21:13:50.10 ID:voXPt7J2 cos(2pi*(1/2+2/3+3/5))=cos(2pi*(7/(2*3*5))) cos(2pi*(1/2+2/3+1/5))=cos(2pi*(11/(2*3*5))) cos(2pi*(1/2+2/3+2/5))=cos(2pi*(13/(2*3*5)))=cos(2pi*((2*3*5-13)/(2*3*5)))=cos(2pi*(17/(2*3*5))) cos(2pi*(1/2+2/3+2/5))=cos(2pi*(17/(2*3*5))) cos(2pi*(1/2+2/3+1/5))=cos(2pi*(19/(2*3*5)))=cos(2pi*((2*3*5*7-19)/(2*3*5)))=cos(2pi*(41/(2*3*5))) cos(2pi*(1/2+2/3+3/5))=cos(2pi*(23/(2*3*5))) cos(2pi*(1/2+2/3+4/5))=cos(2pi*(29/(2*3*5))) cos(2pi*(1/2+2/3+4/5))=cos(2pi*(31/(2*3*5))) cos(2pi*(1/2+2/3+3/5))=cos(2pi*(37/(2*3*5))) cos(2pi*(1/2+2/3+1/5))=cos(2pi*(41/(2*3*5))) cos(2pi*(1/2+2/3+2/5))=cos(2pi*(43/(2*3*5))) cos(2pi*(1/2+2/3+2/5))=cos(2pi*(47/(2*3*5))) cos(2pi*(1/2+2/3+3/5+2/7))=cos(2pi*(11/(2*3*5*7)))=cos(2pi*((2*3*5*7-11)/(2*3*5*7)))=cos(2pi*(199/(2*3*5*7))) ←11*17以上、17^2未満なので素数 cos(2pi*(1/2+2/3+1/5+4/7))=cos(2pi*(13/(2*3*5*7)))=cos(2pi*((2*3*5*7-13)/(2*3*5*7)))=cos(2pi*(197/(2*3*5*7))) ←11*17以上、17^2未満なので素数 cos(2pi*(1/2+2/3+1/5+5/7))=cos(2pi*(17/(2*3*5*7)))=cos(2pi*((2*3*5*7-17)/(2*3*5*7)))=cos(2pi*(193/(2*3*5*7))) ←11*17以上、17^2未満なので素数 cos(2pi*(1/2+2/3+3/5+1/7))=cos(2pi*(19/(2*3*5*7)))=cos(2pi*((2*3*5*7-19)/(2*3*5*7)))=cos(2pi*(191/(2*3*5*7))) ←11*17以上、17^2未満なので素数 cos(2pi*(1/2+2/3+4/5+1/7))=cos(2pi*(23/(2*3*5*7)))=cos(2pi*((2*3*5*7-23)/(2*3*5*7)))=cos(2pi*(187/(2*3*5*7))) ←11*17 cos(2pi*(1/2+2/3+2/5+4/7))=cos(2pi*(29/(2*3*5*7)))=cos(2pi*((2*3*5*7-29)/(2*3*5*7)))=cos(2pi*(181/(2*3*5*7))) ←11^2以上、11^*17未満なので素数 http://rio2016.5ch.net/test/read.cgi/math/1640355175/298

299: １３２人目の素数さん [sage] 2023/12/29(金) 21:22:54.77 ID:voXPt7J2 cos(2pi*(1/2+2/3+3/5+2/7))=cos(2pi*(11/(2*3*5*7)))=cos(2pi*((2*3*5*7-11)/(2*3*5*7)))=cos(2pi*(199/(2*3*5*7))) ←13^2以上、17^2未満なので素数 cos(2pi*(1/2+2/3+1/5+4/7))=cos(2pi*(13/(2*3*5*7)))=cos(2pi*((2*3*5*7-13)/(2*3*5*7)))=cos(2pi*(197/(2*3*5*7))) ←13^2以上、17^2未満なので素数 cos(2pi*(1/2+2/3+1/5+5/7))=cos(2pi*(17/(2*3*5*7)))=cos(2pi*((2*3*5*7-17)/(2*3*5*7)))=cos(2pi*(193/(2*3*5*7))) ←13^2以上、17^2未満なので素数 cos(2pi*(1/2+2/3+3/5+1/7))=cos(2pi*(19/(2*3*5*7)))=cos(2pi*((2*3*5*7-19)/(2*3*5*7)))=cos(2pi*(191/(2*3*5*7))) ←13^2以上、17^2未満なので素数 cos(2pi*(1/2+2/3+4/5+1/7))=cos(2pi*(23/(2*3*5*7)))=cos(2pi*((2*3*5*7-23)/(2*3*5*7)))=cos(2pi*(187/(2*3*5*7))) ←11*17 cos(2pi*(1/2+2/3+2/5+4/7))=cos(2pi*(29/(2*3*5*7)))=cos(2pi*((2*3*5*7-29)/(2*3*5*7)))=cos(2pi*(181/(2*3*5*7))) ←13^2以上、11*17未満なので素数 cos(2pi*(1/2+2/3+2/5+2/7))=cos(2pi*(31/(2*3*5*7)))=cos(2pi*((2*3*5*7-31)/(2*3*5*7)))=cos(2pi*(179/(2*3*5*7))) ←13^2以上、11*17未満なので素数 cos(2pi*(1/2+2/3+4/5+6/7))=cos(2pi*(37/(2*3*5*7)))=cos(2pi*((2*3*5*7-37)/(2*3*5*7)))=cos(2pi*(173/(2*3*5*7))) ←13^2以上、11*17未満なので素数 cos(2pi*(1/2+2/3+3/5+3/7))=cos(2pi*(41/(2*3*5*7)))=cos(2pi*((2*3*5*7-41)/(2*3*5*7)))=cos(2pi*(169/(2*3*5*7))) ←13^2 cos(2pi*(1/2+2/3+1/5+3/7))=cos(2pi*(43/(2*3*5*7)))=cos(2pi*((2*3*5*7-43)/(2*3*5*7)))=cos(2pi*(167/(2*3*5*7))) ←11*13以上、13^2未満なので素数 http://rio2016.5ch.net/test/read.cgi/math/1640355175/299

300: １３２人目の素数さん [sage] 2023/12/30(土) 11:19:50.17 ID:jsoLHdB8 ζ(s)=Σ1/n^s (1-1/2^(s-1))*ζ(s)=(1-1/2^(s-1))*Σ1/n^s=Σ1/n^s-2*Σ1/(2n)^s=Σ(-1)^(n＋1)/n^s ζ(s)=1/(1-1/2^(s-1))*Σ(-1)^n/n^s ζ(1/2)=1/(1-√2)*Σ(-1)^(n＋1)/√n=1/(1-√2)*(1-1/√2+1/√3-1/√4+・・・・)≒-1.46 http://rio2016.5ch.net/test/read.cgi/math/1640355175/300

301: １３２人目の素数さん [sage] 2023/12/30(土) 11:37:17.40 ID:jsoLHdB8 ζ(s)=1/(1-2^(2/3))*Σ(-1)^(n+1)/n^(1/3)=1-1/2^(1/3)+1/3^(1/3)-1/4^(1/3) Σ1/n^(1/3)=1+1/2^(1/3)+1/3^(1/3)-1/4^(1/3)+・・・ 1/2^(1/3)*Σ1/n^(1/3)=1/2^(1/3)+1/4^(1/3)+6^(1/3)+・・・ Σ1/n^(1/3)-2*1/2^(1/3)*Σ1/n^(1/3)=Σ(-1)^(n+1)/n^(1/3)=1-1/2^(1/3)+1/3^(1/3)-1/4^(1/3) Σ(-1)^(n+1)/n^(1/3)=(1-2^(2/3))*Σ1/n^(1/3) (1-2^(2/3))*Σ1/n^(1/3)=Σ(n=1〜∞) (-1)^(n+1)/(n^(1/3))≒0.572 ζ(1/3)=0.572/(1-2^(2/3))≒-0.97 ζ(1/3)=1/(1-2^(2/3))*(1-2^(2/3))*Σ1/n^(1/3)≒-0.97 http://rio2016.5ch.net/test/read.cgi/math/1640355175/301

302: １３２人目の素数さん [sage] 2023/12/30(土) 12:07:17.28 ID:jsoLHdB8 ζ(1/2+i*y)=Σ(n=1〜∞) 1/(n)^(1/2+i*y) =0 ζ(1/2+i*y)=1/(1-1/2^(-1/2+i*y))*Σ(n=1〜∞) (-1)^(n+1)/(n)^(1/2+i*y) =0　←Σ(n=1〜∞) (-1)^(n+1)/(n)^(1/2+i*y) =0 Σ(n=1〜∞) 1/(n)^(1/2+i*y) =0でもあり、Σ(n=1〜∞) (-1)^(n+1)/(n)^(1/2+i*y) =0もある 1/1^s+1/2^s+1/3^s+1/4^s+・・・・=0 1/1^s-1/2^s+1/3^s-1/4^s+・・・・=0 1/1^s+1/3^s+1/5^s+1/7^s+・・・・=0 1/2^s+1/4^s+・・・・=0 Σ1/(2n)^(1/2+i*y)=0 Σ1/(2n+1)^(1/2+i*y)=0 http://rio2016.5ch.net/test/read.cgi/math/1640355175/302

303: １３２人目の素数さん [sage] 2023/12/30(土) 20:00:06.26 ID:jsoLHdB8 ζ(1/2+i*y)=1+1/2^(1/2+i*y)+1/3^(1/2+i*y)+1/4^(1/2+i*y)+5^(1-(1/2+i*y))/(1/2+i*y-1)+5^(-(1/2+i*y))/2 +1/6*1/2!*5^(1-(1/2+i*y)-2)*(1/2+i*y) -1/30*1/4!*5^(1-(1/2+i*y)-4)*(1/2+i*y)*(1/2+i*y+1)*(1/2+i*y+2) +1/42*1/6!*5^(1-(1/2+i*y)-6)*(1/2+i*y)*(1/2+i*y+1)*(1/2+i*y+2)*(1/2+i*y+3)*(1/2+i*y+4) +1/42 http://rio2016.5ch.net/test/read.cgi/math/1640355175/303

304: １３２人目の素数さん [sage] 2023/12/30(土) 20:14:12.74 ID:jsoLHdB8 ζ(1/2+i*0)=1+1/2^(1/2+i*0)+1/3^(1/2+i*0)+1/4^(1/2+i*0)+5^(1-1/2-i*0)/(-1/2+i*0)+5^(-1/2-i*0)/2 +1/6*1/2!*5^(1-(1/2+i*0)-2)*(1/2+i*0) -1/30*1/4!*5^(1-(1/2+i*0)-4)*(1/2+i*0)*(1/2+i*0+1)*(1/2+i*0+2) +1/42*1/6!*5^(1-(1/2+i*0)-6)*(1/2+i*0)*(1/2+i*0+1)*(1/2+i*0+2)*(1/2+i*0+3)*(1/2+i*0+4) +1/42 =-1.436535803101403675249612014725209082488526639894421611110168217≒-1.46＝ζ(1/2＝ -1.464072106873427134267436827982618352404737194303297963507762570 0.0037267799624996494940152894478854603924010305993525428737848287 -9.316949906249123735038223619713650981002576498381357184462... × 10^-6 1.3975424859373685602557335429570476471503864747572035776693... × 10^-7 +1/42 http://rio2016.5ch.net/test/read.cgi/math/1640355175/304

305: １３２人目の素数さん [sage] 2023/12/30(土) 20:35:30.01 ID:jsoLHdB8 ζ(1/2+i*y)=1+1/2^(1/2+i*y)+1/3^(1/2+i*y)+1/4^(1/2+i*y)+5^(1-(1/2+i*y))/(1/2+i*y-1)+5^(-(1/2+i*y))/2 +1/6*1/2!*5^(1-(1/2+i*y)-2)*(1/2+i*y) -1/30*1/4!*5^(1-(1/2+i*y)-4)*(1/2+i*y)*(1/2+i*y+1)*(1/2+i*y+2) +1/42*1/6!*5^(1-(1/2+i*y)-6)*(1/2+i*y)*(1/2+i*y+1)*(1/2+i*y+2)*(1/2+i*y+3)*(1/2+i*y+4) +1/R2k ζ(1/2+i*0)=1+1/2^(1/2+i*0)+1/3^(1/2+i*0)+1/4^(1/2+i*0)+5^(1-1/2-i*0)/(-1/2+i*0)+5^(-1/2-i*0)/2 +1/6*1/2!*5^(1-(1/2+i*0)-2)*(1/2+i*0) -1/30*1/4!*5^(1-(1/2+i*0)-4)*(1/2+i*0)*(1/2+i*0+1)*(1/2+i*0+2) +1/42*1/6!*5^(1-(1/2+i*0)-6)*(1/2+i*0)*(1/2+i*0+1)*(1/2+i*0+2)*(1/2+i*0+3)*(1/2+i*0+4) +1/42 =-1.460345326910927484773421538534732892012336163703945420633977740...≒-1.46＝ζ(1/2) -1.464072106873427134267436827982618352404737194303297963507762570 0.0037267799624996494940152894478854603924010305993525428737848287 -9.316949906249123735038223619713650981002576498381357184462... × 10^-6 1.3975424859373685602557335429570476471503864747572035776693... × 10^-7 http://rio2016.5ch.net/test/read.cgi/math/1640355175/305

306: １３２人目の素数さん [sage] 2023/12/30(土) 20:36:01.86 ID:jsoLHdB8 ζ(1/2+i*y)=1+1/2^(1/2+i*y)+1/3^(1/2+i*y)+1/4^(1/2+i*y)+5^(1-(1/2+i*y))/(1/2+i*y-1)+5^(-(1/2+i*y))/2 +1/6*1/2!*5^(1-(1/2+i*y)-2)*(1/2+i*y) -1/30*1/4!*5^(1-(1/2+i*y)-4)*(1/2+i*y)*(1/2+i*y+1)*(1/2+i*y+2) +1/42*1/6!*5^(1-(1/2+i*y)-6)*(1/2+i*y)*(1/2+i*y+1)*(1/2+i*y+2)*(1/2+i*y+3)*(1/2+i*y+4) +1/R2k ζ(1/2+i*0)=1+1/2^(1/2+i*0)+1/3^(1/2+i*0)+1/4^(1/2+i*0)+5^(1-1/2-i*0)/(-1/2+i*0)+5^(-1/2-i*0)/2 +1/6*1/2!*5^(1-(1/2+i*0)-2)*(1/2+i*0) -1/30*1/4!*5^(1-(1/2+i*0)-4)*(1/2+i*0)*(1/2+i*0+1)*(1/2+i*0+2) +1/42*1/6!*5^(1-(1/2+i*0)-6)*(1/2+i*0)*(1/2+i*0+1)*(1/2+i*0+2)*(1/2+i*0+3)*(1/2+i*0+4) =-1.460345326910927484773421538534732892012336163703945420633977740...≒-1.46＝ζ(1/2) http://rio2016.5ch.net/test/read.cgi/math/1640355175/306

307: １３２人目の素数さん [sage] 2023/12/30(土) 21:16:29.25 ID:jsoLHdB8 ζ(x+i*y')-ζ(x+i*y)=1-1+1/2^(x+i*y')-1/2^(x+i*y)+1/3^(x+i*y')-1/3^(x+i*y)+1/4^(x+i*y')-1/4^(x+i*y) +5^(1-(x+i*y'))/(x+i*y'-1)-5^(1-(x+i*y))/(x+i*y-1)+5^(-(x+i*y'))/2-5^(-(x+i*y))/2 ζ(x+i*y')-ζ(x+i*y)≒(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)+1/2^(x/2+i*y/2))+(1/3^(x/2+i*y'/2)-1/3^(x/2+i*y/2))*(1/3^(x/2+i*y'/2)+1/3^(x/2+i*y/2))+(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)+1/2^(x/2+i*y/2))*(1/4^(x/2+i*y'/2)+1/4^(x/2+i*y/2)) +5^(1-(x+i*y'))/(x+i*y'-1)-5^(1-(x+i*y))/(x+i*y-1)+5^(-(x+i*y'))/2-5^(-(x+i*y))/2 ζ(x+i*y')-ζ(x+i*y)≒(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1+(1/2^(x/2+i*y'/2)+1/2^(x/2+i*y/2))*(1/4^(x/2+i*y'/2)+1/4^(x/2+i*y/2)))+(1/3^(x/2+i*y'/2)-1/3^(x/2+i*y/2))*(1/3^(x/2+i*y'/2)+1/3^(x/2+i*y/2))+5^(1-(x+i*y'))/(x+i*y'-1)-5^(1-(x+i*y))/(x+i*y-1)+5^(-(x+i*y'))/2-5^(-(x+i*y))/2 1/4^(x/2+i*y'/2)-1/4^(x/2+i*y/2)=1/2^(x+i*y')-1/2^(x+i*y)=(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)+1/2^(x/2+i*y/2)) 1/2^(x/2+i*y/2+i*π/2)=-1/2^(x/2+i*y/2) (1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2+i*π/2))*(1+(1/4^(x/2+i*y'/2)+1/4^(x/2+i*y/2)))) (1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2+i*π/2))=(1/2^(x/4+i*y'/4)-1/2^(x/4+i*y/4+i*π/4))*(1/2^(x/4+i*y'/4)+1/2^(x/4+i*y/4+i*π/4)) 1/2^(x/4+i*y/4+i*π/4+i*π/2)=-1/2^(x/4+i*y/4+i*π/4) (1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2+i*π/2))=(1/2^(x/4+i*y'/4)-1/2^(x/4+i*y/4+i*π/4))*(1/2^(x/4+i*y'/4)-1/2^(x/4+i*y/4+i*π/4+i*π/2)) =(1/2^(x/4+i*y'/4)-1/2^(x/4+i*y/4+i*π/4))*(1/2^(x/8+i*y'/8)-1/2^(x/8+i*y/8+i*π/8+i*π/8))**(1/2^(x/8+i*y'/8)+1/2^(x/8+i*y/8+i*π/8+i*π/8)) 無限に分解していく際にx=1/2でないと都合が悪い可能性がある（1/2^nで実部を表せない) http://rio2016.5ch.net/test/read.cgi/math/1640355175/307

308: １３２人目の素数さん [sage] 2023/12/30(土) 22:03:36.06 ID:jsoLHdB8 1/2^(x+i*y+i*π/ln2)=1/2^(x+i*y)*1/e^(i*π)=-1/2^(x+i*y) ゼータ関数をζ(x+i*y)≒1+1/2^(x+i*y)と簡略化する ζ(x+i*y’)とζ(x+i*y)を考えて差がほぼ0になる点を探す ζ(x+i*y')-ζ(x+i*y)≒(1/2^(x+i*y')-1/2^(x+i*y))=(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)+1/2^(x/2+i*y/2)) =(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2^2+i*y'/2^2)-1/2^(x/2^2+i*y/2^2-i*π/ln2^2+i*π/ln2)) =(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2^3+i*y'/2^3)-1/2^(x/2^3+i*y/2^3-i*π/ln2^3+i*π/ln2^2))*(1/2^(x/2^3+i*y'/2^3)-1/2^(x/2^3+i*y/2^3*+i*π/ln2^3+i*π/ln2^2+i*π/ln2)) lim[n→∞] (1/2^(x/2^n+i*y'/2^n)-1/2^(x/2^n+i*y/2^n+i*π/ln2^n+i*π/ln2^(n-1)+i*π/ln2^(n-2)+i*π/ln2^(n-3)+・・・・+i*π/ln2))≒0 lim[n→∞]Σ[k=1→n]i*π/ln2^k=i*π/ln2^n+i*π/ln2^(n-1)+i*π/ln2^(n-2)+i*π/ln2^(n-3)+・・・・+i*π/ln2=i*π*∞ mod 2π nの値が無限でないときlim[n→m]Σ[k=1→n]i*π/ln2^kのときΣ[k=1→n]i*π/ln2^kはmod 2πされるため0から2πの値をとる A=2^’x/2^m)*e^(i*y') B=2^(x/2^m)*e^(i*y+lim[n→m]Σ[k=1→n]i*π/ln2^k) AとBの角度差がlim[n→m]Σ[k=1→n]i*π/ln2^kと可変する 長さが半分になり続ける２本のベクトルの間のベクトルの積とみなせるため 初期値が1/2でないと0に収束しない可能性がある (1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2^3+i*y'/2^3)-1/2^(x/2^3+i*y/2^3-i*π/ln2^3+i*π/ln2^2))*(1/2^(x/2^4+i*y'/2^4)-1/2^(x/2^4+i*y/2^4*+i*π/ln2^4+i*π/ln2^3+i*π/ln2^2)) *(1/2^(x/2^4+i*y'/2^4)-1/2^(x/2^4+i*y/2^4*+i*π/ln2^4+i*π/ln2^3+i*π/ln2^2+i*π/ln2)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/308

309: １３２人目の素数さん [sage] 2023/12/30(土) 22:26:56.47 ID:jsoLHdB8 ζ(x+i*y')-ζ(x+i*y)≒(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)+1/2^(x/2+i*y/2)) ＝(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2+iπ/ln2) ＝(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2^2+i*y'/2^2)-1/2^(x/2^2+i*y/2^2+iπ/ln2^2)*(1/2^(x/2^2+i*y'/2^2)-1/2^(x/2^2+i*y/2^2+iπ/ln2^2+iπ/ln2) =(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2^2+i*y'/2^2)-1/2^(x/2^2+i*y/2^2+iπ/ln2^2) *(1/2^(x/2^3+i*y'/2^3)-1/2^(x/2^3+i*y/2^3+iπ/ln2^3+iπ/ln2^2)*(1/2^(x/2^3+i*y'/2^3)-1/2^(x/2^3+i*y/2^3+iπ/ln2^3+iπ/ln2^2+iπ/ln2) =(1/2^(x/2+i*y'/2)-1/2^(x/2+i*y/2))*(1/2^(x/2^2+i*y'/2^2)-1/2^(x/2^2+i*y/2^2+iπ/ln2^2) *(1/2^(x/2^3+i*y'/2^3)-1/2^(x/2^3+i*y/2^3+iπ/ln2^3+iπ/ln2^2)*(1/2^(x/2^4+i*y'/2^4)-1/2^(x/2^4+i*y/2^4+iπ/ln2^4+iπ/ln2^3+iπ/ln2^2) *(1/2^(x/2^4+i*y'/2^4)-1/2^(x/2^4+i*y/2^4+iπ/ln2^4+iπ/ln2^3+iπ/ln2^2+iπ/ln2) 2ベクトルの角度差がy'-y+lim[n→m]Σ[k=a→n]i*π/ln2^k)と可変する 長さは1/2^(x/2^m)になる 初期値が1/2でないと0に収束しない可能性がある http://rio2016.5ch.net/test/read.cgi/math/1640355175/309

310: １３２人目の素数さん [sage] 2023/12/31(日) 13:06:56.21 ID:ZQRjm/0R ゼータ関数をζ(x+i*y)≒1+1/2^(1/2+i*y)+1/3^(1/2+i*y)+1/4^(1/2+i*y)と簡略化 ζ(x+i*y')=ζ(x+i*y)となるときゼロ点しかないと仮定する(y'≠y) |半径1/2^(x/2^m)の円内の余弦の長さ|=Π|(1/2^(x/2^m+i*y'/2)-1/2^(x/2^m+i*y/2+lim[n→m]Σ[k=a→n]i*π/ln2^k)))| |半径1/2^(x/2^m)の円内の余弦の長さ|=Π(2*1/2^(x/2^m))/sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) |半径1/P(n)^(x/2^m)の円内の余弦の長さ|=Π(2*1/P(n)^(x/2^m))/sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/lnP(n)^k))/2) |ζ(x+i*y')-ζ(x+i*y)|=Π(2*1/2^(x/2^m))/sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) +Π(2*1/3^(x/2^m))/sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))/2) +Π(2*1/4^(x/2^m))/sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))/2) ←　　Π(2*1/2^(x/2^m))/sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2)＝０の時０に収束する http://rio2016.5ch.net/test/read.cgi/math/1640355175/310

311: １３２人目の素数さん [sage] 2023/12/31(日) 13:32:01.36 ID:ZQRjm/0R ゼータ関数をζ(x+i*y)≒1+1/2^(1/2+i*y)+1/3^(1/2+i*y)+1/4^(1/2+i*y)と簡略化 ζ(x+i*y')=ζ(x+i*y)となるときゼロ点しかないと仮定する(y'≠y) |半径1/2^(x/2^m)の円内の余弦の長さ|=Π|(1/2^(x/2^m+i*y'/2)-1/2^(x/2^m+i*y/2+lim[n→m]Σ[k=a→n]i*π/ln2^k)))| |半径1/2^(x/2^m)の円内の余弦の長さ|=Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) |半径1/P(n)^(x/2^m)の円内の余弦の長さ|=Π(2*1/P(n)^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/lnP(n)^k))/2) |ζ(x+i*y')-ζ(x+i*y)|=Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) +Π(2*1/3^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))/2) +Π(2*1/4^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))/2) ←　　Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2)＝０の時０に収束する Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) =2^a*1/2^(x*(1/2^1+1/2^2+1/2^3+1/2^4+1/2^5+1/2^6+・・))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) ←0に収束する必要がある Π(2*1/3^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))/2) =2^a*1/3^(x*(1/2^1+1/2^2+1/2^3+1/2^4+1/2^5+1/2^6+・・))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))/2) ←0に収束する必要がある Π(2*1/4^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))/2) =2^a*1/4^(x*(1/2^1+1/2^2+1/2^3+1/2^4+1/2^5+1/2^6+・・))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))/2) ←0に収束する必要がある 2^a*1/2^(x*(1/2)/(1/2-1/2^∞))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) 2^a*1/3^(x*(1/2)/(1/2-1/2^∞))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))/2) 2^a*1/4^(x*(1/2)/(1/2-1/2^∞))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))/2) http://rio2016.5ch.net/test/read.cgi/math/1640355175/311

312: １３２人目の素数さん [sage] 2023/12/31(日) 14:52:49.83 ID:ZQRjm/0R ゼータ関数をζ(x+i*y)≒1+1/2^(1/2+i*y)+1/3^(1/2+i*y)+1/4^(1/2+i*y)と簡略化 ζ(x+i*y')=ζ(x+i*y)となるときゼロ点しかないと仮定する(y'≠y) |半径1/2^(x/2^m)の円内の余弦の長さ|=Π|(1/2^(x/2^m+i*y'/2)-1/2^(x/2^m+i*y/2+lim[n→m]Σ[k=a→n]i*π/ln2^k)))| |半径1/2^(x/2^m)の円内の余弦の長さ|=Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))*ln2/2) |半径1/P(n)^(x/2^m)の円内の余弦の長さ|=Π(2*1/P(n)^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/lnP(n)^k))*lnP(n)/2) |ζ(x+i*y')-ζ(x+i*y)|=Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))*ln2/2) +Π(2*1/3^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))*ln3/2) +Π(2*1/4^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))*ln4/2) ←　　Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2)＝０の時０に収束する Π(2*1/2^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))/2) =2^a*1/2^(x*(1/2^1+1/2^2+1/2^3+1/2^4+1/2^5+1/2^6+・・))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln2^k))*ln2/2) ←0に収束する必要がある Π(2*1/3^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))/2) =2^a*1/3^(x*(1/2^1+1/2^2+1/2^3+1/2^4+1/2^5+1/2^6+・・))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln3^k))*ln3/2) ←0に収束する必要がある Π(2*1/4^(x/2^m))*sin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))/2) =2^a*1/4^(x*(1/2^1+1/2^2+1/2^3+1/2^4+1/2^5+1/2^6+・・))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/ln4^k))*ln4/2) ←0に収束する必要がある |ζ(x+i*y')-ζ(x+i*y)|=lim ΣΠ2^a*1/P(l)^(x*(1/2)/(1/2-1/2^∞))*Πsin((y'-(y+lim[n→m]Σ[k=a→n]i*π/lnP(l)^k))*lnP(l)/2)=0 これが収束するときにx=1/2しかない可能性がある http://rio2016.5ch.net/test/read.cgi/math/1640355175/312

313: １３２人目の素数さん [sage] 2023/12/31(日) 17:11:21.67 ID:ZQRjm/0R |ζ(x+i*y')-ζ(x+i*y)|=1/2^(x+i*y')-1/2^(x+i*y)+1/3^(x+i*y')-1/3^(x+i*y)+1/4^(x+i*y')-1/4^(x+i*y) +5^(1-(x+i*y'))/(x+i*y'-1)-5^(1-(x+i*y))/(x+i*y-1)+5^(-(x+i*y'))/2-5^(-(x+i*y))/2 1/2^(x+i*y')-1/2^(x+i*y)=2*1/2^x*sin((y'-y)*ln2/2)*e^(i*(π/2+(y'+y)*ln2/2)) 1/3^(x+i*y')-1/3^(x+i*y)=2*1/3^x*sin((y'-y)*ln3/2)*e^(i*(π/2+(y'+y)*ln3/2)) 1/4^(x+i*y')-1/4^(x+i*y)=2*1/4^x*sin((y'-y)*ln4/2)*e^(i*(π/2+(y'+y)*ln4/2)) 5^(1-x-i*y'))/(x-1+i*y')-5^(1-x-i*y)/(x-1+i*y)=5^(1-x)/√((x-1)^2+y'^2)*e^(i*'y'*ln5-arctan(y'/(x-1)))-5^(1-x)/√((x-1)^2+y^2)*e^(i*y*ln5-arctan(y/(x-1))) 5^(-(x+i*y'))/2-5^(-(x+i*y))/2=5^(-x)/2*(e^(i*-y'ln5)-e^(i*-yln5)) ζ(x+i*y')-ζ(x+i*y)≒2*1/2^x*sin((y'-y)*ln2/2)*e^(i*(π/2+(y'+y)*ln2/2))+2*1/3^x*sin((y'-y)*ln3/2)*e^(i*(π/2+(y'+y)*ln3/2))+2*1/4^x*sin((y'-y)*ln4/2)*e^(i*(π/2+(y'+y)*ln4/2)) +5^(1-x)/√((x-1)^2+y'^2)*e^(i*'y'*ln5-arctan(y'/(x-1)))-5^(1-x)/√((x-1)^2+y^2)*e^(i*y*ln5-arctan(y/(x-1))) +5^(-x)/2*(e^(i*-y'ln5)-e^(i*-yln5)) がx≠1/2のときy,y'をもたない(y≠y'>0) http://rio2016.5ch.net/test/read.cgi/math/1640355175/313

314: １３２人目の素数さん [sage] 2023/12/31(日) 17:28:27.05 ID:ZQRjm/0R (1/2^(1/2+i*5π/(7*ln2))-1/2^(1/2+i*π/(7*ln2)))=(2*1/2^(1/2)*sin((4π/(7*ln2))*ln2/2))*e^(i*tan^(-1)((sin(π/7)/sqrt(2) - cos((3 π)/14)/sqrt(2))/(-sin((3 π)/14)/sqrt(2) - cos(π/7)/sqrt(2))) - i*π) http://rio2016.5ch.net/test/read.cgi/math/1640355175/314

315: １３２人目の素数さん [sage] 2023/12/31(日) 21:13:13.10 ID:ZQRjm/0R (1/p(n)^(x+i*y')-1/p(n)^(x+i*y))=(2*1/p(n)^(x)*sin((y'-y)*lnp(n)/2)*e^(i*(arctan((-sin(y'*logp(n))+sin(ylogp(n)))/(cos(y'logp(n))-cos(ylogp(n))))+π))) (1/2^(x+i*y')-1/2^(x+i*y))=(2*1/2^(x)*sin((y'-y)*ln2/2)*e^(i*(arctan((-sin(y'*log2)+sin(ylog2))/(cos(y'log2)-cos(ylog2)))+π))) (1/3^(x+i*y')-1/3^(x+i*y))=(2*1/3^(x)*sin((y'-y)*ln3/2)*e^(i*(arctan((-sin(y'*log3)+sin(ylog3))/(cos(y'log3)-cos(ylog3)))+π))) (1/4^(x+i*y')-1/4^(x+i*y))=(2*1/4^(x)*sin((y'-y)*ln4/2)*e^(i*(arctan((-sin(y'*log4)+sin(ylog4))/(cos(y'log4)-cos(ylog4)))+π))) 5^(1-x-i*y'))/(x-1+i*y')-5^(1-x-i*y)/(x-1+i*y)=5^(1-x)/√((x-1)^2+y'^2)*e^(i*'y'*ln5-arctan(y'/(x-1)))-5^(1-x)/√((x-1)^2+y^2)*e^(i*y*ln5-arctan(y/(x-1))) 5^(-(x+i*y'))/2-5^(-(x+i*y))/2=5^(-x)/2*(e^(i*-y'ln5)-e^(i*-yln5)) ζ(x+i*y')-ζ(x+i*y)≒(2*1/2^(x)*sin((y'-y)*ln2/2)*e^(i*(arctan((-sin(y'*log2)+sin(ylog2))/(cos(y'log2)-cos(ylog2)))+π))) +(2*1/3^(x)*sin((y'-y)*ln3/2)*e^(i*(arctan((-sin(y'*log3)+sin(ylog3))/(cos(y'log3)-cos(ylog3)))+π))) +(2*1/4^(x)*sin((y'-y)*ln4/2)*e^(i*(arctan((-sin(y'*log4)+sin(ylog4))/(cos(y'log4)-cos(ylog4)))+π))) +5^(1-x)/√((x-1)^2+y'^2)*e^(i*'y'*ln5-arctan(y'/(x-1)))-5^(1-x)/√((x-1)^2+y^2)*e^(i*y*ln5-arctan(y/(x-1))) +5^(-x)/2*(e^(i*-y'ln5)-e^(i*-yln5)) がx≠1/2のときy,y'をもたない(y≠y'>0) http://rio2016.5ch.net/test/read.cgi/math/1640355175/315

316: １３２人目の素数さん [sage] 2023/12/31(日) 21:27:12.79 ID:ZQRjm/0R ζ(x+i*y')=ζ(x+i*y)となるときゼロ点しかないとの仮定が正しいとき(y'≠y>0) ζ(x+i*y')-ζ(x+i*y)≒(2*1/2^(x)*sin((y'-y)*ln2/2)*e^(i*(arctan((-sin(y'*log2)+sin(ylog2))/(cos(y'log2)-cos(ylog2)))+π))) +(2*1/3^(x)*sin((y'-y)*ln3/2)*e^(i*(arctan((-sin(y'*log3)+sin(ylog3))/(cos(y'log3)-cos(ylog3)))+π))) +(2*1/4^(x)*sin((y'-y)*ln4/2)*e^(i*(arctan((-sin(y'*log4)+sin(ylog4))/(cos(y'log4)-cos(ylog4)))+π))) +5^(1-x)/√((x-1)^2+y'^2)*e^(i*'y'*ln5-arctan(y'/(x-1)))-5^(1-x)/√((x-1)^2+y^2)*e^(i*y*ln5-arctan(y/(x-1))) +5^(-x)/2*(e^(i*-y'ln5)-e^(i*-yln5))をA*e^(i*B)にかえて AがX≠1/2のとき0にならないことを証明すれば実部が1/2のみであることになる http://rio2016.5ch.net/test/read.cgi/math/1640355175/316

317: １３２人目の素数さん [sage] 2023/12/31(日) 22:15:02.20 ID:ZQRjm/0R (1-1/3^(s-1))ζ(s)=Σ1/n^(s)-3*Σ1/(3n)^s=1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+1/10^s+1/11^s-2/12^s+・・・ ((4/3)*cos((n-1)*2π/3)-1/3)=1,1,-2,1,1,-2,1,1,・・・ (1-1/3^(s-1))ζ(s)=Σ1/n^(s)-3*Σ1/(3n)^s=Σ((4/3)*cos((n-1)*2π/3)-1/3)/n^s ζ(s)=1/(1-1/3^(s-1))*Σ((4/3)*cos((n-1)*2π/3)-1/3)/n^s ζ(1/2)=1/(1-√3)*Σ((4/3)*cos((n-1)*2π/3)-1/3)/n^s=-1.46=1/(1-√2)*Σ(-1)^(n-1)/n^s http://rio2016.5ch.net/test/read.cgi/math/1640355175/317

318: １３２人目の素数さん [sage] 2023/12/31(日) 22:24:09.99 ID:ZQRjm/0R (1-1/3^(s-1))ζ(s)=Σ1/n^(s)-3*Σ1/(3n)^s=1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+1/10^s+1/11^s-2/12^s+・・・ -2*cos((n)*2π/3))=1,1,-2,1,1,-2,1,1,・・・ (1-1/3^(s-1))ζ(s)=Σ1/n^(s)-3*Σ1/(3n)^s=Σ(-2*cos((n)*2π/3))/n^s ζ(s)=1/(1-1/3^(s-1))*Σ(-2*cos((n)*2π/3))/n^s ζ(1/2)=1/(1-√3)*Σ(-2*cos((n)*2π/3))/√n=-1.46=1/(1-√2)*Σ(-1)^(n-1)/√n http://rio2016.5ch.net/test/read.cgi/math/1640355175/318

319: １３２人目の素数さん [sage] 2023/12/31(日) 22:40:13.18 ID:ZQRjm/0R (1-1/4^(s-1))ζ(s)=Σ1/n^(s)-4*Σ1/(4n)^s=1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・ ((2*cos((n+2)*π/2))+(-1)^(n+1))=1,1,1,-3,1,1,1,-3,1,1,・・・ ζ(s)=1/(1-1/4^(s-1))*Σ((2*cos((n+2)*π/2))+(-1)^(n+1))/n^s ζ(1/2)=1/(1-√4)*Σ((2*cos((n+2)*π/2))+(-1)^(n+1))/√n=-1.46=1/(1-√2)*Σ(-1)^(n-1)/√n=1/(1-√3)*Σ(-2*cos((n)*2π/3))/√n http://rio2016.5ch.net/test/read.cgi/math/1640355175/319

320: １３２人目の素数さん [sage] 2023/12/31(日) 22:59:36.79 ID:ZQRjm/0R ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*Σ(-1)^(n-1)*1/n^x*e^(i*-yln(n))=0 ζ(x+i*y)=1/(1-1/3^(x-1+i*y))*Σ(-2*cos((n)*2π/3))*1/n^x*e^(i*-yln(n))=0 ζ(x+i*y)=1/(1-1/4^(x-1+i*y))*Σ((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^x*e^(i*-yln(n))=0 ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*(e^(i*-y*ln(n))/1^x-e^(i*-y*ln(n))/2^x+e^(i*-y*ln(n))/3^x-e^(i*-y*ln(n))/4^x+・・・) ζ(x+i*y)=1/(1-1/3^(x-1+i*y))*(e^(i*-y*ln(n))/1^x+e^(i*-y*ln(n))/2^x-2*e^(i*-y*ln(n))/3^x+e^(i*-y*ln(n))/4^x+・・・) ζ(x+i*y)=1/(1-1/4^(x-1+i*y))*(e^(i*-y*ln(n))/1^x+e^(i*-y*ln(n))/2^x+e^(i*-y*ln(n))/3^x-3*e^(i*-y*ln(n))/4^x+・・・) 1/(1-1/2^(x-1+i*y))←この項目を無視して (e^(i*-y*ln(n))/1^x-e^(i*-y*ln(n))/2^x+e^(i*-y*ln(n))/3^x-e^(i*-y*ln(n))/4^x+・・・)だけ0になればいい 1,1,1,1,-5,1,1,1,1,-5,1,1,1,1,-5でも0 1,1,1,1,1,-6,1,1,1,1,1,-6,でも0 1がn回連続して-(n+1)が１回出る関数をf(X)にする Σf(X)*1/n^x*e^(i*-yln(n))=0になるときx=1/2のみになればいい http://rio2016.5ch.net/test/read.cgi/math/1640355175/320

321: １３２人目の素数さん [sage] 2024/01/01(月) 00:52:54.27 ID:7BKpZ/zg ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*Σ(-1)^(n-1)*1/n^x*e^(i*-yln(n))=1/(1-1/2^(x-1+i*y))*(1/1^s-1/2^s+1/3^s-3/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*Σ(-2*cos((n)*2π/3))*1/n^x*e^(i*-yln(n))=1/(1-1/2^(x-1+i*y))*(1/1^s+1/2^s-2*1/3^s+3/4^s+1/5^s-2*1/6^s+1/7^s+3/8^s-2*1/9^s+・・・)=0 ζ(x+i*y)=1/(1-1/4^(x-1+i*y))*Σ((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^x*e^(i*-yln(n))=1/(1-1/4^(x-1+i*y))*(1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 F(m)=1がm-1回連続し、-mが１回でる関数(1,1,1,1,1,1,1,・・・,-m,1,1,1,1,1,・・・-m,1,1,1,1,・・・) ζ(x+i*y)=1/(1-1/m^(x-1+i*y))*ΣF(m)/n^x*e^(i*-yln(n))=0　←ΣF(m)/n^x*e^(i*-yln(n))が0になるかどうかだけ考える Σ(-1)^(n-1)*1/n^x*e^(i*-yln(n))＝Σ(-2*cos((n)*2π/3))*1/n^x*e^(i*-yln(n))＝Σ((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^x*e^(i*-yln(n)＝ΣF(m)/n^x*e^(i*-yln(n))になるタイミングがx=1/2のときだけ http://rio2016.5ch.net/test/read.cgi/math/1640355175/321

322: １３２人目の素数さん [sage] 2024/01/01(月) 01:14:02.39 ID:7BKpZ/zg ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*Σ(-1)^(n-1)*1/n^x*e^(i*-yln(n))=1/(1-1/2^(x-1+i*y))*(1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*Σ(-2*cos((n)*2π/3))*1/n^x*e^(i*-yln(n))=1/(1-1/2^(x-1+i*y))*(1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+・・・)=0 ζ(x+i*y)=1/(1-1/4^(x-1+i*y))*Σ((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^x*e^(i*-yln(n))=1/(1-1/4^(x-1+i*y))*(1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 F(m-1)=1がm-1回連続し、-(m-1)がm回目ごとにでる関数(1,1,1,1,1,1,1,・・・,-m,1,1,1,1,1,・・・-m,1,1,1,1,・・・) ζ(x+i*y)=1/(1-1/m^(x-1+i*y))*ΣF(m)/n^x*e^(i*-yln(n))=0　←ΣF(m)/n^x*e^(i*-yln(n))が0になるかどうかだけ考える Σ(-1)^(n-1)*1/n^x*e^(i*-yln(n))＝Σ(-2*cos((n)*2π/3))*1/n^x*e^(i*-yln(n))＝Σ((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^x*e^(i*-yln(n)＝ΣF(m)/n^x*e^(i*-yln(n))になるタイミングがx=1/2のときだけ] (1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0になるため Σ1/(2n-1)^s-Σ1/(2n)^s=0 (1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+・・・)=0になるため Σ1/(3n-2)^s+Σ1/(3n-1)^s-2*Σ1/(3n)^s=0 (1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0になるため Σ1/(4n-3)^s+Σ1/(4n-2)^s+Σ1/(4n-1)^s-3*Σ1/(4n)^s=0 (1/1^s+1/2^s+1/3^s+・・・+1/(m-1)^s-(m-1)/(m)^s+1/(m+1)^s+・・・+1/(2m-1)^s-(m-1)/(2m)^s+・・・)=0になるため Σ1/(mn-(m-1))^s+Σ1/(mn-(m-2))^s+Σ1/(mn-(m-3))^s+・・・+Σ1/(mn-1)^s-(m-1)*Σ1/(mn)^s=0 Σ1/(mn)^s=1/(m-1)*(Σ1/(mn-(m-1))^s+Σ1/(mn-(m-2))^s+Σ1/(mn-(m-3))^s+・・・+Σ1/(mn-1)^s)=0　←s=1/2+i*yのときのみ成り立つことを証明すればいいため Σ1/(mn-(m-1))^s+Σ1/(mn-(m-2))^s+Σ1/(mn-(m-3))^s+・・・+Σ1/(mn-1)^s=A*e^(i*B)としてx≠1/2のときA≠0を示せばいい http://rio2016.5ch.net/test/read.cgi/math/1640355175/322

323: １３２人目の素数さん [sage] 2024/01/01(月) 02:30:35.12 ID:7BKpZ/zg Σ1/(2n-1)^s-Σ1/(2n)^s=0 ← Σ1/(4n-2)^s＝Σ1/(4n)^s ↓に代入すると Σ1/(4n-3)^s+Σ1/(4n-2)^s+Σ1/(4n-1)^s-3*Σ1/(4n)^s=0 Σ1/(4n-2)^s＝1/2×(Σ1/(4n-3)^s+Σ1/(4n-1)^s) x＝1/2のときのみ成り立つことを示す http://rio2016.5ch.net/test/read.cgi/math/1640355175/323

324: １３２人目の素数さん [sage] 2024/01/01(月) 11:26:45.50 ID:7BKpZ/zg ζ(-1+i*0)=1+1/2^(-1+i*0)+1/3^(-1+i*0)+1/4^(-1+i*0)+5^(1-(1/2+i*0))/(-1+i*0-1)+5^(-(-1+i*0))/2 ←0 +1/6*1/2!*5^(1-(-1+i*0)-2)*(-1+i*0) ←-1/12 -1/30*1/4!*5^(1-(-1+i*0)-4)*(-1+i*0)*(-1+i*0+1)*(-1+i*0+2) ←0 +1/42*1/6!*5^(1-(-1+i*0)-6)*(-1+i*0)*(-1+i*0+1)*(-1+i*0+2)*(-1+i*0+3)*(-1+i*0+4) ←0 +1/R2k ζ(-1+i*0)=Σn=1+2+3+4+5+・・・=-1/12 http://rio2016.5ch.net/test/read.cgi/math/1640355175/324

325: １３２人目の素数さん [sage] 2024/01/01(月) 12:05:19.67 ID:7BKpZ/zg Σ1/(3n-2)^s+Σ1/(3n-1)^s-2*Σ1/(3n)^s=0 Σ1/(6n-4)^s+Σ1/(6n-2)^s-2*Σ1/(6n)^s=0 Σ1/(6n-5)^s+Σ1/(6n-4)^s+*Σ1/(6n-3)^s+Σ1/(6n-2)^s+Σ1/(6n-1)^s-5*Σ1/(6n)^s=0 Σ1/(6n-5)^s+Σ1/(6n-3)^s+Σ1/(6n-1)^s-7*Σ1/(6n)^s=0 ←これもs=1/2+i*yのときのみ満たす http://rio2016.5ch.net/test/read.cgi/math/1640355175/325

326: １３２人目の素数さん [sage] 2024/01/01(月) 14:57:41.26 ID:7BKpZ/zg Σ1/(n)^s =1/(1-1/(2)^(s-1))*Σ(-1)^(n-1)/(n)^s Σ1/(2n)^s =1/(1-1/(2)^(s-1))*Σ(-1)^(n-1)/(2n)^s Σ1/(2n-1)^s =1/(1-1/(2)^(s-1))*(Σ(-1)^(n-1)/(n)^s-Σ(-1)^(n-1)/(2n)^s) Σ1/(2n-1)^s =(1/(1-1/2^(s-1))*(Σ(n=1〜∞) (-1)^(n-1)/(n)^(s)-Σ(n=1〜∞) (-1)^(n-1)/(2n)^(s))) Σ1/(2n-1)^s =1+1/√3+1/√5+1/√7+・・・≒-0.42 http://rio2016.5ch.net/test/read.cgi/math/1640355175/326

327: １３２人目の素数さん [sage] 2024/01/01(月) 15:15:03.85 ID:7BKpZ/zg (1-1/2^(s-1))*Σ(n=1〜∞) 1/(3n)^(s)=(1-1/2^(s-1))*Σ(n=1〜∞) 1/(3n)^(s) =Σ(n=1〜∞) 1/(3n)^(s)-2*Σ(n=1〜∞) 1/(6n)^(s)=Σ(n=1〜∞) (-1)^(n-1)/(3n)^(s) Σ(n=1〜∞) 1/(3n)^(s)=1/(1-1/2^(s-1))*Σ(n=1〜∞) (-1)^(n-1)/(3n)^(s) Σ(n=1〜∞) 1/(mn)^(s)=1/(1-1/2^(s-1))*Σ(n=1〜∞) (-1)^(n-1)/(mn)^(s)=ζ(s)/m^s　←合成数mnのみのゼータ関数は収束する http://rio2016.5ch.net/test/read.cgi/math/1640355175/327

328: １３２人目の素数さん [sage] 2024/01/01(月) 15:29:41.02 ID:7BKpZ/zg Σ1/(3n-2)^s+Σ1/(3n-1)^s-2*Σ1/(3n)^s=0 Σ1/(n)^s-Σ1/(3n)^s=Σ1/(3n-2)^s+Σ1/(3n-1)^s Σ(n=1〜∞) 1/(3n-2)^(s)+Σ(n=1〜∞) 1/(3n-1)^(s)=1/(1-1/2^(s-1))*(Σ(n=1〜∞) (-1)^(n-1)/(n)^(s)-Σ(n=1〜∞) (-1)^(n-1)/(3n)^(s)) 1/(1-1/2^(s-1))*(Σ(n=1〜∞) (-1)^(n-1)/(n)^(s)-3*Σ(n=1〜∞) (-1)^(n-1)/(3n)^(s))=0　 (Σ(n=1〜∞) (-1)^(n-1)/(n)^(s)-3*Σ(n=1〜∞) (-1)^(n-1)/(3n)^(s))=0　←s=1/2+i*yのときのみ満たす http://rio2016.5ch.net/test/read.cgi/math/1640355175/328

329: １３２人目の素数さん [sage] 2024/01/01(月) 15:34:52.20 ID:7BKpZ/zg (Σ(n=1〜∞) (-1)^(n-1)/(n)^(1/2+i*14.1347)) - 3*(Σ(n=1〜∞) (-1)^(n-1)/(3n)^(1/2+i*14.1347))=6.82869×10^-6 - 0.000128656 i ←ほぼ０になる http://rio2016.5ch.net/test/read.cgi/math/1640355175/329

330: １３２人目の素数さん [sage] 2024/01/01(月) 15:40:54.11 ID:7BKpZ/zg (Σ(n=1〜∞) (-1)^(n-1)/(n)^(1/2+i*y)) - m*(Σ(n=1〜∞) (-1)^(n-1)/(mn)^(1/2+i*y)) ←1/2+i*yがゼロ点のときmに整数を入れるとほぼ0になる 1/(1-1/2^(s-1))*Σ(n=1〜∞) (-1)^(n-1)/(mn)^(s) ←1/(1-1/2^(s-1))は値を補正する項なもののゼロ点の時無視できるため (Σ(n=1〜∞) (-1)^(n-1)/(n)^(1/2+i*14.1347)) - 4*(Σ(n=1〜∞) (-1)^(n-1)/(4n)^(1/2+i*14.1347))＝0.0000654354 + 0.0000182958 i (Σ(n=1〜∞) (-1)^(n-1)/(n)^(1/2+i*14.1347)) - 5*(Σ(n=1〜∞) (-1)^(n-1)/(5n)^(1/2+i*14.1347))=-0.0000801562 - 0.000119567 i (Σ(n=1〜∞) (-1)^(n-1)/(n)^(1/2+i*14.1347)) - 125*(Σ(n=1〜∞) (-1)^(n-1)/(125n)^(1/2+i*14.1347))=-0.000385263 + 0.000318602 i http://rio2016.5ch.net/test/read.cgi/math/1640355175/330

331: １３２人目の素数さん [sage] 2024/01/01(月) 20:57:48.03 ID:7BKpZ/zg (Σ(n=1〜∞) (-1)^(n-1)/(n)^(1/2+i*14.1347251417346937904572519835624702707842)) - 10000*(Σ(n=1〜∞) (-1)^(n-1)/(10000n)^(1/2+i*14.1347251417346937904572519835624702707842)) =-0.×10^-38 + 0.×10^-38 i ←ゼロ点の精度が上がるほど０に近づく http://rio2016.5ch.net/test/read.cgi/math/1640355175/331

332: １３２人目の素数さん [sage] 2024/01/01(月) 22:23:45.62 ID:7BKpZ/zg ζ(x+i*y)=1/(1-1/2^(x-1+i*y))*Σ(-1)^(n-1)*1/n^s)=1/(1-1/2^(x-1+i*y))*(1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 ζ(x+i*y)=1/(1-1/3^(x-1+i*y))*Σ(-2*cos((n)*2π/3))*1/n^s)=1/(1-1/3^(x-1+i*y))*(1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+・・・)=0 ζ(x+i*y)=1/(1-1/4^(x-1+i*y))*Σ((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^s)=1/(1-1/4^(x-1+i*y))*(1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 F(m-1)=1がm-1回連続し、-(m-1)がm回目ごとにでる関数(1,1,1,1,1,1,1,・・・,-m,1,1,1,1,1,・・・-m,1,1,1,1,・・・) (Σ(n=1〜∞)(-1)^(n-1)*1/n^s))=(1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 (Σ(n=1〜∞)(-2*cos((n)*2π/3))*1/n^s))=(1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+・・・)=0 (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^s))=(1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・)=0 (Σ(n=1〜∞)((F(m-1))*1/n^s))=(1/1^s+1/2^s+1/3^s+1/4^s+・・・+1/(m-1)^s-(m-1)/m^s+1/(m+1)^s+1/(m+2)^s+・・・)=0 m-1の値ごとに分子の数が異なるものの、ゼロ点のときすべて0に収束する (Σ(n=1〜∞)(-1)^(n-1)*1/n^(0.5 +i*14.1347251417346937904572519835624702707842571))=0=(1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・) (Σ(n=1〜∞)(-2*cos((n)*2π/3))*1/n^(0.5 +i*14.1347251417346937904572519835624702707842571))=0=(1/1^s+1/2^s-2/3^s+1/4^s+1/5^s-2/6^s+1/7^s+1/8^s-2/9^s+・・・) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(0.5 +i*14.1347251417346937904572519835624702707842571))=0=(1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+1/7^s-3/8^s+1/9^s+・・・) (Σ(n=1〜∞)((F(m-1))*1/n^(0.5 +i*14.1347251417346937904572519835624702707842571))=0=(1/1^s+1/2^s+1/3^s+1/4^s+・・・+1/(m-1)^s-(m-1)/m^s+1/(m+1)^s+1/(m+2)^s+・・・) http://rio2016.5ch.net/test/read.cgi/math/1640355175/332

333: １３２人目の素数さん [sage] 2024/01/01(月) 22:43:59.96 ID:7BKpZ/zg (Σ(n=1〜∞)(-1)^(n-1)*1/n^(0.5 +i*14.1347251417346937904572519835624702707842571))=0=(1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・) (Σ(n=1〜∞)(-1)^(n-1)*1/n^(0.5 +i*14.1347251417346937904572519835624702707842571))==(Σ(n=1〜∞)1/(2n-1)^s)-(Σ(n=1〜∞)1/(2n)^s) (1/1^s-1/2^s+1/3^s-1/4^s+1/5^s-1/6^s+1/7^s-3/8^s+1/9^s+・・・) =(Σ(n=1〜∞)1/(n)^s)-2*(Σ(n=1〜∞)1/(2n)^s)=1/(1-1/2^(s-1))*((Σ(n=1〜∞)(-1)^(n-1)/(n)^s)-2*(Σ(n=1〜∞)(-1)^(n-1)/(2n)^s)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/333

334: １３２人目の素数さん [sage] 2024/01/01(月) 23:02:03.66 ID:7BKpZ/zg ｍに任意の整数を入れ、sがゼロ点の時 (Σ(n=1〜∞)(-1)^(n-1)/(n)^s)-m*(Σ(n=1〜∞)(-1)^(n-1)/(mn)^s)=0になる←(1/1^s+1/2^s+1/3^s+1/4^s+・・・+1/(m-1)^s-(m-1)/m^s+1/(m+1)^s+1/(m+2)^s+・・・)を正規化 (Σ(n=1〜∞)(-1)^(n-1)/(n)^s)-(Σ(n=1〜∞)(-1)^(n-1)/(m^(1-1/s)*n)^s) m^(1-1/s)*nのmとn(次数1)の次数が等しくなるためにはs=1/2+i*yである必要がある (1-1/(1/2+i*y))=(2 y + i)/(2 y - i) ←|(2 y + i)/(2 y - i)|=1のため次数1 http://rio2016.5ch.net/test/read.cgi/math/1640355175/334

335: １３２人目の素数さん [sage] 2024/01/01(月) 23:53:19.63 ID:7BKpZ/zg zetazero(k)=k番目の非自明なゼロ点 m、ｋにどの整数を入れても0になる (Σ(n=1〜∞)(-1)^(n-1)/(n)^zetazero(k))-(Σ(n=1〜∞)(-1)^(n-1)/(m^(1-1/zetazero(k))*n)^zetazero(k))=0 (Σ(n=1〜∞)(-1)^(n-1)/(n)^zetazero(1))-(Σ(n=1〜∞)(-1)^(n-1)/(2^(1-1/zetazero(1))*n)^zetazero(1))=0 (Σ(n=1〜∞)(-1)^(n-1)/(n)^zetazero(2))-(Σ(n=1〜∞)(-1)^(n-1)/(31^(1-1/zetazero(2))*n)^zetazero(2))=0 (Σ(n=1〜∞)(-1)^(n-1)/(n)^zetazero(12))-(Σ(n=1〜∞)(-1)^(n-1)/(1013^(1-1/zetazero(12))*n)^zetazero(12))=0 (Σ(n=1〜∞)(-1)^(n-1)/(n)^(1/10+zetazero(12)))-(Σ(n=1〜∞)(-1)^(n-1)/(1013^(1-1/(1/10+zetazero(12)))*n)^(1/10+zetazero(12)))≒-4.49761 + 2.32023 i　←1/2からずれるとゼロ点にならない http://rio2016.5ch.net/test/read.cgi/math/1640355175/335

336: １３２人目の素数さん [sage] 2024/01/02(火) 00:33:09.00 ID:xRdffKCJ x+i*y=非自明なゼロ点 mにどの整数を入れても0になる (Σ(n=1〜∞)(-1)^(n-1)/(m^((x-1+i*y)/(x+i*y))*n)^(x+i*y))=0 Σ(n=1〜∞)(-1)^(n-1)/(m^((s-1)/(s))*1)^(s)=1/(m^((s-1)/(s))*1)^(s)-1/(m^((s-1)/(s))*2)^(s)+1/(m^((s-1)/(s))*3)^(s)-1/(m^((s-1)/(s))*4)^(s)+・・・ m^((s-1)/(s))=e^(ln(m)*(s-1)/(s)) ←|(s-1)/(s)|がx≠1/2のときyにより変動してしまうx=1/2のときy≠i/2を除き１で一定する (Σ(n=1〜∞)(-1)^(n-1)/(m^((x-1+i*y)/(x+i*y))*n)^(x+i*y))の分母の長さが変動してしまうため0に収束しなくなる http://rio2016.5ch.net/test/read.cgi/math/1640355175/336

337: １３２人目の素数さん [sage] 2024/01/02(火) 00:36:21.02 ID:xRdffKCJ Σ1/n^s=1/1^s+1/2^s+1/3^s+1/4^s+・・・←x≠1/2のときyが変動することでxに影響を与える可能性がある（分母の大きさが変動する可能性がある） http://rio2016.5ch.net/test/read.cgi/math/1640355175/337

338: １３２人目の素数さん [sage] 2024/01/03(水) 00:33:11.16 ID:mP/SslTt (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(s)) =1/(1-1/2^(s-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^s))-(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^s))) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(s))=1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+・・・ (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/2))=1.46=1/1^(1/2)+1/2^(1/2)+1/3^(1/2)-3/4^(1/2)+1/5^(1/2)+1/6^(1/2)+・・・ 1/(1-1/2^(1/2-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/2))))=1.46 (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/3))=1.48=1/1^(1/3)+1/2^(1/3)+1/3^(1/3)-3/4^(1/3)+1/5^(1/3)+1/6^(1/3)+・・・ 1/(1-1/2^(1/2-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/2))))=1.47935388・・・ http://rio2016.5ch.net/test/read.cgi/math/1640355175/338

339: １３２人目の素数さん [sage] 2024/01/03(水) 00:42:04.36 ID:mP/SslTt (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(s)) =1/(1-1/2^(s-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^s))-(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^s))) =-Li_(s)(-i) - Li_(s)(i) - (2^(1-s) - 1) ζ(s) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(s))=1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+・・・ (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/2))=1.46=1/1^(1/2)+1/2^(1/2)+1/3^(1/2)-3/4^(1/2)+1/5^(1/2)+1/6^(1/2)+・・・ 1/(1-1/2^(1/2-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/2))))=1.46 =-Li_(1/2)(-i) - Li_(1/2)(i) - (2^(1-1/2) - 1) ζ(1/2) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/3))=1.48=1/1^(1/3)+1/2^(1/3)+1/3^(1/3)-3/4^(1/3)+1/5^(1/3)+1/6^(1/3)+・・・ 1/(1-1/2^(1/3-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/3)))-(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/3)))=1.47935388・・・ =-Li_(1/3)(-i) - Li_(1/3)(i) - (2^(1-1/3) - 1) ζ(1/3) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/4))=1.487=1/1^(1/4)+1/2^(1/4)+1/3^(1/4)-3/4^(1/4)+1/5^(1/4)+1/6^(1/4)+・・・ 1/(1-1/2^(1/4-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/4))-4*(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/4)))=1.487020296・・・ =-Li_(1/4)(-i) - Li_(1/4)(i) - (2^(1-1/4) - 1) ζ(1/4) http://rio2016.5ch.net/test/read.cgi/math/1640355175/339

340: １３２人目の素数さん [sage] 2024/01/03(水) 00:46:22.06 ID:mP/SslTt (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(s)) =1/(1-1/2^(s-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^s))-4*(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^s))) =-Li_(s)(-i) - Li_(s)(i) - (2^(1-s) - 1) ζ(s) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(s))=1/1^s+1/2^s+1/3^s-3/4^s+1/5^s+1/6^s+・・・ (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/2))=1.46=1/1^(1/2)+1/2^(1/2)+1/3^(1/2)-3/4^(1/2)+1/5^(1/2)+1/6^(1/2)+・・・ 1/(1-1/2^(1/2-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-4*(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/2))))=1.46 =-Li_(1/2)(-i) - Li_(1/2)(i) - (2^(1-1/2) - 1) ζ(1/2) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/3))=1.48=1/1^(1/3)+1/2^(1/3)+1/3^(1/3)-3/4^(1/3)+1/5^(1/3)+1/6^(1/3)+・・・ 1/(1-1/2^(1/3-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/3)))-4*(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/3)))=1.47935388・・・ =-Li_(1/3)(-i) - Li_(1/3)(i) - (2^(1-1/3) - 1) ζ(1/3) (Σ(n=1〜∞)((2*cos((n+2)*π/2))+(-1)^(n+1))*1/n^(1/4))=1.487=1/1^(1/4)+1/2^(1/4)+1/3^(1/4)-3/4^(1/4)+1/5^(1/4)+1/6^(1/4)+・・・ 1/(1-1/2^(1/4-1))*((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/4))-4*(Σ(n=1〜∞)(-1)^(n-1)*1/(4n)^(1/4)))=1.487020296・・・ =-Li_(1/4)(-i) - Li_(1/4)(i) - (2^(1-1/4) - 1) ζ(1/4) http://rio2016.5ch.net/test/read.cgi/math/1640355175/340

341: １３２人目の素数さん [sage] 2024/01/03(水) 00:55:45.53 ID:mP/SslTt F(m-1)=1がm-1回連続し、-(m-1)がm回目ごとにでる関数(1,1,1,1,1,1,1,・・・,-(m-1),1,1,1,1,1,・・・-(m-1),1,1,1,1,・・・) m=5のとき1,1,1,1,-4のとき (Σ(n=1〜∞)(F(4))*1/n^(s)) =1/(1-1/2^(s-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^s))-5*(Σ(n=1〜∞)(-1)^(n-1)*1/(5n)^s)) (Σ(n=1〜∞)(F(4))*1/n^(1/2))=1.805=1/1^(1/2)+1/2^(1/2)+1/3^(1/2)+1/4^(1/2)-4/5^(1/2)+1/6^(1/2)+・・・ =1/(1-1/2^(1/2-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-5*(Σ(n=1〜∞)(-1)^(n-1)*1/(5n)^(1/2)))=1.805097444・・・ (Σ(n=1〜∞)(F(m-1))*1/n^(1/2))=1/(1-1/2^(1/2-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-m*(Σ(n=1〜∞)(-1)^(n-1)*1/(mn)^(1/2))) (Σ(n=1〜∞)(F(m-1))*1/n^(s))=1/(1-1/2^(s-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(s)))-m*(Σ(n=1〜∞)(-1)^(n-1)*1/(mn)^(s))) http://rio2016.5ch.net/test/read.cgi/math/1640355175/341

342: １３２人目の素数さん [sage] 2024/01/03(水) 01:01:34.83 ID:mP/SslTt F(2)=(-1)^(n-1)=1,-1,1-1,1,-1,・・・ F(3)=(-2*cos((n)*2π/3))=1,1,-2,1,1-2,1,1-2,・・・ F(4)=((2*cos((n+2)*π/2))+(-1)^(n+1))=1,1,1,-3,1,1,1,-3,1,1・・・ F(m-1)=1がm-1回連続し、-(m-1)がm回目ごとにでる関数(1,1,1,1,1,1,1,・・・,-(m-1),1,1,1,1,1,・・・-(m-1),1,1,1,1,・・・) (Σ(n=1〜∞)(F(m-1))*1/n^(s))=1/(1-1/2^(s-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(s)))-m*(Σ(n=1〜∞)(-1)^(n-1)*1/(mn)^(s))) http://rio2016.5ch.net/test/read.cgi/math/1640355175/342

343: １３２人目の素数さん [sage] 2024/01/03(水) 01:14:29.37 ID:mP/SslTt (Σ(n=1〜∞)(F(m-1))*1/n^(s))=1/(1-1/2^(s-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(s)))-m*(Σ(n=1〜∞)(-1)^(n-1)*1/(mn)^(s))) =1/(1-1/m^(s-1))*(((Σ(n=1〜∞)F(m-1)*1/n^(s)))-m*(Σ(n=1〜∞)F(m-1)*1/(mn)^(s))) 1/(1-1/2^(1/2-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-5*(Σ(n=1〜∞)(-1)^(n-1)*1/(5n)^(1/2))) =1/(1-1/3^(1/2-1))*(((Σ(n=1〜∞)(-2*cos((n)*2π/3))*1/n^(1/2)))-5*(Σ(n=1〜∞)(-2*cos((n)*2π/3))*1/(5n)^(1/2))) =(sqrt(5) (sqrt(2) - 1) ζ(1/2) - (sqrt(2) - 1) ζ(1/2))/(1 - sqrt(2))≈1.8050974441369647866219120691103300362558013984562195806889193118468626278195508722313989372865636 =(-Li_(1/2)(-(-1)^(1/3)) - Li_(1/2)((-1)^(2/3)) + sqrt(5) (Li_(1/2)(-(-1)^(1/3)) + Li_(1/2)((-1)^(2/3))))/(1 - sqrt(3))≈1.805097444136964786621912069110330036255801398456219580688919311846862627819550872231398937286564 + 0.×10^-96 i http://rio2016.5ch.net/test/read.cgi/math/1640355175/343

344: １３２人目の素数さん [sage] 2024/01/03(水) 01:25:56.12 ID:mP/SslTt F(0)=0=0,0,0,0,0,0,0,0,・・・ F(1)=(-1)^(n-1)=1,-1,1-1,1,-1,・・・ F(2)=(-2*cos((n)*2π/3))=1,1,-2,1,1-2,1,1-2,・・・ F(3)=((2*cos((n+2)*π/2))+(-1)^(n+1))=1,1,1,-3,1,1,1,-3,1,1・・・ F(m-1)=1がm-1回連続し、-(m-1)がm回目ごとにでる関数(1,1,1,1,1,1,1,・・・,-(m-1),1,1,1,1,1,・・・-(m-1),1,1,1,1,・・・) (Σ(n=1〜∞)(F(m-1))*1/n^(s))=1/(1-1/2^(s-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(s)))-m*(Σ(n=1〜∞)(-1)^(n-1)*1/(mn)^(s))) =1/(1-1/m^(s-1))*(((Σ(n=1〜∞)F(m-1)*1/n^(s)))-m*(Σ(n=1〜∞)F(m-1)*1/(mn)^(s))) m=1のとき (Σ(n=1〜∞)(F(0))*1/n^(s))=1/(1-1/2^(s-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(s)))-1*(Σ(n=1〜∞)(-1)^(n-1)*1/(1*n)^(s)))=0 =1/(1-1/1^(s-1))*(((Σ(n=1〜∞)F(0)*1/n^(s)))-1*(Σ(n=1〜∞)F(0)*1/(1*n)^(s)))=0 http://rio2016.5ch.net/test/read.cgi/math/1640355175/344

345: １３２人目の素数さん [sage] 2024/01/03(水) 23:43:59.78 ID:mP/SslTt a^n+b^n≠c^n (a,b,c,は互いに素） n>=３以上の時x1≠x2、x2≠x3、x1≠x3のいづれかになる x1=x2=x3にならない（x1=x2=x3=0を除く)　 e^(i*2π*(x1/(b*c)^n+x2/(a*c)^n))=e^(i*2π*(x3/(a*b)^n)) e^(i*2π*(x1/(3*5)^3+x2/(2*5)^3))=e^(i*2π*(x3/(2*3)^3)) x1 = -8, x2 = 7, x3 = 1 x1 = 0, x2 = 0, x3 = 0 x1 = 8, x2 = -7, x3 = -1 e^(i*2π*(8/(3*5)^3-7/(2*5)^3))=e^(i*2π*(-1/(2*3)^3))=e^(-(i π)/108) e^(i*2π*(x1/(5*7)^3+x2/(2*7)^3))=e^(i*2π*(x3/(2*5)^3)) x1 = -8, x2 = 6, x3 = 2 x1 = -4, x2 = 3, x3 = 1 x1 = 0, x2 = 0, x3 = 0 x1 = 4, x2 = -3, x3 = -1 x1 = 8, x2 = -6, x3 = -2 http://rio2016.5ch.net/test/read.cgi/math/1640355175/345

346: １３２人目の素数さん [sage] 2024/01/04(木) 00:06:08.79 ID:HQkE/6B8 e^(i*2π*(a/(2)^3+b/(3)^3+c/(5)^3))=e^(i*2π*(x3/(2*3*5)^3)) 1>cos(2π*(a/(2)^3+b/(3)^3+c/(5)^3))>cos(2π*(7^2/(2*3*5)^3))のとき cos(2π*(7^2/(2*3*5)^3))>cos(2π*(a/(2)^3+b/(3)^3+c/(5)^3))>cos(2π*(7*11/(2*3*5)^3)) x3=素数　a≠2,b≠3,c≠5 e^(i*2π*(x1/(3*5^2)^3+x2/(2*5^2)^3))=e^(i*2π*(x3/(2*3*5)^3)) x1 = 8, x2 = -7, x3 = -1　 e^(i*2π*(8/(3*5^2)^3-7/(2*5^2)^3))=e^(i*2π*(1/(2*3*5)^3)) e^(i*2π*(9/(3*5^2)^3-7/(2*5^2)^3))=e^(i*2π*(13/(2*3*5)^3)) e^(i*2π*(8/(3*5^2)^3-5/(2*5^2)^3))=e^(i*2π*(-71/(2*3*5)^3)) ←ずらすのが容易になる http://rio2016.5ch.net/test/read.cgi/math/1640355175/346

347: １３２人目の素数さん [sage] 2024/01/04(木) 00:56:35.97 ID:HQkE/6B8 a^n+b^n≠c^n (a,b,c,は互いに素） n>=３以上の時x1≠x2、x2≠x3、x1≠x3のいづれかになる x1=x2=x3にならない（x1=x2=x3=0を除く)　 e^(i*2π*(x1/(b*c)^n+x2/(a*c)^n))=e^(i*2π*(x3/(a*b)^n)) ←が成り立つとするx1≠x2≠x3 x3 = -(i (a b)^n (log(exp(2 i π (a c)^(-n) (b c)^(-n) (x1 (a c)^n + x2 (b c)^n))) + 2 i π c_1))/(2 π) e^(i*2π*(x1/(b*c)^n+x2/(a*c)^n+(x1-x3)/(a*b)^n))=e^(i*2π*(x3/(a*b)^n+(x1-x3)/(a*b)^n)))=e^(i*2π*(x1/(a*b)^n)) x2/(a*c)^n+(x1-x3)/(a*b)^n≠x1/(a*c)^nであることを示せばいい x2/(a*c)^n+(x1-(-(i (a b)^n (log(exp(2 i π (a c)^(-n) (b c)^(-n) (x1 (a c)^n + x2 (b c)^n))) + 2 i π c_1))/(2 π)))/(a*b)^n=x1/(a*c)^n x1 (a b)^(-n) - x1 (b c)^(-n) - c_1 = x1 (a c)^(-n)　 (a b)^n (a c)^n Subscript["c", 1] == (a c)^n x1 + ((a b)^n (-2 Pi x1 + 2 Pi x2 + I (a c)^n Log[E^(((2 I) Pi x1)/(b c)^n + ((2 I) Pi x2)/(a c)^n)]))/(2 Pi)←n>=3以上のときc1≠0のため x2/(a*c)^n+(x1-x3)/(a*b)^n≠x1/(a*c)^nになるためa^n+b^n≠c^n http://rio2016.5ch.net/test/read.cgi/math/1640355175/347

348: １３２人目の素数さん [sage] 2024/01/04(木) 01:13:55.61 ID:HQkE/6B8 (3 4)^2 (3 5)^2 *C = (3 5)^2 x1 + ((3 4)^2 (-2 Pi x1 + 2 Pi x2 + I (3 5)^2 Log[E^(((2 I) Pi x1)/(4 5)^2 + ((2 I) Pi x2)/(3 5)^2)]))/(2 Pi) 32400 C = (16200 i log(e^((i π x1)/200 + (2 i π x2)/225)))/π + 81 x1 + 144 x2=0 ←n=2 a=3,b=4,c=5のときC=0のため3^2+4^2＝5^2 (3 4)^3 (3 5)^3 *C = (3 5)^3 x1 + ((3 4)^3 (-2 Pi x1 + 2 Pi x2 + I (3 5)^3 Log[E^(((2 I) Pi x1)/(4 5)^3 + ((2 I) Pi x2)/(3 5)^3)]))/(2 Pi) 5832000 C - 918 x1 = 0　←n=3 a=3,b=4,c=5のときC≠0のため3^3+4^3≠5^3 http://rio2016.5ch.net/test/read.cgi/math/1640355175/348

349: １３２人目の素数さん [sage] 2024/01/04(木) 01:42:18.75 ID:HQkE/6B8 n>=3のときC＝０を満たす、x1=x2、a,b,c,の整数が存在しない C＝(a c)^n x1 + ((a b)^n (-2 Pi x1 + 2 Pi x2 + I (a c)^n Log[E^(((2 I) Pi x1)/(b c)^n + ((2 I) Pi x2)/(a c)^n)]))/(2 Pi) ＝((a c)^n (2 π x1 + i (a b)^n log(e^(2 i π x1 ((a c)^(-n) + (b c)^(-n))))))/(2 π) ＝(2 π + i (a b)^n log(e^(2 i π ((a c)^(-n) + (b c)^(-n)))))　←が０になればa^n+b^n=c^nを満たす　x1=1にする (2 π + i (3 4)^2 log(e^(2 i π ((3 5)^(-2) + (4 5)^(-2)))))＝０　のためn=2 のときa=3 b=4 c=5 (2 π + i (3 4)^3 log(e^(2 i π ((3 5)^(-3) + (4 5)^(-3)))))=(68 π)/125のため3^3+4^3≠5^3 http://rio2016.5ch.net/test/read.cgi/math/1640355175/349

350: １３２人目の素数さん [sage] 2024/01/04(木) 01:46:40.11 ID:HQkE/6B8 f(n)=(2 π + i (a b)^n log(e^(2 i π ((a c)^(-n) + (b c)^(-n))))) f(n)のnが３より大きいときf(n)=0をみたすa,b,cの格子点を通らないため（同時に整数にならないため） n>=3のときa^n+b^n≠c^n http://rio2016.5ch.net/test/read.cgi/math/1640355175/350

351: １３２人目の素数さん [sage] 2024/01/05(金) 22:47:47.72 ID:J9agiAXK 1/(1-1/2^(1/2-1))*1/(1-1/3^(1/2-1))*(((Σ(n=1〜∞)(-2*cos((n)*2π/3))*1/n^(1/2)))-2*(Σ(n=1〜∞)(-2*cos((n)*2π/3))*1/(2n)^(1/2)))=-1.46 (-Li_(1/2)(-(-1)^(1/3)) - Li_(1/2)((-1)^(2/3)) + sqrt(2) (Li_(1/2)(-(-1)^(1/3)) + Li_(1/2)((-1)^(2/3))))/((1 - sqrt(2)) (1 - sqrt(3)))≈-1.46035 + 0 i 1/(1-1/2^(1/2-1))*1/(1-1/3^(1/2-1))*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-3*(Σ(n=1〜∞)(-1)^(n-1)*1/(3n)^(1/2)))=-1.46 (sqrt(3) (sqrt(2) - 1) ζ(1/2) - (sqrt(2) - 1) ζ(1/2))/((1 - sqrt(2)) (1 - sqrt(3)))≈-1.46035 1/(1-1/2^(1/2-1))^2*(((Σ(n=1〜∞)(-1)^(n-1)*1/n^(1/2)))-2*(Σ(n=1〜∞)(-1)^(n-1)*1/(2n)^(1/2)))=-1.46 (-(sqrt(2) - 2) ζ(1/2) - (sqrt(2) - 1) ζ(1/2))/(1 - sqrt(2))^2≈-1.46035 http://rio2016.5ch.net/test/read.cgi/math/1640355175/351

352: １３２人目の素数さん [sage] 2024/01/06(土) 01:31:00.08 ID:MvCtGzfL -((PolyLog[1/2, -(-1)^(1/3)] + PolyLog[1/2, (-1)^(2/3)]))/( (1 - Sqrt[3])) -((PolyLog[1/2, -(-1)^(1/3)] + PolyLog[1/2, (-1)^(2/3)]))/( (1 - Sqrt[3]))=1/( (1 - Sqrt[3]))*(∑(n=1〜∞)-(e^(n*i*4π/3)+e^(n*i*2π/3))/n^(1/2))=-1.46 -((PolyLog[-1, -(-1)^(1/3)] + PolyLog[-1, (-1)^(2/3)]))/( (1 -1/3^(-1-1)))=1/( (1 -1/3^(-1-1)))*(∑(n=1〜∞)-(e^(n*i*4π/3)+e^(n*i*2π/3))/n^(-1))=-1/12 + 0 i x^2+x+1=0 x=cos(2pi*n/3)+i*sin(2pi*n/3) x^4+x^3+x^2+x+1=0 x=cos(2pi*n/5)+i*sin(2pi*n/5) x^6+x^5+x^4+x^3+x^2+x+1=0 x=cos(2pi*n/7)+i*sin(2pi*n/7) http://rio2016.5ch.net/test/read.cgi/math/1640355175/352

353: １３２人目の素数さん [sage] 2024/01/06(土) 17:33:59.67 ID:MvCtGzfL e^(iπ)+1=0 e^(i*4π/3)+e^(i*2π/3)+1=0 e^(i*6π/4)+e^(i*4π/4)+e^(i*2π/4)+1=0 e^(i*8π/5)+e^(i*6π/5)+e^(i*4π/5)+e^(i*2π/5)+1=0 e^(iπ)=Σ(k=1〜n-1)e^(i*2π*k/n) (1<=k<=n-1) e^(iπ)=Σ(k=1〜2*3*5-1)e^(i*2π*k/(2*3*5)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/353

354: １３２人目の素数さん [sage] 2024/01/06(土) 20:51:12.58 ID:MvCtGzfL 1,2,3,4,5,6, 1,5 2,3,4,6 e^(i2π)=e^(i*2π*1/(2*3))+e^(i*2π*5/(2*3)) 2,3,4,6 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30 1,7,11,13,17,19,23,29 2,3,4,5,6,8,9,10,12,14,15,16,18,20,21,22,24,25,26,27,28,30, e^(iπ)=e^(i*2π*1/(2*3*5))+e^(i*2π*7/(2*3*5))+e^(i*2π*11/(2*3*5))+e^(i*2π*13/(2*3*5))+e^(i*2π*17/(2*3*5))+e^(i*2π*19/(2*3*5))+e^(i*2π*23/(2*3*5))+e^(i*2π*29/(2*3*5)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/354

355: １３２人目の素数さん [sage] 2024/01/06(土) 21:01:35.48 ID:MvCtGzfL 2^2*3*5 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30 31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60 0=e^(i*2π*1/(4*3*5))+e^(i*2π*7/(4*3*5))+e^(i*2π*11/(4*3*5))+e^(i*2π*13/(4*3*5))+e^(i*2π*17/(4*3*5))+e^(i*2π*19/(4*3*5))+e^(i*2π*23/(4*3*5))+e^(i*2π*29/(4*3*5)) ←5.33i +e^(i*2π*31/(4*3*5))+e^(i*2π*37/(4*3*5))+e^(i*2π*41/(4*3*5))+e^(i*2π*43/(4*3*5))+e^(i*2π*47/(4*3*5))+e^(i*2π*49/(4*3*5))+e^(i*2π*53/(4*3*5))+e^(i*2π*59/(4*3*5)) ←-5.33i (2^2*3*5)未満の2,3,5,を素因数に持たない数をXとおく Xに若い数から順に入れて足すと0になる 0=Σe^(i*2pi*(X/(2^2*3*5)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/355

356: １３２人目の素数さん [sage] 2024/01/06(土) 21:27:13.46 ID:MvCtGzfL (2^a*3^b*5^c)未満の2,3,5を素因数に持たない数をXとおく Xに若い数から順に入れて足すと0になる 0=Σe^(i*2pi*(X/(2^a*3^b*5^c)) a=3 b=1 c=1のとき ０になる 0=e^(i*2π*1/(8*3*5))+e^(i*2π*7/(8*3*5))+e^(i*2π*11/(8*3*5))+e^(i*2π*13/(8*3*5))+e^(i*2π*17/(8*3*5))+e^(i*2π*19/(8*3*5))+e^(i*2π*23/(8*3*5))+e^(i*2π*29/(8*3*5)) ←（5.132689822507279173528306376440040126225812904101791511905651606... + 5.132689822507279173528306376440040126225812904101791511905651606... i) +e^(i*2π*31/(8*3*5))+e^(i*2π*37/(8*3*5))+e^(i*2π*41/(8*3*5))+e^(i*2π*43/(8*3*5))+e^(i*2π*47/(8*3*5))+e^(i*2π*49/(8*3*5))+e^(i*2π*53/(8*3*5))+e^(i*2π*59/(8*3*5)) ←（-5.132689822507279173528306376440040126225812904101791511905651606... + 5.132689822507279173528306376440040126225812904101791511905651606... i) +e^(i*2π*61/(8*3*5))+e^(i*2π*67/(8*3*5))+e^(i*2π*71/(8*3*5))+e^(i*2π*73/(8*3*5))+e^(i*2π*77/(8*3*5))+e^(i*2π*79/(8*3*5))+e^(i*2π*83/(8*3*5))+e^(i*2π*89/(8*3*5)) ←（-5.132689822507279173528306376440040126225812904101791511905651606... - 5.132689822507279173528306376440040126225812904101791511905651606... i) +e^(i*2π*91/(8*3*5))+e^(i*2π*97/(8*3*5))+e^(i*2π*101/(8*3*5))+e^(i*2π*103/(8*3*5))+e^(i*2π*107/(8*3*5))+e^(i*2π*109/(8*3*5))+e^(i*2π*113/(8*3*5))+e^(i*2π*119/(8*3*5)) ←（5.132689822507279173528306376440040126225812904101791511905651606... - 5.132689822507279173528306376440040126225812904101791511905651606... i) http://rio2016.5ch.net/test/read.cgi/math/1640355175/356

357: １３２人目の素数さん [sage] 2024/01/06(土) 21:31:31.07 ID:MvCtGzfL 1<=A<=2^a*3^b*5^c 0=Σe^(i*2pi*(A/(2^a*3^b*5^c))　　←全方位を足すことになるため０に収束する (2^a*3^b*5^c)未満の2,3,5を素因数に持たない数をXとおく Xに若い数から順に入れて足すと0になる 0=Σe^(i*2pi*(X/(2^a*3^b*5^c))　　になるため Σe^(i*2pi*(A/(2^a*3^b*5^c))-Σe^(i*2pi*(X/(2^a*3^b*5^c)=0　←2,3,5,を素因数に持つ数の分子のみを足しても0になる http://rio2016.5ch.net/test/read.cgi/math/1640355175/357

358: １３２人目の素数さん [sage] 2024/01/06(土) 22:46:01.52 ID:MvCtGzfL (2^a*3^b*5^c)未満の2,3,5を素因数に持たない数をXとおく Xに若い数から順に入れて足すと0になる 0=Σe^(i*2pi*(X/(2^a*3^b*5^c)) a=1 b=2 c=1のとき ０になる 0=e^(i*2π*1/(2*9*5))+e^(i*2π*7/(2*9*5))+e^(i*2π*11/(2*9*5))+e^(i*2π*13/(2*9*5))+e^(i*2π*17/(2*9*5))+e^(i*2π*19/(2*9*5))+e^(i*2π*23/(2*9*5))+e^(i*2π*29/(2*9*5)) ←3.3587707643070619775468762345+5.817561614756781915987196652591 i +e^(i*2π*31/(2*9*5))+e^(i*2π*37/(2*9*5))+e^(i*2π*41/(2*9*5))+e^(i*2π*43/(2*9*5))+e^(i*2π*47/(2*9*5))+e^(i*2π*49/(2*9*5))+e^(i*2π*53/(2*9*5))+e^(i*2π*59/(2*9*5)) ←-6.7175415286141239550937524691565827376 +e^(i*2π*61/(2*9*5))+e^(i*2π*67/(2*9*5))+e^(i*2π*71/(2*9*5))+e^(i*2π*73/(2*9*5))+e^(i*2π*77/(2*9*5))+e^(i*2π*79/(2*9*5))+e^(i*2π*83/(2*9*5))+e^(i*2π*89/(2*9*5)) 3.3587707643070619775468762345-5.817561614756781915987196652591 i http://rio2016.5ch.net/test/read.cgi/math/1640355175/358

359: １３２人目の素数さん [sage] 2024/01/07(日) 00:36:17.90 ID:SsbMX1Ts 1, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199 43個 121, 143, 169, 187, 209 ←11以上の素数の積 43+5=48=(2^1-2^0)*(3^1-3^0)*(5^1-5^0)*(7^1-7^0) e^(i*2π*1/(210))+e^(i*2π*11/(210))+e^(i*2π*13/(210))+e^(i*2π*17/(210))+e^(i*2π*19/(210))+e^(i*2π*23/(210))+e^(i*2π*29/(210))+e^(i*2π*31/(210)) +e^(i*2π*37/(210))+e^(i*2π*41/(210))+e^(i*2π*43/(210))+e^(i*2π*47/(210))+e^(i*2π*53/(210))+e^(i*2π*59/(210))+e^(i*2π*61/(210))+e^(i*2π*67/(210)) +e^(i*2π*71/(210))+e^(i*2π*73/(210))+e^(i*2π*79/(210))+e^(i*2π*83/(210))+e^(i*2π*89/(210))+e^(i*2π*97/(210))+e^(i*2π*101/(210))+e^(i*2π*103/(210)) +e^(i*2π*107/(210))+e^(i*2π*109/(210))+e^(i*2π*113/(210))+e^(i*2π*121/(210))+e^(i*2π*127/(210))+e^(i*2π*131/(210))+e^(i*2π*137/(210))+e^(i*2π*139/(210)) +e^(i*2π*143/(210))+e^(i*2π*149/(210))+e^(i*2π*151/(210))+e^(i*2π*157/(210))+e^(i*2π*163/(210))+e^(i*2π*167/(210))+e^(i*2π*169/(210))+e^(i*2π*173/(210)) +e^(i*2π*179/(210))+e^(i*2π*181/(210))+e^(i*2π*187/(210))+e^(i*2π*191/(210))+e^(i*2π*193/(210))+e^(i*2π*197/(210))+e^(i*2π*199/(210))+e^(i*2π*209/(210)) http://rio2016.5ch.net/test/read.cgi/math/1640355175/359

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 342 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s