Double Angle Formulas/Tangent/Proof 1