本記事の内容
本記事は三角関数の不定積分の計算、特に三角関数の有理式の不定積分の計算方法について解説する記事です。
本記事を読むにあたり、置換積分について知っている必要があるため、以下の記事も合わせてご覧ください。
数Ⅲを思い出してみます。
まずは、筆者の思い出と共に、高校数学ではどのように三角関数の積分を計算していたかを思い出します。
「\(\displaystyle t=\tan\frac{x}{2}\)と置換しなさい。」と指導を受けた話。
数Ⅲを履修していた方は、テスト前などに沢山の積分の問題を解いたかと思います。
そうすると段々と「あ。これはこのパターンだ。」ということが見えてきますよね。
筆者はこれを「眼力」と勝手に呼んでいます。
筆者の主観ではありますが、三角関数が絡む積分は比較的慣れるまで、つまり眼力がつくまで時間がかかった記憶があります。
そんな中、(高校の教科書に載っていたかは記憶がありませんが)先生に
と指導を受けた記憶があります。
中学数学のイメージで言うところの、「二次方程式で因数分解が思いつかなかったら解の公式を使いなさい。」に対応する感じだと思われます。
筆者はこの指導を受けたとき「本当かよ？」と思いましたが、\(\displaystyle t=\tan\frac{x}{2}\)と置換することで有理関数の積分になり、「確かに解けるな」となりました。
しかし、「なぜ\(\displaystyle t=\tan\frac{x}{2}\)と置換すると良いのか？」という疑問は残り、そのまま高校を卒業しました。
今回は、\(\displaystyle t=\tan\frac{x}{2}\)という置換による積分がなぜ正しいか、ということをお話します。
\(\displaystyle t=\tan\frac{x}{2}\)という置換で積分を計算してみます。
例1. \(\displaystyle\int\frac{1}{\cos x}\ dx\)を計算してみます。
高校数学で習う解き方
まずは、\(\displaystyle t=\tan\frac{x}{2}\)と置換せずに、別の置換でもって計算してみます。
\begin{eqnarray}
\int\frac{1}{\cos x}\ dx&=&\int\frac{\cos x}{\cos^2x}\ dx\\
&=&\int\frac{\cos x}{1-\sin^2x}\ dx\\
\end{eqnarray}
であるので、\(t=\sin x\)とすると、\(\displaystyle\frac{dt}{dx}=\cos x\)だから、
\begin{eqnarray}
\int\frac{\cos x}{1-\sin^2x}\ dx&=&\int\frac{1}{1-t^2}\ dt\\
&=&-\int\frac{1}{t^2-1}\ dt\\
\end{eqnarray}
となります。
実は、このブログで既にこの型の積分の原始関数が分かっているので、一発で
\begin{eqnarray}
-\int\frac{1}{t^2-1}\ dt&=&-\frac{1}{2}\log\left|\frac{t-1}{t+1}\right|+C\\
&=&\frac{1}{2}\log\left|\frac{t+1}{t-1}\right|+C\\
&=&\frac{1}{2}\log\left|\frac{\sin x+1}{\sin x-1}\right|+C\\
&=&\frac{1}{2}\log\left|\frac{1+\sin x}{1-\sin x}\right|+C\\
\end{eqnarray}
と出すことができます。
ただし、\(C\)は積分定数です。
別の方法としては、\(\displaystyle\frac{1}{1-t^2}\)を部分分数分解する方法があります。
\begin{eqnarray}
\frac{1}{1-t^2}&=&\frac{A}{1-t}+\frac{B}{1+t}\\
&=&\frac{A(1+t)+B(1-t)}{(1+t)(1-t)}\\
&=&\frac{(A-B)t+A+B}{(1+t)(1-t)}\\
\end{eqnarray}
により、
\begin{eqnarray}
\begin{cases}
A-B=0\\
A+B=1
\end{cases}
\end{eqnarray}
を解くことで、\(\displaystyle A=B=\frac{1}{2}\)と求まります。
故に、
$$
\frac{1}{1-t^2}=\frac{1}{2}\left( \frac{1}{1-t}+\frac{1}{1+t}\right)
$$
となります。
従って、
\begin{eqnarray}
\int\frac{1}{1-t^2}\ dt&=&\frac{1}{2}\int\left( \frac{1}{1-t}+\frac{1}{1+t}\right)\ dt\\
&=&\frac{1}{2}\left(-\log|1-t|+\log|1+t| \right)+C\\
&=&\frac{1}{2}\log\left|\frac{1+t}{1-t}\right|+C\\
&=&\frac{1}{2}\log\left|\frac{1+\sin x}{1-\sin x}\right|+C
\end{eqnarray}
と求まります。
\(\displaystyle t=\tan\frac{x}{2}\)という置換で計算
\(\displaystyle t=\tan\frac{x}{2}\)とすると、\(\displaystyle\frac{dt}{dx}=\frac{1}{2\cos^2\frac{x}{2}}\)です。
ここで、
$$
1+\tan^2\theta=\frac{1}{\cos^2\theta}\cdots①
$$
を使うと、
$$
\frac{dt}{dx}=\frac{1}{2}(1+t^2)
$$
です。
また、①と倍角の公式から
\begin{eqnarray}
&&\cos^2\frac{x}{2}=\frac{1}{\displaystyle1+\tan^2\frac{x}{2}}=1+t^2\\
&&\cos^2\frac{x}{2}=\frac{1+\cos x}{2}
\end{eqnarray}
だから、
\begin{eqnarray}
\frac{1+\cos x}{2}=1+t^2&\Longleftrightarrow&1+\cos x=\frac{2}{1+t^2}\\
&\Longleftrightarrow&\cos x=\frac{1-t^2}{1+t^2}
\end{eqnarray}
となります。
部分分数分解と以上のことを使い、
\begin{eqnarray}
\int\frac{1}{\cos x}\ dx&=&\int\frac{1+t^2}{1-t^2}\cdot\frac{2}{1+t^2}\ dt\\
&=&\int\frac{2}{1-t^2}\ dt\\
&=&\int\left( \frac{1}{1-t}+\frac{1}{1+t}\right)\ dt\\
&=&-\log\left|1-t\right|+\log\left|1+t\right|+C\\
&=&\log\left|\frac{1+t}{1-t}\right|+C\\
&=&\log\left|\frac{\displaystyle1+\tan\frac{x}{2}}{\displaystyle1-\tan\frac{x}{2}}\right|+C\\
\end{eqnarray}
となります。
さらに、三角関数の相互関係、倍角の公式、半角の公式を”うまく”使うことで、
$$
\log\left|\frac{\displaystyle1+\tan\frac{x}{2}}{\displaystyle1-\tan\frac{x}{2}}\right|=\frac{1}{2}\log\left|\frac{1+\sin x}{1-\sin x}\right|
$$
となります。
三角関数の有理式の積分は、有理関数の積分に帰着します。
前置きが長くなってしまいましたが、要するに本記事で言いたいことは
ということです。
主張の明示
定理2.
\(R(z,w)\)が2つの文字\(z,w\)の有理式である時、\(\displaystyle\tan\frac{x}{2}=t\)とおけば $$ \int R\left(\cos x,\sin x \right)\ dx=\int R\left(\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2} \right)\cdot\frac{2}{1+t^2}\ dt\cdots② $$ が成り立つ。すなわち、三角関数の有理式の積分は有理関数の積分に帰着する。この定理2.が強力なのは、
といことで、たとえどんなに複雑な三角関数の有理式であっても必ず有理関数の積分として計算ができる、と言っているわけです。
主張の証明
では、証明します。
定理2.の証明
大したことありません。
前述した例1.での計算と同じようなことをするだけです。
\(\displaystyle\frac{dt}{dx}=\frac{1+t^2}{2}\)です。
また、三角関数の相互関係、倍角の公式、半角の公式を駆使することで
\begin{eqnarray}
\cos x&=&\frac{1-t^2}{1+t^2}\\
\sin x&=&\frac{2t}{1+t^2}
\end{eqnarray}
が求まります。
ここで、置換積分を使います。
定理3.(置換積分)
関数\(f:I=[a,b]\to\mathbb{R}\)、\(\varphi:J=[\alpha,\beta]\to\mathbb{R}\)が次の1.から4.を満たすとする。- \(f\)は\(I\)で連続である。
- \(\varphi\)は\(J\)で微分可能である。
- \(\varphi^\prime\)は\(J\)で有界かつ可積分である(例えば、連続)。
- \(\varphi(J)\subset I,\ \varphi(\alpha)=a,\ \varphi(\beta)=b\)
定理3.の証明は【解析学の基礎シリーズ】積分編 その18を御覧ください。
定理3.により
\begin{eqnarray}
\int R\left(\cos x,\sin x \right)\ dx=\int R\left(\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2} \right)\cdot\frac{2}{1+t^2}\ dt
\end{eqnarray}
が成り立ちます。
定理2.の証明終わり
もう一つ例を挙げます。
例4. \(\displaystyle\int\frac{1}{\sin x}\ dx\)を計算してみます。
\(\displaystyle t=\tan\frac{x}{2}\)とすると、\(\displaystyle\frac{dt}{dx}=\frac{1+t^2}{2}\)であり、\(\displaystyle\sin x=\frac{2t}{1+t^2}\)だから、
\begin{eqnarray}
\int\frac{1}{\sin x}\ dx&=&\int\frac{1+t^2}{2t}\cdot\frac{2}{1+t^2}\ dt\\
&=&\int\frac{1}{t}\ dt\\
&=&\log|t|+C\\
&=&\log\left|\tan\frac{x}{2}\right|+C\\
&=&\log\left|\frac{\displaystyle2\sin\frac{x}{2}\cos\frac{x}{2}}{\displaystyle2\left( \cos\frac{x}{2}\right)^2}\right|+C\\
&=&\log\left|\frac{1+\sin x}{\cos x}\right|+C
\end{eqnarray}
となります。
皆様のコメントを下さい！
このブログで一貫している(または意識している)ことに、「命題や定理の主張を一言で表す」があります。
今回でいうと、定理2.を
と一言で表現しました。
一言で表すわけですので、必ずしも厳密ではないです。
しかし、一言での表現をすることはイメージの湧きやすさや何処で使うかということが分かりやすいと思います。
ちなみに、筆者はこの一言表現が出来るというのが主張を理解しているかの指標になると思います。
どの定理にもこの「一言メッセージ(?)」みたいなことを書いてくれると筆者個人としては非常に嬉しいのですが、必ずしもそうではありませんよね。
しかも、主張が複雑だと「結局何を言ってるの？」となります。
皆様は一言メッセージ(?)で主張を表現したことがありますか？
どの定理をどう表現しましたか？
是非コメントで教えて下さい！
結
今回は、三角関数の有理式の不定積分の計算方法について解説しました。
三角関数の不定積分の有理式の計算は、\(\displaystyle\tan\frac{x}{2}=t\)と置換することで有理関数の積分に帰着されます。
次回は、二次の無理関数の不定積分の計算について解説します。
乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。
この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください！
ちなみに「解析概論」は日本の歴史的名著らしいので、辞書的にもぜひ１冊持っておくと良いと思います！
コメントをする