Half Angle Formula for Tangent/Corollary 2/Proof 2