Let , and suppose that is a root, where p, q and r are integers with no common factor. Then

. . . . . .. . . . .(*)

If r is even then 2=(1+i)(1-i) divides . Since 1ħi are Gaussian primes which do not divide a_0, they must divide p+iq. Thus p and q are both even, contradicting the assumption that p, q and r have no common factor. Therefore r is odd.

If 1+i divides p+iq then it divides r (since it cannot divide the odd number a_0). But then 1-i will also divide r, and so r is even. This is another contrdiction, and we conclude that 1+i does not divide p+iq.

Next, notice that 1+i divides the Gaussian integer m+in if and only if m and n have the same parity (both even or both odd). If we call a Gaussian integer "even" if it is a multiple of 1+i, and "odd" if it is not, then "even" and "odd" have the same additivity and multiplicativity properties as they do for real integers. That is, the sum of two "odd" Gaussian integers is "even", as is the sum of two "even" integers, whereas the sum of an "odd" integer and an "even" integer is "odd". Also, the product of two Gaussian integers is "even" unless both of them are "odd", in which case the product is "odd".

Coming back to (*), you see that the left side contains an odd number of "odd" terms, and is therefore "odd". But the right side is 0, which is "even". That is the final contradiction, showing that the original assumption (that (*) has a solution with rational real and imaginary parts) is false.