验证方程的解

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

    
有时只用 Simplify 是不够的，需要使用 FullSimplify：