WOLFRAM

Wolfram 语言与系统参考资料中心

验证方程的解

使用 Simplify 或 FullSimplify 证明解满足它的方程.

    
Wolfram Language code: Solve[x ^ 2 + x + 1 == 0, x]
Wolfram Language code: x ^ 2 + x + 1 == 0 /. %//Simplify
Wolfram Language code: DSolve[y''[x] + y[x] == Exp[x], y, x]
Wolfram Language code: y''[x] + y[x] == Exp[x] /. First[%]//Simplify
有时只用 Simplify 是不够的，需要使用 FullSimplify：
Wolfram Language code: soln = DSolve[y''[x] - Exp[x]y[x] == 0, y, x]
Wolfram Language code: y''[x] - Exp[x]y[x] == 0 /. First[soln]//Simplify
Wolfram Language code: y''[x] - Exp[x]y[x] == 0 /. First[soln]//FullSimplify