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