20/06/07 18:55:19.27 YxIQHYV+.net
最初の△ｙ→０は間違いでした
おっしゃるとおり△ｘ→０です
証明ですが
二つの関数ｘ→ｙ＝ｆ(ｘ),ｚ＝ｇ(ｙ)の合成
ｘ→ｙ＝ｆ(ｘ)→ｚ＝ｇ(ｆ(ｘ))＝(ｇ○ｆ)(ｘ)
の微分を考える。ｘを△ｘ増分させると
ｘ＋△ｘ→ｙ＋△ｙ＝ｆ(ｘ＋△ｘ)→
→ｚ＋△ｚ＝ｇ(ｙ＋△ｙ)＝ｇ(ｆ(ｘ＋△ｘ))＝(ｇ○ｆ)(ｘ＋△ｘ)
となり、△ｘ→０⇒△ｙ→０⇒ｚ→０に注意して
ｄ/ｄｘ(ｇ○ｆ)(ｘ)
＝ｄ/ｄｘ・ｇ(ｆ(ｘ))＝ｄｚ/ｄｘ
＝lim[△→ｘ]△ｚ/△ｘ
＝lim[△→ｘ]△ｚ/△ｙ・△ｙ/△ｘ
＝lim[△→ｘ]△ｚ/△ｙ・lim[△→ｘ]△ｙ/△ｘ
＝lim[△→ｘ]△ｚ/△ｙ・lim[△→ｙ]△ｙ/△ｘ
＝ｄｚ/ｄｙ・ｄｙ/ｄｘ
即ち
ｄｚ/ｄｘ＝ｄｚ/ｄｙ・ｄｙ/ｄｘ
詳しい記法では
ｄ/ｄｘ(ｇ○ｆ)(ｘ)＝ｄ/ｄｘ・ｇ(ｆ(ｘ))＝[ｄ/ｄｙ・ｇ(ｙ)]・・・｛ｙ＝ｆ(ｘ)｝
・ｄ/ｄｘ・ｆ(ｘ)
ここで記法「・・・｛ｙ＝ｆ(ｘ)}」の意味は・・・の中の計算が完了してから
・・・の中のｙにｆ(ｘ)を代入するということである。