Half Angle Formulas/Tangent/Corollary 2