某同学在一次研究性学习中发现,以下五个式子的值都等于同一个常数:
①
sin213∘+cos217∘−sin13∘cos17∘;
②
sin215∘+cos215∘−sin15∘cos15∘;
③
sin218∘+cos212∘−sin18∘cos12∘;
④
sin2(−18∘)+cos248∘−sin(−18∘)cos48∘;
⑤
sin2(−25∘)+cos255∘−sin(−25∘)cos55∘.
(1) 试从上述五个式子中选择一个,求出这个常数;
(2) 根据(1)的计算结果,将该同学的发现推广为三角恒等式,并证明你的结论.