Use Simplify or FullSimplify to prove that a solution satisfies its equations.
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »