積の導関数 (または乗算)

この記事では、2つの関数の積(公式)を求める方法を説明します。さらに、関数の積の導関数の例をいくつか確認したり、乗算の導関数に関する解決済み演習を使って練習したりすることもできます。

積の導関数の公式

2 つの異なる関数の積の導関数は、最初の関数の導関数と 2 番目の未微分関数の積と、最初の未微分関数と 2 番目の関数の導関数の積とに等しくなります。

言い換えると、 f(x)g(x)が 2 つの異なる関数である場合、2 つの関数間の乗算の導関数の式は次のようになります。

製品に由来するもの

したがって、積の微分規則を適用すると、単純な乗算から 2 つの異なる積が得られます。

製品の派生製品の例

積(または乗算)の導関数の公式が何であるかを理解したら、このタイプの導関数のいくつかの例を解きます。これにより、2 つの関数の積がどのように導出されるのかを理解しやすくなります。

例1

この例では、次の乗算によって 2 つのポテンシャル関数の導関数を解きます。

f(x)=5x^2\cdot (x^3+4x-6)

前のセクションで見たように、乗算の導関数の公式は次のとおりです。

\begin{array}{c}z(x)=f(x)\cdot g(x) \\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] z'(x)=f'(x)\cdot g(x)+f(x)\cdot g'(x)\end{array}

したがって、最初に各関数の導関数を個別に計算する必要があります。

\cfrac{d}{dx}\ 5x^2=10x

\cfrac{d}{dx}\ (x^3+4x-6)=3x^2+4

各関数の導関数がわかれば、2 つの関数の積の導関数の公式を適用できます。つまり、最初の因子の導関数を微分せずに 2 番目の因子で乗算し、次に 2 番目の因子の微分で微分せずに最初の因子の積を加算します。

\begin{array}{c}f(x)=5x^2\cdot (x^3+4x-6)\\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] f'(x)=10x\cdot (x^3+4x-6)+5x^2\cdot (3x^2+4)\end{array}

最後に、得られた結果を単純化するための操作を実行します。

\begin{aligned}f'(x)& =10x\cdot (x^3+4x-6)+5x^2\cdot (3x^2+4)\\[1.5ex] & = 10x^4+40x^2-60x +15x^4+20x^2 \\[1.5ex] & = 25x^4+60x^2-60x\end{aligned}

例 2

この場合、関数によって定数の積を導き出します。

f(x)=7\cdot (x^2+3x)

積の導関数ルールは次のとおりです。

\begin{array}{c}z(x)=f(x)\cdot g(x) \\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] z'(x)=f'(x)\cdot g(x)+f(x)\cdot g'(x)\end{array}

したがって、製品の一部である各関数を個別に導出します。

\cfrac{d}{dx}\ 7=0

\cfrac{d}{dx}\ (x^2+3x)=2x+3

次に、乗算の導関数にルールを適用します。

\begin{array}{c}f(x)=7\cdot (x^2+3x)\\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] f'(x)=0\cdot (x^2+3x)+7\cdot (2x+3)=14x+21\end{array}

定数の導関数は常にゼロであることに注意してください。そのため、定数に関数を乗算した導関数は、定数と関数の導関数の積に等しいと推測できます。

\definecolor{taronjaquadreejemplo}{HTML}{FF9800}  \newtcbox{\mymath}[1][]{%     nobeforeafter, math upper, tcbox raise base,     enhanced, colframe=taronjaquadreejemplo,      boxrule=1.1pt, boxsep=2mm,     #1} \begin{empheq}[box={\mymath[colback=white, shadow={2mm}{-2mm}{0mm}{taronjaquadreejemplo!20!white,} ]}]{equation*}      \begin{array}{c}z(x)=k\cdot f(x) \\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] z'(x)=k\cdot f'(x)\end{array} \end{empheq}

例 3

指数関数と自然対数の積を解いてみましょう。

f(x)=4^{3x}\cdot \ln(x^2)

2 つの関数の乗算の導関数の公式は次のとおりです。

\begin{array}{c}z(x)=f(x)\cdot g(x) \\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] z'(x)=f'(x)\cdot g(x)+f(x)\cdot g'(x)\end{array}

