【SPONSORED LINK】

微分法3|多項式の導関数を求める公式と導関数の基本性質

前回の記事では,関数f(x)の導関数の考え方と求め方を説明しました.

数学IIの微分法では,多項式の微分をメインに扱います.

多項式の微分は非常に分かりやすく,自然数nに対してf(x)=x^nとするとf'(x)=nx^{n-1}となります.

このように,多項式の導関数は公式として当たり前に使えるようになっておく必要があります.

この記事では,

  • 多項式の導関数
  • 導関数の性質

を説明し,最後に具体例を考えます.

【SPONSORED LINK】

多項式の導関数

多項式f(x)の微分について,次の公式が成り立ちます.

[多項式の微分] 定数関数f(x)の導関数はf'(x)=0であり,f(x)=xの導関数はf'(x)=1である.

また,2以上の整数nに対し,f(x)=x^{n}の導関数はf'(x)=nx^{n-1}である.

なお,直感的に

  • 定数関数は「平ら」なので,導関数が0
  • y=xは「傾き1の直線」なので,導関数が1

であることはすぐに分かりますね.実際,以下の証明でも見るように,導関数の定義から簡単に導くことができます.

なお,導関数の定義式は同値な

\begin{align*} f'(x)=\lim\limits_{h\to0}\dfrac{f(x+h)-f(x)}{h} \end{align*}

\begin{align*} f'(x)=\lim\limits_{b\to x}\dfrac{f(x)-f(b)}{x-b} \end{align*}

の2通りありますが,どちらを用いても証明できるのでそれぞれの定義式で[多項式の微分]を証明してみましょう.

証明1

導関数の定義f'(x)=\lim\limits_{h\to0}\dfrac{f(x+h)-f(x)}{h}により,[多項式の微分]を証明をします.

[1] f(x)=C (Cは定数)なら,

\begin{align*} f'(x) =&\lim_{h\to0}\dfrac{f(x+h)-f(x)}{h} \\=&\lim_{h\to0}\dfrac{C-C}{h} \\=&\lim_{h\to0}0 \\=&0 \end{align*}

が成り立つ.

[2] f(x)=xなら,

\begin{align*} f'(x) =&\lim_{h\to0}\frac{f(x+h)-f(x)}{h} \\=&\lim_{h\to0}\frac{(x+h)-x}{h} \\=&\lim_{h\to0}\frac{h}{h} \\=&\lim_{h\to0}1 \\=&0 \end{align*}

が成り立つ.

[3] n\geqq2なら,二項定理より

\begin{align*} (x+h)^{n}=\Co{n}{0}x^n+\Co{n}{1}x^{n-1}h+\dots+\Co{n}{n}h^n \end{align*}

だから,

\begin{align*} f'(x) =&\lim_{h\to 0}\frac{f(x+h)-f(x)}{b-x} \\=&\lim_{h\to 0}\frac{(x+h)^n-x^n}{b-x} \\=&\lim_{h\to 0}\frac{(\Co{n}{0}x^n+\Co{n}{1}x^{n-1}h+\dots+\Co{n}{n}h^n)-x^n}{h} \\=&\lim_{h\to 0}\frac{nx^{n-1}h+\Co{n}{2}x^{n-2}h^2+\dots+\Co{n}{n}h^n}{h} \\=&\lim_{h\to0}(nx^{n-1}+\Co{n}{2}x^{n-2}h+\dots+\Co{n}{n}h^{n-1}) \\=&nx^{n-1} \end{align*}

が従う.

なお,[二項定理]については以下の記事を参照してください.

証明2

次に,導関数の定義f'(x)=\lim\limits_{b\to x}\dfrac{f(x)-f(b)}{x-b}により,[多項式の微分]を証明をします.

[1] f(x)=C (Cは定数)なら,

\begin{align*} f'(x) =&\lim_{b\to x}\frac{f(x)-f(b)}{x-b} \\=&\lim_{b\to x}\frac{C-C}{x-b} \\=&\lim_{b\to x}0 \\=&0 \end{align*}

が成り立つ.

[2] f(x)=xなら,

\begin{align*} f'(x) =&\lim_{b\to x}\frac{f(x)-f(b)}{x-b} \\=&\lim_{b\to x}\frac{x-b}{x-b} \\=&\lim_{b\to x}\frac{h}{h} \\=&\lim_{b\to x}1 \\=&1 \end{align*}

が成り立つ.

