mathematica化简,如果替换g[t]^2

……我大意了。其实我原式里是有三个式子的，我以为并一下不要紧，但没想到mma不买账——仔细想了下，应该是因为同一式里D的优先级更高……总之，这样就可以了： u[t_] = b2 f[t]^2 + a2 f[t] g[t] + b1 f[t] + a1 g[t] + a0 u[t] /. ({g[t]^2 -> 1 + f[t]^2, g'[t] -> f[t]^3, f'[t] -> f[t] g[t]}) D[u[t], t]

……你是要化简成一个什么样子啊。那这样呢？（用你的替换规则做两次替换） u[t_] = b2 f[t]^2 + a2 f[t] g[t] + b1 f[t] + a1 g[t] + a0 D[u[t], t] /. ({g[t]^2 -> 1 + f[t]^2, g'[t] -> f[t]^3, f'[t] -> f[t] g[t]}) /. ({g[t]^2 -> 1 + f[t]^2, g'[t] -> f[t]^3, f'[t] -> f[t] g[t]})