本题目选自 2021北欧数学奥林匹克
证明: 设初始时黑板上最大的整数为. 于是假设不成立, 即任意一个大于的素数,必然会出现在黑板上. 下面我们证明一个引理: 引理: 给定自然数, 已知为素数.无穷数列中每个数都不含之外的素因子. 则必存在正整数,使得. 引理的证明: 对进行归纳.时,显然满足条件. 对数列, 若存在正整数, 使得对任意的自然数, 均有,则必存在正整数, 使得,的正整数有无穷多个. 此时转化为个素因子的情况, 由归纳原理知显然成立. 反之, 若满足的正整数有无穷多个. 则对这无穷多个数组成的新数列, 再考虑满足的正整数是否有无限个. 若为有限个, 则由归纳原理知结论成立. 若为无限个, 继续考虑这满足条件的数组成的无穷项的新数列.... 若每一步均为无限个, 则我们必可以得到一个正整数, 使得对任意,均有, 此时为的倍数. 引理证毕. 回到原题目, 由于对任意黑板上出现的合数, 它的所有素因子一定小于, 故这些合数所组成的数列的素因子个数为有限个. 由引理知, 若这些合数为无穷个, 则必存在倍数关系. 于是这样的合数只有有限个. 当这有限个合数被列举完之后, 再列出的正整数必为素数. 证毕. |
|