2

積分サークルの100マス積分を解いてみた

632
0

※この記事ではCを積分定数とします。

※2つのxが別の場所から出てきたというお気持ちを表すためにx2xxと書いた箇所があります。

積分サークルの100マス積分の動画 を見てて思いました。

「これって実際やると何時間くらいかかるんだろう?」

というわけで、実際に解いてみます。

では、積分スタートです。現在の時刻は11時15分です。

※執筆途中にサーバーエラーが発生しましたが、メモ帳で解いたので回答時間はそのままとします。

10000マス積分と同じように、まず不定積分を全部求めてから代入します。

不定積分

1行目

xdx=12x2+C
xxdx=13x3+C

2行目


cosxdx=sinx+C
xcosxdx=x(sinx)dx=xsinxsinxdx=xsinx+cosx+C

3行目


5xdx=1ln55x+C
x5xdx=1ln5x(5x)dx=1ln5(x5x5xdx)=1ln5(x5x1ln55x)+C=1ln5(x1ln5)5x+C

4行目


e2xdx=12e2x+C

3行目の2つ目と同様にして

xe2xdx=1lne2(x1lne2)(e2)x+C=12(x12)e2x+C

5行目


x2+1の積分のために、x=sinhtとおくと、x2+1=coshtかつdx=coshtが成り立ちます。

また、
sinh2t=2sinhtcosht
cosh2t=cosh2t+sinh2t=2cosh2t1
です。

都合上、arcsinhlogで表しておきます。

sinht=xetet=2xet2xet=0t=log(x+x2+1)

よって
x2+1dx=cosh2tdt=12(cosh2t+1)dt=14sinh2t+t2+C=12sinhtcosht+t2+C=12xx2+1+12arcsinhx+C=12(xx2+1+log(x+x2+1))+C
となります。

xx2+1dxも同様に双曲線関数を用いて計算します。と思いましたが、双曲線関数の積和の公式が必要になったので導出します。ちなみに、筆者は三角関数の積和の公式すら覚えていません。

sinh(α+β)=sinhαcoshβ+coshαsinhβ
(しゃいたこしゅもしゅこしゅもしゅしゃいた)
なので、ββと置換すると
sinh(αβ)=sinhαcoshβcoshαsinhβ
となり、上から下を引くことで
coshαsinhβ=12(sinh(α+β)sinh(αβ))
が得られます。

また、3倍角の公式が必要になったのでそれも導出します。
cosh(α+β)=coshαcoshβ+sinhαsinhβ
(こしゅもしゅこしゅもしゅしゃいたしゃいた)
なので、
cosh3t=cosh2tcosht+sinh2tsinht=(2cosh2t1)cosht+2sinhtcoshtsinht=(2cosh2t1)cosht+2cosht(cosh2t1)=4cosh3t3cosht
です。

xx2+1dx=sinhtcosh2tdt=12sinht(cosh2t+1)dt=12(12(sinh3tsinht))+sinhtdt=14(sinh3t+sinht)dt=112cosh3t+14cosht+C=13cosh3t+C=13x2+1(x2+1)+C

・・・ちょっと待てよ!?

別解

xx2+1dx=sinhtcosh2tdt=(cosht)cosh2tdt=13cosh3t+C=13x2+1(x2+1)+C

これでよくないか?

3倍角なんていらなかったんや・・・

別解の別解

xx2+1dx=12(x2+1)(x2+1)12dx=1223(x2+1)32+C=13(x2+1)32+C

双曲線関数なんていらなかったんや・・・

だから、積分なんて諦め・・・ませんwww(突然のエミネム)

気を取り直して次いきましょう。

6行目


sinxcosx=12sin2xです。

sinxcosxdx=12sin2xdx=14cos2x+C

xsinxcosxdx=12xsin2xdx=12x(12cos2x)dx=14xcos2x+14cos2xdx=14xcos2x+18sin2x+C

7行目

6行目とほとんど同じです。12の係数が付かない分こっちの方が簡単かもしれません。

cos2xdx=12sin2x+C

xcos2xdx=x(12sin2x)dx=12xsin2x12sin2xdx=12xsin2x14cos2x+C

8行目

ごめんなさい。既知とさせてください。実際は部分積分で求まります。
ddx(x1)ex=ex+(x1)ex=xexなのでxex=(x1)ex+C

