方程式の解を確かめる

SimplifyまたはFullSimplifyを使って解がその方程式を満足することを証明する．

時には，Simplifyでは十分ではなく，FullSimplifyが必要となることもある：