Half Angle Formula Proof, (previous) .