存在一个实数使sinx+根号3cosx=3成立,是真命题吗?