「初等関数の原始関数②〜三角関数、指数関数、対数関数〜」【解析学の基礎シリーズ】積分編その17

本記事の内容
微分積分学の基本定理の軽い復習(前回と同じなので読み飛ばしてOKです)
三角関数の原始関数
双曲線関数の原始関数
指数関数の原始関数
1. $e^x$ の原始関数
2. $a^x$ の原始関数
対数関数の原始関数
これ、覚えるんですか？（前回と同じなので読み飛ばしてOK）
皆様のコメントを下さい！
結

本記事の内容

本記事は初等関数の原始関数を紹介、証明する記事です。

本記事を読むにあたり、１変数実数値関数の導関数、原始関数について知っている必要があるため、以下の記事も合わせてご覧ください。

↓１変数実数値関数の導関数の記事

↓原始関数の記事

微分積分学の基本定理の軽い復習(前回と同じなので読み飛ばしてOKです)

前々回、

定理1.(微分積分学の基本定理の系)

f

$f$ を

I = [a, b] (a < b)

$I=[a,b]\ (a<b)$ で連続な実数値関数とするとき、次の2つが成り立つ。

$f$ の不定積分 $\displaystyle F(x)=\int_a^xf(y)\ dy$ は、 $I$ における $f$ の原始関数である。
$I$ における $f$ の任意の1つの原始関数 $G(x)$ は $G(x)=F(x)+C\$ ( $C$ は定数)の形で、基本公式 $\int_a^b f(x)\ dx=G(b)-G(a)\cdots①$ が成り立つ。また①の右辺を $\left[ G(x)\right]_a^b$ と表す。

を証明しました。
詳しくは【解析学の基礎シリーズ】積分編その15を御覧ください。

定理1.により、関数の積分は、その関数の原始関数さえ分かってしまえばよい、ということが分かります。

原始関数とは何だったかというと、以下でした。

原始関数

$I\subset\mathbb{R}$ として、

$f,F$ が

$I$ 上で定められた関数とする。

$F$ は

$I$ 上で微分可能で

$(\forall x\in I)\quad F^\prime(x)=f(x)$ を満たすとき、

$F$ は

$f$ の(

$I$ における)原始関数であるという。

要するに、原始関数 $F$ は $F$ の導関数が $f$ と一致するような関数ということですので、これを求めてしまえば、積分が計算出来る、ということになります。

そこで、初等関数の原始関数、特に今回は三角関数、指数関数、対数関数の原始関数について解説します。

※注意※ 定理1.から不定積分 $F$ と連続関数 $f$ の原始関数は定数しか違いがありません。
そこで、ここでは $f$ の原始関数の1つを
$\int f(x)\ dx$
で表すことにします。

三角関数の原始関数

では、三角関数の原始関数について解説します。

$\sin x$ の原始関数

命題2.

$f(x)=\sin x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=-\cos x$ である。

命題2.の証明

これは既に証明しているようなものです。
なぜなら、以下を証明しているからです。

命題3.

任意の

$x\in\mathbb{R}$ に対して

$(\cos x)^\prime =-\sin x$ である。

命題3.の証明は【解析学の基礎シリーズ】１変数実数値関数の微分編その6を御覧ください。

命題3.から
$\begin{eqnarray} F^\prime(x)=\left( -\cos x\right)^\prime=-\left(-\sin x \right)=\sin x=f(x) \end{eqnarray}$
となるので証明完了です。

命題2.の証明終わり

$\cos x$ の原始関数

命題4.

$f(x)=\cos x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\sin x$ である。

命題4.の証明終わり

これもほぼ証明が終わっています。
なぜなら以下が成り立つからです。

命題5.

任意の

$x\in\mathbb{R}$ に対して

$(\sin x)^\prime =\cos x$ である。

命題5.から
$\begin{eqnarray} F^\prime(x)=\left( \sin x\right)^\prime=\cos x=f(x) \end{eqnarray}$
となるので証明完了です。

命題4.の証明終わり

$\tan x$ の原始関数

命題6.

$f(x)=\tan x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=-\log \left|\cos x\right|$ である。

命題6.の証明

以下の命題7.と合成関数の微分法を使います。

命題7.

$a>0$ かつ

$a\neq 1$ とする。このとき

$\left(\log_ax\right)^\prime=\frac{1}{x\log a}$ が成り立つ。特に

$a=e$ (ネイピア数)ならば、

$\displaystyle\left( \log x\right)^\prime=\frac{1}{x}$ である。

