  |
いやだからさたとえば1=xって等式があるやん。これのxに対する解は明らかに1のみやん？
で、これの両辺を積分するとx=(x^2)/2+Cになるじゃん。これのxに対する解はその個数の時点で明らかに積分前と異なるじゃん？
等式で結ばれてれば両辺積分微分しても同値じゃない例になってるよなこれは。むしろ感覚的には等号で結ばれたものは両辺足しても引いても同じなんだから当然微積分しても同値だって感覚に陥ってそこで思考停止しがちだと思うけど(俺もつい先日までそうだった)。
で、変数分離形dy/dx=f(x)*g(y)は積分しても同値だからこそ、積分することによってf(x)を求めようとするんだよな。
この場合のf(x)やらg(y)やらは先の場合でいうxに対応してると思うんだ。
xに関する多項式の等式は積分すると同値性が崩れるから解も変わる。しかし変数分離形の等式はそもそも積分せずに解けないというのもあるが、積分しても解であるf(x)は変化しない、もっといえば積分前も積分後も等式を満たすf(x)は変化しないわけで、これは積分前後で同値性が崩れないからだよな。(逆に積分して同値性が崩れるならもうこのような等式を解く手法が無くなるともいえるが。)
追記：恒等式か方程式かの違いは考えなきゃいけなかったな。でも変数分離形って関数の方程式じゃないのか…？え、恒等式なの？あーもう頭ぐるぐるぱあだよ。
まあ純粋な数学的証明に挑むんでもないかぎりこのあたりの理解の欠如が誤った計算を助長するということもないから深入りするだけ馬鹿なんだろうけど。
既に納得したのかもしれんけど読んでて何が言いたいのかよく分からんかった 1=xという方程式があったとして、それはx=1でだけ成り立つ、というだけなのでx=1以外を含む区間で積分する...
29
