verify the trig identity