Analytic Trigonometry & Trig Proofs