y = f (x)がx=x0で微分可能で、z = g ( y )が y0 = f ( x0 ) で微分可能ならば、
合成関数z=g ( f (x) )はx=x0で微分可能となり、微分係数はg' ( f ( x0 ) ) f ' (x0)で与えられる。
このことは、dz/dx = dz/dy・dy/dx とかくことができる。
→戻る |
(証明1−直感系)
xの増分xに対するyの増分{ f ( x +x)−f (x)}をy、 (準備作業)
z/x =(z /x )・(y/y) ∵y/y=1 (以上をフォーマルな定義に忠実なかたちに書き直すと) |
・『高等学校微分積分』p.53 |
→戻る |
(証明2−厳密系)
II. IV |
・吹田・新保『理工系の微分積分学』pp.38-39. |
→戻る |