Triple Angle Formulas/Tangent/Proof 1