不定積分の漸化式

...(�ｰ�｣迚�)繝｡繝九Η繝ｼ縺ｫ謌ｻ繧�
*** 遘醍岼 ***
謨ｰ竇�繝ｻ�｡謨ｰ竇｡繝ｻ�｢謨ｰ竇｢鬮伜穀繝ｻ螟ｧ蟄ｦ蛻晏ｹｴ蠎ｦ
*** 蜊伜� ***
隍�ｴ�謨ｰ蟷ｳ髱｢莠梧ｬ｡譖ｲ邱�蟐剃ｻ句､画焚陦ｨ遉ｺ縺ｨ讌ｵ蠎ｧ讓�
謨ｰ蛻励�讌ｵ髯�髢｢謨ｰ蟆朱未謨ｰ荳榊ｮ夂ｩ榊�螳夂ｩ榊�
陦悟�1谺｡螟画鋤

窶ｻ鬮俶�｡謨ｰ蟄ｦ竇｢縺ｮ縲御ｸ榊ｮ夂ｩ榊�縲�縺ｫ縺､縺�※�後％縺ｮ繧ｵ繧､繝医↓縺ｯ谺｡縺ｮ謨呎攝縺後≠繧翫∪縺呻ｼ�
縺薙�鬆√∈Google繧ШAHOO ! 縺ｪ縺ｩ縺ｮ讀懃ｴ｢縺九ｉ逶ｴ謗･譚･縺ｦ縺励∪縺｣縺溘�縺ｧ縲悟燕謠舌→縺ｪ縺｣縺ｦ縺�ｋ蜀�ｮｹ縺悟�縺九ｉ縺ｪ縺�阪→縺�≧蝣ｴ蜷医ｄ縲後％縺ｮ鬆√�蛻�°縺｣縺溘′繧ゅ▲縺ｨ蠢懃畑蝠城｡後ｒ隕九◆縺�阪→縺�≧蝣ｴ蜷医��御ｻ悶�鬆√ｒ隕九※縺上□縺輔＞��縲縺檎樟蝨ｨ蝨ｰ縺ｧ縺呻ｼ�

竊�螟夐��ｼ上�譛臥炊髢｢謨ｰ繝ｻ辟｡逅�未謨ｰ縺ｮ荳榊ｮ夂ｩ榊�
竊�蛻�焚髢｢謨ｰ(譛臥炊髢｢謨ｰ)縺ｮ荳榊ｮ夂ｩ榊�
竊�蜷�(2)
竊�蜷�(3)
竊�蜷�(4)
竊�蜷�(縺ｾ縺ｨ繧�)

竊�荳榊ｮ夂ｩ榊�縺ｮ鄂ｮ謠帷ｩ榊�
竊�蜷�(2)

竊�荳榊ｮ夂ｩ榊�縺ｮ驛ｨ蛻�ｩ榊�
竊�蜷�(2)

竊�謖�焚髢｢謨ｰ繝ｻ蟇ｾ謨ｰ髢｢謨ｰ縺ｮ荳榊ｮ夂ｩ榊�
竊�蜷�(2)

竊�荳芽ｧ帝未謨ｰ縺ｮ荳榊ｮ夂ｩ榊�
竊�蜷�(2)

竊�荳榊ｮ夂ｩ榊��医∪縺ｨ繧�1��
竊�蜷�(2)

荳榊ｮ夂ｩ榊�縺ｮ貍ｸ蛹門ｼ�-迴ｾ蝨ｨ蝨ｰ

*** 数学Ⅱ（多項式まで） ***

不定積分

*** 高卒から大学初年度程度 ***

== 不定積分の漸化式 == ○　はじめに
　数列の漸化式では「一般項を求める」ことに関心を向けられることがあるが，不定積分の漸化式から一般項を求めるのは困難なことが多い．
　不定積分の漸化式を利用して第ｎ項を求めるには，低次の項から順に高次の項を求めるという原始的な方法をとる．
　各々の漸化式を証明するには，被積分関数の次数が低くなるように部分積分を行うとよい．それでだめなら置換積分を考える．
　※　なお，この頁に登場する「公式を覚える」必要はない…「部分積分・置換積分で公式を作れる」という体験があればよく，利用方法については「一般項を求めるのではない」ということが分かればよい．

