この問題を公開してから期限の2週間に到達したので解法を公開していきます.
解法は初級〜超級の4つに分けて公開しようと思っています.
また良い解法があれば解答してくださった方々の解法も使用させていただきます.
これは高校範囲の問題ですね.
指数関数,三角関数が入り混じっていますが今回は定積分でしかも範囲が良いので恐れることなかれです.
今回使用していく解決策はキングプロパティ(以下略称:kp)です.
と置換し,置換する前の積分と後の積分を足して2で割るというものです.
あとは計算するだけですが僕的には2つの解法があるので紹介したい方のみ解説します.
1つ目は半角を用いて2乗を解消する方法
2つ目はkpを用いて一瞬で終わらせる方法です.
後者を紹介します.
こんな感じで示せました.
kpは大学受験でもよく出されるので知っておいて損は無いと思います.
まずarccosとは何かですね.
調べてみるとcosの逆関数であることがわかります.
としましょう.
この積分を弄くれば
となることがすぐにわかります.
(積分区間を[0,1]と[0,x]に分けて積分)
またarcsinには次の性質があります.
xにsin xを入れてみればわかりますね.
ではこれらの性質を用いて証明していきましょう.
途中A=-Aなる実数はA=0となることからarcsinの積分が0になる事を使いました.
数列じゃない書き方をすれば
となり,見た目が面白いですよね.
今回は数学的帰納法を用いて証明していきます.
しかも今回は不定積分なので右辺微分して被積分関数と一致することを確かめれば十分です.
n=1で成り立つ
n=mで成り立つと仮定し
n=m+1で成り立っていることを示す.
こういった数学的帰納法を考えるのは数列を含む積分では使えることがあります.
題意をIと置く
この問題はあまり話したいと思うことがないですね…
高校範囲の問題ではかなり難しい部類なのでしょうか.
これは想定解は部分分数分解です.
やることは同じなので解答して頂いた方からの写真を引用させてもらいました.(もちろん許可付き)
(解答してくださった方:
hiro
さん)
あとは留数定理による解法も考えられますね.
そしてこの積分で話したいことは次のような一般化があるということです.
尚,これは keitadayo さんの次の記事で出されているものです.
keitadayoさんとこの積分について話した結果,僕とkeitadayoさんで2つの解法が出ました.
その僕の解法は今後上級の解説にて出そうと思っています.
これは区間を分けて
ワイエルシュトラス置換
をすれば高校範囲で解けますが今回は別の方法で解きます.
今回使うのは
留数定理
による解法です.
自分語りになりますが留数定理を使い始めた頃,今回の問題のようなものの解説でこんな簡単に解けるのか!と驚かされました.
その解説というのが次のYoutubeの動画です.
わかりやすく解説されているので留数定理初心者でもこの動画なら理解できると思います.
今回の問題を解く方法はこの動画の方法と同じです.
こんなすんなりと解けてしまいました!
皆せーので言いましょう…
留数定理気持ち良すぎだろーー!!!
これは高校範囲の変形でも解けるらしいです.(僕は部分分数分解で解けるだろうと思ってましたが実際は計算していませんでした)
その変形というのをまたまたhiroさんから引用させてもらいます
また,この問題は大学範囲の知識を使えばかなり簡単に解けるようになっています.
最後のψは
ディガンマ関数
というものです.
このディガンマ関数の級数表示を最後の式変形で用いました.
積分で良く出てくる特殊関数の1つなので興味がある方は色々調べてみる事をおすすめします.
この関数は色々な方が紹介しているのでグーグルで検索するだけでたくさんページが出てきて参考になります.
オススメは
まめけび
さんの記事です.
この方は他にもたくさん参考になる記事を書かれているのでまじでオススメです.
これ実はめちゃくちゃ簡単なんですよね.
まずは解のそれぞれの関数を見てみましょう.
ゼータ関数
ガンマ関数
ではこれらを踏まえて解説です.
なんと最後定義そのままの形が出てきました.
実はこの積分1番最初に変形させて出てきた積分がかなり有名でゼータ関数の積分表示と呼ばれています.
これは初級にしてはかなり難しい問題です.
メインは級数展開ですね
対数関数の部分をマクローリン展開しベータ関数として計算することで級数を得られます.
途中で
一般化二項定理
を用いた
また
ベータ関数
の計算も出ているので調べてみると良いと思います.
まずこの積分では次のような手法を使います.
今回どのように使うかというと次の2パターンが考えられます.
⑴ではディリクレ積分が出てきてしまいますが⑵では今回の題意のみ与えられています.
なので簡単なために⑵で計算を勧めていきましょう.
この計算からわかるのは値からではなく式変形のみで
が示せた訳です.
値を介さずにこういった積分間の等式を示すのは僕的にはかなり面白いと思っています.
またこれは似たような一般化があり,それが次のようなものです.
これは現積分botで出されている積分です(
元ツイ
)
難易度は上級レベルなのでここには解法を載せません.
気になる方は自力で頑張ってみると良いかもしれませんね.