>「a^2≠2b+1であればx^2+y^2=z^2は整数解を持たない」ということであるがこれは間違い

a^2≠2b+1であっても、x^2+y^2=z^2は整数解を持ちます。