Verify the Solution to an Equation

Use Simplify or FullSimplify to prove that a solution satisfies its equations.

    
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
Out[4]=
Sometimes Simplify will not be enough, and FullSimplify is needed:
In[5]:=
Click for copyable input
Out[5]=
In[6]:=
Click for copyable input
Out[6]=
In[7]:=
Click for copyable input
Out[7]=