○1　∫wnsinnx dx=In (n=2,3,4,···)とおくと

In= − .

sinn−1x_cosxnnnnnnnnnnn+.

n−1nnnnIn−2 (n= 2, 3, 4, ···)

（証明）
　
In=∫wnsinn−1x sinx dxと見る．

f=sinn−1x	f’=(n−1)sinn−2x cosx
g=−cosx	g’=sinx

部分積分法の公式

∫wnfg’ dx=fg−∫wnf’g dx

を適用すると

∫wnsinn−1x sinx dx

=sinn−1x(−cosx)−∫wn(n−1)sinn−2x cos x(−cos x) dx

=sinn−1x(−cosx)+(n−1)∫wnsinn−2x (1−sin2x) dx

=sinn−1x(−cosx)+(n−1)∫wn(sinn−2x −sinnx) dx

したがって

In= −sinn−1x cosx+(n−1)In−2−(n−1)In

nIn= −sinn−1x cosx+(n−1)In−2

ゆえに

In= − .

sinn−1x_cosxnnnnnnnnnnn+.

n−1nnnnIn−2

○1を用いると∫wnsinnx dxを「ｎの次数の低いものから順に」求めることができる．（いきなり一般項が求められるわけではない．）

(1)　はじめにI0とI1は漸化式を利用せずに，通常の積分計算によって求めておく．

I0=∫wn dx=x+C

I1=∫wnsin x dx= −cos x+C

(2)　n= 2, 3, 4, ···となるnについては，漸化式を利用して低次のInで表す．（この問題では，InとIn−2の関係式になっているので，奇数番号の系列と偶数番号の系列に分かれる．）

I2= − .

sinx_cosx2nnnnnnnn+.

12nI0 = − .

sinx_cosx2nnnnnnnn+.

12nx+C

I4= − .

sin3x_cosx4nnnnnnnnn+.

34nI2

= − .

sin3x_cosx4nnnnnnnnn+.

34n( − .

sinx_cosx2nnnnnnnn+.

12nx)+C

= − .

sin3x_cosx4nnnnnnnnn− .

38nsinx cosx+.

38nx+C

…

I3= − .

sin2x_cosx3nnnnnnnnn+.

23nI1

= − .

sin2x_cosx3nnnnnnnnn− .

23ncos x+C

I5=− .

sin4x_cosx5nnnnnnnnn+.

45nI3

=− .

sin4x_cosx5nnnnnnnnn+.

45n(− .

sin2x_cosx3nnnnnnnnn− .

23ncosx)+C

=− .

sin4x_cosx5nnnnnnnnn− .

415nnsin2x cosx− .

815nncosx+C

…

※試験に出ない問題：
　試験の時間が例えば50分間だとすると，筆算の問題でI8とかI9などが出題される可能性はまずない．なぜなら，そのような問題を出すと１題解くために非常に時間がかかり他の問題に割り当てる時間がなくなるため，非常にいびつな問題構成になってしまうから ♪～出題したくても出題できない～♪ 　プログラミングの問題としては，帰納的に定義されている問題は再帰的な関数によって解決できる．

0≦n≦50のときのInの検算↓

○2　∫wncosnx dx=In (n=2,3,4,···)とおくと

In= .

cosn−1x_sinxnnnnnnnnnnn+.

n−1nnnnIn−2 (n= 2, 3, 4, ···)

（証明）
　
In=∫wncosn−1x cosx dxと見る．

f=cosn−1x	f’=(n−1)cosn−2x(−sinx)
g=sinx	g’=cosx

部分積分法の公式

∫wnfg’ dx=fg−∫wnf’g dx

を適用すると

∫wncosn−1x cosx dx

=cosn−1x sinx−∫wn(n−1)cosn−2x (−sin x)sin x dx

=cosn−1xsinx+(n−1)∫wncosn−2x (1−cos2x) dx

=cosn−1x sinx+(n−1)∫wn(cosn−2x −cosnx) dx

したがって

In= cosn−1x sinx+(n−1)In−2−(n−1)In

nIn= cosn−1x sinx+(n−1)In−2

ゆえに

In= .

