巨大数探索スレッド13

1132人目の素数さん2017/12/08(金) 22:59:03.88ID:8DbvNjq1
大きな実数を探索するスレッドです。

前スレ
 http://rio2016.5ch.net/test/read.cgi/math/1484923121/
巨大数研究室
 http://www.geocities.co.jp/Technopolis/9946/
巨大数 (Wikipedia)
 http://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0
ふぃっしゅっしゅ氏の巨大数論PDFと書籍
 http://gyafun.jp/ln/
たろう氏のまとめ
 http://gyafun.jp/ln/archive/7-571.txt
Dmytro Taranovsky の順序数表記
 http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm
巨大数研究Wiki
 http://ja.googology.wikia.com/wiki/

310132人目の素数さん2018/01/14(日) 13:47:31.00ID:QZS2nyEG
そろそろスレチガー君がお出ましの頃と思ったよw
まあ無限を扱うスレは他にもあるからそっちに移っても良いは良いんだが

311132人目の素数さん2018/01/14(日) 13:53:41.93ID:I+QAPHMF
>>309
つながってない
つながる見込みもない

312132人目の素数さん2018/01/14(日) 14:41:02.13ID:zRu2kQVy
>>306
濃度ξの順序数全体の集合は濃度ξ+1にならないか?
そうならないξの例はある?

313132人目の素数さん2018/01/14(日) 14:45:24.89ID:zRu2kQVy
濃度ω_ξの順序数全体の集合の濃度がω_{ξ+1}だった

314132人目の素数さん2018/01/14(日) 15:08:27.39ID:z7KOqged
全単射があったとしてもZFCの範囲外なんだよねぇ
非可算を制御なんて無理な気がして来た

315132人目の素数さん2018/01/14(日) 15:14:44.83ID:EMGyTylA
ZFCの範囲外だと実数は定義できない?

316132人目の素数さん2018/01/14(日) 15:40:13.95ID:wJ2d9429
濃度と言うのはモデル相対的な面があり、モデルによってω_1^CKの濃度がωになったりω_1になったりする。
具体的にはモデルの関数部分が関係する

317132人目の素数さん2018/01/15(月) 22:47:06.53ID:2FCj5ese
>「実数の濃度は可算順序数の濃度と同じ」や「実数から可算順序数への全単射写像が存在する」は、対角線論法で反証できる。

詳しく

318132人目の素数さん2018/01/16(火) 07:54:39.80ID:iAtEX6Ci
「ω_1^CKの濃度がω_1になる」も

319132人目の素数さん2018/01/17(水) 18:33:36.27ID:7ianClRO
1対1に対応する写像が存在するかどうかで濃度が等しいかどうかが決まる。
計算可能な写像しか構成できない言語では、関数部分に計算可能な関数しか持たないモデルも考えられる。
そのようなモデルの中では自然数からω_1^CKへの写像が存在しない(計算不可能なため)
よってそのようなモデルの中ではω_1^CKがω_1のように見える。

という理屈だろうか

320132人目の素数さん2018/01/19(金) 19:39:46.85ID:5GfiHYrN
耳栓をしたら世界が変わってワロタ

321◆2VB8wsVUoo 2018/01/22(月) 07:06:24.22ID:vBTdEgh5

322◆2VB8wsVUoo 2018/01/22(月) 07:06:42.87ID:vBTdEgh5

323◆2VB8wsVUoo 2018/01/22(月) 07:06:59.28ID:vBTdEgh5

324◆2VB8wsVUoo 2018/01/22(月) 07:07:16.73ID:vBTdEgh5

325◆2VB8wsVUoo 2018/01/22(月) 07:07:35.63ID:vBTdEgh5

326◆2VB8wsVUoo 2018/01/22(月) 07:07:52.71ID:vBTdEgh5

327◆2VB8wsVUoo 2018/01/22(月) 07:08:11.18ID:vBTdEgh5

328◆2VB8wsVUoo 2018/01/22(月) 07:08:34.02ID:vBTdEgh5

329◆2VB8wsVUoo 2018/01/22(月) 07:08:54.50ID:vBTdEgh5

