大学数学基礎解説

積分をたくさん解く

積分

265

積分をたくさん解く

どうも、らららです。
AIが出力した積分さんの積分を解いていきます。
中の人のリツイートも解いていきます。
証明できたやつだけ証明書きます。

青の「元ツイート」を押せば元ツイートにとべます。

解く

元ツイート

$\int_{0}^{\frac{π}{4}} \frac{\sin 2 x}{\sqrt{\cos x}} d x = \frac{4}{3} (1 - 2^{- \frac{3}{4}})$

証明

証明方法:2倍角の公式と置換積分を用いて証明する

\begin{aligned} I & = \int_{0}^{\frac{π}{4}} \frac{\sin 2 x}{\sqrt{\cos x}} d x \\ = 2 \int_{0}^{\frac{π}{4}} \sin x \sqrt{\cos x} d x \\ = 2 \int_{\frac{1}{\sqrt{2}}}^{1} \sqrt{x} d x \\ = \frac{4}{3} [x^{\frac{3}{2}}]_{\frac{1}{\sqrt{2}}}^{1} \\ = \frac{4}{3} (1 - 2^{- \frac{3}{4}}) \end{aligned}

あとがき

最初見たときはベータ関数でいけるかなと思いましたが普通に高校範囲でできました。

元ツイート

$\int_{0}^{\infty} \frac{\arctan x}{x (x^{2} + 1)} d x = \frac{π}{2} \log 2$

証明

証明方法:パラメータを追加して証明する

I = \int_{0}^{\infty} \frac{\arctan x}{x (x^{2} + 1)} d x

f (t) = \int_{0}^{\infty} \frac{\arctan t x}{x (x^{2} + 1)} d x

