Solving a trig equation when you need to substitute with a Pythagorean identity.