cosn−1x_sinxnnnnnnnnnnn+.

n−1nnnnIn−2

○2を用いると∫wnsinnx dxを「ｎの次数の低いものから順に」求めることができる．

(1)　はじめにI0とI1は漸化式を利用せずに，通常の積分計算によって求めておく．

I0=∫wn dx=x+C

I1=∫wncos x dx= sin x+C

I2= .

cosx_sinx2nnnnnnnn+.

12nI0 = .

cosx_sinx2nnnnnnnn+.

12nx+C

I4= .

cos3x_sinx4nnnnnnnnn+.

34nI2

= .

cos3x_sinx4nnnnnnnnn+.

34n( .

cosx_sinx2nnnnnnnn+.

12nx)+C

= .

cos3x_sinx4nnnnnnnnn+.

38ncosx sinx+.

38nx+C

…

I3= .

cos2x_sinx3nnnnnnnnn+.

23nI1

= .

cos2x_sinx3nnnnnnnnn+.

23nsin x+C

I5= .

cos4x_sinx5nnnnnnnnn+.

45nI3

= .

cos4x_sinx5nnnnnnnnn+.

45n( .

cos2x_sinx3nnnnnnnnn+ .

23nsinx)+C

= .

cos4x_sinx5nnnnnnnnn+ .

415nncos2x sinx+ .

815nnsinx+C

…

0≦n≦50のときのInの検算↓

○3　∫wntannx dx=In (n=2,3,4,···)とおくと

In= .

tann−1xn−1nnnnnn−In−2 (n= 2, 3, 4, ···)

（証明）
　
In=∫wntann−2x tan2x dxと見る．

ここで ∫wn .

tannxcos2xnnnn dxの形を作れば，被積分関数がf n(x)f’(x)の形になり，置換積分により簡単に計算できることに目を付ける．

数学Ｉで習う三角比の相互関係の公式
sin2x+cos2x=1 の両辺をcos2xで割ると
tan2x+1= .

1cos2xnnnn
したがって
tan2x= .

1cos2xnnnn−1

だから

In=∫wntann−2x (.

1cos2xnnnn−1) dx

=∫wn ( .

tann−2xcos2xnnnnnnn−tann−2x )dx

=∫wn .

tann−2xcos2xnnnnnndx − In−2

右辺第1項をt=tan xとおいて置換積分すると

dtdxnn= .

1cos2xnnnnn　→　dx= cos2x dt

∫wn .

tann−2xcos2xnnnnnndx=∫wn .

tn−2cos2xnnnn cos2x dt=.

tn−1n−1nnn+C

tann−1xn−1nnnnnn+C

ゆえに

In= .

tann−1xn−1nnnnnn− In−2

○3を用いると∫wntannx dxを「ｎの次数の低いものから順に」求めることができる．

(1)　はじめにI0とI1は漸化式を利用せずに，通常の積分計算によって求めておく．

I0=∫wn dx=x+C

I1=∫wntan x dx= − ∫wn .

(cosx)’cosxnnnnndx = − log|cosx|+C

I2= .

tan_x1nnnn−I0 = tan x−x+C

I4= .

tan3x3nnnnn−I2

= .

tan3x3nnnnn−(tan x−x)+C

= .

tan3x3nnnnn−tan x+x+C

…

I3= .

tan2x2nnnnn− I1

= .

tan2x2nnnnn+log|cosx|+C

I5= .

tan4x4nnnnn−I3

= .

tan4x4nnnnn−( .

tan2x2nnnnn+log|cosx| )+C

= .

tan4x4nnnnn− .

tan2x2nnnnn−log|cosx|+C

…

0≦n≦50のときのInの検算↓

○4　∫wn (log x)ndx=In (n=0,1,2, ···)とおくと

In= x(log x)n−nIn−1 (n= 1, 2, 3, ···)

（証明）
　
In=∫wn(log x)n · 1 dxと見る．

f=(log x)n	f’=n(log x)n−1 · .1xn
g=x	g’=1

部分積分法の公式

∫wnfg’ dx=fg−∫wnf’g dx

を適用すると

∫wn(log x)n·1 dx

=(log x)nx−∫wnn(log x)n−1·.

1xn·x dx

=x(log x)n−n∫wn(log x)n−1dx

