有理数ベキ関数の原始関数
区間上に定義された有理数ベキ関数\(f:\mathbb{R} \supset X\supset I\rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)がそれぞれの\(x\in I\)に対して定める値が、自然数\(n\in \mathbb{N} \)および整数\(z\in \mathbb{Z} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{z}{n}}
\end{equation*}と表されるということです。\(f\)の定義域\(X\)は\(z\)の符号および\(n,z\)の偶奇に依存して\(\mathbb{R} ,\mathbb{R} _{+},\mathbb{R} \backslash \left\{ 0\right\} ,\mathbb{R} _{++}\)のいずれかになりますが、いずれの場合にも、定義域の部分集合であるような区間\(I\)を想定していることに注意してください。
指数が\(\frac{z}{n}=-1\)の場合には\(f\left( x\right) =x^{-1}\)であり、\(f\)は整数ベキ関数です。整数ベキ関数の積分についてはすでに解説したため、以下では\(\frac{z}{n}\not=-1\)の場合について考えます。
有理数ベキ関数は連続であるため原始関数が存在します。具体的には以下の通りです。
命題（有理数ベキ関数の原始関数）
区間上に定義された関数\(f:\mathbb{R} \supset X\supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\(\frac{z}{n}\not=-1\)を満たす自然数\(n\in \mathbb{N} \)および整数\(z\in \mathbb{Z} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{z}{n}}
\end{equation*}と表されるものとする。ただし、\(X\)は\(f\)の定義域であり、\(I\)はその部分集合である区間である。定数\(C\in \mathbb{R} \)を任意に選んだ上で、それぞれの\(x\in I\)に対して、\begin{equation*}F\left( x\right) =\frac{1}{\frac{z}{n}+1}\cdot x^{\frac{z}{n}+1}+C
\end{equation*}を定める関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)を定義する。\(F\)は\(f\)の原始関数である。すなわち、\begin{equation*}\forall x\in I:F^{\prime }\left( x\right) =f\left( x\right)
\end{equation*}が成り立つ。
\end{equation*}と表されるものとする。ただし、\(X\)は\(f\)の定義域であり、\(I\)はその部分集合である区間である。定数\(C\in \mathbb{R} \)を任意に選んだ上で、それぞれの\(x\in I\)に対して、\begin{equation*}F\left( x\right) =\frac{1}{\frac{z}{n}+1}\cdot x^{\frac{z}{n}+1}+C
\end{equation*}を定める関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)を定義する。\(F\)は\(f\)の原始関数である。すなわち、\begin{equation*}\forall x\in I:F^{\prime }\left( x\right) =f\left( x\right)
\end{equation*}が成り立つ。
有理数ベキ関数の不定積分
連続関数には原始関数と不定積分が存在することが保証されるとともに両者は一致するため、先の命題を踏まえると、連続関数である有理数ベキ関数について以下が成り立ちます。
命題（有理数ベキ関数の不定積分）
区間上に定義された関数\(f:\mathbb{R} \supset X\supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\(\frac{z}{n}\not=-1\)を満たす自然数\(n\in \mathbb{N} \)および整数\(z\in \mathbb{Z} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{z}{n}}
\end{equation*}と表されるものとする。ただし、\(X\)は\(f\)の定義域であり、\(I\)はその部分集合である区間である。\(f\)の不定積分が存在し、それは、\begin{equation*}\int f\left( x\right) dx=\frac{1}{\frac{z}{n}+1}\cdot x^{\frac{z}{n}+1}+C
\end{equation*}となる。ただし、\(C\)は積分定数である。
\end{equation*}と表されるものとする。ただし、\(X\)は\(f\)の定義域であり、\(I\)はその部分集合である区間である。\(f\)の不定積分が存在し、それは、\begin{equation*}\int f\left( x\right) dx=\frac{1}{\frac{z}{n}+1}\cdot x^{\frac{z}{n}+1}+C
\end{equation*}となる。ただし、\(C\)は積分定数である。
例（有理数ベキ関数の不定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =x^{\frac{2}{3}}
\end{equation*}を定めます。\(f\)は区間\(\mathbb{R} \)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{\frac{2}{3}+1}x^{\frac{2}{3}+1}+C \\
&=&\frac{3}{5}x^{\frac{5}{3}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めます。\(f\)は区間\(\mathbb{R} \)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{\frac{2}{3}+1}x^{\frac{2}{3}+1}+C \\
&=&\frac{3}{5}x^{\frac{5}{3}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（有理数ベキ関数の不定積分）
関数\(f:\mathbb{R} _{+}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{+}\)に対して、\begin{equation*}f\left( x\right) =x^{\frac{5}{4}}
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{+}\)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{\frac{5}{4}+1}x^{\frac{5}{4}+1}+C \\
&=&\frac{4}{9}x^{\frac{9}{4}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{+}\)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{\frac{5}{4}+1}x^{\frac{5}{4}+1}+C \\
&=&\frac{4}{9}x^{\frac{9}{4}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（有理数ベキ関数の不定積分）
区間上に定義された関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =x^{-\frac{2}{3}}
\end{equation*}を定めるものとします。\(f\)は区間\(I\)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{-\frac{2}{3}+1}x^{-\frac{2}{3}+1}+C \\
&=&3x^{\frac{1}{3}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間\(I\)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{-\frac{2}{3}+1}x^{-\frac{2}{3}+1}+C \\
&=&3x^{\frac{1}{3}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（有理数ベキ関数の不定積分）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{-\frac{5}{4}}
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{++}\)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{-\frac{5}{4}+1}x^{-\frac{5}{4}+1}+C \\
&=&-4x^{-\frac{1}{4}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{++}\)上に定義された有理数ベキ関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{1}{-\frac{5}{4}+1}x^{-\frac{5}{4}+1}+C \\
&=&-4x^{-\frac{1}{4}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（有理数ベキ関数の不定積分）
関数\(f:\mathbb{R} \supset \lbrack -1,+\infty )\rightarrow \mathbb{R} \)はそれぞれの\(x\in \lbrack -1,+\infty )\)に対して、\begin{equation*}f\left( x\right) =x\left( x+1\right) ^{\frac{3}{2}}
\end{equation*}を定めるものとします。\(f\)は\([-1,+\infty )\)上で連続であるため不定積分を持ちます。そこで、\begin{equation}u=\sqrt{x+1} \quad \cdots (1)
\end{equation}とおくと、\begin{equation*}
u^{2}=x+1
\end{equation*}を得るため、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =u^{2}-1 \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} _{+}\)とすれば値域は\([-1,+\infty )\)であり、これは\(f\)の定義域と一致します。加えて、\(g\)は多項式関数であるため\(C^{1}\)級です。加えて、\(g\)は\(\mathbb{R} _{+}\)上で狭義単調増加であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =\sqrt{x+1} \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int x\left( x+1\right) ^{\frac{3}{2}}dx \\
&=&\int \left( u^{2}-1\right) u^{3}g^{\prime }\left( u\right) du\quad
\because \left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \left( u^{2}-1\right) u^{3}2udu\quad \because \left( 2\right) \\
&=&\int \left( 2u^{6}-2u^{4}\right) du \\
&=&\int 2u^{6}du-\int 2u^{4}du\quad \because \text{差の法則} \\
&=&2\int u^{6}du-2\int u^{4}du\quad \because \text{定数倍の法則} \\
&=&2\cdot \frac{u^{7}}{7}-2\cdot \frac{u^{5}}{5}+C \\
&=&\frac{2}{7}\left( \sqrt{x+1}\right) ^{7}-\frac{2}{5}\left( \sqrt{x+1}\right) ^{5}+C\quad \because \left( 3\right) \\
&=&\frac{2}{7}\left( x+1\right) ^{\frac{7}{2}}-\frac{2}{5}\left( x+1\right)
^{\frac{5}{2}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は\([-1,+\infty )\)上で連続であるため不定積分を持ちます。そこで、\begin{equation}u=\sqrt{x+1} \quad \cdots (1)
\end{equation}とおくと、\begin{equation*}
u^{2}=x+1
\end{equation*}を得るため、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =u^{2}-1 \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} _{+}\)とすれば値域は\([-1,+\infty )\)であり、これは\(f\)の定義域と一致します。加えて、\(g\)は多項式関数であるため\(C^{1}\)級です。加えて、\(g\)は\(\mathbb{R} _{+}\)上で狭義単調増加であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =\sqrt{x+1} \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int x\left( x+1\right) ^{\frac{3}{2}}dx \\
&=&\int \left( u^{2}-1\right) u^{3}g^{\prime }\left( u\right) du\quad
\because \left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \left( u^{2}-1\right) u^{3}2udu\quad \because \left( 2\right) \\
&=&\int \left( 2u^{6}-2u^{4}\right) du \\
&=&\int 2u^{6}du-\int 2u^{4}du\quad \because \text{差の法則} \\
&=&2\int u^{6}du-2\int u^{4}du\quad \because \text{定数倍の法則} \\
&=&2\cdot \frac{u^{7}}{7}-2\cdot \frac{u^{5}}{5}+C \\
&=&\frac{2}{7}\left( \sqrt{x+1}\right) ^{7}-\frac{2}{5}\left( \sqrt{x+1}\right) ^{5}+C\quad \because \left( 3\right) \\
&=&\frac{2}{7}\left( x+1\right) ^{\frac{7}{2}}-\frac{2}{5}\left( x+1\right)
^{\frac{5}{2}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（有理数ベキ関数の不定積分）
関数\(f:\left( 1,+\infty \right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( 1,+\infty\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{x}{\left( x-1\right) ^{\frac{3}{2}}}
\end{equation*}を定めるものとします。\(f\)は区間\(\left( 1,+\infty \right) \)上で連続であるため不定積分が存在します。そこで、\begin{equation}u=\sqrt{x-1} \quad \cdots (1)
\end{equation}とおくと、\begin{equation*}
u^{2}=x-1
\end{equation*}を得るため、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =u^{2}+1 \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} _{++}\)とすれば、その値域は\(f\)の定義域\(\left( 1,+\infty \right) \)と一致するとともに、\(g\)は多項式関数であるため\(C^{1}\)級です。また、\(g\)は\(\mathbb{R} _{++}\)上で狭義単調増加であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =\sqrt{x-1} \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int \frac{x}{\left( x-1\right) ^{\frac{3}{2}}}dx
\\
&=&\int \frac{u^{2}+1}{u^{3}}g^{\prime }\left( u\right) du\quad \because
\left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \left( \frac{u^{2}+1}{u^{3}}\cdot 2u\right) du\quad \because \left(
2\right) \\
&=&\int \left( 2+\frac{2}{u^{2}}\right) du \\
&=&\int 2du+2\int \frac{1}{u^{2}}du \\
&=&2u-\frac{2}{u}+C \\
&=&2\sqrt{x-1}-\frac{2}{\sqrt{x-1}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間\(\left( 1,+\infty \right) \)上で連続であるため不定積分が存在します。そこで、\begin{equation}u=\sqrt{x-1} \quad \cdots (1)
\end{equation}とおくと、\begin{equation*}
u^{2}=x-1
\end{equation*}を得るため、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =u^{2}+1 \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} _{++}\)とすれば、その値域は\(f\)の定義域\(\left( 1,+\infty \right) \)と一致するとともに、\(g\)は多項式関数であるため\(C^{1}\)級です。また、\(g\)は\(\mathbb{R} _{++}\)上で狭義単調増加であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =\sqrt{x-1} \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int \frac{x}{\left( x-1\right) ^{\frac{3}{2}}}dx
\\
&=&\int \frac{u^{2}+1}{u^{3}}g^{\prime }\left( u\right) du\quad \because
\left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \left( \frac{u^{2}+1}{u^{3}}\cdot 2u\right) du\quad \because \left(
2\right) \\
&=&\int \left( 2+\frac{2}{u^{2}}\right) du \\
&=&\int 2du+2\int \frac{1}{u^{2}}du \\
&=&2u-\frac{2}{u}+C \\
&=&2\sqrt{x-1}-\frac{2}{\sqrt{x-1}}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
有理数ベキ関数の定積分
有理数ベキ関数の原始関数が明らかになったため、微分積分学の第2基本定理を用いることにより、有理数ベキ関数の定積分を特定できます。具体的には以下の通りです。
命題（有理数ベキ関数の定積分）
区間上に定義された関数\(f:\mathbb{R} \supset X\supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\(\frac{z}{n}\not=-1\)を満たす自然数\(n\in \mathbb{N} \)および整数\(z\in \mathbb{Z} \)を用いて、\begin{equation*}f\left( x\right) =x^{\frac{z}{n}}
\end{equation*}と表されるものとする。ただし、\(X\)は\(f\)の定義域であり、\(I\)はその部分集合である区間である。\(a<b\)を満たす点\(a,b\in I\)を任意に選んだとき、\(f\)は\(\left[ a,b\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\left[ \frac{1}{\frac{z}{n}+1}\cdot x^{\frac{z}{n}+1}\right] _{a}^{b} \\
&=&\frac{b^{\frac{z}{n}+1}-a^{\frac{z}{n}+1}}{\frac{1}{\frac{z}{n}+1}\cdot
x^{\frac{z}{n}+1}}
\end{eqnarray*}となる。
\end{equation*}と表されるものとする。ただし、\(X\)は\(f\)の定義域であり、\(I\)はその部分集合である区間である。\(a<b\)を満たす点\(a,b\in I\)を任意に選んだとき、\(f\)は\(\left[ a,b\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\left[ \frac{1}{\frac{z}{n}+1}\cdot x^{\frac{z}{n}+1}\right] _{a}^{b} \\
&=&\frac{b^{\frac{z}{n}+1}-a^{\frac{z}{n}+1}}{\frac{1}{\frac{z}{n}+1}\cdot
x^{\frac{z}{n}+1}}
\end{eqnarray*}となる。
例（有理数ベキ関数の定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =x^{\frac{2}{3}}
\end{equation*}を定めます。先の命題より、\begin{eqnarray*}
\int_{1}^{2}f\left( x\right) dx &=&\int_{1}^{2}x^{\frac{2}{3}}dx \\
&=&\left[ \frac{1}{\frac{2}{3}+1}x^{\frac{2}{3}+1}\right] _{1}^{2} \\
&=&\left[ \frac{3}{5}x^{\frac{5}{3}}\right] _{1}^{2} \\
&=&\frac{3}{5}\left( 2^{\frac{5}{3}}-1^{\frac{5}{3}}\right) \\
&=&\frac{3}{5}\left( 2^{\frac{5}{3}}-1\right)
\end{eqnarray*}となります。
\end{equation*}を定めます。先の命題より、\begin{eqnarray*}
\int_{1}^{2}f\left( x\right) dx &=&\int_{1}^{2}x^{\frac{2}{3}}dx \\
&=&\left[ \frac{1}{\frac{2}{3}+1}x^{\frac{2}{3}+1}\right] _{1}^{2} \\
&=&\left[ \frac{3}{5}x^{\frac{5}{3}}\right] _{1}^{2} \\
&=&\frac{3}{5}\left( 2^{\frac{5}{3}}-1^{\frac{5}{3}}\right) \\
&=&\frac{3}{5}\left( 2^{\frac{5}{3}}-1\right)
\end{eqnarray*}となります。
例（有理数ベキ関数の定積分）
区間上に定義された関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =x^{-\frac{2}{3}}
\end{equation*}を定めるものとします。先の命題より、\begin{eqnarray*}
\int_{1}^{2}f\left( x\right) dx &=&\int_{1}^{2}x^{-\frac{2}{3}}dx \\
&=&\left[ \frac{1}{-\frac{2}{3}+1}x^{-\frac{2}{3}+1}\right] _{1}^{2} \\
&=&\left[ 3x^{\frac{1}{3}}\right] _{1}^{2} \\
&=&3\left( 2^{\frac{1}{3}}-1^{\frac{1}{3}}\right) \\
&=&3\left( 2^{\frac{1}{3}}-1\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。先の命題より、\begin{eqnarray*}
\int_{1}^{2}f\left( x\right) dx &=&\int_{1}^{2}x^{-\frac{2}{3}}dx \\
&=&\left[ \frac{1}{-\frac{2}{3}+1}x^{-\frac{2}{3}+1}\right] _{1}^{2} \\
&=&\left[ 3x^{\frac{1}{3}}\right] _{1}^{2} \\
&=&3\left( 2^{\frac{1}{3}}-1^{\frac{1}{3}}\right) \\
&=&3\left( 2^{\frac{1}{3}}-1\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
有理数ベキ関数と純変化量定理
純変化量定理を再掲します。これは微分積分学の第2基本定理から導かれます。
命題（純変化量定理）
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が\(\left[ a,b\right] \)上で連続かつ\(\left( a,b\right) \)上で微分可能であるものとする。さらに、関数\(\frac{df}{dx}:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)は\(\left[ a,b\right] \)上でリーマン積分可能であるものとする。この場合には、以下の関係\begin{equation*}f\left( b\right) -f\left( a\right) =\int_{a}^{b}\frac{df\left( x\right) }{dx}dx
\end{equation*}が成立する。
\end{equation*}が成立する。
導関数\(\frac{df}{dx}\)がそれぞれの点\(x\in \left( a,b\right) \)に対して定める値、すなわち点\(x\)における\(f\)の微分係数\begin{equation*}\frac{df\left( x\right) }{dx}=\lim_{h\rightarrow 0}\frac{f\left( x+h\right)
-f\left( x\right) }{h}
\end{equation*}とは、点\(x\)における\(f\left(x\right) \)の瞬間変化率に相当する概念です。純変化量定理によると、この瞬間変化率\(\frac{df\left( x\right) }{dx}\)を区間\(\left[ a,b\right] \)上で積分することにより、変数\(x\)が点\(a\)から点\(b\)へ変化する場合の前後における\(f\left( x\right) \)の変化量\begin{equation*}f\left( b\right) -f\left( a\right)
\end{equation*}が得られます。
例（有理数ベキ関数と純変化量定理）
物体を一直線上で動かすとき、位置\(x\geq 0\)に到達するまでに蓄積される仕事が、\begin{equation*}W\left( x\right) =\frac{2k}{5}x^{\frac{5}{2}}
\end{equation*}で与えられているものとします。ただし、\(k>0\)は定数です。\(0\leq a<b\)を満たす\(a,b\in \mathbb{R} \)を選んだ場合、物体を位置\(a\)から\(b\)まで動かしたときに増えた仕事は、\begin{eqnarray*}W\left( b\right) -W\left( a\right) &=&\frac{2k}{5}b^{\frac{5}{2}}-\frac{2k}{5}a^{\frac{5}{2}} \\
&=&\frac{2k}{5}\left( b^{\frac{5}{2}}-a^{\frac{5}{2}}\right)
\end{eqnarray*}ですが、同じことを純変化量定理から求めます。\(W\)の導関数は、\begin{eqnarray*}\frac{dW\left( x\right) }{dx} &=&\frac{d}{dx}\frac{2k}{5}x^{\frac{5}{2}} \\
&=&\frac{2k}{5}\cdot \frac{5}{2}x^{\frac{3}{2}} \\
&=&kx^{\frac{3}{2}}
\end{eqnarray*}ですが、これは位置\(x\)における力です。すると、\begin{eqnarray*}W\left( b\right) -W\left( a\right) &=&\int_{a}^{b}\frac{dW\left( x\right) }{dx}dx\quad \because \text{純変化量定理}
\\
&=&\int_{a}^{b}kx^{\frac{3}{2}}dx \\
&=&k\int_{a}^{b}x^{\frac{3}{2}}dx \\
&=&k\left[ \frac{1}{1+\frac{3}{2}}x^{\frac{3}{2}+1}\right] _{a}^{b} \\
&=&k\left[ \frac{2}{5}x^{\frac{5}{2}}\right] _{a}^{b} \\
&=&\frac{2k}{5}\left( b^{\frac{5}{2}}-a^{\frac{5}{2}}\right)
\end{eqnarray*}となるため、先と同様の結果が得られました。
\end{equation*}で与えられているものとします。ただし、\(k>0\)は定数です。\(0\leq a<b\)を満たす\(a,b\in \mathbb{R} \)を選んだ場合、物体を位置\(a\)から\(b\)まで動かしたときに増えた仕事は、\begin{eqnarray*}W\left( b\right) -W\left( a\right) &=&\frac{2k}{5}b^{\frac{5}{2}}-\frac{2k}{5}a^{\frac{5}{2}} \\
&=&\frac{2k}{5}\left( b^{\frac{5}{2}}-a^{\frac{5}{2}}\right)
\end{eqnarray*}ですが、同じことを純変化量定理から求めます。\(W\)の導関数は、\begin{eqnarray*}\frac{dW\left( x\right) }{dx} &=&\frac{d}{dx}\frac{2k}{5}x^{\frac{5}{2}} \\
&=&\frac{2k}{5}\cdot \frac{5}{2}x^{\frac{3}{2}} \\
&=&kx^{\frac{3}{2}}
\end{eqnarray*}ですが、これは位置\(x\)における力です。すると、\begin{eqnarray*}W\left( b\right) -W\left( a\right) &=&\int_{a}^{b}\frac{dW\left( x\right) }{dx}dx\quad \because \text{純変化量定理}
\\
&=&\int_{a}^{b}kx^{\frac{3}{2}}dx \\
&=&k\int_{a}^{b}x^{\frac{3}{2}}dx \\
&=&k\left[ \frac{1}{1+\frac{3}{2}}x^{\frac{3}{2}+1}\right] _{a}^{b} \\
&=&k\left[ \frac{2}{5}x^{\frac{5}{2}}\right] _{a}^{b} \\
&=&\frac{2k}{5}\left( b^{\frac{5}{2}}-a^{\frac{5}{2}}\right)
\end{eqnarray*}となるため、先と同様の結果が得られました。
演習問題
問題（無理関数の不定積分）
関数\(f:\mathbb{R} _{+}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{+}\)に対して、\begin{equation*}f\left( x\right) =x^{\frac{5}{4}}+x^{2}-1
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めた上で、定積分\begin{equation*}
\int_{0}^{81}f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めた上で、定積分\begin{equation*}
\int_{0}^{81}f\left( x\right) dx
\end{equation*}を求めてください。
問題（有理数ベキ関数の積分）
関数\(f:\mathbb{R} \supset \left( -1,+\infty \right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,+\infty\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{1}{x\left( x+1\right) ^{\frac{3}{2}}}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
会員専用コンテンツです
【ログイン】【会員登録】