命題7.の証明は【解析学の基礎シリーズ】１変数実数値関数の微分編その5を御覧ください。

命題7.と合成関数の微分法により、
$\begin{eqnarray} F^\prime(x)=\left( -\log \left|\cos x\right|\right)^\prime=-\frac{1}{\cos x}\cdot\left( -\sin x\right)=\frac{\sin x}{\cos x}=\tan x=f(x) \end{eqnarray}$
となるので証明完了です。

命題6.の証明終わり

$\cot x$ の原始関数

まず、 $\cot x$ という関数がどういう関数かを説明します。

$\cot$ (余接関数)

$\displaystyle\cot:I=\mathbb{R}\setminus \left\{\frac{n\pi}{2}\middle| n\in \mathbb{Z}\right\}\to \mathbb{R}$ 、

$(\forall x\in I)\quad\cot(x)=\frac{1}{\tan x}$ で定められる関数を、余接関数(コタンジェント)という。

正直、筆者の体感だとそこまで使われる関数ではありませんが、紹介します。
※”そこまで使われるわけではない”というのは $\cot x$ の形で使われることが少ないという意味で、 $\displaystyle\frac{1}{\tan x}$ という関数は目にします。

命題8.

$f(x)=\cot x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\log \left|\sin x\right|$ である。

命題8.の証明

命題7.と合成関数の微分法により、
$\begin{eqnarray} F^\prime(x)=\left( \log \left|\sin x\right|\right)^\prime=\frac{1}{\sin x}\cdot\left( \cos x\right)=\frac{\cos x}{\sin x}=\frac{1}{\tan x}=f(x) \end{eqnarray}$
となるので証明完了です。

命題8.の証明終わり

$\sec^2 x$ の原始関数

まず、 $\cot x$ という関数がどういう関数かを説明します。

$\sec$ (正割関数)

$\displaystyle\sec:I=\mathbb{R}\setminus \left\{\frac{2n+1}{2}\pi\middle| n\in \mathbb{Z}\right\}\to \mathbb{R}$ 、

$(\forall x\in I)\quad\sec(x)=\frac{1}{\cos x}$ で定められる関数を、正割関数(セカント)という。

では、この正割関数の2乗の原始関数を紹介します。

命題9.

$f(x)=\sec^2 x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\tan x$ である。

命題9.の証明

商の微分法により、
$\begin{eqnarray} F^\prime(x)&=&\left(\tan x\right)^\prime\\ &=&\left( \frac{\sin x}{\cos x}\right)^\prime\\ &=&\frac{\cos x\cdot\cos x-\sin x\cdot(-\sin x)}{\cos^2 x}\\ &=&\frac{\cos^2x+\sin^2 x}{\cos^2 x}\\ &=&\frac{1}{\cos^2x}=\sec x=f(x) \end{eqnarray}$
となるので証明完了です。

命題9.の証明終わり

$\csc^2x$ の原始関数

まず、 $\csc x$ という関数がどういう関数かを説明します。

$\csc$ (余割関数)

$\displaystyle\csc:I=\mathbb{R}\setminus \left\{n\pi\middle| n\in \mathbb{Z}\right\}\to \mathbb{R}$ 、

$(\forall x\in I)\quad\csc(x)=\frac{1}{\sin x}$ で定められる関数を、余割関数(コセカント)という。

$\csc$ を

${\rm cosec}$ と書くこともある。

余割関数の2乗の原始関数を紹介します。

命題10.

$f(x)=\csc^2 x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=-\cot x$ である。

命題10.の証明

商の微分法により、
$\begin{eqnarray} F^\prime(x)&=&\left(-\cot x\right)^\prime\\ &=&\left( -\frac{\cos x}{\sin x}\right)^\prime\\ &=&-\frac{-\sin x\cdot\sin x-\cos x\cdot\cos x}{\sin^2x}\\ &=&-\frac{-\sin^2 x-\cos^2 x}{\sin^2x}\\ &=&-\frac{-1}{\sin^2x}\\ &=&\frac{1}{\sin^2x}=\csc^2x=f(x) \end{eqnarray}$
となるので証明完了です。

命題10.の証明終わり

$\sec x$ の原始関数

命題11.

$f(x)=\sec x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\log\left|\sec x+\tan x\right|$ である。

命題11.の証明

