関数 ( は実数)について、 の値を求めよ。
積と商の微分
積の微分・商の微分の公式を使える
前提
この技能までの道筋(17 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
説明
2 つの関数の積 や商 の形をした関数を、展開や通分をせずにそのまま微分できるようになります。 のように展開が面倒な積や、 のように展開では多項式にならない分数の形の関数の導関数を求めるときに使います。
なぜそうしてよいのか
積の微分は、導関数の定義から導けます。関数の値の変化 に、 を引いて足すと と分けられます。両辺を で割って とすると、、 です。さらに なので です。よって が成り立ちます。直観的には、長方形の横 と縦 が少し伸びたとき、面積の増え方は「横の伸び×縦」と「横×縦の伸び」の和になる、ということです(両方の伸びの積は小さすぎて効きません)。
商の微分は、まず を考えます( とします。 なので、 が十分小さければ です)。 を で割って とすると が得られます。
あとは と見て積の微分を使えば となります。この式は となる でのみ成り立ちます。
手順
関数が積の形か商の形かを見て、もとになる 2 つの関数 , を決める(商なら分子を 、分母を とする)
と をそれぞれ多項式の微分で求める
積なら に代入する
商なら に代入する( の範囲で考える)
分子を展開して整理する。分母の は展開せずそのままでよい
例題
関数 の導関数 を求めよ。
例題の解答
手順 1:商の形なので、分子を 、分母を とする。分母 はすべての実数 で 以上なので にならず、すべての実数 で考えられる。
手順 2:、。
手順 4:商の微分の公式に代入して
手順 5:分子を展開すると 。よって
答え:
よくある誤り
積の導関数を導関数どうしの積 としてしまう誤り。例えば だが、 では になってしまう。正しくは 。
商の微分で分子の引き算の順序を逆にして としてしまう誤り。符号が逆になる。正しくは「分子を微分したもの×分母」から引く 。
商の微分で分母を 2 乗し忘れて としてしまう誤り。例えば は であり、 ではない。正しくは分母は 。
商の微分で となる を忘れてしまう誤り。例えば は の範囲でのみ成り立つ。 ではもとの関数自体が定義されない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
実数全体で定義された関数 について、 の値を求めよ。
で定義された関数 の導関数 を求めよ。
実数全体で定義された関数 について、 における微分係数を求めよ。ただし、対数は自然対数とする。
で定義された関数
について、 の値を求めよ。ただし、 は自然対数の底、 は自然対数を表す。で定義された関数 について、 の値を求めよ。ただし、 は自然対数の底であり、対数は自然対数とする。
関数 のグラフの変曲点の座標を求めよ。
関数 のグラフについて、増減と凹凸を調べ、このグラフの変曲点の座標を求めよ。ただし、 は自然対数の底とする。
関数 の増減、グラフの凹凸、漸近線を調べて、グラフの概形をかきたい。このグラフの変曲点の座標を求めよ。ただし、 は自然対数の底であり、必要ならば を用いてよい。
を実数の定数とする。すべての正の実数 に対して、不等式 が成り立つような の最大値を求めよ。ただし、 は自然対数とする。
連続な関数 が、すべての実数 について
を満たしている。 を求めよ。すべての実数 で連続な関数 が、すべての実数 について
を満たしている。このとき、 を求めよ。
この技能を使う問題
関数 について、曲線 が上に凸となる の範囲を求めよ。ここでは、 を満たす の範囲を答えるものとする。
関数 について、すべての実数 に対して
が成り立つような定数 の値を求めよ。答えは組 の形で答えよ。関数 について、すべての実数 で
が成り立つような定数 の値を求めよ。答えは の組で答えよ。を満たすすべての実数 に対して、不等式
が成り立つような実数 の最小値を求めよ。ただし、対数は自然対数とする。関数 の逆関数を とする。関数
について、 の値を求めよ。関数 について、 かつ を満たす実数 の範囲を求めよ。これは、 が減少していて、しかも曲線 が下に凸になっている範囲である。
曲線 上の点 における の接線を 、法線を とする。2 直線 , と 軸で囲まれる三角形の面積 を求めよ。ただし、 は自然対数の底である。
実数全体で定義された関数
を考える。合成関数 について、 の値を求めよ。で定義された関数
について、 の値を求めよ。を実数の定数とする。 についての方程式
が異なる つの実数解をもつような の値の範囲を求めよ。ただし、 は自然対数とし、 であることを用いてよい。実数全体で定義された関数 を考える。ただし、 は自然対数の底とする。曲線 の変曲点の 座標をすべて求めよ。
複素関数
の における留数 を求めよ。内の曲線
を考える。 の に対応する点での曲率を 、ねじれ率を とする。ただし、ねじれ率の符号は
で定める(右巻きの常螺旋 のねじれ率が正になる流儀)。このとき、比 は によらない定数になる。その値を求めよ。に対する非粘性バーガース方程式の初期値問題
を考える。 に対し、 上で 級の解(古典解)が存在するような の上限を とする。 を求めよ。で定義された関数 のラプラス変換を
で定める。ラプラス変換の性質 ( は正の整数)などを用いて、定積分
の値を求めよ。で定義された関数 , の畳み込みを
で定める。ラプラス変換 の畳み込み定理 を用いて、 を の式で表せ。を の開区間とし、 は微分可能な関数で、すべての に対して かつ
を満たすとする。このとき、ある実数の定数 が存在して、すべての に対して かつ
が成り立つことを証明せよ。ただし、解の存在と一意性の定理は用いずに示すこと。を正の実数とし、 を連続関数で、すべての実数 に対して を満たすものとする。 は微分可能な関数で、初期値問題
を満たすとする( は実数の定数)。このとき、すべての に対して
が成り立つことを証明せよ。で定義された関数 のラプラス変換を
で定める。 を正の実数とする。次の事実は用いてよい。- のとき 、
- が で連続かつ有界で のとき、 で
- (一意性) で連続な 2 つの関数のラプラス変換が で一致すれば、2 つの関数は 上で一致する
で連続な関数 が、すべての で
を満たすとき、
であることを証明せよ。実数 の関数 が、連立微分方程式
と初期条件 を満たすとする。 の値を求めよ。ある湖の魚の個体数(単位: 千匹)を、世代ごとに ( は 0 以上の整数)で表す。この魚は密度効果を受けて増え、その推移が離散時間の個体群モデル(ベバートン・ホルト型モデル)
に従うとする。このモデルの不動点(平衡点、 を満たす )のうち、漸近安定であるものはただ 1 つである。それを とし、 の における微分係数を とする。組 をこの順に求めよ。
因果的な連続時間の線形時不変系がある。初期状態は とする。 は時刻を表す実数で、信号はすべて無次元量とする。
この系に単位ステップ関数
を入力すると、出力(ステップ応答)は
となった。同じ系に入力 を加えたときの出力を とする。出力のエネルギー
の値を求めよ。連続時間の因果的な線形時不変系がある( は時刻を表す実数で、初期状態は とする)。この系に単位ステップ入力 ( で 、 で )を加えたときの出力(ステップ応答)は
であった。同じ系に入力 を加えたときの出力を とする。出力のエネルギー
を求めよ。答えは既約分数で答えよ。関数 ( は実数)の逆関数を とする。また、 である実数 に対して
と定める。 の値を求めよ。を実数の定数とする。すべての正の実数 に対して、不等式
が成り立つような の値の範囲を求めよ。ただし、対数は自然対数とする。実数全体で定義された関数 の逆関数を とする。さらに、 において関数 を
で定める。このとき、 の値を求めよ。で定義された関数
を考える。ただし、 は自然対数とする。 かつ を満たす実数 の範囲を求めよ。を正の実数の定数とする。座標平面上の点 から双曲線 に 2 本の接線を引き、その接点を , とする。 が正の実数全体を動くとき、三角形 の面積の最小値を求めよ。
関数 の最大値を求めよ。ただし、 は自然対数の底とする。
曲線 上の点 における の接線を とする。ただし、 は正の実数とし、 は自然対数の底とする。 と 軸の交点を 、 と 軸の交点を 、原点を とする。 が正の実数全体を動くとき、三角形 の面積の最大値を求めよ。
関数 の最大値を求めよ。
媒介変数 を用いて と表される曲線の長さ を求めよ。ただし、 は自然対数の底とする。
で定義された関数 が、微分方程式
と初期条件 , を満たすとする。 を求めよ。実数全体で定義された関数 が、微分方程式 と初期条件 , を満たすとする。 の値を求めよ。
確率変数 は互いに独立で、それぞれ確率密度関数
をもつ。 とおくとき、 における の確率密度関数 を の式で表せ。を正の整数とし、 を ( は 次単位行列)を満たす 次実正方行列とする(このような が存在するのは が偶数のときに限られる)。 は微分可能な関数で、すべての実数 に対して
を満たすとする。このとき、すべての実数 に対して
が成り立つことを証明せよ。ただし、微分方程式の解の存在と一意性の定理は用いずに示すこと(平均値の定理、積の微分公式は用いてよい)。とし、 上のベクトル場 を
で定める。 上のすべての点で が成り立つが、 上の 級関数 で 上 (すなわち )をみたすものは存在しないことを証明せよ。ただし、曲線 に沿う線積分は で定める。正弦関数の無限積表示
において、部分積 が のとき 上で広義一様に に収束することは用いてよい。また、正則関数列が領域上で広義一様に収束するとき、その導関数の列も極限関数の導関数に広義一様に収束すること(ワイエルシュトラスの定理)も用いてよい。これらを用いて、任意の実数 に対して
が成り立つことを証明せよ。ここで である。を空でない開区間とし、汎関数
のラグランジアン (, で定義する)を考える。 が 上で を満たし、オイラー・ラグランジュ方程式
を満たすとする。このとき、定数 と が存在して、すべての で
が成り立つことを証明せよ。ただし、常微分方程式の解の一意性定理( が開集合 上で 級のとき、 の区間 上の 2 つの 級解 が、 ともに 上で に値をとり、ある で を満たすならば、 上で )は用いてよい。
曲線 を考える。ただし、 は自然対数とする。 を実数の定数とし、 軸上の点 を通る の接線がちょうど 本存在するような の値の範囲を求めよ。なお、必要ならば を用いてよい。
座標平面上に楕円 と直線 がある。点 が 上を動くとき、 から に引いた 本の接線の接点を , とする。三角形 の面積の最小値を求めよ。
で定義された関数 は 回微分可能で、 であり、 で を満たす。曲線 上のどの点 についても、点 と、 における の接線との距離が であるという。 の値を求めよ。ただし、 は自然対数とする。
で 2 回微分可能な関数 が、微分方程式
と初期条件 を満たし、さらに で有界であるとする。このとき、 における の最小値を求めよ。で連続な関数 が、 を満たし、 を除く で微分可能であって、積分微分方程式
を満たすとする。ここで は のとき 、 のとき をとる関数である。関数 のラプラス変換を で定める。このとき、広義積分
の値を求めよ。を実数の定数とする。 についての方程式
が、異なる実数解をちょうど 個もつような の値の範囲を求めよ。を実数の定数とする。 についての方程式
が異なる 3 つの実数解をもつような の値の範囲を求めよ。ただし、 は自然対数の底であり、 を用いてよい。実数全体で定義された関数
を考える。ただし、 は自然対数である。 は実数全体で単調に増加するので、逆関数 をもつ。このとき、 の値を求めよ。曲線 と、 軸上の点 を考える。ただし は実数の定数とする。点 を通る の接線がちょうど 本存在するような の値の範囲を求めよ。
を実数の定数とし、 で定義された関数
を考える。 において が極値をちょうど つもち、かつ曲線 が変曲点をちょうど つもつような の値の範囲を求めよ。次の定積分の値を求めよ。
曲線 を考える。ただし、対数は自然対数とする。原点 から曲線 に引いた接線のうち、 軸と異なるものを とする。曲線 、直線 および 軸で囲まれた部分の面積 を求めよ。
を実数の定数とする。直線 と双曲線 が、 座標がともに正である異なる 2 点 , で交わるとする。このとき、線分 の中点の 座標のとりうる値の範囲を求めよ。
関数 ( は実数)を考える。正の整数 に対して、 の第 次導関数を で表す。方程式 は異なる つの実数解をもつ。それらを とするとき、 を の式で表せ。
実数全体で定義された関数
を考える。ただし、 は自然対数とする。 を 回微分して得られる第 次導関数を と表すとき、 の値を求めよ。を でない実数の定数とし、実数全体で定義された関数
を考える。ただし、 は自然対数の底とする。 の極小値を とする。 が でない実数全体を動くとき、 の最大値を求めよ。で定義された関数 を考える。ただし、 は自然対数の底とする。 は で単調に増加するので逆関数をもつ。その逆関数を とするとき、 の第 次導関数 の における値 を求めよ。
を正の定数とする。すべての正の実数 に対して、不等式 が成り立つような の値の範囲を求めよ。ただし、 は自然対数とする。
実数全体で定義された関数 は狭義単調増加で、実数全体から実数全体への全単射である。その逆関数を とする(すなわち、すべての実数 に対して が成り立つ)。 の における 7 階微分係数 の値を求めよ。
区間 で 2 回微分可能な関数 が、微分方程式 と境界条件 , を満たすとする。 を求めよ。
アリー効果をもつ生物の個体数 に、捕獲努力 に比例する捕獲を加えたモデル
を考える。ここで は を満たす定数である。このとき、 の範囲にある平衡点のうち漸近安定なものはただ 1 つ存在する。それを とし、その平衡点での単位時間あたりの捕獲量を とする。 における の最大値を求めよ。
を開単位円板とする。 上で正則で、すべての に対して を満たし、さらに
を満たす関数 全体の集合を とする(零点 の位数は 1 以上であれば何でもよい)。 が 全体を動くとき、原点における微分係数の絶対値 の最大値を求めよ。なお、この最大値は のある元で実際に達成される。における波動方程式の初期値問題
を考える。ここで は に関するラプラシアン、 はユークリッドノルムであり、 はこの問題のただ 1 つの 級の解とする。原点での値 の における最小値を求めよ。を 以上の整数とし、時刻 にそれぞれ正の金額 が支払われる債券を考える。連続複利の利回り に対して、この債券の価格を
とし、マコーレー・デュレーションを
で定める。このとき、関数 は 上で狭義単調減少であり、その値域は開区間 に一致することを証明せよ。ただし、微分可能な関数についての平均値の定理と中間値の定理は用いてよい。
を実数の定数とし、 で定義された関数 を考える。ただし、 は自然対数の底とする。 のすべての実数 に対して が成り立つような の値の範囲を求めよ。
質量 、角振動数 の 1 次元調和振動子 を考える( はプランク定数を で割ったもの)。消滅演算子 と生成演算子 は を満たし、位置演算子は
と表される。実数 に対して、、 を満たすコヒーレント状態 をとり、これに生成演算子を 1 回作用させて規格化した状態
を考える。状態 における位置のゆらぎ を の関数とみなすとき、 の範囲での の最小値を を用いて求めよ。実数全体で定義された関数 を考える。 を正の整数とし、 の第 次導関数を で表す。方程式 の異なる実数解すべてについて、その 乗の和を の式で表せ。
この技能の次に学べること
- 合成関数の微分 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 経済的発注量(EOQ) (大学数学 オペレーションズ・リサーチ)
- ジョーンズ多項式の特殊値と微分 (大学院数学 結び目理論)