xxexdx=x2(ex)dx=x2ex2xexdx=x2ex2(x1)ex+C=(x22x+2)ex+C

9行目

s,i,nがよく見たら斜体ですが、好意的にsinと解釈します。しかし、筆者はsinの3倍角の公式を覚えてないので、加法定理から導出します。と思ったらその必要はありませんでした。

まず5行目で導出した

cosh3t=4cosh3t3cosht

の両辺をtで微分して3で割ります。

sinh3t=4cosh2tsinhtsinht=4(1+sinh2t)sinhtsinht=4sinh3t+3sinht

sinx=eixeix2i=isinhixなので、t=ixを代入して整理します。(※虚数が出てくるのはここだけです。少しの間だけ辛抱ください。)

sinh3ix=4sinh3ix+3sinhixisinh3ix=4isinh3ix3isinhixisinh3ix=4(isinhix)33isinhixsin3x=3sinx4sin3x

となり、めでたく3倍角の公式が得られました。あとはこれを変形して

sin3x=3sinxsin3x4=34sinx14sin3x

とすれば、積分に便利な形にできました。

sin3x=(34sinx14sin3x)dx=34cosx+112cos3x+C

7行目の2つ目と同様にして、

xsinxdx=xcosx+sinx+C
xsin3xdx=13xcos3x+19sin3x+C

が得られるので、

xsin3x=x(34sinx14sin3x)dx=34xcosx+34sinx+112xcos3x136sin3x+C

となります。

10行目

これはウイニングランですか?

(3x3+2x+1)dx=34x4+x2+x+C

x(3x3+2x+1)dx=(3x4+2x2+x)dx=35x5+23x3+12x2+C

代入

事実上のウイニングランです。

1行目


01xdx=12
02πxdx=2π2
13xdx=912=4
1/23/2xdx=94142=1
11xdx=0(∵奇関数)
π/2πxdx=π21142=38π2
56xdx=36252=112
0πxdx=π22
0π/2xxdx=π324
11xxdx=1(1)3=23

2行目

01cosxdx=sin1
02πcosxdx=0
13cosxdx=sin3sin1
1/23/2cosxdx=sin32sin12
11cosxdx=201cosx=2sin1(∵偶関数)
π/2πcosxdx=01=1
65cosxdx=sin6sin5
0πcosxdx=0
0π/2xcosxdx=(π21+0)(00+1)=π21
11xcosxdx=0(∵奇関数)

3行目

015xdx=51ln5=4ln5
02π5xdx=52π1ln5
135xdx=1255ln5=120ln5
1/23/25xdx=555ln5=45ln5
115xdx=515ln5=245ln5
π/2π5xdx=5π5π/2ln5
565xdx=156253125ln5=12500ln5
0π5xdx=5π1ln5
0π/2x5xdx=1ln5(π21ln5)5π21(ln5)2
11x5xdx=1ln5(11ln5)51ln5(11ln5)15=15ln5(2624ln5)

4行目

01e2xdx=e212
02πe2xdx=e4π12
13e2xdx=e6e22
1/23/2e2xdx=e3e2
11e2xdx=e21e22=e412e2
π2πe2xdx=e4πe2π2
56e2xdx=e12e102
0πe2xdx=e2π12
0π/2xe2xdx=12(π212)eπ12(12)=14(π1)eπ+14=(π1)eπ+14
11xe2xdx=1212e212(32)e2=e4+34e2

5行目

01x2+1dx=12(12+log(1+2)0log1)=12(2+log(1+2))
02πx2+1dx=12(2π4π2+1+log(2π+4π2+1))
13x2+1dx=12(310+log(3+10)2log(1+2))
1/23/2x2+1dx=12(32134+log(32+134)1254log(12+54))=12(3134+log(3+132)54log(1+52))=12(31354+log(3+131+5))
11x2+1dx=12(12+log(1+2)(2)log1+2)=12(22+log(1+2)2)=2+log(1+2)
π/2πx2+1dx=12(ππ2+1+log(π+π2+1)ππ2+44log(π+π2+42))
56x2+1dx=12(637+log(6+37)526log(5+26))
0πx2+1dx=12(ππ2+1+log(π+π2+1))
0π/2xx2+1dx=13((π2+4)π2+481)
11xx2+1dx=0(∵奇関数)

