平方和 自然数 数列 等差数列 证明 运算 对应相等 三个循环 元素 充分条件 四位数 公式 构造方法 非负整数 反序 性质定理 构造相 方程组