Half Angle Formulas/Tangent/Corollary 3