题目内容：

如何将同名不同角的三角函数化为同角的?
解方程：3*cos x/2 + cos x = 1 然后 cos= 2*cos^2 (x/2) - 1
如何得到的?cos= 2*cos^2 (x/2) - 1
用了哪些公式?
遇到这种同名不同角的要怎么做?