https://math-problems.math4teaching.com/proving-trigonometric-identities-2/