もしも微分が陰関数基準で表記されたら の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• もしも微分が陰関数基準で表記されたら へ行く。
• もしも微分が陰関数基準で表記されたら の差分を削除

////////////////////////////////////////////////////////////////
%indent
/もし微分が陰関数を基準で表記されたら【編集中】
/もし微分が陰関数を基準で表記されたら【編集中】【ネタ】
////////////////////////////////////////////////////////////////

* 概要 [#m3ec6e81]

;,凌宮数学では、$$ \ppd{x}{y} $ \ppd{y}{z} $ \ppd{z}{x} $ = $ -1 $$ ⇒ $$ \Big(\! \iro[ak]- \ffd{k_y}{k_x} \!\Big) $$を$$ \Big(\! \iro[ak]- \ffd{k_z}{k_y} \!\Big) $ \Big(\! \iro[ak]- \ffd{k_x}{k_z} \!\Big) $ = $ \iro[ak]-1 $$と[[偏微分を読み替えて約分している>オイラーの連鎖式]]。
;,しかし約分とは、$$ \ffd{\cancel{\partial x}}{\cancel{\partial y}} $ \ffd{\cancel{\partial y}}{\cancel{\partial z}} $ \ffd{\cancel{\partial z}}{\cancel{\partial x}} $ = $ 1 $$になる操作である。
;,このため、約分しているのは飽くまでも読み替えた後の係数であって、読み替える前の微分とは言えない。

;,ところが、もしも$$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ \equiv $ \iro[ak]- $ \ppd{x}{y} $$と定義されたら(($$ \mathfrak d $$はドイツ文字の「d」、発音は「デー」。))、
;,オイラーの連鎖式は$$ \ppd{x}{y} $ \ppd{y}{z} $ \ppd{z}{x} $ = $ \Big(\! \iro[ak]- \ffd{{\mathfrak d}x}{{\mathfrak d}y} \!\Big) $ \Big(\! \iro[ak]- \ffd{{\mathfrak d}y}{{\mathfrak d}z} \!\Big) $ \Big(\! \iro[ak]- \ffd{{\mathfrak d}z}{{\mathfrak d}x} \!\Big) $ = $ \iro[ak]-1 $$となり、
;,負の印を祓って、$$ \ffd{\cancel{\mathstrut{\mathfrak d}x}}{\mathstrut\cancel{{\mathfrak d}y}} $ \ffd{\cancel{\mathstrut{\mathfrak d}y}}{\cancel{\mathstrut{\mathfrak d}z}} $ \ffd{\cancel{\mathstrut{\mathfrak d}z}}{\cancel{\mathstrut{\mathfrak d}x}} $ = $ 1 $$と書けるようになる。

%bodynote
////////////////////////////////////////////////////////////////
* 極限による負の偏微分の形式的定義 [#qab1094c]

;,一般に、偏微分の定義と言えば、２変数関数$$ z $ = $ f(x,y) $$についての：
#ceq(e)
  $$ \ppd{z}{x} $ = $ \lim_{\epsilon \to 0} $ \ffd{f(x + \epsilon, y) - f(x,y)}{\epsilon} $$
#ceq(d)

;,すると、上記の$$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ = $ \iro[ak]- $ \ppd{x}{y} $$を偏微分の定義式に代入すると、負の偏微分の定義式が得られる：
#ceq(e)
  $$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ = $ \lim_{\epsilon \to 0} $ \ffd{f(x,y) - f(x + \epsilon, y)}{\epsilon} $$
#ceq(d)
;,もしくは、$$ f(x,y) $$基準に拘るなら、細かいことを気にせず次のように改めれば良い：
#ceq(e)
  $$ \ffd{{\mathfrak d}x}{{\mathfrak d}y} $ = $ \lim_{\epsilon \to 0} $ \ffd{f(x \iro[ak]- \epsilon, y) - f(x,y)}{\epsilon} $$
#ceq(d)

%bodynote
////////////////////////////////////////////////////////////////
* 偏微分の基本性質 [#oe360ed7]

;,負の微分係数は、正の偏微分に負号を付けただけなため、微分の性質は全て保存される。
;,ただし、$$ f $ = $ f(x,y) $$、$$ g $ = $ g(x,y) $$、$$ c $ = $ c\overline{(x)} $$(([[凌宮数学の定数表記>積分定数]]。「$$ c $$は$$ x $$の定数」と読み、$$ \ppd{c}{x} $ = $ 0 $$を意味する。))について考える。
#ceq(e)
定数倍　
#ceq(c)
  $$ \ppd{(cf)}{x} $ = $ c $ \ppd{f}{x} $$
#ceq(q)
乗算　
#ceq(c)
  $$ \ppd{(f \cdot g)}{x} $ = $ \ppd{f}{x} $ \cdot $ g $ + $ f $ \cdot $ \ppd{g}{x} $$
#ceq(e)
#ceq(c)
  $$ \ffd{{\mathfrak d}(cf)}{{\mathfrak d}x} $ = $ c $ \ffd{{\mathfrak d}f}{{\mathfrak d}x} $$
#ceq(q)
#ceq(c)
  $$ \ffd{{\mathfrak d}(f \cdot g)}{{\mathfrak d}x} $ = $ \ffd{{\mathfrak d}f}{{\mathfrak d}x} $ \cdot $ g $ + $ f $ \cdot $ \ffd{{\mathfrak d}g}{{\mathfrak d}x} $$
#ceq(e)
;;
#ceq(e)
加減算
#ceq(c)
  $$ \ppd{(f \pm g)}{x} $ = $ \ppd{f}{x} $ \pm $ $ \ppd{g}{x} $$
#ceq(q)
除算　
#ceq(c)
  $$ \ppd{(f\,/g)}{x} $ = $ \ppd{f}{x} \!\bigg/\! g $ - $ f $ \cdot \ppd{g}{x} \!\bigg/\! g^2 $$
#ceq(e)
#ceq(c)
  $$ \ffd{{\mathfrak d}(f \pm g)}{{\mathfrak d}x} $ = $ \ffd{{\mathfrak d}f}{{\mathfrak d}x} $ \pm $ \ffd{{\mathfrak d}g}{{\mathfrak d}x} $$
#ceq(q)
#ceq(c)
  $$ \ffd{{\mathfrak d}(f\,/g)}{{\mathfrak d}x} $ = $ \ffd{{\mathfrak d}f}{{\mathfrak d}x} \!\bigg/\! g $ - $ f $ \cdot $ \ffd{{\mathfrak d}g}{{\mathfrak d}x} \!\bigg/\! g^2 $$
#ceq(d)

%bodynote
////////////////////////////////////////////////////////////////
* 定積分との関係 [#yf414c3b]

;,１変数の陽関数（＝２変数の陰関数）の場合、$$ y $ = $ f(x) $$について、
;,微分$$ \ddd{y}{x} $$に対応する負の微分は$$ \ffd{{\mathfrak d}y}{{\mathfrak d}x} $ = $ \iro[ak]- $ \ddd{y}{x} $$になる。

;,すると、aからbまでの不定積分は以下のようになる。
#ceq(e)
  $$ \int_a^b $ \ddd{y}{x} $ dx $$
#ceq(c)
  $$ = $ \iro[ak]- \!\!\! \int_a^b $ \ffd{{\mathfrak d}y}{{\mathfrak d}x} $ dx $$
#ceq(c)
  $$ = $ \int_b^a $ \ffd{{\mathfrak d}y}{{\mathfrak d}x} $ dx $$
#ceq(d)



////////////////////////////////////////////////////////////////
* 全微分との関係 [#q2ff4119]
////////////////////////////////////////////////////////////////
* まとめ・つなぎ [#f91857f9]
////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////