>>897
G'(t)=-2t(e^(-t^2))×∫[x=0,1] (e^(-(t^2)(x^2))dx
=-2(e^(-t^2))×∫[u=0,t] (e^(-u^2))du (u=tx)
=-F'(t)

特に t=0 のとき F(0)+G(0)=∫[x=0,1](1/(1+x^2))dx = π/4
よって F(t)+G(t)=π/4
t→∞ として、 (∫[x=0,∞](e^(-x^2))dx)^2=π/4