Prove that: cos pi/12-sin pi/12=1/root 2.What should be the answer for this question?