I think this might work.

Write . Assume a non-zero solution exists. Let be thesmallestof all positive solutions. Then it must mean by minimality of . Using Pythagorean triples construct a smaller solution (that is, use Fermat's method of infinite descent) . And then this leads to a contradiction.