[3] n\geqq2なら,因数分解の公式

\begin{align*} x^{n}-b^{n}=(x-b)(x^{n-1}+x^{n-2}b+\dots+b^{n-1}) \end{align*}

より,

\begin{align*} f'(x) =&\lim_{b\to x}\dfrac{f(x)-f(b)}{x-b} \\=&\lim_{b\to x}\dfrac{x^n-b^n}{x-b} \\=&\lim_{b\to x}(x^{n-1}+x^{n-2}b+\dots+b^{n-1}) \\=&x^{n-1}+x^{n-2}x+\dots+x^{n-1} \\=&nx^{n-1} \end{align*}

が従う.

なお,a^n-b^nの因数分解については以下の記事を参照してください.

[多項式の微分]は当たり前にしておく.

導関数の基本性質

次に,[導関数の基本性質]を説明します.

[導関数の基本性質] 定数k, \ellと導関数をもつ関数f(x), g(x)に対して,関数kf(x)+\ell g(x)の導関数はkf'(x)+\ell g'(x)である.

導関数の定義より

\begin{align*} (kf(x)+\ell g(x))' =&\lim_{h\to0}\frac{(kf(x+h)+\ell g(x+h))-(kf(x)+\ell g(x))}{h} \\=&\lim_{h\to0}\bra{k\times\frac{f(x+h)-f(x)}{h}+\ell\times\frac{f(x+h)-f(x)}{h}} \\=&k\bra{\lim_{h\to0}\frac{f(x+h)-f(x)}{h}}+\ell{\lim_{h\to0}\frac{f(x+h)-f(x)}{h}} \\=&kf'(x)+lg'(x) \end{align*}

が成り立つ.

「何を当たり前なことを……」と思うかも知れませんが,

  • 本来はkf(x)+\ell g(x)の導関数は(kf(x)+\ell g(x))'であって
  • f(x)g(x)を微分して定数倍して足し合わせたkf'(x)+\ell g'(x)とは別物

のはずです.ですから,これらが等しいかどうかは(証明は簡単なものの)証明なしに手放しに明らかとは言えないのです.

そこで「実はこの両者が等しい」と主張しているのが[導関数の性質]なわけですね.

また,[導関数の性質]で

  • \ell=0
  • k=\ell=1

とした次の形でもよく用いるので当たり前にしてください.

[導関数の基本性質’] 定数kと導関数をもつ関数f(x), g(x)に対して,

  1. kf(x)の導関数はkf'(x)である.
  2. f(x)+g(x)の導関数はf'(x)+g'(x)である.

なお,この[導関数の性質]の証明には関数が多項式であるという仮定は用いていないので,この[導関数の性質]は多項式でない関数に対しても成り立ちます.

そのため,数学IIでは多項式の微分しか扱いませんが,数学IIIで多項式以外の微分をする際にもこの[導関数の基本性質]は成り立ちます.

[導関数の性質]は微分を求める時に非常に便利である.

具体例

それでは最後に具体例を考えましょう.

次の関数f(x)を微分せよ.

  1. f(x)=x^{35}
  2. f(x)=4x^{2}+\pi x^{3}
  3. f(x)=x^{4}-3x^{2}+5

(1) f(x)=x^{35}のとき,[多項式の微分]のn=35の場合から

\begin{align*} f'(x)=35x^{34} \end{align*}

となります.

(2) f(x)=4x^{2}+\pi x^{3}のとき,

\begin{align*} f'(x)=4\times2x+\pi\times3x^{2}=8x+3\pi x^{2} \end{align*}

となります.

(3) f(x)=x^{4}-3 x^{2}+5のとき,

\begin{align*} f'(x)=4x-3\times2x+0=4x-6x \end{align*}

となります.

(3)は3項ありますが,

\begin{align*} (kf(x)+\ell g(x)+mh(x))' =&kf'(x)+(\ell g(x)+mh(x))' \\=&kf'(x)+\ell g'(x)+mh'(x) \end{align*}

と1歩ずつ考えれば,全部バラバラにできることが分かりますね.

シェアする

  • このエントリーをはてなブックマークに追加

フォローする

最後までありがとうございました

以下の関連記事もいかがですか?

SPONSORED LINK
関連記事

記事一覧はこちらからどうぞ!

記事

一覧へ

Twitterを

フォロー

TouTube

を見る

オススメ

参考書

大学数学の

姉妹ブログ