\begin{aligned} f^{'} (t) & = \frac{d}{d t} \int_{0}^{\infty} \frac{\arctan t x}{x (x^{2} + 1)} \\ = \int_{0}^{\infty} \frac{\partial}{\partial t} \frac{\arctan t x}{x (x^{2} + 1)} d x \\ = t \int_{0}^{\infty} \frac{d x}{(x^{2} + 1) (x^{2} + t^{2})} \\ = \frac{t}{t^{2} - 1} \int_{0}^{\infty} (\frac{1}{x^{2} + 1} - \frac{1}{x^{2} + t^{2}}) d x \\ = \frac{t}{t^{2} - 1} (\frac{π}{2} - \frac{π}{2} \frac{1}{t}) \\ = \frac{π}{2} \frac{1}{t + 1} \end{aligned}

f (0) = 0

\begin{aligned} I & = f (1) \\ = f (1) - f (0) \\ = \int_{0}^{1} f^{'} (t) d t \\ = \frac{π}{2} \int_{0}^{1} \frac{d t}{t + 1} \\ = \frac{π}{2} \log 2 \end{aligned}

あとがき

この

f (t)

を設定して

f^{'} (t)

求めて

f (a)

が求める積分になる

a

と普通に値がでる

f (b)

を探してそれの差である

f (a) - f (b)

を積分の超基本の

\int_{b}^{a} f^{'} (t) d t

にして

f^{'} (t)

がでるから別の積分になってそこから積分をだすやり方、好き

元ツイート

$\int_{0}^{\infty} \frac{\arctan x}{x (x + 1)^{2}} d x = β (2) + \frac{π}{4} (\log 2 - 1)$

証明

証明方法:部分分数分解を用いて証明する。

\begin{aligned} I & = \int_{0}^{\infty} \frac{\arctan x}{x (x + 1)^{2}} d x \\ = \int_{0}^{1} \frac{\arctan x}{x (x + 1)^{2}} d x + \int_{1}^{\infty} \frac{\arctan x}{x (x + 1)^{2}} d x \end{aligned}

\frac{1}{x (x + 1)^{2}} = \frac{1}{x} - \frac{1}{x + 1} - \frac{1}{(x + 1)^{2}}

\begin{aligned} \int_{0}^{1} \frac{\arctan x}{x (x + 1)^{2}} d x & = \int_{0}^{1} \frac{\arctan x}{x} d x - \int_{0}^{1} \frac{\arctan x}{x + 1} d x - \int_{0}^{1} \frac{\arctan x}{(x + 1)^{2}} d x \end{aligned}

\begin{aligned} \int_{0}^{1} \frac{\arctan x}{x} d x & = \sum_{n = 0}^{\infty} \frac{1}{2 n + 1} \int_{0}^{1} x^{2 n} d x \\ = \sum_{n = 0}^{\infty} \frac{1}{(2 n + 1)^{2}} \\ = β (2) \end{aligned}

\arctan a + \arctan b = \arctan \frac{a + b}{1 - a b}

\arctan 1 - \arctan x = \arctan \frac{1 - x}{1 + x}

\arctan \frac{1 - x}{1 + x} = \frac{π}{4} - \arctan x

\begin{aligned} \int_{0}^{1} \frac{\arctan x}{x + 1} d x & = \int_{0}^{1} \frac{\frac{π}{4} - \arctan x}{x + 1} d x (x \mapsto \frac{1 - x}{1 + x}) \\ = \frac{π}{4} \log 2 - \int_{0}^{1} \frac{\arctan x}{x + 1} d x \\ = \frac{π}{8} \log 2 \end{aligned}

\begin{aligned} \int_{0}^{1} \frac{\arctan x}{(x + 1)^{2}} d x & = - {[\frac{\arctan x}{x + 1}]}_{0}^{1} + \int_{0}^{1} \frac{d x}{(x + 1) (x^{2} + 1)} \\ = - \frac{π}{8} + \frac{1}{2} \int_{0}^{1} \frac{d x}{x^{2} + 1} - \frac{1}{2} \int_{0}^{1} \frac{x}{x^{2} + 1} d x + \frac{1}{2} \int_{0}^{1} \frac{d x}{x + 1} \\ = - \frac{π}{8} + \frac{π}{8} - \frac{1}{4} \log 2 + \frac{1}{2} \log 2 \\ = \frac{1}{4} \log 2 \end{aligned}

\begin{aligned} \int_{0}^{1} \frac{\arctan x}{x (x + 1)^{2}} d x & = \int_{0}^{1} \frac{\arctan x}{x} d x - \int_{0}^{1} \frac{\arctan x}{x + 1} d x - \int_{0}^{1} \frac{\arctan x}{(x + 1)^{2}} d x \\ = β (2) - \frac{π}{8} \log 2 - \frac{1}{4} \log 2 \\ = β (2) - \frac{π}{8} - \frac{1}{4} \log 2 \end{aligned}

\begin{aligned} \int_{1}^{\infty} \frac{\arctan x}{x (x + 1)^{2}} d x & = \int_{0}^{1} \frac{\arctan \frac{1}{x}}{\frac{1}{x} {(\frac{1}{x^{2}} + 1)}^{2}} \frac{d x}{x^{2}} \\ = - \int_{0}^{1} \frac{x \arctan x}{(x + 1)^{2}} d x - \frac{π}{2} \int_{0}^{1} \frac{x}{(x + 1)^{2}} d x \end{aligned}

\begin{aligned} \int_{0}^{1} \frac{x \arctan x}{(x + 1)^{2}} & = \int_{0}^{1} \frac{\arctan x}{x + 1} d x - \int_{0}^{1} \frac{\arctan x}{(x + 1)^{2}} d x \\ = \frac{π}{8} \log 2 - \frac{1}{4} \log 2 \end{aligned}

\begin{aligned} \int_{0}^{1} \frac{x}{(x + 1)^{2}} d x & = - {[\frac{x}{x + 1}]}_{0}^{1} + \int_{0}^{1} \frac{d x}{x + 1} \\ = \log 2 - \frac{1}{2} \end{aligned}

\begin{aligned} \int_{1}^{\infty} \frac{\arctan x}{x (x + 1)^{2}} d x & = - \int_{0}^{1} \frac{x \arctan x}{(x + 1)^{2}} d x + \frac{π}{2} \int_{0}^{1} \frac{x}{x + 1} d x \\ = - \frac{π}{8} \log 2 + \frac{1}{4} \log 2 + \frac{π}{2} \log 2 - \frac{π}{4} \\ = \frac{3 π}{8} \log 2 + \frac{1}{4} \log 2 - \frac{π}{4} \end{aligned}

\begin{aligned} I & = \int_{0}^{1} \frac{\arctan x}{x (x + 1)^{2}} d x + \int_{1}^{\infty} \frac{\arctan x}{x (x + 1)^{2}} d x \\ = β (2) - \frac{π}{8} \log 2 - \frac{1}{4} \log 2 + \frac{3 π}{8} \log 2 + \frac{1}{4} \log 2 - \frac{π}{4} \\ = β (2) + \frac{π}{4} (\log 2 - 1) \end{aligned}

あとがき

ナタデココ入りさんは命題2の方が簡単と言っていましたが、命題3の方が難しいと感じました。
あと、元ツイートは

β (2)

を

G

でかいてましたが、

β (2)

の方が好きなので

β (2)

にしました、まぁどちらでも伝わればいいです。

元ツイート

$\int_{0}^{1} \frac{x^{2} \log^{2} x}{(1 - x^{2})^{2}} d x = \frac{π^{2}}{8} - \frac{7}{8} ζ (3)$

証明

証明方法:級数展開を用いて証明する。

\frac{1}{1 - x} = \sum_{n = 0}^{\infty} x^{n}

\frac{1}{1 - x^{2}} = \sum_{n = 0}^{\infty} x^{2 n}

両辺を

x

で微分して両辺を2で割ると、

\frac{x^{2}}{(1 - x^{2})^{2}} = \sum_{n = 0}^{\infty} n x^{2 n}

部分積分を用いると、

\int_{0}^{1} x^{2 n} \log^{2} x d x = \frac{2}{(2 n + 1)^{3}}

\begin{aligned} \sum_{n = 0}^{\infty} \frac{1}{(2 n + 1)^{2}} & = \sum_{n = 1}^{\infty} \frac{1}{n^{2}} - \sum_{n = 1}^{\infty} \frac{1}{(2 n)^{2}} \\ = ζ (2) - \frac{1}{4} ζ (2) \\ = \frac{3}{4} ζ (2) \\ = \frac{π^{2}}{8} \end{aligned}

同様にして、

\sum_{n = 0}^{\infty} \frac{1}{(2 n + 1)^{3}} = \frac{7}{8} ζ (3)

\begin{aligned} I & = \int_{0}^{1} \frac{x^{2} \log^{2} x}{(1 - x^{2})^{2}} d x \\ = \int_{0}^{1} \sum_{n = 0}^{\infty} n x^{2 n} \log^{2} x \\ = \sum_{n = 0}^{\infty} n \int_{0}^{1} x^{2 n} \log^{2} x d x \\ = 2 \sum_{n = 0}^{\infty} \frac{n}{(2 n + 1)^{3}} \\ = \sum_{n = 0}^{\infty} \frac{1}{(2 n + 1)^{2}} - \sum_{n = 0}^{\infty} \frac{1}{(2 n + 1)^{3}} \\ = \frac{π^{2}}{8} - \frac{7}{8} ζ (3) \end{aligned}

あとがき

積分と級数の交換とか細かいことの確認は…読者への課題とします。

元ツイート

$\int_{0}^{1} \frac{\log x}{(x + 1)^{2}} d x = - \log 2$

証明

証明方法:級数展開を用いる

\sum_{n = 0}^{\infty} (- 1)^{n} x^{n} = \frac{1}{x + 1}

\sum_{n = 0}^{\infty} n (- 1)^{n} x^{n - 1} = - \frac{1}{(x + 1)^{2}}

\sum_{n = 1}^{\infty} n (- 1)^{n} x^{n - 1} = - \frac{1}{(x + 1)^{2}}

部分積分により、

\int_{0}^{1} x^{n} \log x d x = - \frac{1}{(n + 1)^{2}}

\begin{aligned} I & = \int_{0}^{1} \frac{\log x}{(x + 1)^{2}} d x \\ = - \sum_{n = 1}^{\infty} \int_{0}^{1} x^{n - 1} \log x d x \\ = \sum_{n = 1}^{\infty} \frac{(- 1)^{n}}{n} \\ = - \log 2 \end{aligned}

あとがき

行間広いかも！！

元ツイート

$\int_{1}^{\infty} \frac{\log x}{x^{2}} d x = 1$

証明

証明方法:置換

\begin{aligned} I & = \int_{1}^{\infty} \frac{\log x}{x^{2}} d x \\ = \int_{0}^{\infty} \frac{d x}{e^{x}} \\ = 1 \end{aligned}

あとがき

ｶﾝﾀﾝ

元ツイート

$\int_{0}^{\frac{π}{2}} \frac{\log \sin x}{\sqrt{\cos x}} d x = \frac{ϖ}{2} (\log 2 - \frac{π}{2})$

証明

中の人であるナタデココ入りさんが記事書いてたのでそちらをみていただけるといいと思います。

あとがき

やっぱりベータ関数は偉大

元ツイート

$\int_{0}^{\infty} \frac{\sin x^{2}}{x} = \frac{π}{4}$

証明

証明方法:置換

\begin{aligned} I & = \int_{0}^{\infty} \frac{\sin x^{2}}{x} d x \\ = \frac{1}{2} \int_{0}^{\infty} \frac{\sin x}{x} d x \\ = \frac{π}{4} \end{aligned}

あとがき

ディリクレ積分は常識

元ツイート

$\int_{0}^{1} \frac{e^{- x^{2}}}{\sqrt{1 - x^{2}}} = \frac{π}{2} e^{- \frac{1}{2}} I_{0} (\frac{1}{2})$

証明

証明方法:置換

\begin{aligned} I & = \int_{0}^{\frac{π}{2}} e^{- \sin^{2} x} d x \\ = \frac{1}{2} e^{- \frac{1}{2}} \int_{0}^{π} e^{\frac{1}{2} \cos x} d x \\ = \frac{π}{2} e^{- \frac{1}{2}} \frac{1}{π} \int_{0}^{1} e^{i (\frac{i}{2}) \cos x} d x \\ = \frac{π}{2} e^{- \frac{1}{2}} J_{0} (- \frac{1}{2} i) \\ = \frac{π}{2} e^{- \frac{1}{2}} I_{0} (\frac{1}{2}) \end{aligned}

あとがき

J

や

I

はベッセル関数のWiki を見ると分かと思います。
この解法はミヤセンさんに教えてもらいました。
ミヤセンさんありがとう！

元ツイート

$\int_{0}^{1} \frac{\arctan x}{x} d x = β (2)$

証明

証明方法:級数展開

\begin{aligned} I & = \int_{0}^{1} \frac{\arctan x}{x} d x \\ = \sum_{n = 0}^{\infty} \frac{(- 1)^{n}}{2 n + 1} \int_{0}^{1} x^{2 n} d x \\ = β (2) \end{aligned}

あとがき

行間広いかも

元ツイート

$\int_{0}^{1} \frac{\arcsin x \log x}{\sqrt{1 - x^{2}}} d x = \frac{7}{16} ζ (3) - 8 π^{2} \log 2$

証明

証明方法:置換

\begin{aligned} I & = \int_{0}^{\frac{π}{2}} x \log \sin x d x (x \mapsto \sin x) \\ = \frac{7}{16} ζ (3) - 8 π^{2} \log 2 \end{aligned}

あとがき

なぜ積分が

\frac{7}{16} ζ (3) - 8 π^{2} \log 2

になるのか色々やる数学徒さんのこの記事に証明があります
元ツイートは

\log

の中が

\frac{1}{x}

ですがまぁ対数の性質使うだけなのでほとんど変わりませんね

元ツイート

$\int_{0}^{1} \frac{\log^{2} x}{x + 1} d x = \frac{3}{2} ζ (3)$

証明

証明方法:級数展開
部分積分により

\int_{0}^{1} x^{n} \log^{2} x d x = \frac{2}{(n + 1)^{3}}

が分かる

\begin{aligned} I & = \int_{0}^{1} \frac{\log x}{x + 1} d x \\ = \sum_{n = 0}^{\infty} (- 1)^{n} \int_{0}^{1} x^{n} \log^{2} x d x \\ = 2 \sum_{n = 0}^{\infty} \frac{(- 1)^{n}}{(n + 1)^{s}} \\ = 2 η (3) \\ = \frac{3}{2} ζ (3) \end{aligned}

あとがき

元ツイートは分子が

\log x \log \frac{1}{x}

ですがまぁ対数の性質使うだけなのでほとんど変わりませんね

おわりに

結論、AIはゴミ

おしまい！！

投稿日：2023年12月12日

更新日：2023年12月13日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ららら

195

13168

適当に書きたいことを書きます。

他の人のコメント

コメントはありません。

読み込み中

ららら

積分をたくさん解く

積分をたくさん解く
解く
おわりに