「数学」をプログラミングするには2

**デフォルトの名無しさん** · 2025/02/20(木) 01:10:56.24

たとえば、プログラミングで

π/4 = 1 - 1/3 + 1/5 - 1/7 + ...

を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど

前スレ
http://mevius.5ch.net/test/read.cgi/tech/1710585705/

**デフォルトの名無しさん** · 2025/12/09(火) 15:44:03.31

数式処理たとえばMathematicaは級数を覚えているのか？
　1/1^2+1/2^2+1/3^2+...
を求めるのに
　Sum[1/n^2, {n, 1, Infinity}]
と入力すれば
　Pi^2/6
を出力する
未知の級数で円周率πが出てくるものを入れたらどうなる？