素数无穷的另类证明(仿欧拉证明)# WaterWorld - 未名水世界
x*p
1 楼
假设素数集体只有有限个素数,可以写为p_1, p_2, ..., p_n
考虑 N = p_1 + p_2 * p_3 *... *p_n
显然,N不能被任何一个p_i整除。
如果N是素数,则找到新的素数,与假设矛盾。
如果N不是素数,根据算术基本定理,必然包括一个素因子,不在假设的素数集合中,
于是也找到了一个新的素数。与假设矛盾。
所以假设不成立,素数应该有无穷多。
考虑 N = p_1 + p_2 * p_3 *... *p_n
显然,N不能被任何一个p_i整除。
如果N是素数,则找到新的素数,与假设矛盾。
如果N不是素数,根据算术基本定理,必然包括一个素因子,不在假设的素数集合中,
于是也找到了一个新的素数。与假设矛盾。
所以假设不成立,素数应该有无穷多。