∫(インテグラル)や積分演算子(dx,dy等)と積分の理解について

微分を習っている中で、以下の様な変数分離の手法を学びました

f' = dy/dx = g(x)h(y) - (1)
→1/h(y)・dy = g(x)dx - (2)
→∫1/h(y)・dy = ∫g(x)dx - (3)

(3)でなぜ急にインテグラル(∫)を勝手につけることができるのでしょうか？

No.2 回答者： Bunbuk803 回答日時： 2021/09/29 05:13

こう考えてはどうでしょう。

(2) 式の意味を考えてみます。

まず左辺を考えましょう。

積分と言う操作が『面積』を計算するもの、という説明を思い出してください。

ｙの関数 1/h(y) と言うものがあり、この関数値はｙがある値の時、その関数のグラフのｙの位置での『高さ』ですね。
それと微小区間 [ y, y+dy ] の幅が dy です。
つまり、左辺は、1/h(y) という関数の、あるｙの位置での微小区間の面積
をあらわしていると言えます。

同じようにみると、右辺も、関数 g(x) の、あるｘの位置での微小区間の面積をあらわしていると言えます。

つまり、(2) は、ｙという変数を使った関数ｈのあるｙの点での微小区間の面積と、ｘという変数を使った関数ｇのあるｘの点での微小区間の面積が等しい、という事をあらわしている、と解釈できます。

この関係は任意のｘとｙについて成り立ちます。
（ もちろん 1/h(y) と g(x) が定義できる領域でです ）
そこで、連続したｘとｙをとり、その区間で dx と dy の区間を次々に隣に動かしていきます。
すると、そのひとつひとつについて（２）がなりたつので面積は等しくなります。

そこに数学で言う加法定理を適用します。
加法定理とは、ひとつひとつが等しいものを、加えたものもまた等しいというものです。
当たり前だから説明の必要はないと思います。

つまり、左辺と右辺それぞれで次々に連なる微小区間の和は等しい、となるわけです。

『次々に連なる微小区間の和』って積分じゃぁないですか。
だからそれをインテグラルを使ってあらわした、というわけです。

加法定理を使うというのが説明上のミソです。

No.1 回答者： Tacosan 回答日時： 2021/09/29 03:58

まず安全に処理するなら (1) から

両辺を h(y) で割って x で積分, 左辺は置換積分する
ことで (3) を導ける. これを, 「形式的に」操作したのがこの (1)～(3) の処理, といってもいいのかな.

あるいは「同じもの」に対して「同じこと」をしたら「同じ結果」になるよ, とか.

むしろ (2) のところは気にならなかったのかな?