问题关于 m、n 对称，设 |m|>=|n|。若 n=0，则由第一个表达式知 m 为完全平方，得到 (m,n)=(k 的平方,0)，交换变量得到另一零族。若 n 不为 0，第一个表达式为完全平方意味着 x^2+mx-n 有两个非零整数根 x1、x2，且 x1+x2=-m、x1x2=-n。