I think this is a bit over my head, but I am well willing to try to make sense of it. I've seen the trig identity. I'm not real familiar with the proof but I remember making my way through it once before. I'm not familiar with the last bit in the slightest.