Proving trigonometric identities in specific quadrants