#今日の推し関数は次の2つの関数です。 \begin{align*} f(t)&=\left(\int_{0}^{t}e^{-x^{2}}dx\right)^{2}\\ g(t)&=\int_{0}^{1}\frac{e^{-\left(1+x^{2}\right)t^{2}}}{1+x^{2}}dx \end{align*}どちらも$x$で積分しているので、$t$の関数となっていることにご注意ください。 式を見ただけでは「何じゃこれ?」という感じですが、なんと$f+g$は定数関数になります。 命題任意の$t\in\mathbb{R}$に対して\begin{equation}\label{1} \left(\int_{0}^{t}e^{-x^{2}}dx\right)^{2} + \int_{0}^{1}\frac{e^{-\left(1+x^{2}\right)t^{2}}}{1+x^{