![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
お世話になっております。
微分を勉強しております。
標記の件について、微分の定義に基づき、下記のような変形から証明をスタートしている参考書が多いかと思いますが、最初の式変形についてわからない点がございます。
f(g(x))' = lim f(g(x + Δx)) - f(g(x)) / Δx
以降省略
最初の式変形の分子第1項ですが、なぜf(g(x) + Δx)ではなく、f(g(x + Δx))となるのでしょうか。
f(g(x + Δx))としてしまうと、関数gに関して、xを微少量増加させるという意味になってしまい、関数fを微分するという左辺の式と同値とならないように思うのですが、私の理解が欠けておりますでしょうか。
一方、f(g(x) + Δx)として計算を進めると、うまく証明ができません。
有識者の方、ご指導のほど何卒宜しくお願い致します。
No.10ベストアンサー
- 回答日時:
#1 で指摘したんだけど, 「f(g(x))'」という書き方が雑. そして, それは「左辺はあくまでも関数fの微分ですから」というあなたの認識とも関連しているような気がする.
f'(g(x)) を計算したいのであれば
[f(g(x)+Δx) - f(g(x))] / Δx
でいい. ただしこれは「f(t) という関数の t = g(x) における微分係数」であって, 「合成関数 f(g(x)) の微分」ではない.
「f(g(x)) の微分」は通常「h(x) = f(g(x)) であるような関数 h(x) の微分」であり, それは
[h(x+Δx) - h(x)] / Δx = [f(g(x+Δx)) - f(g(x))] / Δx
でなければならない.
ありがとうございます。
何を何で微分しようとしているのか、その本質部分を見誤っていたようです。自分の式が、fをt=g(x)で微分しようとしているという説明でようやく腑落ちしました。
最初の質問の段階でそれを見抜いていた点、自分の式がどういう意味を持っているのかをご教示いただいた点の2点から、ベストアンサーに選ばせていただきました。
ほかの方もご回答誠にありがとうございました。
No.16
- 回答日時:
補足に「しかしながら、f(g(x))' = lim f(g(x) + Δx) - f(g(x)) / Δxとするとうまくいかない理由がまだ釈然としません。
左辺はあくまでも関数fの微分ですから」と書かれていますが、そこが誤った認識の原因だと思われます。f(g(x))'は関数f(g(x))のxによる微分であって関数fの微分ではありません。
例
f(x)=√x (x≧0), g(x)=x^2とすると
f(g(x))=x
f(g(x))'=1
一方
f(x)'=1/(2√x)
ここでxにg(x)を代入すると
df(x)/dx | g(x) =1/(2x)
で異なります。
No.15
- 回答日時:
{d/dg(x)}f(g(x)) = lim_{Δx→0} {f(g(x) + Δx) - f(g(x))}/ Δx
は
f(g(x))のg(x)による微分
という意味で
xによる微分ではありません
f(g(x) + Δx)
は
g(x)をΔxだけ変化させた時のf(g(x))の変化量なので
xの変化量ではありません
Δxという変数名を使ったからといってxの変化量になるわけではありません
g(x)をΔx増加するのだからΔxではなくΔgと書くべきです
(d/dx)f(g(x))=lim_{Δx→0} {f(g(x + Δx)) - f(g(x))}/ Δx
の
分母Δxはxをx+Δxに変化した時のxの変化量Δxなのです
{d/dg(x)}f(g(x)) = lim_{Δx→0} {f(g(x) + Δx) - f(g(x))}/ Δx
の
分母Δxはg(x)をg(x) + Δxに変化した時のg(x)の変化量なのです
g(x)がΔx増加したからといって
xがΔx増加するとはいえないのです
(d/dx)f(g(x))=lim_{Δx→0} {f(g(x + Δx)) - f(g(x))}/ Δx
の
分子はxをx+Δxに変化した時のf(g(x))の変化量でなければなりません
分母Δxはxをx+Δxに変化した時のxの変化量Δxでなければなりません
No.14
- 回答日時:
本体からは外れますが、既に指摘があったように
f(g(x))'
と言う書き方が本来不適切です。これだとg(x)を微分したものをf(x)に代入したように見えてしまいます。
f(g(x))と言う関数を微分する事を表したいなら、全体を括弧でくくって
{f(g(x))}'
等と言った具合に書くべきです。
No.13
- 回答日時:
f(g(x))'
と書くと
何を何で微分するかあいまいになるのです
(d/dx)f(g(x))=lim_{Δx→0} {f(g(x + Δx)) - f(g(x))}/ Δx
は
f(g(x))のxによる微分
という意味です
{d/dg(x)}f(g(x)) = lim_{Δx→0} {f(g(x) + Δx) - f(g(x))}/ Δx
は
f(g(x))のg(x)による微分
という意味で
xによる微分ではありません
No.12
- 回答日時:
普通に合成関数の微分を考えると
微分の定義通りに
df(g(x))/dx=lim[Δx→0]{f(g(x+Δx))-f(g(x))}
ここで
u=g(x)
u+Δu=g(x+Δx)
とおくと
Δu=g(x+Δx)-g(x)
Δx→0 でΔu→0を使うと
df(g(x))/dx=lim[Δx→0]{f(u+Δu)-f(u)}/Δx
=lim[Δx→0]{(f(u+Δu)-f(u))/Δu・Δu}/Δx
=lim[Δx→0][{f(u+Δu)-f(u)}/Δu][g(x+Δx)/Δx]
=f′(u)g'(x)=f′(g(x))g'(x)
本当はΔu=0の時とか分けないといけませんが
省略!
例
f(x)=2x
g(x)=x²
f(g(x))=2x²
だから
d(2x²)/dx=4x
合成関数の微分の式で求めると
f'(x)=2、g'(x)=2x
f'(g(x))g'(x)=2・2x=4x
で一致
あなたの式では
f'(g(x))=2 で不一致。不合格!
fは2倍しているだけだから
g(x)を変えればf(g(x))はいかなる関数にもなりますが
あなたの式はfを微分しているだけだから
g(x)がどんな関数でも常に2を返すだけです。
No.11
- 回答日時:
f′(x)=df(x)/dx
で
f'(g(x))=lim {f(g(x)+Δx)-f(g(x))}/Δx
というのは
f'(x)とg(x)の合成関数であって
合成関数 f(g(x)) の微分じゃない。
>左辺はあくまでも関数fの微分ですから
それは合成関数の微分じゃない。
関数f(g(x))の微分はfの微分では全く無い。
何故合成関数の微分なのにfを微分しようとするのか
不思議でならない。
微分の対象はあくまで合成関数です。
No.9
- 回答日時:
もう一度普通の微分の場合を思い出して下さい。
話を簡単にするため分子の部分だけ書くとf(x+⊿x)-f(x)…①
でしたよね。一方質問者様が提示している式は
f(g(x)+⊿x)-f(x)…②
ですよね。導関数を表す①式と②式では式の形が全然違います。こんな式が⊿fを表すわけがありません。
No.8
- 回答日時:
masterkoto 補足
u=g(x)
y=f(u)とおくとして
g(x) + Δx=u+Δx
これではuの位置を表す表現になってないでしょ!!
uの変化後の位置=元のuの位置+uの変化分
=u+Δu
ですから
Δuの位置をΔxにしては意味が通らないのです
No.7
- 回答日時:
先の回答を一部訂正。
関数gに関してxを微小量変化させるのはあくまでもg(x+⊿x)
となります。そして
f(g(x+⊿x))
は前述のように、fの中に入っているgが微小量変化するので、それに引きずられる形でfも微小量変化します。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
- 物理学 波動方程式について質問です。 写真2枚目(補足部分)のマーカー部分の意味がよく分かりません。 fはu 1 2023/10/13 11:14
- 数学 【微分について】 y=x^xの微分で、対数微分法が使われていたのですが、両辺自然対数をとるとき、yが 3 2021/11/29 02:40
- 数学 多変数関数の微分とテイラー展開について 5 2022/04/24 16:55
- 高校 方程式の証明 5 2022/05/12 09:29
- 数学 ロルの定理のcで、f(c)が極値になるものは常に存在するのでしょうか? 2 2021/12/09 16:53
- 弁護士・行政書士・司法書士・社会保険労務士 刑法についてです 1 2021/11/01 19:47
- 数学 x=r・cosθの2回微分 θ=ωtとすると? 5 2022/05/10 23:53
- 数学 写真の数学の問題です。 3次関数では増減の向きは、3次関数のグラフの形や微分した2次関数から、考えて 6 2023/09/02 09:07
- 統計学 基礎的な統計学の問題の解答をご教示ください。 4 2021/10/28 22:17
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
2階微分d^2y/dx^2を詳しく教え...
-
y=e^x^x 微分 問題
-
log(1+x)の微分
-
2階の条件・・
-
分母が文字の分数を微分する方...
-
サイン二乗xの微分を教えてく...
-
二回微分して 上に凸下に凸 が...
-
z = x^y の偏微分
-
3階微分って何がわかるの??
-
lim[x→0](e^x - e^-x)/x
-
授業で「yをxで微分する」とい...
-
e^x^2分の1の微分
-
e^sinxの微分
-
sinx^2の微分って2xcosx^2であ...
-
位置を微分したら速度?
-
一次導関数とは?
-
三角関数の微分の問題なんです...
-
不定積分の計算で出た定数は捨...
-
y=1/(2x-1)を微分する方法につ...
-
y=1-sinxを微分せよ
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
y=e^x^x 微分 問題
-
授業で「yをxで微分する」とい...
-
サイン二乗xの微分を教えてく...
-
log(1+x)の微分
-
3階微分って何がわかるの??
-
分母が文字の分数を微分する方...
-
2階微分d^2y/dx^2を詳しく教え...
-
これらの数式を声に出して読む...
-
二回微分して 上に凸下に凸 が...
-
なぜ微分したら円の面積が円周...
-
sinx^2の微分って2xcosx^2であ...
-
y^2をxについて微分してください
-
逆三角関数のn回微分
-
lim[x→0](e^x - e^-x)/x
-
虚数の入った積分
-
y=1-sinxを微分せよ
-
y=1/(2x-1)を微分する方法につ...
-
y=logxA(Aは定数)をxで微分
-
x√xの微分
-
2階の条件・・
おすすめ情報
ご回答ありがとうございます。
本質を突いたご回答のように感じておりますが、2点追加で質問させてください。
①lim[Δx→0] (f(g(x)+Δx) - f(g(x)))/Δx=lim[Δx→0] (6x + 2Δx - 6x)/Δx=2
この部分の式変形についてもう少し詳細を教えていただけますでしょうか。
②必要なのは f(g(x)) の Δxに対する変化であって、f(x) の Δxに対する変化ではありません。
この部分が、私が微分の本質を理解できていない部分な気がしております。
lim[Δx→0] (f(g(x)+Δx) - f(g(x)))/Δxとしてしまうと、f(g(x))ではなくf(x) の Δxに対する変化を求めてしまうということでしょうか。
宜しくお願い致します。
ご回答ありがとうございます。xの微少変化がgを通じてfに伝わるという点はよく理解いたしました。
しかしながら、f(g(x))' = lim f(g(x) + Δx) - f(g(x)) / Δxとするとうまくいかない理由がまだ釈然としません。
左辺はあくまでも関数fの微分ですから、gを介さずに直接fについてxを微少量増加させても結果が一致しなければおかしいと思うのですが、なぜこの方法ではうまくいかないのでしょうか。
もし何か知見等ございましたらいただけますと幸いです。
どうぞ宜しくお願い致します。
ご回答ありがとうございます。xの微少変化がgを通じてfに伝わるという点はよく理解いたしました。
しかしながら、f(g(x))' = lim f(g(x) + Δx) - f(g(x)) / Δxとするとうまくいかない理由がまだ釈然としません。
左辺はあくまでも関数fの微分ですから、gを介さずに直接fについてxを微少量増加させても結果が一致しなければおかしいと思うのですが、なぜこの方法ではうまくいかないのでしょうか。
もし何か知見等ございましたらいただけますと幸いです。
どうぞ宜しくお願い致します。
ご回答ありがとうございます。
私の想定していた式は、f(g(x)+⊿x)-f(x)ではなく、f(g(x)+⊿x)-f(g(x))となります。
ただ、ご指摘いただいたことをきっかけに、f(g(x)+⊿x)-f(g(x))ではなく、f(g(x)+⊿g(x))-f(g(x))としなければならないような気がしてきました。ΔxとΔg(x)は当然値が異なるのでうまくいかないのかもしれないと思っております。