命題7.と合成関数の微分法を使うと、
$\begin{eqnarray} F^\prime(x)&=&\left(\log\left|\sec x+\tan x\right|\right)^\prime\\ &=&\frac{1}{\sec x+\tan x}\cdot\left[\left( \frac{1}{\cos x}\right)^\prime+\frac{1}{\cos^2x}\right]\\ &=&\frac{1}{\displaystyle\frac{1}{\cos} x+\frac{\sin x}{\cos x}}\cdot\left[\frac{\sin x}{\cos^2x}+\frac{1}{\cos^2x}\right]\\ &=&\frac{\cos x}{1+\sin x}\cdot\frac{\sin x+1}{\cos^2x}\\ &=&\frac{1}{\cos x}=\sec x=f(x) \end{eqnarray}$
となるので証明完了です。

命題11.の証明終わり

$\csc x$ の原始関数

命題12.

$f(x)=\csc x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\log\left|\tan\frac{x}{2}\right|$ である。

命題12.の証明

命題7.と合成関数の微分法を使うと、
$\begin{eqnarray} F^\prime(x)&=&\left(\log\left|\tan\frac{x}{2}\right|\right)^\prime\\ &=&\frac{1}{\displaystyle\tan\frac{x}{2}}\cdot\frac{1}{\displaystyle\cos^2\frac{x}{2}}\cdot\frac{1}{2} \end{eqnarray}$
となります。
ここで、半角の公式を使うと、
$\begin{eqnarray} \frac{1}{\displaystyle\tan\frac{x}{2}}\cdot\frac{1}{\displaystyle\cos^2\frac{x}{2}}\cdot\frac{1}{2}&=&\sqrt{\frac{1+\cos x}{1-\cos x}}\cdot\frac{2}{1+\cos x}\cdot\frac{1}{2}\\ &=&\sqrt{\frac{1+\cos x}{1-\cos x}}\cdot\frac{2}{1+\cos x}\cdot\frac{1}{2}\\ &=&\frac{1}{\sqrt{1-\cos x}}\cdot\frac{1}{\sqrt{1+\cos x}}\\ &=&\frac{1}{\sqrt{(1-\cos x)(1+\cos x)}}\\ &=&\frac{1}{\sqrt{1-\cos^2 x}}\\ &=&\frac{1}{\sqrt{\sin^2x}}\\ &=&\frac{1}{\sin x}=\csc x \end{eqnarray}$
となるので証明完了です。

命題12.の証明終わり

双曲線関数の原始関数

双曲線関数とは以下です。

双曲線関数

$\sinh x=\frac{e^x-e^{-x}}{2},\quad\cosh x=\frac{e^x+e^{-x}}{2}$ をそれぞれ双曲線正弦関数(ハイパボリックサイン)、双曲線余弦関数(ハイパボリックコサイン)という。

これらの原始関数を紹介、証明します。

命題13.

$f(x)=\cosh x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\sinh x$ であり、

$g(x)=\sinh x$ の原始関数

$\displaystyle G(x)=\int g(x)\ dx$ は

$G(x)=\cosh x$ である。

命題13.の証明

以下の事実を使います。

命題14.

$a>0$ とする。このとき

$\left( a^x\right)^\prime=a^x\log a$ が成り立つ。特に

$a=e$ (ネイピア数)ならば、

$\left( e^x\right)^\prime=e^x$ である。

命題14.の証明は【解析学の基礎シリーズ】１変数実数値関数の微分編その5を御覧ください。

命題14.から、
$\begin{eqnarray} F^\prime(x)&=&\left(\sinh x\right)^\prime=\left( \frac{e^x-e^{-x}}{2}\right)^\prime=\frac{e^x-\left( -e^{-x}\right)}{2}=\frac{e^x+e^{-x}}{2}=\cosh x=f(x) \end{eqnarray}$
となります。

同様にして、
$\begin{eqnarray} G^\prime(x)&=&\left(\cosh x\right)^\prime=\left( \frac{e^x+e^{-x}}{2}\right)^\prime=\frac{e^x+\left( -e^{-x}\right)}{2}=\frac{e^x-e^{-x}}{2}=\sinh x=g(x) \end{eqnarray}$
となるので、証明完了です。

命題13.の証明終わり

指数関数の原始関数

次に指数関数です。

$e^x$ の原始関数

命題15.

$f(x)=e^x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=e^x$ である。

命題15.の証明

命題14.により、
$\begin{eqnarray} F^\prime(x)&=&\left(e^x\right)^\prime=e^x=f(x) \end{eqnarray}$
となるので証明完了です。

