用Mathematica的 DSolve 解微分方程时返回True的原因和解决办法

我遇到这个问题后在网上找到了答案，网上原文如下：

Question: DSolve returns true

Using Mathematica 7, I got a solution

(* Commands 1*) Clear[x, y]; DSolve[ y'[x] == x - y[x], y[x], x] {{y[x] -> -1 + x + E^-x C[1]}}

1
2
3
4

(* Commands 1*)
Clear[x, y];
DSolve[ y'[x] == x - y[x], y[x], x]
{{y[x] -> -1 + x + E^-x C[1]}}

The only time I was able to reproduce the “DSolve[True….” message was when I had the sequence of commands as follows,

Clear[x, y]; y'[x] = x - y[x]; DSolve[y'[x] == x - y[x], y[x], x]

1
2
3

Clear[x, y];
y'[x] = x - y[x];
DSolve[y'[x] == x - y[x], y[x], x]

What’s happening is that y'[x] is known to be x- y[x], and the DSolve is doing a compare of y-y[x] == y-y[x], returning True. Then it can’t solve True for y[x] in x, resulting in the question being returned.

Would you try exiting the kernel, restart fresh, and re-typing (* commands 1*) only.

（内容出自 Wolfram Community http://community.wolfram.com/groups/-/m/t/332674）