6行目

01sinxcosxdx=14(cos21)
02πsinxcosxdx=0
13sinxcosxdx=14(cos6cos2)
1/23/2sinxcosxdx=14(cos3cos1)
11sinxcosxdx=0(∵奇関数)
π/2πsinxcosxdx=14(1(1))=12
56sinxcosxdx=14(cos12cos10)
0πsinxcosxdx=14(11)=0
0π/2xsinxcosxdx=14π2(1)+180+1401180=π8
11xsinxcosxdx=201xsinxcosxdx=12cos2+14sin2(∵偶関数)

7行目

01cos2xdx=12sin2
02πcos2xdx=0
13cos2xdx=12(sin6sin2)
1/23/2cos2xdx=12(sin3sin1)
11cos2xdx=sin2(∵偶関数)
π/2πcos2xdx=12(11)=0
56cos2xdx=12(sin12sin10)
0πcos2xdx=0
0π/2xcos2xdx=12π20+14(1)1200141=12
11xcos2xdx=0(∵偶関数)

8行目

01xexdx=0e1(1)e0=1
02πxexdx=(2π1)e2π(1)e0=(2π1)e2π+1
13xexdx=2e30e1=2e3
1/23/2xexdx=12e32(12)e12=12(e+1)e
11xexdx=0e12e1=2e
π/2πxexdx=(π1)eπ(π21)eπ2
56xexdx=5e64e5=5e64e5
0πxexdx=(π1)eπ(1)e0=(π1)eπ+1
0π/2xxexdx=(π24π+2)eπ/22
11xxexdx=1e15e1=e25e

9行目

01sin3xdx=34cos1+112cos3+23
02πsin3xdx=(23)(23)=0
13sin3xdx=(34cos3+112cos9)(34cos1+112cos3)=34cos156cos3+112cos9
1/23/2sin3xdx=(34cos32+112cos92)(34cos12+112cos32)=34cos1256cos32+112cos92
11sin3xdx=0(∵奇関数)
π/2πsin3xdx=(34112)(0+0)=23
56sin3xdx=34cos6+112cos18+34cos5112cos15
0πsin3xdx=(34112)(34+112)=23+23=43
0π/2xsin3xdx=(0+0+34+136)(0+0+0+0)=79
11xsin3xdx=201xsin3xdx=2(34cos1+112cos3+34sin1136sin3)=32cos1+16cos3+32sin1118sin3

10行目

01(3x3+2x+1)dx=(34+1+1)(0+0+0)=114
02π(3x3+2x+1)dx=(3416π4+4π2+2π)(0+0+0)=12π4+4π2+2π
13(3x3+2x+1)dx=(2434+9+3)(34+1+1)=2914114=70
3/21/2(3x3+2x+1)dx=(348116+94+32)(34116+14+12)=243+144+963163264=274
11(3x3+2x+1)dx=111dx=2
π/2π(3x3+2x+1)dx=(34π4+π2+π)(34π416+π24+π2)=4564π4+34π2+12π
56(3x3+2x+1)dx=(38884+36+6)(18754+25+5)=20134+11+1=20614
0π(3x3+2x+1)dx=(34π4+π2+π)(0+0+0)=34π4+π2+π
0π/2x(3x3+2x+1)dx=(35π532+23π38+12π24)(0+0+0)=3160π5+112π3+18π2
11x(3x3+2x+1)dx=(35+23+12)(3523+12)=2(35+23)=3819

ということで、計算が終わりました。現在の時刻は3時5分、タイムは3時間50分です。正直積分のために4時間も溶かすとは思いませんでした。やはり戦犯は双曲線関数です。これがなければ3時間切ってました。

というか、これあってるのか・・・?

投稿日:2021612
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

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

投稿者

nayuta_ito
103
34401

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 不定積分
  2. 1行目
  3. 2行目
  4. 3行目
  5. 4行目
  6. 5行目
  7. 6行目
  8. 7行目
  9. 8行目
  10. 9行目
  11. 10行目
  12. 代入
  13. 1行目
  14. 2行目
  15. 3行目
  16. 4行目
  17. 5行目
  18. 6行目
  19. 7行目
  20. 8行目
  21. 9行目
  22. 10行目