这两道三角函数题怎么解

题目

这两道三角函数题怎么解
第一道：1/2cos x-√3/2sinx
第二道：√2（sinx-cosx）
第一道的答案界的貌似是个公式,但是不知道怎么转换,第二道又多出了二,不知道哪里来的,我对三角函数真是无语了~

答案