Prove Half Angle Formula, This is the first of the three versions of cos 2.