存在实数x,使sinx+cosx=3/2 真命题?