前節ですべての有理関数は積分できることを学びました.そこで,三角関数の積分も三角関数を有理関数に直すことができればよいわけです.実は三角関数を有理関数に必ず直す方法があります.その最も一般的な方法として,
とおく置換があります.
より,
.次に,
[1]
のとき,
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
となり,すべての三角関数の積分は必ず有理関数の積分に直せます.しかし,この置換はあくまで最後に用いるもので,もっと簡単に有理関数に変えれる場合はそちらを用います.次のような場合があります.
が
の有理関数のとき
[2]
とおくと,
より,
は
とおくと,
よって
[4]
より,
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
|
![]() |
![]() |
![]() |
となり, の有理関数に変換できます.
解
この積分は
を
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
解
の有理関数は
とおくと,
より
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
||
![]() |
![]() |
別解
![]() |
![]() |
![]() |
|
![]() |
![]() |
解
[2],[3],[4]のどちらの形もしていないので,最後の手段
を用います.
![]() |
![]() |
![]() |
|
![]() |
![]() |