したがって、最初に積を形成する各関数の導関数を個別に作成する必要があります。これは次のとおりです。

\cfrac{d}{dx}\ 4^{3x}=4^{3x}\cdot \ln (4) \cdot 3

\cfrac{d}{dx}\ \ln(x^2)=\cfrac{2x}{x^2}=\cfrac{2}{x}

したがって、関数の派生積は次のようになります。

\begin{array}{c}f(x)=4^{3x}\cdot \ln(x^2)\\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] f'(x)=4^{3x}\cdot \ln (4) \cdot 3\cdot \ln(x^2) +4^{3x}\cdot \cfrac{2}{x} \end{array}

製品の派生製品に関する演習を解決しました

次の関数積を派生します。

\text{A) }f(x)=5\ln(3x)

\text{B) }f(x)=(4x^2+1)(6x^3-7)

\text{C) }f(x)=\text{cos}(4x)\cdot e^{x^2}

\text{D) }f(x)=(3x^3-4x^2+8x)\cdot \sqrt{6x^2+3x}

\text{E) }f(x)=5^{4x}\cdot \log_9(x^3-x)

\text{F) }f(x)=\left(10x^6-6x^5\right)^4\cdot \text{arcsen}(x^2+9x)

\text{A) } f'(x)=5\cdot \cfrac{3}{3x} =\cfrac{5}{x}

\begin{aligned}\text{B) }f'(x)&=8x\cdot (6x^3-7)+(4x^2+1)\cdot 18x^2\\[1.2ex]&=48x^4-56x+72x^4+18x^2\\[1.2ex]&=120x^4+18x^2-56x \end{aligned}

\text{C) }f'(x) =-4\text{sen}(4x)\cdot e^{x^2}+\text{cos}(4x)\cdot e^{x^2}\cdot 2x

\text{D) }f'(x)=(9x^2-8x+8)\cdot \sqrt{6x^2+3x}+(3x^3-4x^2+8x)\cdot\cfrac{12x+3}{2\sqrt{6x^2+3x}}

\text{E) }f'(x)=5^{4x}\cdot \ln(5) \cdot 4 \cdot \log_9(x^3-x)+ 5^{4x}\cdot\cfrac{3x^2-1}{(x^3-x)\ln(9)}

\begin{aligned}\text{F) }f'(x)=& 4\left(10x^6-6x^5\right)^3\cdot (60x^5-30x^4)\cdot \text{arcsen}(x^2+9x)\ +\\[1.2ex] &+\left(10x^6-6x^5\right)^4\cdot \cfrac{2x+9}{\sqrt{1-\left(x^2+9x\right)^2}}\end{aligned}

3つの機能を備えた製品から派生

次に、3 つの関数の乗算の導関数の公式を残しておきます。これは、2 つの関数の乗算の導関数と非常に似ており、場合によっては役立つためです。

3 つの関数の積の導関数は、最初の関数と他の 2 つの関数の導関数の積、2 番目の関数と他の 2 つの関数の導関数の積、および次の関数の導関数の積に等しくなります。 3 番目の関数.他の 2 つの関数による関数。

