任意x∈[0,π],√((1-cos2x)/2)=sinx是真命题吗?