ゆえに

In=x(log x)n−nIn−1

(1)　はじめにI0は漸化式を利用せずに，通常の積分計算によって求めておく．

I0=∫wn dx=x+C

(2)　n=1, 2, 3, ···となるnについては，漸化式を利用して低次のInで表す．

I1= x(log x)1−I0=x log x−x+C

I2=x(log x)2−2I1=x(log x)2−2(x log x−x)+C
=x(log x)2−2x log x+2x+C

I3=x(log x)3−3I2
=x(log x)3−3 { x(log x)2−2x log x+2x }+C
=x(log x)3−3x(log x)2+6x log x−6x+C
…

0≦n≦50のときのInの検算↓

【問題】　次の関係式を証明しなさい．

(1)　∫wn xnsin xdx=In (n= 2, 3, 4, ···)とおくと

In=−xncos x+nxn−1sin x−n(n−1)In−2　Check

(1) In=∫wnxn · sin x dx

f=xn	f’=nxn−1
g=−cos x	g’=sin x

In=−xncos x+n∫wnxn−1cos x dx

p=xn−1	p’=(n−1)xn−2
q=sin x	q’=cos x

In=−xncos x+n {xn−1sin x−∫wn(n−1)xn−2sin x dx }

=−xncos x+nxn−1sin x−n(n−1)∫wnxn−2sin x dx

ゆえに In=−xncos x+nxn−1sin x−n(n−1)In−2

(2)　∫wn xnexdx=In (n= 1, 2, 3, ···)とおくと

In= xnex−nIn−1　Check

(2) In=∫wnxnex dx

f=xn	f’=nxn−1
g=ex	g’=ex

In=xnex−∫wnnxn−1exdx=xnex−nIn−1

(3)　∫wn .

xnexnndx=In (n= 1, 2, 3, ···)とおくと

In= − .

xnexnn+nIn−1　Check

(3) In=∫wn xne−xdx

f=xn	f’=nxn−1
g=−e−x	g’=e−x

In=−xne−x+∫wnnxn−1e−xdx=−xne−x+nIn−1

(4)　∫wn .

exxnnndx=In (n= 1, 2, 3, ···)とおくと

In= .

−ex(n−1)xn−1nnnnnnnn+.

1n−1nnnIn−1　Check

(4) In=∫wnexx−n dx

f=ex	f’=ex
g=.1−n+1nnnnx−n+1	g’=x−n

In=ex .

1−n+1nnnnnx−n+1− ∫wnex .

1−n+1nnnnnx−n+1dx

= .

−ex(n−1)xn−1nnnnnnnn+.

1n−1nnnIn−1

(5)　∫wn xm(log x)ndx=In (n= 1, 2, 3, ···)とおくと

.In= .

xm+1(logx)nm+1nnnnnnnnnn− .

nm+1nnnnIn−1　Check

(5) In=∫wn(log x)nxm dx

f=(log x)n	f’=n(log x)n−1 .1xn
g=.1m+1nnnxm+1	g’=xm

In=(log x)n.

1m+1nnnnxm+1−∫wnn(log x)n−1 .

1xn.

1m+1nnnnxm+1dx

= .

xm+1(logx)nm+1nnnnnnnnnn− .

nm+1nnnnIn−1

（その他，不定積分の漸化式）

$I_{m,\hspace{2}n}=\int \sin^m x\hspace{2}\cos^n x\hspace{2}dx$ $(m\ne 0,\hspace{2}n\ne 0,\hspace{2}m+ n\ne 0)$
とおくと，次の漸化式が成り立つ
$I_{m,\hspace{2}n}=\frac{\sin^{m+ 1}x\hspace{2}\cos^{n-1}x}{m+ n}+\frac{n-1}{m+ n}I_{m,\hspace{2}n-2}$ ･･･(1)
$I_{m,\hspace{2}n}=-\frac{\sin^{m-1}x\hspace{2}\cos^{n+ 1}x}{m+ n}+\frac{m-1}{m+ n}I_{m-2,\hspace{2}n}$ ･･･(2)
$I_{m,\hspace{2}n}=-\frac{\sin^{m+ 1}x\hspace{2}\cos^{n+ 1}x}{n+ 1}+\frac{m+ n+ 2}{n+ 1}I_{m,\hspace{2}n+ 2}$ ･･･(3)

