xは3で割り切れない
したがってx^2≡1(mod3)
したがってz^2=2x^2+3y^2≡2(mod3)
しかしmod3で平方が2と合同な整数は存在しない