一个正整数能够表示成两个正整数平方和的充分必要条件

《一个正整数能够表示成两个正整数平方和的充分必要条件》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、一个正整数能够表示成两个正整数平方和的充分必要条件在上面第1楼的帖子中，证明了这样一个定理：第1楼帖子中定理正整数能表示成两个整数平方和的充分必要条件是：的素因子分解式中，所有形为的素因子的冪指数都是偶数。注意，这个定理中说的是“整数平方和”，不是“正整数平方和”，所以，像，，这样的两整数平方和，都算是符合定理要求的。如果我们希望把上面这种带的整数平方和的例子排除在外，把定理中的“整数平方和”改为“正整数平方和”，那么，定理又会是怎么样的呢？为了证明这样的定理，下面先证明一个引理。引理若有，其中都是正整数，，则

2、必有正整数，，而且一奇一偶，使得。证不会都是奇数，否则是形为的数，不可能等于。又因为，也不会都是偶数，所以必定一奇一偶，不妨设是奇数，是偶数，这时显然也是奇数，而且，。因为都是奇数，，所以，显然都是正整数。这时有。因为是偶数，所以是整数。又因为，所以，所以中的任何一个素因子，或者全部在中，或者全部在中。由于中的素因子的幂次都是偶数，所以，中的素因子的幂次也都是偶数，可见，都是完全平方数。设，，因为，都是完全平方数，所以3都是正整数，而且有，。假如，则，，就有公因子，与矛盾，所以必有。假如都是奇数或都是偶数，则，

3、显然都是偶数，与矛盾，所以必定是一奇一偶。定理正整数能表示成两个正整数平方和的充分必要条件是要满足下列两条：（1）的素因子分解式中，所有形为的素因子的冪指数都是偶数。（2）如果的素因子分解式中，不含有形为的素因子，则必有，其中是正整数。证先证明充分性。如果中不含有形为的素因子，则，显然这时可以表示成两个正整数的平方和。如果中含有形为的素因子，再加上已知中形为的素因子的幂指数都是偶数，只要仿照第1楼帖子中定理的推导过程，就可证明这时能表示成两个正整数的平方和。再证明必要性。设已知能表示成两个正整数的平方和，有。由

4、第1楼帖子中定理可知，这时中所有形为的素因子的冪指数都是偶数。所以只要证明“如果中不含有形为的素因子，则必有”就可以了。因为中不含有形为的素因子，而所有形为的素因子的冪指数都是偶数，所以，只有两种可能：或者有，或者有。下面用反证法证明：当中不含有形为的素因子时，不可能有。假设有，其中都是正整数。设，将都除以，则有，。所以，下面只要考虑的情形就可以了。在满足，都是正整数，的解中，总可以找到最小的一组解。显然，所以必有。3因为，都是正整数，，所以根据上面的引理，可知必有正整数，，而且一奇一偶，使得。因为一奇一偶，所

5、以是奇数，不含有因子2。因为中不含形为的素因子，所以中也不含形为的素因子。又因为可以表示为两个正整数的平方和，由第1楼帖子中定理可知，这时，中形为的素因子的冪指数都是偶数。由此可见，是一个完全平方数，所以必有正整数，使得。由于，所以，这就与“在满足，的解中，最小”发生矛盾。因此，假设不能成立，这时只可能有。3