Half Angle Formulas/Tangent/Corollary 1