https://openlab.citytech.cuny.edu/groups-mat-1275co-course-hub-/lessons/lesson-30-fundamental-identities-proving-trigonometric-tautologies/

Openstax section:

9.1 Verifying Trigonometric Identities and Using Trigonometric Identities to Simplify Trigonometric Expressions