数论与或然数学的发展.pptxVIP

7.1.1素数分布;梅森数Mp = 2p－1,其中p为素数 已知道的梅森素数共34个，其中从p =521开始的素数Mp是1952年以后用计算机陆续发现的 检验梅森数是否为素数的方法称为卢卡斯—莱默检验,例如, 用卢卡斯—莱默检验判断M5是否为素数，因M5=25－1=31,于是可作下述计算： U（0）=4， U（1）=（42－2）（mod31）=14(mod31)=14, U(2)=(142－2)(mod31)=194(mod31)=8, U(3)=(82－2)(mod31)=62(mod31)=0 由于U（3）= 0，M5必为素数。;利用因数表研究素数;素数定理;7.1.2 陈氏定理—数学皇冠上的明珠;哥德巴赫猜想的研究进展;陈景润（1933~1996）简介;7.1.3费马最后定理;欧拉的整数分解的”定理”：;德国的数学家库默尔（1810~1893）利用理想数的概念，证明了对于 100以内的所有素数，都能使费马猜想成立。 志村－韦伊—谷山猜想——费马猜想的等价命题 怀尔斯的论文“模曲线和费马最后定理” （1994年）——费马猜想终于成??定理，被称为费马大定理或费马最后定理;7.1.4 让我们教猜想吧;1966年菲尔兹奖获得者、英国数学家阿蒂亚（1929~）认为：“与其它自然科学的情况一样，数学中的一些发现也要经过几个阶段才能实现，而形式证明只是最后一步。最初阶段在于鉴别出一