- 847 名前：１３２人目の素数さん mailto:sage [2022/09/25(日) 20:51:47.66 ID:Kob8sbcV.net]
- m1t≡a2-a1 modm2
(m1, m2)=Gとすると
π^2√3-2∫[t=0→1/2]π｛√1-(1/2-t)^2-√3/2｝^2｝dt
1/2-t=cosθとおくと、
-dt=-sinθdθ
dt=sinθdθ
π^2√3-2π∫[θ=π/3→π/2]sinθsinθdθ
=π^2√3-2π∫[θ=π/3→π/2]sinθ^2dθ
=π^2√3-2π∫[θ=π/3→π/2](1/2-cos2θ/2)dθ
=π^2√3-2π[θ=π/3→π/2][θ/2]-2π[θ=π/3→π/2][sin2θ/4]
=π^2√3-π^2/6-π√3/4
=14.0893726833……
