Proving trigonometric identities formulas