偶関数と奇関数の定積分

偶関数、奇関数、中心をずらした偶関数、中心をずらした奇関数の定積分の計算を省力化する技法について解説します。

偶関数の定積分

\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ -a,a\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ -a,a\right] \rightarrow \mathbb{R} \end{equation*}が偶関数であるものとします。つまり、\begin{equation*}
\forall x\in \left[ -a,a\right] :f\left( x\right) =f\left( -x\right)
\end{equation*}が成り立つということです。\(f\)が\(\left[ -a,a\right] \)上でリーマン積分可能である場合、定積分は、\begin{equation*}\int_{-a}^{a}f\left( x\right) dx=2\int_{0}^{2}f\left( x\right) dx
\end{equation*}を満たします。

命題(偶関数の定積分)

\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ -a,a\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ -a,a\right] \rightarrow \mathbb{R} \end{equation*}が偶関数であるとともに、\(f\)が\(\left[ -a,a\right] \)上でリーマン積分可能であるならば、\begin{equation*}\int_{-a}^{a}f\left( x\right) dx=2\int_{0}^{a}f\left( x\right) dx
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
ログイン】【会員登録

例(偶関数の定積分)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =x^{2}
\end{equation*}を定めるものとします。\(f\)は偶関数であるため、先の命題より、任意の\(a>0\)について、\begin{eqnarray*}\int_{-a}^{a}f\left( x\right) dx &=&\int_{-a}^{a}x^{2}dx \\
&=&2\int_{0}^{a}x^{2}dx
\end{eqnarray*}が成り立ちます。

 

奇関数の定積分

\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ -a,a\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ -a,a\right] \rightarrow \mathbb{R} \end{equation*}が奇関数であるものとします。つまり、\begin{equation*}
\forall x\in \left[ -a,a\right] :f\left( x\right) =-f\left( -x\right)
\end{equation*}が成り立つということです。\(f\)が\(\left[ -a,a\right] \)上でリーマン積分可能である場合、定積分は、\begin{equation*}\int_{-a}^{a}f\left( x\right) dx=0
\end{equation*}となります。

命題(奇関数の定積分)

\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ -a,a\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ -a,a\right] \rightarrow \mathbb{R} \end{equation*}が奇関数であるとともに、\(f\)が\(\left[ -a,a\right] \)上でリーマン積分可能であるならば、\begin{equation*}\int_{-a}^{a}f\left( x\right) dx=0
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
ログイン】【会員登録

例(奇関数の定積分)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =x^{3}
\end{equation*}を定めるものとします。\(f\)は奇関数であるため、先の命題より、任意の\(a>0\)について、\begin{eqnarray*}\int_{-a}^{a}f\left( x\right) dx &=&\int_{-a}^{a}x^{3}dx \\
&=&0
\end{eqnarray*}が成り立ちます。

 

中心をずらした偶関数の定積分

定数\(c\in \mathbb{R} \)および\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ c-a,a+c\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ c-a,a+c\right] \rightarrow \mathbb{R} \end{equation*}が中心\(c\)に関して偶関数であるものとします。つまり、\begin{equation*}\forall x\in \left[ c-a,a+c\right] :f\left( x\right) =f\left( 2c-x\right)
\end{equation*}が成り立つということです。\(f\)が\(\left[ c-a,a+c\right] \)上でリーマン積分可能である場合、定積分は、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=2\int_{c}^{c+a}f\left( x\right) dx
\end{equation*}を満たします。

命題(中心をずらした偶関数の定積分)
\(a>0\)を満たす定数\(a\in \mathbb{R} \)および\(c\in \mathbb{R} \)から定義される区間\(\left[ c-a,a+c\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ c-a,a+c\right] \rightarrow \mathbb{R} \end{equation*}が中心\(c\)に関する偶関数であるとともに、\(f\)が\(\left[ c-a,a+c\right] \)上でリーマン積分可能であるならば、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=2\int_{c}^{c+a}f\left( x\right) dx
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
ログイン】【会員登録

例(中心をずらした偶関数の定積分)
\(c\in \mathbb{R} \)とします。関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left( x-c\right) ^{2}
\end{equation*}を定めるものとします。\(f\)は点\(c\)に関して偶関数であるため、先の命題より、任意の\(a>0\)について、\begin{eqnarray*}\int_{c-a}^{c+a}f\left( x\right) dx &=&\int_{c-a}^{c+a}\left( x-c\right)
^{2}dx \\
&=&2\int_{c}^{c+a}\left( x-c\right) ^{2}
\end{eqnarray*}が成り立ちます。

 

中心をずらした奇関数の定積分

定数\(c\in \mathbb{R} \)および\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ c-a,a+c\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ c-a,a+c\right] \rightarrow \mathbb{R} \end{equation*}が中心\(c\)に関して奇関数であるものとします。つまり、\begin{equation*}\forall x\in \left[ c-a,a+c\right] :f\left( x\right) =-f\left( 2c-x\right)
\end{equation*}が成り立つということです。\(f\)が\(\left[ c-a,a+c\right] \)上でリーマン積分可能である場合、定積分は、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=0
\end{equation*}となります。

