Double Angle Formulas/Tangent/Proof 3