330◆2VB8wsVUoo 2018/01/22(月) 07:09:17.07ID:vBTdEgh5

331132人目の素数さん2018/01/22(月) 13:07:30.88ID:Df2n+TON
耳栓をしたら世界が変わってワロタ

332132人目の素数さん2018/01/23(火) 19:03:43.23ID:ITNodgCC
質問なんですが
巨大数研究wikiのBEAF入門(http://ja.googology.wikia.com/wiki/BEAF%E5%85%A5%E9%96%80)のページで

新しい2行配列への拡張を今まで(線形配列)のルール(おそらく破滅ルール)に適用させると
{b,p(1)1,1,2} = {b,b,b, ... (1)b,{b,p-1(1)1,1,2},2}
となり、一行目が無限要素となることを問題としています

しかし、線形配列のルールによれば

副操縦士 : パイロットの1つ前の引数
乗客 : 副操縦士より前のすべての引数
破滅ルール :
(1)副操縦士を元の配列のプライムを1減らしたものに置き換える
(2)パイロットの値を1減らす
(3)すべての乗客をプライムにする

とあり、乗客の数が増えそうな表現はどこにもありません

何か別のルールを使っているのでしょうか?

333132人目の素数さん2018/01/24(水) 16:16:45.83ID:Md9xJOxY
BEAFでは一行目の{b,p}は、無限の1が続く{b,p,1,...}が省略されているものとみなされるので、
「副操縦士よりも前のすべての引数を乗客」という定義だと、1行目のすべてが乗客になってしまう。
そこで、次に「プライムブロック」を「その行の中の最初の p 個の要素、つまりプライムの個数の要素」
と定義して、そこから飛行機、乗客と定義することで乗客をを1行目の中でp個に限定している。
BEAF入門には
「配列の最後が1だけであれば切り落とすことができます」
と書いてあり、切り落としたものが「無限の1がその後に続いているものが省略されている」という
見方が書かれていないので、その点はあまりクリアでないかもしれない。

334132人目の素数さん2018/01/24(水) 16:30:45.29ID:Md9xJOxY
と、思ったけど書いてあった。ここに

これを1行で書く時には、{b,p (1) 1,1,2} と書きます。ここで、 (1) は行と行の間を示します。
ここでまた、各行は(可算)無限個の1で自動的に満たされるため、この配列は
{b,p,1 (1) 1,1,2} や {b,p,1,1,1 (1) 1,1,2,1,1} と同じことになります。

「各行は(可算)無限個の1で自動的に満たされる」と書いてある。

335132人目の素数さん2018/01/24(水) 17:02:40.83ID:BYFaJ3sD
あっ書いてありましたね
すると、{b,p(1)1,1,2}を破滅ルールで変形させるときは必ず{b,p,1,1, ... (1)1,1,2}としなくてはいけないんですね

336132人目の素数さん2018/01/24(水) 21:11:26.58ID:Md9xJOxY
「する」というよりは{b,p(1)1,1,2}と書いてあっても{b,p,1,1, ... (1)1,1,2}と同じだよ、というのがBEAFの考え方。

337132人目の素数さん2018/01/26(金) 11:35:42.69ID:FBJorFde
再度質問すみません
BEAF入門のページによると
これがb&1,2aの定義ですか?

338132人目の素数さん2018/01/26(金) 14:04:49.30ID:FBJorFde
あれ、計算してみたら違いました
2行配列の場合の変形ルールを用いた場合が、「rを配列の値にしてしまうのが一番効果的です」「いっそのこと、これをb回繰り返してしまいましょう」とかかれてある部分の式において誤魔化されてるんですね
混乱しちゃってました

339132人目の素数さん2018/01/26(金) 21:24:02.48ID:HTuzqqvL
一般的にレベル 1,n は、n > 1 の時にこのようになります。

のところに書かれている式がそんな感じなのでたぶんそれでいいけれど、
ここに書かれている式が文字が重なっていて読みにくくなっているのも、
わかりにくい原因かも。

340132人目の素数さん2018/01/28(日) 22:27:44.83ID:NP6DbHaN
Σ1/n^s=1/1^s+1/2^s+1/3^s+1/4^s+1/5^s+・・・
Σ1/n^s=(1+cos(y*log2)/√2+cos(y*log3)/√3+cos(y*log4)/√4+・・・)+i*(sin(y*log2)/√2+sin(y*log3)/√3+sin(y*log4)/√4+・・・)
X=(1+Σcos(y*logk)/√k) Y=(Σsin(y*logk)/√k)
(X-1/2)^2+Y^2=R^2
(Σcos(y*logk)/√k)+(Σcos(y*logk)/√k)^2+(Σsin(y*logk)/√k)^2=(R-1/2)*(R+1/2)
(Σ1/n)+(Σcos(y*logk)/√k)+(Σcos(y*logl/m)/√(lm))=(R-1/2)*(R+1/2)

341132人目の素数さん2018/01/30(火) 15:57:18.46ID:ZdAW/70D
テトレーション配列って
(X↑↑2m)&n と (X↑↑(2m+1))&n
で微妙に重ね方が違うんだね
なんか気に入らん

342132人目の素数さん2018/02/03(土) 18:17:06.16ID:AK5x2W0M
ダブチ   わかる
ダブダブチ まぁわかる
トリトリチ !?

343132人目の素数さん2018/02/04(日) 02:39:53.78ID:W400W2BT
俺の資産100倍にならねーかなー
たった100倍でいいんだけどなー
グラハム数倍とはいわないからさ

344132人目の素数さん2018/02/04(日) 03:19:34.07ID:6GQj5zIf
借金が膨れ上がって楽しいのかい

345132人目の素数さん2018/02/05(月) 20:20:44.97ID:GXfQM7x8
年利20%を25年続ければ100倍行くしまんざら不可能ってわけでもない。

346132人目の素数さん2018/02/08(木) 22:45:24.01ID:bWLJ5iCe
ペンテーション配列定義できそう

347132人目の素数さん2018/02/18(日) 03:58:17.04ID:VUYWWKNW
ブーフホルツのヒドラ実装したよ!
https://ideone.com/fvSyq4

348132人目の素数さん2018/02/19(月) 00:31:17.05ID:ck8U60fr
>>347

349132人目の素数さん2018/02/19(月) 00:38:32.40ID:ck8U60fr
BH(3)とかBH(4)というのは急増加関数でいうとどれくらいなん?

350132人目の素数さん2018/02/19(月) 20:26:31.20ID:ck8U60fr
ブーフホルツのヒドラの順序数の収束列ってどっかに載ってる?

351132人目の素数さん2018/02/20(火) 02:10:27.19ID:FqQRQcJy
TFB は ψ_0(ε_{Ωω+1}) で、巨大数論 p.186 にあるように
ε_{Ω+1} の収束列が Ω, Ω^Ω, Ω^Ω^Ω, ... なのだから、
当然 ε_{Ωω+1} の収束列は Ωω, Ωω^Ωω, Ωω^Ωω^Ωω, ... で、
あとは、それにψ_0 をかぶせればいいだけ

352132人目の素数さん2018/02/20(火) 21:03:11.83ID:ogan+TRw
Y=(7*5*3*2)*((f(1)^2/2^2+f(2)^2/3^2+f(3)^2/5^2+f(4)^2/7^2+x^2)+2*(-x*(f(1)/2+f(2)/3+f(3)/5+f(4)/7)+f(1)/2*(f(2)/3+f(3)/5+f(4)/7)+f(2)/3*(f(3)/5+f(4)/7)+(f(3)/5)*(f(4)/7)))^(1/2)
xに2,3,5,7で構成された分数をいれるときYは整数になる
x=(f(1)/2+f(2)/3+f(3)/5+f(4)/7)のときY=0
f(1)からf(4)に整数をいれ原点からの位置を調整しxに分数を代入すると任意の小さな整数になる

353132人目の素数さん2018/02/22(木) 03:25:40.38ID:BFl11xHa
(11*7*5*3*2)*((1/(2*cos(x*log2))^2+1/(3*cos(x*log3))^2+1/(5*cos(x*log5))^2+1/(7*cos(x*log7))^2+1/(11*cos(x*log11))^2+y^2)+
2*(-y*(1/(2*cos(x*log2))+1/(3*cos(x*log3))+1/(5*cos(x*log5))+1/(7*cos(x*log7))+1/(11*cos(x*log11)))+
1/(2*cos(x*log2))*(1/(3*cos(x*log3))+1/(5*cos(x*log5))+1/(7*cos(x*log7))+1/(11*cos(x*log11)))+1/(3*cos(x*log3))*(1/(5*cos(x*log5))+
1/(7*cos(x*log7))+1/(11*cos(x*log11)))
+1/(5*cos(x*log5))*(1/(7*cos(x*log7))+1/(11*cos(x*log11)))+1/(7*cos(x*log7))*1/(11*cos(x*log11))))^(1/2)

354132人目の素数さん2018/02/22(木) 03:56:49.18ID:BFl11xHa
Y=(n*・・・*6*5*4*3*2)^(1/2)*
((1/(2^(1/2)/cos(x*log2))^2+1/(3^(1/2)/cos(x*log3))^2+1/(4^(1/2)/cos(x*log4))^2+1/(5^(1/2)/cos(x*log5))^2+1/(6^(1/2)/cos(x*log6))^2+・・・+1/(n^(1/2)/cos(x*logn))+y^2)+
2*(-y*(1/(2^(1/2)/cos(x*log2))+1/(3^(1/2)/cos(x*log3))+1/(4^(1/2)/cos(x*log4))+1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
+1/(2^(1/2)/cos(x*log2))*(1/(3^(1/2)/cos(x*log3))+1/(4^(1/2)/cos(x*log4))+1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
1/(3^(1/2)/cos(x*log3))*(1/(4^(1/2)/cos(x*log4))+1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
1/(4^(1/2)/cos(x*log4))*(1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
1/(5^(1/2)/cos(x*log5))*1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn))+・・・+
1/((n-1)^(1/2)/cos(x*logn-1))*1/(n^(1/2)/cos(x*logn))))^(1/2)



y=Σ1/k^(X+i*y)(X=1/2)の実部のみの合計値のときY=0
y=YとなるときXが1/2以外の値をとらないことを示す
y=Y=(n*・・・*6*5*4*3*2)^(1/2)*
((1/(2^(1/2)/cos(x*log2))^2+1/(3^(1/2)/cos(x*log3))^2+1/(4^(1/2)/cos(x*log4))^2+1/(5^(1/2)/cos(x*log5))^2+1/(6^(1/2)/cos(x*log6))^2+・・・+1/(n^(1/2)/cos(x*logn))+y^2)+
2*(-y*(1/(2^(1/2)/cos(x*log2))+1/(3^(1/2)/cos(x*log3))+1/(4^(1/2)/cos(x*log4))+1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
+1/(2^(1/2)/cos(x*log2))*(1/(3^(1/2)/cos(x*log3))+1/(4^(1/2)/cos(x*log4))+1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
1/(3^(1/2)/cos(x*log3))*(1/(4^(1/2)/cos(x*log4))+1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
1/(4^(1/2)/cos(x*log4))*(1/(5^(1/2)/cos(x*log5))+1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn)))+
1/(5^(1/2)/cos(x*log5))*1/(6^(1/2)/cos(x*log6))+・・・+1/(n^(1/2)/cos(x*logn))+・・・+
1/((n-1)^(1/2)/cos(x*logn-1))*1/(n^(1/2)/cos(x*logn))))^(1/2) 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

355132人目の素数さん2018/02/22(木) 04:20:07.65ID:BFl11xHa
y'=Y=(n*・・・*6*5*4*3*2)^(x)*
((1/(2^(x)/cos(y*log2))^2+1/(3^(x)/cos(y*log3))^2+1/(4^(x)/cos(y*log4))^2+1/(5^(x)/cos(y*log5))^2+1/(6^(x)/cos(y*log6))^2+・・・+1/(n^(x)/cos(y*logn))^2+y'^2)+
2*(-y'*(1/(2^(x)/cos(y*log2))+1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
+1/(2^(x)/cos(y*log2))*(1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(3^(x)/cos(y*log3))*(1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(4^(x)/cos(y*log4))*(1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(5^(x)/cos(y*log5))*1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn))+・・・+
1/((n-1)^(x)/cos(y*logn-1))*1/(n^(x)/cos(y*logn))))^(1/2)

y'=Σcos(y*logk)/k^xのときY=0

356132人目の素数さん2018/02/22(木) 04:20:46.21ID:BFl11xHa
y'=Yのときy'=Y=0になる
y'^2*(1-1/(n*・・・*6*5*4*3*2)^(x))-y'*2*(1/(2^(x)/cos(y*log2))+1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))
+2*(1/(2^(x)/cos(y*log2))*(1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(3^(x)/cos(y*log3))*(1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(4^(x)/cos(y*log4))*(1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(5^(x)/cos(y*log5))*1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn))+・・・+
1/((n-1)^(x)/cos(y*logn-1))*1/(n^(x)/cos(y*logn)))+
((1/(2^(x)/cos(y*log2))^2+1/(3^(x)/cos(y*log3))^2+1/(4^(x)/cos(y*log4))^2+1/(5^(x)/cos(y*log5))^2+1/(6^(x)/cos(y*log6))^2+・・・+1/(n^(x)/cos(y*logn))^2)=0
y'=0となるとき
[2*(1/(2^(x)/cos(y*log2))+1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))]^2-
-4*[2*(1/(2^(x)/cos(y*log2))*(1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(3^(x)/cos(y*log3))*(1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(4^(x)/cos(y*log4))*(1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(5^(x)/cos(y*log5))*1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn))+・・・+
1/((n-1)^(x)/cos(y*logn-1))*1/(n^(x)/cos(y*logn)))+
((1/(2^(x)/cos(y*log2))^2+1/(3^(x)/cos(y*log3))^2+1/(4^(x)/cos(y*log4))^2+1/(5^(x)/cos(y*log5))^2+1/(6^(x)/cos(y*log6))^2+・・・+1/(n^(x)/cos(y*logn))^2)]
x≠1/2のときy'=0にならないためx=1/2になる

357132人目の素数さん2018/02/22(木) 04:30:50.26ID:BFl11xHa
y'=0となるとき
a*y'^2+b*y'+c=0
y'=-b±√(b^2-4ac)/(2a)

√(b^2-4ac)=[2*(1/(2^(x)/cos(y*log2))+1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))]^2-
-4*(1-1/(n*・・・*6*5*4*3*2)^(x))*[2*(1/(2^(x)/cos(y*log2))*(1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(3^(x)/cos(y*log3))*(1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(4^(x)/cos(y*log4))*(1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(5^(x)/cos(y*log5))*1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn))+・・・+
1/((n-1)^(x)/cos(y*logn-1))*1/(n^(x)/cos(y*logn)))+
((1/(2^(x)/cos(y*log2))^2+1/(3^(x)/cos(y*log3))^2+1/(4^(x)/cos(y*log4))^2+1/(5^(x)/cos(y*log5))^2+1/(6^(x)/cos(y*log6))^2+・・・+1/(n^(x)/cos(y*logn))^2)]
x≠1/2のとき分母の次数がずれるため√(b^2-4ac)=0とならないためy'が0にならない

358132人目の素数さん2018/02/23(金) 04:40:45.44ID:VxTXFxVp
√(b^2-4ac)=[2*(1/(2^(x)/cos(y*log2))+1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))]^2-
-4*(1-1/(n*・・・*6*5*4*3*2)^(2x))*[2*(1/(2^(x)/cos(y*log2))*(1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(3^(x)/cos(y*log3))*(1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(4^(x)/cos(y*log4))*(1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(5^(x)/cos(y*log5))*1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn))+・・・+
1/((n-1)^(x)/cos(y*logn-1))*1/(n^(x)/cos(y*logn)))+
((1/(2^(x)/cos(y*log2))^2+1/(3^(x)/cos(y*log3))^2+1/(4^(x)/cos(y*log4))^2+1/(5^(x)/cos(y*log5))^2+1/(6^(x)/cos(y*log6))^2+・・・+1/(n^(x)/cos(y*logn))^2)]

√(b^2-4ac)=(8/(n*・・・*6*5*4*3*2)^(2x))-4)*[1/(2^(2x)/cos(y*log2)^2)+1/(3^(2x)/cos(y*log3)^2)+1/(4^(2x)/cos(y*log4)^2)+1/(5^(2x)/cos(y*log5)^2)+1/(6^(2x)/cos(y*log6)^2)+・・・+1/(n^(2x)/cos(y*logn)^2)]
+8/(n*・・・*6*5*4*3*2)^(2x))*[(1/(2^(x)/cos(y*log2))*(1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(3^(x)/cos(y*log3))*(1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(4^(x)/cos(y*log4))*(1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))+
1/(5^(x)/cos(y*log5))*1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn))+・・・+
1/((n-1)^(x)/cos(y*logn-1))*1/(n^(x)/cos(y*logn)))]

√(b^2-4ac)=(4/(n*・・・*6*5*4*3*2)^(2x))-4)*[1/(2^(2x)/cos(y*log2)^2)+1/(3^(2x)/cos(y*log3)^2)+1/(4^(2x)/cos(y*log4)^2)+1/(5^(2x)/cos(y*log5)^2)+1/(6^(2x)/cos(y*log6)^2)+・・・+1/(n^(2x)/cos(y*logn)^2)]
+4/(n*・・・*6*5*4*3*2)^(2x))*[(1/(2^(x)/cos(y*log2))+1/(3^(x)/cos(y*log3))+1/(4^(x)/cos(y*log4))+1/(5^(x)/cos(y*log5))+1/(6^(x)/cos(y*log6))+・・・+1/(n^(x)/cos(y*logn)))]^2

359132人目の素数さん2018/02/23(金) 04:58:55.26ID:VxTXFxVp
[1/(2^(2x)/cos(y*log2)^2)+1/(3^(2x)/cos(y*log3)^2)+1/(4^(2x)/cos(y*log4)^2)+1/(5^(2x)/cos(y*log5)^2)+1/(6^(2x)/cos(y*log6)^2)+・・・+1/(n^(2x)/cos(y*logn)^2)]=0となるとき2x=1でなければならない
Σcos(y*logk)/k^x+i*Σsin(y*logk)/k^x=0となるとき
Σcos(y*logk)^2/k^2x+i*Σsin(y*logk)^2/k^2x=0
Σcos(y*logk)^n/k^nx+i*Σsin(y*logk)^n/k^nx=0となるときnx=1でなければならない



[Σcos(y*logk)/k^x]^2+[Σsin(y*logk)/k^x]^2=0
(Σ(1/k^(2x))+2*(Σcos(y*log(l/m))/(lm)^x))=0
(Σcos(y*log(l/m))/(lm)^x)=-1/2*(Σ(1/k^(2x))

360132人目の素数さん2018/02/23(金) 05:08:36.63ID:VxTXFxVp
Σcos(y*logk)^n/k^nx+i*Σsin(y*logk)^n/k^nx=0となるときnx=1でなければならないとすると
n→∞
1^∞/1^(∞/2)+cos(y*log2)^∞/2^(∞/2)+cos(y*log3)^∞/3^(∞/2)+・・・
1^∞/1^(∞/2)+sin(y*log2)^∞/2^(∞/2)+sin(y*log3)^∞/3^(∞/2)+・・・
cos(y*logk)=1,sin(y*logk)=1いがいのとき∞乗されると0になるため
y*logkが2nπ,(2n+1/4)π,(2n+2/4)π,(2n+3/4)π,のいずれかになるkのみを全整数から抜き出す
k=e^((2n+(m/4))π/y)


lim(n→∞) Σ1/e^((2n)π/y)^(nx)+i*Σ1/e^((2n+1/2)π/y)^(nx)=0になるときx=1/2になることをしめす

新着レスの表示
レスを投稿する