两个质数的和不一定是偶数,因为质数中2是偶数,其它的是奇数,偶数和奇数的和是奇数,因此如果两个质数中的一个是2,那么它们的和是奇数。质数又称素数。一个大于1的自然数,除了1和它自身外,不能被其他自然数整除的数叫做质数;否则称为合数。
质数的个数是无穷的。欧几里得的《几何原本》中有一个经典的证明。它使用了证明常用的方法:反证法。具体证明如下:假设质数只有有限的n个,从小到大依次排列为p1,p2,……,pn,设N=p1×p2×……×pn,那么,是素数或者不是素数。
如果为素数,则要大于p1,p2,……,pn,所以它不在那些假设的素数集合中。