存在一个x属于R,sinX+cosX=2 的真假