5.2 Proving Trigonometric Identities