Half Angle Formula Proof