命題15.の証明終わり

$a^x$ の原始関数

命題16.

$f(x)=a^x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=\frac{a^x}{\log a}$ である。

命題16.の証明

命題14.により
$\begin{eqnarray} F^\prime(x)&=&\left(\frac{a^x}{\log a}\right)^\prime=a^\cdot\log a\cdot\frac{1}{\log a}=a^x=f(x) \end{eqnarray}$
となるので証明完了です。

命題16.の証明終わり

対数関数の原始関数

最後に対数関数の原始関数について解説します。

命題17.

$f(x)=\log x$ の原始関数

$\displaystyle F(x)=\int f(x)\ dx$ は

$F(x)=x\log x-x$ である。

命題17.の証明

命題7.と積の微分法から
$\begin{eqnarray} F^\prime(x)&=&\left(x\log x-x\right)^\prime=\log x+x\cdot\frac{1}{x}-1=\log x+1-1=\log x=f(x) \end{eqnarray}$

命題17.の証明終わり

これ、覚えるんですか？（前回と同じなので読み飛ばしてOK）

今回の話も「たしかに正しいけど、そんな原始関数は思いつきません。」となるのではないでしょうか。
勿論、ラマヌジャンのような天才はスッと思いつくのかもしれませんが、通常は難しいはずです。

そこで、「これ、覚えるんですか？」ということになるのではないかと思うのですが、結論から言うと、覚えてしまったほうが早いです。
実際に計算する上では、の話ですが。

これらの原始関数は置換積分やら部分積分やらを駆使することで導出することができます。
置換積分、部分積分については厳密な話を後の記事でします。
(※具体的に今回の原始関数をどのように導出するかという話は書かないかもしれません。
「書いてほしい！」という方は是非コメントで教えて下さい！)

皆様のコメントを下さい！

前回「数学に興味を持ったきっかけはなんですか？」という質問を致しました。
これは、数学の好きなところに直結すると思います。
逆に、数学のこういうところが苦手、ということがあれば是非コメントで教えて下さい！

結

今回は、初等関数の原始関数、特に、三角関数、指数関数、対数関数の原始関数について解説しました。
これらの原始関数は公式として覚えてしまった方が早いですが、置換積分やら部分積分やらを駆使することで導出することができます。

次回は、高校数学でも学習した置換積分について解説します。

乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。

この記事の内容をより詳しく知りたい方は以下のリンクの本を参照してください！
ちなみに「解析概論」は日本の歴史的名著らしいので、辞書的にもぜひ１冊持っておくと良いと思います！

コメントをする

Warning: Undefined variable $req in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 32

Warning: Undefined variable $commenter in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

Warning: Trying to access array offset on value of type null in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

Warning: Undefined variable $aria_req in /home/nori9901/for-spring.com/public_html/wp-content/themes/cocoon-child-master/functions.php on line 34

本記事の内容

微分積分学の基本定理の軽い復習(前回と同じなので読み飛ばしてOKです)

三角関数の原始関数

sinx\sin xの原始関数

命題2.の証明

命題2.の証明終わり

cosx\cos xの原始関数

命題4.の証明終わり

命題4.の証明終わり

tanx\tan xの原始関数

命題6.の証明

命題6.の証明終わり

cotx\cot xの原始関数

命題8.の証明

命題8.の証明終わり

sec2x\sec^2 xの原始関数

命題9.の証明

命題9.の証明終わり

csc2x\csc^2xの原始関数

命題10.の証明

命題10.の証明終わり

secx\sec xの原始関数

命題11.の証明

命題11.の証明終わり

cscx\csc xの原始関数

命題12.の証明

命題12.の証明終わり

双曲線関数の原始関数

命題13.の証明

命題13.の証明終わり

指数関数の原始関数

exe^xの原始関数

命題15.の証明

命題15.の証明終わり

axa^xの原始関数

命題16.の証明

命題16.の証明終わり

対数関数の原始関数

命題17.の証明

命題17.の証明終わり

これ、覚えるんですか？（前回と同じなので読み飛ばしてOK）

皆様のコメントを下さい！

結

コメントをする

$\sin x$ の原始関数

$\cos x$ の原始関数

$\tan x$ の原始関数

$\cot x$ の原始関数

$\sec^2 x$ の原始関数

$\csc^2x$ の原始関数

$\sec x$ の原始関数

$\csc x$ の原始関数

$e^x$ の原始関数

$a^x$ の原始関数