$(n\ne -1)$

$I_{m,\hspace{2}n}=\frac{\sin^{m+ 1}x\hspace{2}\cos^{n+ 1}x}{m+ 1}+\frac{m+ n+ 2}{m+ 1}I_{m+ 2,\hspace{2}n}$ ･･･(4)

$(m\ne -1)$

（解説）

　こういう漸化式があるということに気付くことは大変で，この漸化式を自分で作ることも大変であるが，この漸化式を「証明する」のは簡単です．
　なぜなら，証明問題では「結論」が書いてあり，部分積分の式
$\int f(x)g\apos(x)dx=f(x)g(x)-\int f\apos(x)g(x)dx$
を証明するには，積の微分
$\{f(x)g(x)\}\apos=f(x)g\apos(x)+ f\apos(x)g(x)$
を示せばよいからです．（両辺を積分すれば結果が示される）

(1)を証明するには，次の関係式を示せばよい．
$\{\frac{\sin^{m+ 1}x\hspace{2}\cos^{n-1}x}{m+ n}\}\apos$
$=\sin^m x\hspace{2}\cos^n x-\frac{n-1}{m+ n}\sin^m x\hspace{2}\cos^{n-2}x$
（左辺） $=\frac{1}{m+ n}\{(m+ 1)\sin^m x\cdot\cos x\cos^{n-1}x$
$-\sin^{m+ 1}x\cdot(n-1)\cos^{n-2}x\cdot\sin x\}$
$=\frac{1}{m+ n}\{(m+ 1)\sin^m x\hspace{2}\cos^{n}x$
$-\sin^{m+ 2}x\cdot(n-1)\cos^{n-2}x\}$
$=\frac{1}{m+ n}\{(m+ 1)\sin^m x\hspace{2}\cos^{n}x$
$-\sin^{m}x\cdot(1-\cos^2x)(n-1)\cos^{n-2}x\}$
$=\frac{1}{m+ n}\{(m+ 1)\sin^m x\hspace{2}\cos^{n}x$
$-(n-1)\sin^{m}x\cos^{n-2}x+(n-1)\sin^{m}x\cos^{n}x\}$
$=\frac{1}{m+ n}\{(m+ n)\sin^m x\hspace{2}\cos^{n}x$
$-(n-1)\sin^{m}x\cos^{n-2}x\}$
$=\sin^m x\hspace{2}\cos^{n}x-\frac{n-1}{m+ n}\sin^{m}x\cos^{n-2}x$
両辺を積分すれば，求める式が得られる．

■証明終わり■

(2)を証明するには，次の関係式を示せばよい．
$\{-\frac{\sin^{m-1}x\hspace{2}\cos^{n+ 1}x}{m+ n}\}\apos$
$=\sin^m x\hspace{2}\cos^n x-\frac{m-1}{m+ n}\sin^{m-2} x\hspace{2}\cos^{n}x$
（左辺） $=-\frac{1}{m+ n}\{(m-1)\sin^{m-2}x\cdot\cos x\cos^{n+ 1}x$
$+\sin^{m-1}x\cdot(n+ 1)\cos^{n}x\cdot(-\sin x)\}$
$=-\frac{1}{m+ n}\{(m-1)\sin^{m-2}x\cdot\cos^{n+ 2}x$
$-(n+ 1)\sin^{m}x\cdot\cos^{n}x\}$
$=-\frac{1}{m+ n}\{(m-1)\sin^{m-2}x\cdot\cos^{n}x(1-\sin^2x)$
$-(n+ 1)\sin^{m}x\cdot\cos^{n}x\}$
$=-\frac{1}{m+ n}\{(m-1)\sin^{m-2}x\cdot\cos^{n}x$
$-(m-1)\sin^{m}x\cdot\cos^{n}x$
$-(n+ 1)\sin^{m}x\cdot\cos^{n}x\}$
$=-\frac{1}{m+ n}\{(m-1)\sin^{m-2}x\cdot\cos^{n}x$
$-(m+ n)\sin^{m}x\cdot\cos^{n}x\}$
$=\sin^m x\hspace{2}\cos^n x-\frac{m-1}{m+ n}\sin^{m-2} x\hspace{2}\cos^{n}x$
両辺を積分すれば，求める式が得られる．

