Solution
Since the problem is symetric under any permutation of the variables , we can assume wlog that
Then the second equation from the system can be written as follow:
where is non-negative since and is a positive integer.
Now assume that , then one gets but this is absurd since . Hence and .
Then the first (and last) congruence can be rewritten as .
Reciprocally, any triple of the form with positive integers, is a solution of this system.

No messages yet.