つづき

　>>623 2023/11/04(土) 09:47:26.29ID:ksxaW6Zk より
ライプニッツ級数
Σ_{n=0}^∞ (-1)^n/(2n+1)=π/4=0.785398
Vacca型級数への変形（の一つ）
ζ=exp(2πi/5)
1の原始5乗根ζ=exp(2πi/5)
Σ_{n=0}^{10^5-1}(-1)^n[log_ 5 (2n+1)](ζ^(2n+1)+ζ^(2(2n+1))+ζ^(3(2n+1))+ζ^(4(2n+1))/(2n+1)=0.785322
（10万項で打ち切り）
(引用終り)

・このID:ksxaW6Zk氏は、Vacca式を見て、「こうやったら式の導出ができる」と閃いたんだね
・あたかもプロの碁打ちが、他人の碁を見て「ああ、この隅の形はこういう手順で出来たのか」と閃く如し
・で、それを言われた私は最初「この人何を言っているのか？」と思ったが
・結局彼は、ディリクレのＬ函数 L ( s , χ )を使うところに、持っていった
・彼は、私よりも圧倒的にレベル高いと思うな
以上