■証明終わり■

(3)を証明するには，次の関係式を示せばよい．
$\{-\frac{\sin^{m+ 1}x\hspace{2}\cos^{n+ 1}x}{n+ 1}\}\apos$
$=\sin^m x\hspace{2}\cos^n x-\frac{m+ n+ 2}{n+ 1}\sin^{m} x\hspace{2}\cos^{n+ 2}x$
（左辺） $=-\frac{1}{n+ 1}\{(m+ 1)\sin^{m}x\cdot\cos x\cdot\cos^{n+ 1}x$
$+\sin^{m+ 1}x\cdot(n+ 1)\cos^{n}x\cdot(-\sin x)\}$
$=-\frac{1}{n+ 1}\{(m+ 1)\sin^{m}x\cdot\cos^{n+ 2}x$
$-(n+ 1)\sin^{m+ 2}x\cdot\cos^{n}x\}$
$=-\frac{1}{n+ 1}\{(m+ 1)\sin^{m}x\cdot\cos^{n+ 2}x$
$-(n+ 1)\sin^{m}x\cdot(1-\cos^2x)\cdot\cos^{n}x\}$
$=-\frac{1}{n+ 1}\{(m+ 1)\sin^{m}x\cdot\cos^{n+ 2}x$
$-(n+ 1)\sin^{m}x\cdot\cos^{n}x$
$+(n+ 1)\sin^{m}x\cdot\cos^{n+ 2}x\}$
$=-\frac{1}{n+ 1}\{(m+ n+ 2)\sin^{m}x\cdot\cos^{n+ 2}x$
$-(n+ 1)\sin^{m}x\cdot\cos^{n}x\}$
$=\sin^m x\hspace{2}\cos^n x-\frac{m+ n+ 2}{n+ 1}\sin^{m} x\hspace{2}\cos^{n+ 2}x$
両辺を積分すれば，求める式が得られる．

■証明終わり■

(4)を証明するには，次の関係式を示せばよい．
$\{\frac{\sin^{m+ 1}x\hspace{2}\cos^{n+ 1}x}{m+ 1}\}\apos$
$=\sin^m x\hspace{2}\cos^n x-\frac{m+ n+ 2}{m+ 1}\sin^{m+ 2} x\hspace{2}\cos^{n}x$
（左辺） $=\frac{1}{m+ 1}\{(m+ 1)\sin^{m}x\cdot\cos x\cdot\cos^{n+ 1}x$
$+\sin^{m+ 1}x\cdot(n+ 1)\cos^{n}x\cdot(-\sin x)\}$
$=\frac{1}{m+ 1}\{(m+ 1)\sin^{m}x\cdot\cos^{n+ 2}x$
$-(n+ 1)\sin^{m+ 2}x\cdot\cos^{n}x\}$
$=\frac{1}{m+ 1}\{(m+ 1)\sin^{m}x\cdot\cos^{n}x(1-\sin^2x)$
$-(n+ 1)\sin^{m+ 2}x\cdot\cos^{n}x\}$
$=\frac{1}{m+ 1}\{(m+ 1)\sin^{m}x\cdot\cos^{n}x$
$-(m+ 1)\sin^{m+ 2}x\cdot\cos^{n}x$
$-(n+ 1)\sin^{m+ 2}x\cdot\cos^{n}x\}$
$=\sin^m x\hspace{2}\cos^n x-\frac{m+ n+ 2}{m+ 1}\sin^{m+ 2} x\hspace{2}\cos^{n}x$
両辺を積分すれば，求める式が得られる．

■証明終わり■

$I_{n}=\int\cot^nx\hspace{2}dx\hspace{5}(n\ne 1)$ とおくと
$I_{n}=-\frac{\cot^{n-1}x}{n-1}-I_{n-2}$ ･･･(5)

