[問題] a=dv/dt=(dv/dx)*(dx/dt)
運動學中:
定義x'(t)=v(t), v'(t)=a(t)
有不少人說:a=dv/dt=(dv/dx)*(dx/dt) 是對的,
還藉此推導了一些公式來解題目,
我懷疑這是錯的。來這邊問問大家。
對照 Calculus textbook 上 chain rule 的 syntax,
df(g(x)) df(y) | dg(x)
--------- = ------ | * -------
dx dy | y=g(x) dx
(註:stewart, larson, varberg 等傢伙的微積分書的 chain rule 都沒有 |
|y=g(x)
的寫法,而都是直接寫 df(g(x))/dx = (dy/du) * (du/dx),
對不起,我必須說他們全都寫錯了 :)。
如果你是老師,記得講課時幫學生更正一下。
)
話拉回來,
chain rule 要能成立,可是有前提的。
對整個被微分對象而言,
1. 他必須是兩個函數所合成的合成函數f(g(x)),
等號右側可寫成二項相乘:
一項是 ── 外面的函數f以y表示時(即f(y)),對y微分的結果
或者說:f(y)對y微分,得到的導函數再將y=g(x)代入
或者說:說 f(g(x)) 對 g(x) 微分
注意,不能說f(x)對g(x)微分,那差太遠了
另一項是 ── 裡面的函數g(x)對x微分。
總之,這要能成立: a=(dv/dx)*(dx/dt)
(以下我先假設他是對的,用反諷的手法推論下去,得到不對或矛盾的結果,
而知假設錯誤,得到 a= (dv/dx) * (dx/dt) 為錯 )
根據上面 chain rule 樣貌,a 應等於 dv(x(t))
----------
dt
這樣就是說, v(x(t)) 微分恆為 a(t) 囉!?
又同樣邏輯, a= dv(t)/dt, 所以 a= dv(t)/dt = dv(x(t))/dt,
兩個函數的導函數一樣,不知道有沒有兩個函數必相等的 theorem,
如果有, v(t) 就是 v(x(t)) 了!也太不可思議。
網路上不少人以之為對(他們給不出證明),我有點保留。
請大家來討論看看。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.25.8.27
※ 編輯: alfadick 來自: 114.25.8.27 (01/10 19:44)
推
01/10 19:44, , 1F
01/10 19:44, 1F
→
01/10 19:44, , 2F
01/10 19:44, 2F
※ 編輯: alfadick 來自: 114.25.8.27 (01/10 19:45)
→
01/10 19:45, , 3F
01/10 19:45, 3F
※ 編輯: alfadick 來自: 114.25.8.27 (01/10 19:55)
→
01/10 20:07, , 4F
01/10 20:07, 4F
→
01/10 20:22, , 5F
01/10 20:22, 5F
推 ntust661:不懂問題點@@
見新增的()處
→
01/10 21:08, , 6F
01/10 21:08, 6F
※ 編輯: alfadick 來自: 114.25.8.27 (01/10 21:11)
→
01/10 21:50, , 7F
01/10 21:50, 7F
→
01/10 21:50, , 8F
01/10 21:50, 8F
我好像沒學過這個耶,這是高等微積分的東西嗎?
※ 編輯: alfadick 來自: 114.25.8.27 (01/10 22:01)
→
01/10 22:03, , 9F
01/10 22:03, 9F
→
01/10 22:04, , 10F
01/10 22:04, 10F
→
01/10 22:14, , 11F
01/10 22:14, 11F
→
01/10 22:16, , 12F
01/10 22:16, 12F
→
01/10 22:17, , 13F
01/10 22:17, 13F
→
01/10 22:20, , 14F
01/10 22:20, 14F
→
01/10 22:21, , 15F
01/10 22:21, 15F
→
01/10 22:22, , 16F
01/10 22:22, 16F
→
01/10 22:22, , 17F
01/10 22:22, 17F
→
01/10 22:59, , 18F
01/10 22:59, 18F
推
01/10 23:11, , 19F
01/10 23:11, 19F
推
01/10 23:18, , 20F
01/10 23:18, 20F
感謝大家回答 :)
我決定把高微拿來啃,啃完有問題再來問大家 :p~~
※ 編輯: alfadick 來自: 114.25.8.27 (01/10 23:28)
推
01/10 23:50, , 21F
01/10 23:50, 21F
→
01/10 23:50, , 22F
01/10 23:50, 22F
→
01/10 23:51, , 23F
01/10 23:51, 23F
→
01/10 23:52, , 24F
01/10 23:52, 24F
→
01/10 23:52, , 25F
01/10 23:52, 25F
→
01/10 23:53, , 26F
01/10 23:53, 26F
→
01/10 23:54, , 27F
01/10 23:54, 27F
→
01/10 23:54, , 28F
01/10 23:54, 28F
→
01/10 23:55, , 29F
01/10 23:55, 29F
推
01/10 23:59, , 30F
01/10 23:59, 30F
推
01/11 00:18, , 31F
01/11 00:18, 31F
→
01/11 00:19, , 32F
01/11 00:19, 32F
推
01/11 02:12, , 33F
01/11 02:12, 33F
→
01/11 03:06, , 34F
01/11 03:06, 34F
推
01/11 14:25, , 35F
01/11 14:25, 35F
→
01/11 14:26, , 36F
01/11 14:26, 36F
→
01/11 14:40, , 37F
01/11 14:40, 37F
→
01/11 14:40, , 38F
01/11 14:40, 38F
推
01/11 18:04, , 39F
01/11 18:04, 39F
討論串 (同標題文章)
以下文章回應了本文:
完整討論串 (本文為第 1 之 2 篇):