那么,由同余定义得a2-b2≡0(mod(2n+1)).
即(a+b)(a-b)≡0(mod(2n+1)),由于2n+1是质数.
∴a+b≡0(mod(2n+1))或a-b≡0(mod(2n+1)).
由于a+b,a-b均小于2n+1且大于零,可知,a+b与2n+1互质,a-b也与2n+1互质.即a+b与a-b都不能被2n+1整除.产生矛盾,∴原题得证.
说明:这里用到一个重要的事实:如果A·B≡0(modp),p是质数,那么A或B中至少有一个模p为零.p是质数这一条件不能少,否则不能成立。例如2·3≡0(mod6),但2、3被6除余数不为0。
5.证明:∵质数中仅有一个偶数2,∴不小于5的质数是奇数.又不小于5的自然数按除以6所得的余数可分为6类:6n,6n+1,6n+2,6n+3,6n+4,6n+5,(n是自然数),其中6n,6n+2,6n+4都是偶数,又3│6n+3.
∴不小于5的质数只可能是6n+1,6n+5.
又自然数除以6余数是5的这类数换一记法是:6n-1,
∴(不小于5的质数)2-1=(6n±1)2-1
=36n2±12n=12n(3n±1),
这里n与(3n±1)奇偶性不同,其中定有一个偶数,
∴2│n(3n±1),∴24│12n(3n±1).∴结论成立.
说明:按同余类造抽屉是解竞赛题的常用方法.