（解説）
まず，三角関数の相互関係の式（数学Ⅰ）を確かめておきます
$\sin^2x+\cos^2x=1$
両辺を $\sin^2x$ で割ると
$1+\frac{\cos^2x}{\sin^2x}=\frac{1}{\sin^2x}$
ゆえに
$1+\cot^2x=\frac{1}{\sin^2x}$ ･･･(#1)
次に， $\cot x$ の微分を確かめておきます
$\{\cot x\}\apos=\{\frac{\cos x}{\sin x}\}\apos=\frac{-\sin^2x-\cos^2x}{\sin^2x}$
$=-\frac{1}{\sin^2x}$ ･･･(#2)
$I_{n}=\int\cot^nx\hspace{2}dx=\int\cot^{n-2}x\cdot\cot^2xdx$ と変形する
$I_{n}=\int\cot^{n-2}x\cdot\cot^2xdx$
(#1)により
$=\int\cot^{n-2}x\cdot(\frac{1}{\sin^2x}-1)dx$
$=\int\frac{\cot^{n-2}x}{\sin^2x}\hspace{2}dx-\int\cot^{n-2}x\hspace{2}dx$
$=\int\frac{\cot^{n-2}x}{\sin^2x}\hspace{2}dx-I_{n-2}$
$t=\cot x$ とおく置換積分を行うと，(#2)により
$\frac{dt}{dx}=-\frac{1}{\sin^2x}$
求める式の第1項は
$\int\frac{\cot^{n-2}x}{\sin^2x}\hspace{2}dx=\int\frac{t^{n-2}}{\sin^2x}(-\sin^2x)dt$
$=-\int t^{n-2}dt=-\frac{t^{n-1}}{n-1}+ C$
$=-\frac{\cot^{n-1}x}{n-1}+ C$
ゆえに
$I_{n}=-\frac{\cot^{n-1}x}{n-1}-I_{n-2}$
（定数項は各々の不定積分に吸収される）

■証明終わり■

$I_{n}=\int\frac{dx}{\sin^nx}\hspace{5}(n\gt 1,\hspace{2}-\pi\lt x\lt\pi)$ とおくと
$I_{n}=-\frac{\cos x}{(n-1)\sin^{n-1}x}+\frac{n-2}{n-1}I_{n-2}$ ･･･(6)

（解説）
$\{-\frac{\cos x}{(n-1)\sin^{n-1}x}\}\apos=\frac{1}{\sin^nx}-\frac{n-2}{n-1}\cdot\frac{1}{\sin^{n-2}x}$
を証明する．（この式の両辺を積分すれば(6)になるから）
$\{-\frac{\cos x}{(n-1)\sin^{n-1}x}\}\apos$
$=-\frac{1}{n-1}\{(-n+ 1)\sin^{-n}x\cdot\cos^2x+\sin^{-n+ 1}(-\sin x)\}$
$=-\frac{1}{n-1}\{-(n-1)\frac{1-\sin^2x}{\sin^nx}-\frac{1}{\sin^{n-2}}\}$
$=\frac{1}{\sin^nx}-\frac{1}{\sin^{n-2}}+\frac{1}{(n-1)\sin^{n-2}x}$
$=\frac{1}{\sin^nx}+(\frac{1}{n-1}-1)\frac{1}{\sin^{n-2}x}$
$=\frac{1}{\sin^nx}-\frac{n-2}{n-1}\cdot\frac{1}{\sin^{n-2}x}$
両辺を積分すれば，求める式が得られる．

■証明終わり■

$I_{n}=\int\frac{dx}{\cos^nx}\hspace{5}(n\gt 1,\hspace{2}-\frac{\pi}{2}\lt x\lt\frac{\pi}{2})$ とおくと
$I_{n}=\frac{\sin x}{(n-1)\cos^{n-1}x}+\frac{n-2}{n-1}I_{n-2}$ ･･･(7)

（解説）
$\{\frac{\sin x}{(n-1)\cos^{n-1}x}\}\apos=\frac{1}{\cos^nx}-\frac{n-2}{n-1}\cdot\frac{1}{\cos^{n-2}x}$
を証明する．（この式の両辺を積分すれば(7)になるから）
$\{\frac{\sin x}{(n-1)\cos^{n-1}x}\}\apos$
$=\frac{1}{n-1}\{\cos x\cdot\cos^{-n+ 1}x$
$+ \sin x\cdot(-n+ 1)\cdot\cos^{-n}x\cdot(-\sin x)\}$
$=\frac{1}{n-1}\{\frac{1}{\cos^{n-2}x}+(n-1)\frac{\sin^2x}{\cos^nx}\}$
$=\frac{1}{n-1}\{\frac{1}{\cos^{n-2}x}+(n-1)\frac{1-\cos^2x}{\cos^nx}\}$
$=\frac{1}{n-1}\{\frac{1}{\cos^{n-2}x}+(n-1)\frac{1}{\cos^nx}-(n-1)\frac{1}{\cos^{n-2}x}\}$
$=\frac{1}{\cos^nx}-\frac{n-2}{n-1}\cdot\frac{1}{\cos^{n-2}x}$
両辺を積分すれば，求める式が得られる．

■証明終わり■

$I_{m,\hspace{2}n}=\int\frac{x^mdx}{(\log x)^n}\hspace{5}(m\gt 0,\hspace{2}n=1,2,3,...)$ とおくと
$I_{m,\hspace{2}n}=-\frac{x^{m+ 1}}{(n-1)(\log x)^{n-1}}+\frac{m+ 1}{n-1}I_{m,\hspace{2}n-1}$ ･･･(8)

（解説）
$\{\frac{\sin x}{(n-1)\cos^{n-1}x}\}\apos=\frac{1}{\cos^nx}-\frac{n-2}{n-1}\cdot\frac{1}{\cos^{n-2}x}$
を証明する．（この式の両辺を積分すれば()になるから）
両辺を積分すれば，求める式が得られる．

■証明終わり■

...（携帯版）メニューに戻る

...（PC版）メニューに戻る

笆�縺薙�繧ｵ繧､繝亥�縺ｮGoogle讀懃ｴ｢笆�

笆ｳ縺薙�繝壹�繧ｸ縺ｮ蜈磯�ｭ縺ｫ謌ｻ繧銀無縲� 繧｢繝ｳ繧ｱ繝ｼ繝磯∽ｿ｡縲�
… 縺薙�繧｢繝ｳ繧ｱ繝ｼ繝医�謨呎攝謾ｹ蝟��蜿り�↓縺輔○縺ｦ縺�◆縺�縺阪∪縺�

笆�縺薙�鬆√↓縺､縺�※�瑚憶縺�園�梧が縺�園�碁俣驕輔＞縺ｮ謖�遭�後◎縺ｮ莉悶�諢滓Φ縺後≠繧後�騾∽ｿ｡縺励※縺上□縺輔＞��

笳区枚遶�縺ｮ蠖｢繧偵＠縺ｦ縺�ｋ諢滓Φ縺ｯ蜈ｨ驛ｨ隱ｭ縺ｾ縺帙※繧ゅｉ縺｣縺ｦ縺�∪縺呻ｼ�
笳区─諠ｳ縺ｮ蜀�〒�後←縺ｮ蝠城｡後′縺ｩ縺�〒縺ゅ▲縺溘°繧呈ｭ｣遒ｺ縺ｪ譁�ｫ�縺ｧ莨昴∴縺ｦ縺�◆縺�縺�◆謾ｹ蝟�ｦ∵悍縺ｫ蟇ｾ縺励※縺ｯ�悟庄閭ｽ縺ｪ髯舌ｊ蟇ｾ蠢懊☆繧九ｈ縺�↓縺励※縺�∪縺呻ｼ趣ｼ遺ｻ縺ｪ縺奇ｼ梧判謦�噪縺ｪ譁�ｫ�縺ｫ縺ｪ縺｣縺ｦ縺�ｋ蝣ｴ蜷医��後◎繧後ｒ蜈ｬ髢九☆繧九→遲��□縺代〒縺ｪ縺剰ｪｭ閠�ｂ隱ｭ繧縺薙→縺ｫ縺ｪ繧翫∪縺吶�縺ｧ�梧治逕ｨ縺励∪縺帙ｓ�趣ｼ�

雉ｪ蝠上↓蟇ｾ縺吶ｋ蝗樒ｭ斐�荳ｭ蟄ｦ迚医�縺薙�鬆��碁ｫ俶�｡迚医�縺薙�鬆�縺ｫ縺ゅｊ縺ｾ縺