sina-sinb=1-√3/2
sin²a-2sinasinb+sin²b=1-√3+3/4(1)
cosa-cosb=-1/2
cos²a-2cosacosb+cos²b=1/4(2)
(1)+(2)
1-2(cosacosb+sinasinb)+1=1+1-√3
cos(a-b)=√3/2
sina-sinb=1-√3/2
sin²a-2sinasinb+sin²b=1-√3+3/4(1)
cosa-cosb=-1/2
cos²a-2cosacosb+cos²b=1/4(2)
(1)+(2)
1-2(cosacosb+sinasinb)+1=1+1-√3
cos(a-b)=√3/2