Sin a 2 formula proof. The fundamental formulas of angle addition in tr...