\definecolor{taronjaquadreejemplo}{HTML}{FF9800}  \newtcbox{\mymath}[1][]{%     nobeforeafter, math upper, tcbox raise base,     enhanced, colframe=taronjaquadreejemplo,      boxrule=1.1pt, boxsep=1mm,     #1} \begin{empheq}[box={\mymath[colback=white, shadow={2mm}{-2mm}{0mm}{taronjaquadreejemplo!20!white,} ]}]{equation*}      \begin{array}{c}z(x)=f(x)\cdot g(x)\cdot h(x) \\[1.5ex]\color{orange}\bm{\downarrow}\\[1.5ex] z'(x)=f'(x)\cdot g(x)\cdot h(x)+f(x)\cdot g'(x)\cdot h(x)+f(x)\cdot g(x)\cdot h'(x)\end{array} \end{empheq}

たとえば、次の 3 つの異なる関数の乗算を導出したい場合:

f(x)=3x\cdot e^{2x} \cdot \text{sen}(x)

導関数を解くには、3 つの関数の積の導関数の規則を適用する必要があります。したがって、次のようになります。

f'(x)=3\cdot e^{2x} \cdot \text{sen}(x)+3x\cdot 2e^{2x} \cdot \text{sen}(x)+3x\cdot e^{2x} \cdot \text{cos}(x)

積の導関数の式のデモンストレーション

最後に、乗算の導関数の公式を示します。暗記する必要はありませんが、公式がどこから来たのかを理解しておくことは常に良いことです。 🙂

導関数の数学的定義から:

\displaystyle f'(x)=\lim_{h \to 0}\frac{f(x+h)-f(x)}{h}

関数zを 2 つの異なる関数の積とします。

z(x)=f(x)\cdot g(x)

定義によれば、 zの導関数は次のようになります。

\displaystyle z'(x)=\lim_{h \to 0}\frac{\bigl[f(x+h)\cdot g(x+h)\bigr]-\bigl[f(x)\cdot g(x)\bigr]}{h}

\displaystyle z'(x)=\lim_{h \to 0}\frac{f(x+h)\cdot g(x+h)-f(x)\cdot g(x)}{h}

ご存知のとおり、加算と減算によって項を追加しても、両方が同じ項である限り、結果には影響しません。したがって、次のステップに進むことができます。

\displaystyle z'(x)=\lim_{h \to 0}\frac{f(x+h)\cdot g(x+h)\color{orange}\bm{-f(x+h)\cdot g(x)+f(x+h)\cdot g(x)}\color{black}-f(x)\cdot g(x)}{h}

ここで、境界プロパティを使用して、前の境界を 2 つの異なる境界に分離します。

\displaystyle z'(x)=\lim_{h \to 0}\frac{f(x+h)\cdot g(x+h)-f(x+h)\cdot g(x)}{h}+\lim_{h \to 0}\frac{f(x+h)\cdot g(x)-f(x)\cdot g(x)}{h}

2 つの分数の分子の共通因数を抽出します。

\displaystyle z'(x)=\lim_{h \to 0}\frac{f(x+h)\bigl(g(x+h)-g(x)\bigr)}{h}+\lim_{h \to 0}\frac{g(x)\bigl(f(x+h)-f(x)\bigr)}{h}

一方で、次の制限の結果がわかっています。

\displaystyle \lim_{h \to 0}f(x+h)=f(x)

したがって、制限を単純化できます。

\displaystyle z'(x)=\lim_{h \to 0}f(x+h)\lim_{h \to 0}\frac{g(x+h)-g(x)}{h}+\lim_{h \to 0}g(x)\lim_{h \to 0}\frac{f(x+h)-f(x)}{h}

\displaystyle z'(x)=f(x)\lim_{h \to 0}\frac{g(x+h)-g(x)}{h}+g(x)\lim_{h \to 0}\frac{f(x+h)-f(x)}{h}

最後に、残りの 2 つの制限に注目すると、それぞれが関数の導関数の定義に対応しています。したがって、平等は次のように単純化できます。

\displaystyle z'(x)=f(x)\cdot g'(x)+g(x)\cdot f'(x)

または同等のもの:

\definecolor{taronjaquadreejemplo}{HTML}{FF9800}  \newtcbox{\mymath}[1][]{%     nobeforeafter, math upper, tcbox raise base,     enhanced, colframe=taronjaquadreejemplo,      boxrule=1.1pt, boxsep=2mm,     #1} \begin{empheq}[box={\mymath[colback=white, shadow={2mm}{-2mm}{0mm}{taronjaquadreejemplo!20!white,} ]}]{equation*}      z'(x)=f'(x)\cdot g(x)+f(x)\cdot g'(x) \end{empheq}

コメントする

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

上部へスクロール