答案很复杂
用图像法解
C（0,0） B（2,0） A（X,1）
得X=2+3的平方根 或2—3的平方根
再用夹角公式就可以求出来了