: Given x^2 + y^2 = 0, x and y nonzero integers, show that no solution : exists.
: Proof by contradiction:
: (x+sqrt(-1)y)(x-sqrt(-1)y) = x^2 + y^2 = 0, so
: x = sqrt(-1)y *or* x = -sqrt(-1)y.
Still waiting for an explanation of this step.
: There doesn't exist an integers that multiplies times itself to give a : negative number, and an integer can't be the product of an integer and : a non integer, so there's a contradiction.
An integer *can* be the product of an integer and a non-integer. 2 * 0.5 = 1.
So, your proof of this simple fact still needs work.