命題(中心をずらした奇関数の定積分)
\(a>0\)を満たす定数\(a\in \mathbb{R} \)および\(c\in \mathbb{R} \)から定義される区間\(\left[ c-a,a+c\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ c-a,a+c\right] \rightarrow \mathbb{R} \end{equation*}が中心\(c\)に関する奇関数であるとともに、\(f\)が\(\left[ c-a,a+c\right] \)上でリーマン積分可能であるならば、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=0
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
ログイン】【会員登録

例(中心をずらした奇関数の定積分)
\(c\in \mathbb{R} \)とします。関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left( x-c\right) ^{3}
\end{equation*}を定めるものとします。\(f\)は点\(c\)に関して奇関数であるため、先の命題より、任意の\(a>0\)について、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=0
\end{equation*}が成り立ちます。

定数\(c\in \mathbb{R} \)および\(a>0\)を満たす定数\(a\in \mathbb{R} \)から定義される区間\(\left[ c-a,a+c\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ c-a,a+c\right] \rightarrow \mathbb{R} \end{equation*}が中心\(\left( c,d\right) \in \mathbb{R} ^{2}\)に関して偶関数であるものとします。つまり、\begin{equation*}\forall x\in \left[ c-a,a+c\right] :f\left( 2c-x\right) =2d-f\left( x\right)
\end{equation*}が成り立つということです。\(f\)が\(\left[ c-a,a+c\right] \)上でリーマン積分可能である場合、定積分は、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=0
\end{equation*}を満たします。

命題(中心をずらした奇関数の定積分)
\(a>0\)を満たす定数\(a\in \mathbb{R} \)および\(c\in \mathbb{R} \)から定義される区間\(\left[ c-a,a+c\right] \subset \mathbb{R} \)上に定義された関数\begin{equation*}f:\mathbb{R} \supset \left[ c-a,a+c\right] \rightarrow \mathbb{R} \end{equation*}が中心\(\left( c,d\right) \in \mathbb{R} ^{2}\)に関する奇関数であるとともに、\(f\)が\(\left[ c-a,a+c\right] \)上でリーマン積分可能であるならば、\begin{equation*}\int_{c-a}^{c+a}f\left( x\right) dx=2ad
\end{equation*}が成り立つ。

証明

会員専用コンテンツです
ログイン】【会員登録

例(中心をずらした奇関数の定積分)
\(\left( c,d\right) \in \mathbb{R} ^{2}\)とします。関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left( x-c\right) ^{3}+d
\end{equation*}を定めるものとします。\(f\)は中心\(\left( c,d\right) \)に関して奇関数であるため、先の命題より、任意の\(a>0\)について、\begin{eqnarray*}\int_{c-a}^{c+a}f\left( x\right) dx &=&\int_{c-a}^{c+a}\left[ \left(
x-c\right) ^{3}+d\right] dx \\
&=&2ad
\end{eqnarray*}が成り立ちます。

 

演習問題

問題(偶関数と奇関数の定積分)
以下の定積分\begin{equation*}
\int_{-2}^{2}\left( x^{5}-3x^{3}+2x^{2}-x+1\right) dx
\end{equation*}を計算してください。

解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(偶関数と奇関数の定積分)
以下の定積分\begin{equation*}
\int_{-\frac{\pi }{2}}^{\frac{\pi }{2}}\left[ x^{2}\sin \left( x\right)
+\cos \left( x\right) \right] dx
\end{equation*}を計算してください。

解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(偶関数と奇関数の定積分)
以下の定積分\begin{equation*}
\int_{1}^{3}\left( x-2\right) ^{7}dx
\end{equation*}を計算してください。

解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(偶関数と奇関数の定積分)
以下の定積分\begin{equation*}
\int_{0}^{4}\left\{ \left( x-2\right) ^{2}+\cos \left( x-2\right) \right\} dx
\end{equation*}を計算してください。

解答を見る

会員専用コンテンツです
ログイン】【会員登録

問題(偶関数と奇関数の定積分)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)が以下の条件\begin{equation*}\forall x\in \mathbb{R} :f\left( 2-x\right) =-f\left( x+2\right)
\end{equation*}を満たすものとします。以下の定積分\begin{equation*}
\int_{0}^{4}f\left( x\right) dx
\end{equation*}を計算してください。

解答を見る

会員専用コンテンツです
ログイン】【会員登録

この教材についての議論

この教材について質問したり、他の学習者と議論したりするには会員登録とログインが必要です。

  • 会員はコメントを投稿できます
  • 他のユーザーへの返信も可能です
  • 過去の議論を検索・閲覧できます
  • 投稿内容は後から編集できます

WIISでは、年齢・性別・学歴・職業・社会的立場などにかかわらず、すべてのユーザーが「学ぶ人」として対等であると考えています。

ここは知識を競う場所ではなく、互いの考えを尊重しながら理解を深めていくための場です。質問や意見の表明はもちろん、分からないことを率直に尋ねることも歓迎します。

建設的で安心できる学習環境を維持するため、投稿の前にガイドラインをご確認ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合には以下のフォームからご連絡をお願い致します。

ログイン

会員向けコンテンツです。

まだ会員登録がお済みでない方は、会員登録ページよりアカウントを作成してください。

AIに質問
wiis専属チューター ×
本日の利用回数を確認中...
こんにちは!この教材の専属チューターです。数式の証明や概念の解説など、何でも聞いてください。

💡 教材のテキストや数式をドラッグ選択すると、自動的に下の入力欄に数式付きで引用されます!

このページの目次

最近閲覧したページ