用“无穷递降法”证明 没有正整数解.docVIP

用“无穷递降法”证明 没有正整数解 “无穷递降法”通常用来证明一个关于正整数的命题 不成立。 “无穷递降法”的做法是：用反证法，先假设可以找到某些正整数，使得命题 成立。在这些使得 成立的正整数中，一定可以找到一个最小的正整数 使得 成立。然后证明，如果 成立，则必有一个更小的正整数 ，使得 也成立。这就与“ 是使得 成立的最小的正整数”发生矛盾，所以假设不成立，也就是说，命题 是不成立的。 下面，我们用“无穷递降法”来证明这样一个命题： 命题 没有正整数解。 证 假如 有正整数解，那么 也一定有正整数解，所以，要证明 没有正整数解，只要证明 没有正整数解就可以了。 下面用“无穷递降法”来证明： 假设 有正整数解，那么，在这些正整数解中，一定可以找到一组解 、、 ，使得 ，而且其中的 是各组解的 中最小的一个。 显然 、 没有大于1的公约数。因为，假如有公约数 ，则有 ， 可见 、、 是 的另一组正整数解，而且 ，这就与“ 是各组解的 中最小的一个”发生矛盾，所以不可能有大于1的公约数。 由于 、 没有大于1的公约数，所以 、 也没有大于1的公约数。由于 ， 可见 、、 是一组互素的勾股数。 根据“勾股数公式”，这时必有互素的正整数 、 使得（不妨设 是奇数） ， ， 。 由于 ， 而且 与 没有大于1的公约数（假如 与 有公约数 ，则 也应该有约数 ，这就与 、 互素发生矛盾），可见 、、 是一组互素的勾股数。 根据“勾股数公式”，这时必有互素的正整数 、 使得（前面已设 是奇数） ， ， 。 这时有 。 因为 、 互素，所以 、、 两两之间都没有大于1的公约数，而它们的乘积却是一个完全平方数，可见 、、 三个数本身都必须是完全平方数，即一定有正整数 、、 ，使得 ， ， 。 这样，就有 ， 可见 、、 是 的一组解。而且有 ， 这就与“ 是各组解的 中最小的一个”发生矛盾，所以假设“ 有正整数解”不成立。由此可见，“ 有正整数解”也不成立。 2