25/11/21 00:03:15.78 85jkqS1c.net
を求める方法
2:１３２人目の素数さん
25/11/21 00:14:36.86 Jqy9zJxd.net
e^iz/zをパイナップルで積分する
3:１３２人目の素数さん
25/11/21 02:08:15.19 WmP4YBH/.net
sin(2nx)/sin(x) = 2Σ[k=1,n] cos((2k-1)x)
両辺二乗して積分する
∫[0,π/2] sin^2(2nx)/sin^2(x) dx = πn
不等式1/sin^2(x)>1/x^2>1/tan^2(x)=1/sin^2(x)-1より
π > (1/n)∫[0,π/2] sin^2(2nx)/x^2 dx > π - π/(4n)
極限n→∞を取って
∫[0,∞] sin^2(x)/x^2 dx = π/2
部分積分して
∫[0,∞] sin(x)/x dx = π/2
4:１３２人目の素数さん
25/11/21 05:07:14.80 /uEQZGLH.net
働け爺
5:１３２人目の素数さん
25/11/21 11:10:17.38 /uEQZGLH.net
パイナップルアップルパイ
6:１３２人目の素数さん
25/11/27 18:54:35.25 lRI6p6vpf
正弦積分
7:１３２人目の素数さん
25/11/29 22:01:58.02 Ibnlgf5B.net
tan(x)/x の実両無限区間における定積分は？
8:１３２人目の素数さん
25/11/29 22:55:25.80 4lbxlfcy.net
>>7
書きゃ良いってもんじゃない
9:１３２人目の素数さん
25/11/29 23:53:38.80 lVROPqmP.net
存在しない