9512.net
甜梦文库
当前位置:首页 >> 数学 >>

数学欣赏2006F



数学与计算科学学院

主讲:张文俊
zwj@szu.edu.cn

SZU

第六章 数学问题

名人语录
问题是数学的心脏。 ——P.R.HALMOS 意义深刻的数学问题从来都不是一找出答 案就完事了。…… 每一代数学家都重新思考并 重新改造他们的前辈所发现的解答,并把这些

解答纳入当代流行的概念和符号体系之中。 ——L. BERS

只要一门学科分支能提出大 量的问题,它就充满着生命力;而 问题缺乏则预示着独立发展的衰亡 或终止。正如人类的每项事业都追 求着确定的目标一样,数学研究也 需要自己的问题。正是通过这些问 题的解决,研究者锻炼其钢铁般的 意志,发现新方法和新观点,达到 更为广阔和自由的境地。
深圳大学综合选修课程

几个著名数学问题 的历史与现状
? 几何作图三大难题 – 化圆为方 – 倍立方体 – 三等分角 ? 费马大定理 ? 哥德巴赫猜想 ? 四色猜想 ? 庞加莱猜想
范围:古代三大难题;近代三大难题;现代七大

希尔伯特
选题原则:

典型、重要、著名、合适

SZU

zwj@szu.edu.cn

几何作图三大难题
In This Section 一家人 化圆 为方

倍立方体

三等 分角
zwj@szu.edu.cn

(公元前5世纪——1882年)

=
×2=

zwj@szu.edu.cn

深圳大学数学与计算科学学院

1
背景

zwj@szu.edu.cn

诡辩学派与几何作图
? 几何学起源:古代中 国和古埃及。 ? 古希腊几何:公元前 七世纪, “希腊七 贤”之一的“希腊科 学之父”泰勒斯到埃 及经商,掌握了埃及 几何并传回希腊。

欧几里得

诡辩(智人)学派与几何作图问题: 公元前六世纪到五世纪,以芝诺 (Zenon, 约公元前490---前429)为领 袖的诡辩学派,以注重逻辑性而著称, 他们主要研究几何作图问题。

为何研究作图问题
? 主要目的: 培养与锻炼人的逻辑思维能力,提高智力. ? 作图方式: 限定作图工具:直尺(无刻度)和圆规 限定作图时间:必须在有限步内完成 ? 遗留难题: 化圆为方 倍立方体 三等分角

深圳大学数学与计算科学学院

2
传说

zwj@szu.edu.cn

1. ―化圆为方”——一个囚徒的冥想
公元前5世纪, 古希腊数学家、哲 学家安纳萨格拉斯 (Anaxagoras, 约公 元前500—428年) 在研究天体过程中 发现,太阳是个大 火球,而不是所谓 的阿波罗神。

分明是一 个大火球, 哪里是什 么神呀?

由于这一发现有背宗教教意,安纳 萨格拉斯被控犯下“亵渎神灵罪”而 被投入监狱,并判处死刑。 在监狱里,安纳萨格拉斯对自己的 遭遇愤愤不平,夜不能眠。

夜深了,月光透过正方形的铁窗照进 牢房,安纳萨格拉斯不断地变换观察圆月 的方位,一会儿看见圆月比方窗大,一会 儿看见方窗比圆月大。最后他说: “算了,就算两个图形的面积一样大 好了。”

=

于是,他把

求作一个正方形,其面积等于已知圆的面积
作为一个问题进行研究。

=

这就是化圆为方问题

求作一个正方形, 其面积等于已知圆的面积
该问题直到1882年才被德国数学家林德曼 (C.L.F. Lindemann,1852——1939)证明 为不可能。

2. 瘟疫、祭坛与“倍立方体问 题”
公元前429年,希腊首府雅典发生了一 场大的瘟疫,居民死去四分之一,希腊的 统治者裴里克里斯也因此而死。雅典人派 代表到第罗(Delos)的太阳神庙祈求阿波 罗神,询问如何才能免除灾难。一个巫师 转达阿波罗神的谕示:由于阿波罗神神殿 前的祭坛太小,阿波罗神觉得人们对他不 够虔诚,才降下这场瘟疫,只有将这个祭 坛体积放大成两倍,才能免除灾难。

居民们觉得神的要求并不难做到。 因为他们认为,祭坛是立方体形状的, 只要将原祭坛的每条边长延长一倍,新 的祭坛体积就是原祭坛体积的两倍了。

×2=

于是,人们按照这个方案建造了一 个大祭坛放在阿波罗神的神殿前,但是, 这样一来,瘟疫不但没有停止,反而更 加流行。居民们再次来到神庙,讲明缘 由,巫师说道: “他要求你们做一个体积是原来祭 坛两倍的祭坛,你们却造出了一个体积 为原祭坛8倍的祭坛,分明是在抗拒他 的旨意,阿波罗神发怒了。”

居民们明白了问题所在,但是, 他们绞尽脑汁,却也始终找不到建造 的方法。他们请教当时的有名数学家, 数学家也毫无办法,这个问题就作为 一个几何难题流传了下来。

这就是著名的“倍立方体问题”, 又叫“第罗问题”:

求作一个正方体,其体积等于已 知正方体体积的两倍
该 问 题 直 到 1837 年 才 由 万 锲 尔 (P.L. Wantzel, 1814--1848)给出否定 的答案。

公元前4世纪,托勒密一世定都亚历山 大城。亚历山大城郊有一片圆形的别墅区, 圆心处是一位美丽的公主的居室。别墅区 中间有一条东西方向的河流将别墅区划分 两半,河流上建有一座小桥,别墅区的南 北围墙各修建一个大门。这片别墅建造的 非常特别,两大门与小桥恰好在一条直线 上,而且从北门到小桥与从北门到公主的 居室距离相等。

3. 公主的别墅与“三等分角问 题”

过了几年,公主的妹妹小公主长大了, 国王也要为小公主修建一片别墅,小公主提 出她的别墅要修建的向姐姐的一样,有河、 有桥、有南门、北门,国王答应了。
北门N

小桥P

河流 H公主 居室

南门S

小公主的别墅很快就动工了,但是,当建好 南门,确定北门和小桥的位置时,却犯了难。如 何才能保证北门、小桥、南门在一条直线上,并 且,北门到居室和小桥的距离相等呢?

北门N

小桥P

河流 H公主 居室

南门S

要确定北门和小桥的位置,关键是算 出夹角 ?NSH 。记a 为南门S与居室H连线 SH与河流之间的夹角,则通过几何知识可 以算出 ? ? 2a 北门N

?NSH ?

3

小桥P

河流

a

?
南门S

H公主 居室

这相当于

求作一个角,等于已知角的三分 之一 也就是三等分一个任 意角的问题。工匠们试图 用尺规作图法定出桥的位 置,却始终未能成功。

这就是著名的“三等分任意角”问 题

求作一个角, 等于已知角的三分之一

这个问题流传下来,直到1837年才 由万锲尔给出否定的答案。

深圳大学数学与计算科学学院

3 三大作图难题

难在何处?
zwj@szu.edu.cn

直尺和圆规能做什么?
作图工具——直尺和圆规能做什么?
直观地看: (1)通过两点作直线; (2)以已知点为圆心,已知线段为半径作圆; (3)定出两条已知非平行直线的交点; (4)定出两个已知圆的交点; (5)定出已知直线与已知圆的交点。

深入地看: 17世纪数学家笛卡尔 创立的解析几何知识,将几何问题转化 为代数问题研究,从而也为解决三大难 题提供了有效的工具。

笛卡尔

1837年数学家万锲尔(P.L. Wantzel, 1814--1848)注意到: 直线方程是(一次)线性的,而圆 的方程是二次的。通过上述五种手段所 能做出的交点问题,转化为求一次与二 次方程组的解的问题。

简单的代数知识告诉我们:

通过直尺与圆规所能做出 的只能是已知线段(长度) 的和、差、积、商以及开平 方的有限次组合。

三大作图问题的不可能性
三大作图问题要作什么?
3 (1)“倍立方体” ,要作出数值2 (2)“化圆为方” ,要作出数 ? 值 (3)“三等分角”,如果记a = cosA, 要 作出角度A/3, 也必作出相应的余弦值 x = cos(A/3), 由三倍角公式,此值x 是方程 ? 3x ? a ? 0 的解。 3 4x

三大作图问题是不可能的
3 (1)“倍立方体” ,要作出数值 , 2 “三等分角”,要作出是三次方程 4 x 3 ? 3x ? a ? 0 的解。1837年万锲尔 证明,这两个问题都是用直尺和圆规 不能作出的。

(2)“化圆为方” ,要作出数值 , ? 1882年德国数学家林德曼(C.L.F. Lindemann,1852——1939)证明了? 是超越数,随即解决了“化圆为方” 问题的不可能性。

深圳大学数学与计算科学学院

4
“不可能” = “未解决”

zwj@szu.edu.cn

生活中:“不可能”=―未解决”
在日常生活中,我们许多情况下所指 的“不可能”,意味着在现有条件或能力 下是无法解决的,是不可能的,它会随着 历史的发展由不可能变为可能。这里的 “不可能”等于“未解决”。比如,在没 有发明电话之前,一个人在香港讲话,在 深圳的人们不可能听到;在没有飞机之前, 要在3小时内从香港到达北京也是不可能的, 如今这些都已成为可能。

数学中:“不可能”?“未解决”
但是,数学中所说的“不可能”与 “未解决”具有完全不同的含义。 所谓“不可能”是指,经过科学论 证被证实在给定条件下永远是不可能 的,它不会因时间的推移、社会的发 展而发生改变。 而“未解决”则表示目前尚不清楚 答案,有待于进一步研究的。

打一个形象的比喻: “到木星上去”是一个未解决的问 题,您可以去研究解决的办法; 但“步行到木星上去”则是一个不 可能的事情,如果有人再去一门心思 研究这个问题就会成为笑话。

几何三大作图难题是已经解决 了的,结论为“不可能”。
其前提是尺规作图。 如果不限于尺规,它就会成为可能, 目前已知的方法就有好几种。 “三等分角问题”除了尺规要求外, 还有一点常被人忽略,那就是三等分 的是“任意角”,对于某些具体的角 度,比如90?,它就是可能的。

深圳大学数学与计算科学学院

5
启示

zwj@szu.edu.cn

启示1:
? 对于历史长、影响深,经过一些著名 数学家钻研而尚未解决的那些著名问 题,往往要越出通常的方法才能解决.

它山之石,可以攻玉!

启示2:
? 问题本身的意义不仅在于这个问题的解, 更在于一个问题的解决可望得到不少新的 成果和发现新的方法。

醉翁之意不在酒!

启示3:
? 几何三大问题的研究开创了对圆锥曲线的 研究,发现了一些有价值的特殊曲线,提 出了尺规作图的判别准则,等等。这些都 比几何三大问题的意义深远得多。

无意插柳柳成荫 !

对于那些至今未解决的许多著名问题, 例如哥德巴赫猜想等,也应采取这样 的态度,停留于初等方法是决不可能 解决这些问题的.

SZU

zwj@szu.edu.cn

第二节 Fermat大定理
(1637年——1994年)

方程

x ? y ? z , n?3
n n n

没有正整数解。

深圳大学数学与计算科学学院

1
背景

zwj@szu.edu.cn

费马其人

费马

费马其人
? 生平
费 马 ( Pierre de Fermat, 1601--1665),1601年8月20日出生于法国南部 图卢兹附近的博蒙-德洛马涅一个皮革 商人家庭。 大学法律系毕业后在地方法院当律 师,业余时间研究数学, 30岁以后, 对数学痴迷,几乎把全部业余时间投入 数学研究。

? 德、行、能力 ? 费马为人谦逊,淡泊名利,勤于 思,慎于言,潜心钻研,厚积薄 发。 ? 他精通法语、意大利语、西班牙 语、拉丁语、希腊语等,为他博 览众书奠定了良好的基础。 ? 费马曾经深入地研究过韦达、阿 基米德、丢番都等人的著作。

成就 费马在解析几何、微积分、概率 论和数论等方面,都做出了开创性 的贡献,是解析几何、微积分与概 率论的先驱,并被誉为近代数论之 父,成为17世纪欧洲最著名的数学家 之一。 ?

? 费马在世时,没有一部完整的著 作问世,他的大部分研究成果都 是批注在阅读过的书籍上,或者 记录于与友人的通信中。 ? 费马去世后,在众多数学家的帮 助下,费马的儿子将其笔记、批 注以及书信加以整理,汇编成两 卷《数学论文集》分别于1670年 和1679年在图卢兹出版,费马的 成果才得以广泛流传。

费马猜想——费马大定理
古希腊数学家丢番都把他对不定 方程整数解的研究写成一本书《算 术》,1621年,该书被巴歇翻译成拉 丁文出版并开始在欧洲流传。后来, 费马在巴黎的书摊上买到这本书,引 起他的浓厚兴趣。此后,费马经常翻 阅此书,并不时地在书页空白处写下 批注。

该书第二卷命题8给出了方程

x 2 + y2 = z 2
的整数通解。 若m, n 是两个正整数,且2mn是完全平方 数,则通解为

? x ? m ? 2mn ? ? y ? n ? 2mn ? z ? m ? n ? 2mn ?

1637年,费马在阅读这一命题后, 在该命题旁边空白处用拉丁文写下一段具 有历史意义的批注: “将一个正整数的立方表为两个正整数 的立方和;将一个正整数的四次方表为 两个正整数的四次方和;或者,一般地, 将一个正整数的高于二次的幂表为两个 正整数的同一次幂的和,这是不可能的。 对此,我找到了一个真正奇妙的证明, 但书页的空白太小,无法把它写下。”

用式子来表达这段话就是:

方程
(1) xn + y n = z n 在n > 2时没有正整数解。

在费马去世五年后的1670年,费马的儿 子在整理父亲遗留的书籍时,发现了这 一批注,并公开出版。

深圳大学数学与计算科学学院

2
两个特例:n=3,4

zwj@szu.edu.cn

新人出击
欧拉 Leonhard Euler (1707 - 1783)
? 瑞士人。 18世纪最优秀的数学家。 ? 世上最多产的数学家。 ? 13岁入大学,17岁取得 硕士学位,30岁右眼失 明,60岁完全失明。
欧拉( 1707-1783)

n=4的费马大定理证明: 无穷递降法
基本思想:(欧拉:1738)
假如(1)有正整数解(a,b,c), 即
(2) a4 + b4 = c4 则在正整数解中总有使数 c 最小者,然 后从这组解(a, b, c)出发,导出一组新的 正整数解(a1, b1, c1) , 而且c1 < c ,这与c 的最小性相矛盾

费马发明了一种“无穷递降法”,用以 给出了一个定理,由这个定理可以给出n=4的 情形。这个定理是:边长为整数的直角三角 形的面积不是一个完全平方数。用这种方法 可以证明方程
4+ x 4 = z2 y (3)

没有正整数解。从而方程(2)也没有正整数 解。 证明依赖于勾股数的表示(见本课程第3章)。 此处从略。

n=3的情形:欧拉的证明
1753年,瑞士大数学家欧拉再一次 利用费马无穷递降法的思想,对n=3证 明了费马大定理。 但其中有错误!后来被高斯改进。

高斯的改进——引入复整数
高斯 Carl Friedrich Gauss (1777 - 1855) ? 德国数学家。 ? 完成欧拉的证明。 ? 引入“复整数”的概念, 即形如 a + b k1/2i,其 中 a、b 为整数,k为正 整数。

高斯对n=3的改进证明中,用到一 种只适用于n=3的分解。

n = 5 的证明
勒让德 Legendre (1752 - 1833) ?法国人

?1823 年证明了 n = 5的情况。

n = 5 的证明
狄 利 克 雷 Dirichlet (1805 - 1859)
?德国人 ?1828 年,独立证明了 n = 5。 ?1832 年,解决了 n = 14 的情况。

n = 7 的证明
拉梅 Gabriel Lamé(1795 1870)

?法国人 ?1839 年,证明了 n = 7。 ?1847 年,在巴黎科学院 宣布证明了“费马大定 理”。

深圳大学数学与计算科学学院

3
第一次重大突破

zwj@szu.edu.cn

新的方向
索菲娅 Sophie Germain (1776 1831)

?法国人。少数研究数学的女 性。 ?提出将“费马大定理”分成 两种情况: (I) n 能整除 x、y、z。 (II) n 不能整除 x、y、z。

1831年,一位完全靠自学成材的法国 女数学家索菲娅,依靠自己的聪明才智,把 结果向前推进了一大步: 在x, y, z与n互素的前提下,证明了对所 有小于100的奇素数,费马大定理成立。

如果n是不超过100的奇素数, 则不存在正整数组( x, y, z ), 使得 x, y, z与n互素且满足 方程 n+yn=zn。 x

理想数的诞生
库墨尔 Ernst Edward Kummer (1810 - 1893)
? 德国人

? 1845 至 1847 年 间 , 提 出 了 “分圆整数”、“理想数”、 “正规质数”等概念。 ? 证明当 n < 100 时,“费马大 定理”成立。
? 1857 年,获巴黎科学院颁发奖 金三千法郎。

1847年,德国数学家库默尔用一 种精巧的证明方法,取消了上述“x, y, z与n互素”的条件限制,实现了第一 次重大突破。他因此在1857年获得巴 黎科学院颁发奖金3000法郎。

如果n是不超过100的奇素数, n+yn=zn没有正整数解。 则方程x

深圳大学数学与计算科学学院

4
悬赏征解

zwj@szu.edu.cn

从费马提出这一猜想到库默尔解决到 小于100的奇素数,前后经历了200年, 使人们对这一问题不敢小看。 ? 1816年,法国巴黎科学院首次为费马 猜想设置征解的大奖。 ? 1850年和1853年,法国科学院又两次 决定,悬赏2000法郎,再度征求对费 马大定理的一般证明。到1900年, n 的数值从100推进到206,但却没有实 质性的进步。

悬赏10万马克
沃 尔 福 斯 盖 尔 Paul Friedrich Wolfskehl (1856 - 1908)

?德国商人。

?曾学习医学。1883 年跟库 墨尔学习数学。 ?订立遗嘱,悬赏10万马克, 限 期 100 年 , 再 次 征 求 费 马大定理的证明。

无数英雄尽折腰
? 1941 年 , 雷 卖 证 明 当 n < 253747887 时 “费马大定理”在某 些特殊情况下成立; ? 1977 年,瓦格斯达芙证明当n < 125000时 “费马大定理” 成立; ? …… 尽管如此,它离我们所要追求的目 标,依然十分遥远。

深圳大学数学与计算科学学院

5
第二次重大突破

zwj@szu.edu.cn

几何的威力

1983年仅28岁的德国数学家 法廷斯以几何为工具,实现了 费马大定理的第二次重大突破, 这一突破直接推动了10年后费 马大定理的最后解决。

问题转化
代数问题 方程 xn + yn = zn 的正整数解的可解性

代数问题 方程 xn + yn = 1的正有理数解的可解性

代数问题 方程 xn + yn = 1的正有理数解的可解性

几何问题 平面曲线 xn + yn = 1上是否有纵横坐标 都是正有理数的所谓的正有理点问题

费马猜想
每条曲线xn+yn=1上没有正有理点

法廷斯证明莫代尔猜想
平面曲线分类:

(1)有理曲线:包括直线和所有二次曲 线; (2)椭圆曲线:即三次曲线y2 =x3+ax+b, 其中,a,b是整数,并且 方程x3+ax+b=0没有重根;
(3)其它曲线。(比如:平面曲线 xn + yn = 1,n > 2 )

法廷斯证明莫代尔猜想
1922年,英国数学家莫代尔提出猜想:

每条第三类曲线上最多只有 有限多个有理点

1983年,法廷斯证明了莫代尔猜想. 从而

n+yn=1上上最多只 每条曲线x

有有限多个有理点

差一点儿……

费马猜想
每条曲线xn+yn=1上没有正有理点

深圳大学数学与计算科学学院

6
费马大定理的最后证明

zwj@szu.edu.cn

符雷的发现
法廷斯证明莫代尔猜想,吸 引了许多几何高手加入研究费 马大定理的行列,为费马大定 理的证明开辟了多条道路,其 中德国数学家符雷偶然发现了 一条蹊径:

费马大定理与第二类曲线 (椭圆曲线)有密切关系。

志村-谷山-外依猜想
关于(第二类)椭圆曲线,有许多 重要猜想,其中一个由日本数学家志村 和谷山,以及法国数学家外依在1950年 提出的猜想,称之为志村-谷山-外依猜 想:

有理数域上的每条椭圆曲 线都是模曲线。

志村-谷山-外依猜想

谷山丰(1927——1958)

志村五郎(1926——)

1985年德国数学家符雷在一次会议 上宣布: 如果对某个n >2费马大定理不成立, 他可以具体构造一个椭圆曲线,使志村谷山-外依猜想对这条曲线不成立。 因此(逆否命题) 若志村-谷山-外依猜想成立,则对 所有n >2费马大定理成立!

要证明费马大定理吗? 证明志村-谷山-外依猜想吧!

Andrew Wiles:证明费马大定理 1986年,出生于英国,工作在美 国 的 青 年 数 学 家 Andrew Wiles (1953---)了解到符雷的这项工作后, 借助于他对椭圆曲线研究的深厚功底, 经过8年的艰苦努力

Wiles于1994年9月上证明了
志村-谷山-外依猜想

外尔斯 Andrew Wiles
?英国人,出生于1953 年。
?10 岁时就立志要证明“费 马大定理”。 ?1975 年,开始在剑桥大学 进行研究,专攻“椭圆曲 线”。 ?在取得博士学位后,就转 到美国的普林斯顿大学继 续研究工作。

剑桥演讲
?1993 年 6 月 23 日, 在剑桥大学的牛顿 研究所,外尔斯以 “模形式、椭圆曲 线、伽罗瓦表示论” 为题,发表了他对 “志村-谷山-外依 猜想”的证明。

噩梦开始!
? 演讲过后,外尔斯将长达两百多页 的手稿送有关专家审阅; ? 起初,发现稿件有一些打印错误; ? 1993年 9 月,发现有重大漏洞; ? 外尔斯以为此漏洞很快可以修补, 然而却屡遭失败; ? 外尔斯已失败的传闻不胫而走。

再次闭关
?1994 年 1 月,外尔斯重新研究他的 证明。到了同年 9 月,依然没有任 何进展。
?有人怀疑:他是否真的证明了这一 猜想? ?但在 9 月 19 日的早上,当外尔斯 打算放弃并做最后一次尝试的时候, 突然找到了一个解决方案……

最后胜利
?1995 年 5 月,外 尔 斯 长 达 100 页 的 证明发表在世界著 名数学杂志 Annals of Math.《 数 学 年 刊》上。

最后胜利
?1997 年 6 月 27日,外尔斯

荣获德国悬 赏 的 10 万 马 克奖金。

其它荣誉:
1996年获得 ? 美国国家科学院数学奖;

?
?

欧洲Ostrowski奖;
瑞典科学院Schock奖;

?
?

法国费马奖;
Wolf奖。

1997年荣获
? ? 美国数学会科尔奖。 1998年8月获得 菲尔兹(J.C. Fields)特别贡献奖。 2005年6月获得

?

2005年百万美元邵逸夫大奖

深圳大学数学与计算科学学院

7
费马大定理的推广

zwj@szu.edu.cn

费马大定理的推广
在数学发展史上,许多问题的解决意 味着这一领域的终止。但费马大定理却 不同,在她被解决之后,后面一批新问 题接踵而来,它们是比费马猜想更广泛 的问题。这里列举两个:

1. Fermat-Catalan猜想 若正整数m, n, k满足 1/m + 1/n + 1/k < 1 则不定方程 xn + ym = zk
只有有限多个互素的正整数解组(a, b, c).

1995年,H.Damon 和 A. Granville 找 到了10个这样的解,它们是:

1 ?2 ?3
m 3

2

2 ?7 ?9
5 2

2

7 ? 13 ? 2
3 2

9

2 ? 17 ? 71
7 3
2
7 3

2
2

3 ? 11 ? 122
5 4

17 ? 76271 ? 21063928

1414 3 ? 2213459 2 ? 657 9262 3 ? 153122832 ? 1137
43 ? 96222 ? 30042907
8 3 2

33 ? 1549034 ? 15613
8 2

3

2. Beal猜想 若正整数m ,n, k ? 3,则不定方程 xn + ym = zk 没有异于(2,2,2)的正整数解组(a, b, c)。 这一猜想是由一个银行职员Andrew Beal 提出的。他为此提供5千美圆的征解 奖金,而且每延长一年,奖金增加5千美 圆,最高到5万美圆。

SZU

zwj@szu.edu.cn

zwj@szu.edu.cn

Goldbach猜想
(1742年—— ? !)

n > 2时,2n=p+q,
其中,p,q是素数

深圳大学数学与计算科学学院

1
背景

zwj@szu.edu.cn

数的分解问题
整数的分解与分拆: ?对于乘法, 算术基本定理:任一自然数都可以唯一 分解为若干个素数之积。
10 ? 2 ? 5; 30 ? 2 ? 3 ? 5; 60 ? 2 ? 2 ? 3 ? 5; 100 ? 2 ? 2 ? 5 ? 5 ......

数的分解问题
?对于加法,人们也可以研究自然数的构 成:将一个自然数写成若干个较小的自 然数之和,这个过程叫做数的分拆。其 结论是极其复杂的。如: 5=5=4+1=3+2=3+1+1=2+2+1 =2+1+1+1=1+1+1+1+1

一般地,如果用p(n)表示整数n的加法表 示种数,则它往往是一个很大的数。 P(1)=1, P(2)=2, P(3)=3, P(4)=5, P(5)=7, P(6)=11, P(7)=15, P(8)=22,…, P(100)=190,569,292(1亿9千万) P(200)=3,972,999,029,388(4万亿)。

可见,如果不加 以限制,这样的问题 是复杂的,也是没有 太大意义的。于是, 人们研究各种限制下 的整数分拆问题。 这类问题被华罗 庚称为“堆垒数论”。
华罗庚

这里面第一个问题就是分拆为方幂和 的问题。1770年,法国数学家拉格朗日 (Lagrange, 1736—1813)证明了:

每个正整数都是不超过四个正整数 的平方和,也是不超过九个正整数的立 方和,还是不超过十九个正整数的四次 方和。

对于这种形式的分拆,德国数学家希 尔伯特(Hilbert, 1862—1943)证得:

对任一正整数k,都存在一个正整 数c(k),使得每个正整数都是c(k)个正 整数的k次方和.
但是,他并不知道c(k)的具体大小。

对于偶数,一个明显的分拆是可以写 成两个奇数之和。而任意奇数都可以分 解为若干个奇素数之积,因此可以肯定:

每一个大于4的偶数都是“若干(m)”个奇素 数的积加上另外“若干(n)”个奇素数的积。

问题:
这里的“若干”能不能有个限度。 哥德巴赫经过大量的验算后猜想:

这里的“若干(m或n)”都可以限制为1,即 “n>2时,2n=p+q, 其中,p,q是素数”

深圳大学数学与计算科学学院

2
Goldbach 猜想

zwj@szu.edu.cn

哥德巴赫(C.Goldbach,1690--1764) 是德国数学家,毕业于哥尼斯堡大学。他 本来是住俄罗斯的一位公使,业余时间研 究数学,后任圣彼得堡科学院教授、院士。 从1729年起,哥德巴赫和瑞士著名数学家 欧拉经常通信讨论数学问题,这种联系长 达35年之久。 公元1742年6月7日,住在圣彼得堡的 哥德巴赫在给欧拉的信中提出:

“我不相信关注那些虽没有证明但很可能 正确的命题是无用的。即使以后它们被验证是 错误的,也会对发现新的真理有益。比如费马 的……。我也想同样冒险提出一个猜想:如果 一个整数可以写成两个素数的和,则它也是许 多素数的和,这些素数像人们所希望的那么 多,……。看来无论如何,任何大于2的数, 都是三个素数的和(注:当时认为1也是素 数)。例如:

4=1+1+1+1=1+1+2=1+3; 5=2+3=1+1+3=1+1+1+2=1+1+1+1+1”

同年6月30日,欧拉在给哥德巴赫 的回信中指出

―每一个大偶数都是两个奇素数之 和,虽然我不能完全证明它,但 我确信这个论断是完全正确的。”

―每一个大于或等于9的奇数都是 三个奇素数之和。”

观察以上两句话,我们会发现:第一句是 基本的,第二句可以由第一句导出。 这 第一句话就是后人所称的哥德巴赫猜想

哥德巴赫猜想
每一个大于或等于6的偶数都是 两个奇素数之和。 简称(1+1):“1‖个素数加 (+)“1‖个素数;

哥德巴赫猜想引起了众多数学家和 业余数学爱好者的极大兴趣,但它的证 明极其困难,直到19世纪末的160年间, 没有取得实质性进展。 毫无疑问,证明或否定哥德巴赫猜 想,是对历代数学家智慧与功力的严峻 挑战。它的魅力就在于:

简单而艰深!

深圳大学数学与计算科学学院

3
Goldbach 猜想的研究

zwj@szu.edu.cn

1. 研究方向:

① 兰道的方向:
1912年,德国数学家兰道在第五届 世界数学家大会上指出:

即使要证明较弱的命题:“每一 个大于4的偶数都是m(m是一个确 定整数)个奇素数之和。”也是现 代数学力所不及的。

18年后,一位苏联数学家证明: 这样的 m一定是存在的! 这为人们提供了第一个研究方向。

② 因子哥德巴赫问题方向
先证明:对于某个具体的m,n, 每一个大于4的偶数都是不超过 m个奇素数的积加上另外不超过n个奇 素数的积,简称(m+n)。 2N=p1p2…pj+q1q2…qk, (j≤m,k≤n) 然后再一步一步地减小m,n, 最后 降到m=n=1时(2N=p1+q1 ),就完成了 证明。

2. 研究方法:

? 筛法; ? 圆法; ? 三角和法

? 筛法:
这是一种由古老方法演变而来的数学方法, 是迄今为止研究哥德巴赫猜想最为有效且获得 最好结果的方法。两千多年前古希腊学者爱拉 托士散纳(Eratosthenes)创造了一种得到素数 的方法: 在纸上由2开始顺次写下足够多个自然数, 将其中2的倍数(当然不包括2,下同)都划掉, 然后是3的倍数,5的倍数……如此往复,则最 后剩下该范围内所有的素数。 筛法就是以这种方法为基础演化而来的。

1 11 21 31 41 51 61 71 81 91

2 12 22 32 42 52 62 72 82 92

3 13 23 33 43 53 63 73 83 93

4 14 24 34 44 54 64 74 84 94

5 15 25 35 45 55 65 75 85 95

6 16 26 36 46 56 66 76 86 96

7 17 27 37 47 57 67 77 87 97

8 18 28 38 48 58 68 78 88 98

9 19 29 39 49 59 69 79 89 99

10 20 30 40 50 60 70 80 90 100

? 圆法:
圆法是在20世纪20年代,由英国数学家 哈 代 (G.H.Hardy,1877-1947) 与 李 特 伍 德 (Littlewood, 1885-1977)系统地开创与发展 起来的研究堆垒素数论的方法. 1923年,他们利用“圆法”及一个未经 证实的猜测——黎曼猜测证明了任一充分大的 奇数都是三素数之和. 圆法内容比较复杂,此处不予介绍。

? 三角和法:
20世纪30年代,苏联数学家维诺格 拉托夫创造了一种“三角和法”。 1937 年 , 维 诺 格 拉 托 夫 本 人 利 用 “圆法”及他自己创造的“三角和法”基 本上证明了 “任一充分大的奇数都是三素数之 和.”

3. 研究进展:

? 兰道的方向:
1930年,苏联25岁的数学家史尼尔勒曼 证明了命题 “每一个大于4的偶数都是m个奇素数 之和” 并估计这个数m不会超过800000.

1935年 m ? 2208 1936年 m ? 271 等) 1937年 m ? 267 1950年 m ? 220 1956年 m ? 218 1976年 m ? 26

(苏联 罗曼诺夫) (德国 海尔布伦,兰道,

(意大利 里奇) (美国 夏彼罗,瓦尔加) (中国 尹文霖) ( 旺格汉)

? 因子哥德巴赫问题 先证明:对于某个具体的m,n, 每一个大于4的偶数都是不超过m个 奇素数的积加上另外不超过n个奇素 数的积,简称(m+n)。

2N = p1p2…pj + q1q2…qk, (j≤m,k≤n)
逐步缩小m,n, 最后降到m = n =1

1920年,挪威数学家布龙率先证明了 (9+9); 1924年,德国数学家雷德马赫证明 (7+7); 1932年,英国数学家埃斯特曼证明 (6+6); 1937年,意大利数学家黎丝证明了 (5+7),(4+9)等;

1938年和1940年,苏联数学家布赫斯塔勃 先后证明了(5+5),(4+4); 1957年,我国数学家王元证明(2+3); 1962年,我国数学家王元与潘承洞证明 (1+4); 1965年,前苏联数学家维纳格拉托夫等分 别独立证明了(1+3);

1966年,我国数学家陈景润证明了(1+2) :

2n=p+q, 或 2n=p+q1 q2
至此,离哥德巴赫猜想(1+1)的证明只有 一步之遥。

深圳大学数学与计算科学学院

4
陈景润与Goldbach猜想

zwj@szu.edu.cn

陈景润其人
陈景润(1933—1996) ? 中国当代著名数学家 ? 1933年5月22日出生于福建省 ? 从小酷爱数学,学习刻苦,成绩优秀 ? 在高中时期,沈元老师教他数学,沈老 师向学生介绍了“Goldbach猜想”, 并补充说:“数学是科学的皇后,数 论是数学的皇冠,而Goldbach猜想是 皇冠上的明珠。”

陈景润对哥德巴赫的研究

1966年5月,陈景润经过7个寒暑的艰 辛研究,依靠他超人的勤奋和顽强的毅力 证明了(1+2): 每一个充分大的偶数都是一个素数加 上另外不超过2个素数的积。 他的论文手稿长达200多页,没有全 部发表。经过压缩整理,1973年正式发表。

这一研究成果在国际数学界引起 极大反响,在国内家喻户晓。 英国数学家哈伯斯坦姆与德国数 学家李希特合著的数学专著《筛法》, 原有10章,付印后见到陈景润的论文, 便加入了第十一章,章目为“陈氏定 理”,并写信给陈景润,称赞他说: “您移动了群山!” 是的,“陈氏定理”离哥德巴赫 猜想(1+1)的证明只有一步之遥了。

虽然哥德巴赫猜想还没有最终被证 明,但是,在数学家们一次次的攻关过 程中,产生了许多新方法、新理论。从 这个意义上讲,

在向世界难题进军过程中所 作的努力和尝试所对数学的促进 与推动,其意义要大于难题的最 终解决。

SZU

zwj@szu.edu.cn

zwj@szu.edu.cn

四色猜想(1852年——1976年)

绘制任一地图,只要四种颜色就够了!

深圳大学数学与计算科学学院

1
一个故事

zwj@szu.edu.cn

国王的遗嘱
从前有个国王,他有五个儿子,临终 立下一条遗嘱并留下一个锦盒: “我死后,请孩子们将国土划分为五 个区域,每人一块,形状任意,但任一 块区域必须与其它四块都相邻。如果在 划分疆土时遇到困难,可以打开锦盒寻 找答案。”

锦盒中国王的亲笔信:嘱托 五位王子要精诚团结,不要分裂,合 则存,分则亡。

这个故事告诉我们 在平面上要想使任一区域都与其它四 个区域相邻的五个区域可能是不存在的。

深圳大学数学与计算科学学院

2
四色猜想的来历

zwj@szu.edu.cn

四色猜想的来历
大约在1852年,英国Francis Guthrie 发现:

绘制地图,一般至少需要四 种颜色。
但不论多么复杂的地图,只需 要四种颜色就足够了。

? ? ?

Francis Guthrie 告 诉 堂 兄 Frederick Guthrie。 Frederick Guthrie 请 教 老 师 A.De Morgan (1806—1871)。 A.De Morgan在1852年10月23日写 信给英国三一学院的著名数学家 W.R.Hamilton (1805-1865), 信 中 在 介绍了四色猜想之后写到:

―就我目前的理解,如果四个区域中 的每一个都和其它三个区域相邻,则其 中必有一个区域(下图中的红色区域) 被其它三个区域包围,因而任何第五个 区域都不可能与它相邻。若这是对的, 则四色猜想成立。”

De Morgan还画出了三个具体的图形 来说明上述理解,并说:“我越想越觉 得这是显然的事情。如果您能举出一个 简单的反例来,说明我像一头蠢驴。” Hamilton 为 此 努 力 了 13 年 , 未 果 而 终 (死)。

? 1878 年 6 月 13 日 , 英 国 数 学 家 A.Cayley (1821-1895)在伦敦数学会正式提出四色猜 想。 ? 1879年,他又向英国皇家地理学会提交一 篇“关于地图染色”的短文,该文刊登在 该学会会刊创刊号上,公开征求对四色猜 想的解答。该文肯定这个问题是由已故数 学家A.De Morgan提出的,并指出了解决 四色猜想的困难所在。 ? Cayley的论文引起了人们的重视,四色猜 想因此才广泛流传开来。

哈 密 顿 ﹐W.R, (Hamilton﹐William Rowan)1805 年 8 月 4 日生于爱尔兰都柏林; 1865年 9 月 2 日卒于都柏林 (Dublin)。力学﹑ 数学﹑光学。

凯莱﹐A. (Cayley﹐Arthur) 1821 年8月16日生 于英国萨里的里士满;1895 年1 月26日卒于英 国剑桥。数学﹑天文学。

深圳大学数学与计算科学学院

3
肯普的“证明”

zwj@szu.edu.cn

最先声称证明了四色猜想的是英国 律师肯普。 肯普年轻时曾拜数学家Cayley为师 学习数学,他阅读了Cayley―关于地图染 色”的论文,并认真研究了Cayley所指 出的证明困难所在,试图用一“退”一 “进”的思想来克服这一困难。

所谓“退”,就是设法从n个国家 (区域)的地图中去掉一个区域,使 之化为具有n-1个区域的地图。 所谓“进”,就是如果对具有n-1 个区域的地图可以用四色染色,进而 证明,再添加所去掉的区域后的n个 区域的地图也可以用四色染色。

在Cayley提出四色猜想的当年, 即1879年,肯普就声称证明了四色猜 想。 他的证明虽然11年后被人发现有 漏洞,但却是富有启发性的。其成功 之处在于他提出了 “正规地图”,证 明了任一地图均可以修改为正规地图, 而不需增加制图色彩。指出了任一正 规地图都必然有的四种“不可避免组” (如下页图)。

四种“不可避免组”

深圳大学数学与计算科学学院

4
希伍德的重要发现:五色定理的证明

zwj@szu.edu.cn

在肯普“证明”四色猜想11年以后 的1890年,年仅29岁的英国青年数学家 希伍德(P.J.Heawood, 1861--1955)在 《纯粹数学与应用数学季刊》上发表题 目为“地图染色定理”的论文,指出了 肯普在1879年所给证明中的错误。 同时,希伍德利用肯普的证明思想, 成功地证明了五色定理:

五色定理:

任何地图都可以用五种颜色正 确染色

希伍德关于五色定理的证明并不困难, 除了使用肯普的证明思想外,欧拉公式 是一个重要工具。 欧拉公式:
对于任一给定的多面体或平面地图, 其面数f 、边数 e 和顶点数 v 有下列关系:

f ?e?v ? 2

五色定理的证明要点:
一个概念: 正规地图——任一顶点处相交的区域数恰 为三个的地图。

五色定理证明步骤: (1)任一地图均可以修改为正规地图, 而不需增加制图色彩。因此,只需对正规 地图证明五色定理即可。

(2)在任一张正规地图中,必有一个区 域的顶点数(边界数、相邻区域数) 不超过5 (四种“不可避免组”)

证明:事实上,如果区域数本身少于6, 则结论自然成立。一般情况下, 记 fk 为边界上恰有 k 个顶点的区 域数(面数),则区域总数为

f ? f 2 ? f 3 ? ... ? f k ? ...

容易知道,边界上有k个顶点的区 域有kfk条边界,而每条边界都由两个 国家共用,每个顶点都由三个国家共 用。从而,边界总数 e、顶点总数 v 必满足

2e ? 2 f 2 ? 3 f 3 ? ... ? kfk ? ...

3v ? 2 f 2 ? 3 f 3 ? ... ? kfk ? ...

根据欧拉公式和上述三式可以看出:

v? f ?e?2 ? 6v ? 6 f ? 6e ? 12 ? 9v ? 12 ? 6 f ? 3v ? 12


6( f1 ? f 2 ? ... ? f k ? ...) ? 12 ? 2 f 2 ? 3 f 3 ? ... ? kfk ? ...

整理得

4 f 2 ? 3 f 3 ? 2 f 4 ? f 5 ? 12 ? f 7 ? 2 f 8 ? ...
上式左边

? 12 ,故至少有一个

f k ? 0, k ? 5
结论得证。

(3)对正规地图中所含区域(国家)的 个数用数学归纳法证明五色定理。

? 当国家数 f =2,3,4,5时,结论是自明 的。 ? 假设当 f ? k 时五色定理成立,即对 国家个数不超过 k 的地图,可以用五种 颜色正确着色。我们证明,当f = k+1时, 也有同样结论。 ? 根据(2),这样的地图必有一个边 数不多于5的国家。我们只考虑这样的一 个国家的边数为5的情况。(其他情况更 简单,证明从略)

设A是这样的一个国家,考虑与A相邻 的国家的情况。 关键证明断言: 与A相邻的国家中,必然有两个国家 是互不相邻的。

事实上,由于是正规地图,任一顶点 处相交的国家数为3,通过分析不难发现, 与A相邻的国家情况,不外乎下图中的三 种之一。

图1是A的邻国中有一个国家(图中黄色的国家)与A 有两条公共边界,此时a国与b国是不相邻的;图2是A 的邻国中有两个国家(图中的黄色与绿色国家)在另 一不同的边界相交,此时亦有两个国家,a国与b国, 是不相邻的;图3是最简单的一种情况,A有五个互不 包含的邻国,显然,此时a国与b国也是不相邻的。

现在,我们把这张地图中a、A、 b三国合并成一国,这构成了一 个只有k-1个国家的正规地图, 按照归纳假设,是可以用五色 绘制的。(如下图4、5、6)

由于A的边界只有5条,其邻国也最多有5个,现 在合并掉两个后,还剩下最多3个邻国,因此,在A及 其邻国处只须4种颜色就够了。现在,再把a、A、b三 国恢复,a、b国保持原有颜色,而将A涂上第5种颜色, 这样这个具有k+1个国家的地图也可以用5种颜色绘制 了。 根据数学归纳法原理,对所有地图,五色定理成 立。

深圳大学数学与计算科学学院

5
不可小看的四色猜想

zwj@szu.edu.cn

五色定理的证明,给了人们很大信心, 当时许多人都认为四色猜想是一个简单的问 题。

比如,当消息流传到俄罗斯时,爱因斯 坦的数学导师、著名数学家Minkovski(18641909)就认为这是一个显然的问题。他一次在 课堂上偶然提到这个问题时说道:“地图着 色问题之所以一直没有解决,是因为没有第 一流的数学家来解决它。”接着,他胸有成 竹地拿起粉笔在黑板上推导起来,结果却没 有成功。他极不甘心,下一节课又继续尝试, 依然没有进展。

一连几天如此,都是毫无结果。有一天, 天下大雨,他刚跨进教室,疲倦地注视着依 旧挂着他的“证明”的黑板,正要继续他的 推导时,突然雷声大作,震耳欲聋。他突然 醒悟,马上愧疚地对学生说,这是上天在责 备我狂妄自大,我解决不了这个问题。 从此以后,人们才真正认识到四色猜想 是不可小看的。四色猜想成为近代数学三大 难题之一。

闵科夫斯基 (Minkowski﹐Hermann)1864 年 6月 22日生于俄国阿列克索塔斯 (今属立陶 宛);1909 年 1 月 12日卒于德国格丁根。

深圳大学数学与计算科学学院

6
四色猜想证明的进展

zwj@szu.edu.cn

进入20世纪以来,人们一直在不断地 研究四色猜想,也取得了一定成就。 ? ? ? 1913年,哈佛大学教授伯克霍夫给出 了检查大的构形的可约性的技巧; 1920年,Franklin证明当国家个数不超 过25个时,四色猜想是正确的;

1926年,雷诺兹进一步证明当国家个 数不超过27个时,四色猜想是正确的;

? 1936年, Franklin再次把国家个数扩大到 31个; ? 1940年,Winn把国家个数扩大到35个;
? 1968年,挪威数学家O.Ore又把国家个数 扩大到40个; ? 1975年,国家数提高到了52个。 但这离关于所有地图都成立的四色猜想的 解决还是遥遥无期。

深圳大学数学与计算科学学院

7
四色定理机器证明引起的争论与困惑

zwj@szu.edu.cn

四色猜想难在哪里? 难就难在要解决四色猜想,要做 出大约两百亿次逻辑判断。 而一个人即使每秒钟做一次逻辑 判断,他要工作将近700年,才能完 成这些判断。可见,如果没有超智慧 的理论突破,单靠一个人的力量是不 可能解决这一问题的。

肯普的思想,加上计算机的加盟, 给四色猜想的解决带来了曙光。 1976年9月,美国数学会主办的《美 国数学会通讯》上载文宣布,美国 Illinois 大 学 的 两 位 数 学 家 K.I.Appel 和 W.Haken,根据肯普的证明思想,利用3 台IBM360型超高速电子计算机,耗时约 1200小时,终于证明了四色猜想(全文 发表在次年9月的《Illinois J. Math. 》 V.21上)。

这一成就震惊了整个数学界,影 响到全社会。当天,Appel所在的厄 巴纳邮局为了纪念这一创举与成功, 特别在邮戳上加盖了

Four Coulors Suffice

四色猜想的机器证明开辟了数学证 明的广阔前景: 人类提供思想,计算机提供计算与 判断,是理论方法与实验方法完美结合 的一个典范。 这一证明,意义重大,它说明,机 器不仅可以进行计算,也可以进行推理。 目前,我国数学家吴文俊、张景中等已 经系统地建立了机器证明的理论方法, 并成功地解决了许多问题。

但同时也有不少人对四色猜想的机器 证明提出异议: 一是程序难以检验,二是错误无法识 别。 1985年1月,有人找出了上述机器证 明中的一个错误,全美数学大会宣布他 们的证明错误。但后来这一错误得到修 复,四色猜想是正确的。 尽管如此,四色猜想能否用逻辑演绎 方式而非机器来加以证明,至今仍是一 个值得研究的未解之谜。

结束语
六个著名数学问题,跨越2000多年, 倾注了无数数学家的心血。有些已经解决, 有些尚未解决。有些有明显的应用价值,有 些却看不到直接的应用前景。但是它们的确 是数学问题的一个缩影,反映了数学问题的 共同特征:

在多数情况下,在向世界难题 进军过程中所作的努力与尝试,所 产生的思想与方法等,这些对数学 发展的促进与推动,其意义要大于 难题本身的意义和难题的最终解决。

SZU

zwj@szu.edu.cn

第五节七个千禧年数学难题
(2000年5月24日:巴黎 ) Clay Mathematics Institute

1. Riemann猜想(Riemann假设)

Riemann猜想与素数有关。早在古希 腊时期,欧几里得就巧妙地证明了:素数 有无穷多个。但是这些素数的存在有一个 固定的模式吗?十九世纪中叶,德国数学 家黎曼(Bernhard Riemann,1826—1866)提 出猜想:素数不仅有无穷多个,而且这无 穷多个素数以一种微妙和精确的模式出现。

Riemann猜想的具体表述依赖于黎曼 函数:
? ( s) ?

?n
n ?1

?

1
s

,

s ? ? ? it (? , t 是实数 )

多项式函数有两种表示方法,即
P(x)= anxn + an-1xn-1 + … + a1x + a0 和 P(x)= an (x-x1) (x-x2) … (x-xn) 。 仿照多项式情形,欧拉把黎曼函数表 示为无穷乘积的形式:
1 ? ( s) ? ? ?s p是素数 1 ? p

黎曼又把它开拓到整个复数平面,成 为复变量s的函数,这包含了非常多的信息, 当然它包含了所有素数的信息。
正如多项式的情形一样,函数的信息 大部分包含在其零点的信息当中,因此,黎 曼函数的零点就成为大家关心的头等大事。 可以知道,黎曼函数在负偶数 –2, -4, 6 ,… 等处有零点,人们称这些为“平凡零 点”。

Riemann猜想是关于黎曼函数的非平凡零
点的特征的,具体讲为:

Riemann猜想(1859年)

黎曼函数的所有非平凡零点的 实部等于1/2,即满足

1 ?? 2

1 1 1 ? ( s) ? 1 ? s ? s ? ... ? s ? ... 2 3 n
复平面 Im

无穷多零点 无零点
1/2 1 Re

平凡零点: -2, -4, -6, …. 0

黎曼﹐G.F.B., (Riemann﹐Georg Friedrich Bernhard)1826 年9 月17 日生于德国汉诺 威的布雷斯塞伦茨 (Breselenz);1866 年7 月20 日卒于意大利塞拉斯卡(Selasca)。

2. Poincare猜想

已经解决了
庞加莱(Poincare)猜想

任何单连通的三维流形(正如我们 所在的宇宙空间)一定是一个三维球面。

3. P问题对NP问题
这个问题与哲学上什么是可知的,什么 是不可知的问题密切相关,属于计算复杂性理 论。

在一个盛大晚会上。你想知道这一大 厅中是否有你已经认识的人。你的朋友向 你提议说,你一定认识那位正在甜点盘附 近角落的女士丹丹。不费一秒钟,你就能 向那里扫视,并且发现你的朋友是正确的。 然而,如果没有这样的暗示,你就必须环 顾整个大厅,一个个地审视每一个人,看 是否有你认识的人。生成问题的一个解通 常比验证一个给定的解时间花费要多得多。

判定一个答案是可以很快利用内部 知识来验证,还是没有这样的提示而需 要花费大量时间来求解,被看作逻辑和 计算机科学中最突出的问题之一。它是 斯蒂文?考克(StephenCook)于1971年陈 述的。

一个问题称为是P的,如果它可以通过 运行多项式次(即运行时间至多是输入量大 小的多项式函数的一种算法)获得解决;一 个问题是NP的,如果所提出的解答可以用 多项式次算法来检验。P等于NP吗? 大部 分复杂性理论工作者相信:P ≠ NP. 例如, 今天的大多数密码都是建立在一种假设的 基础上,即对大整数(比如200位)进行 因子分解从计算上说是不可行的问题。

4. Hodge猜想
这个问题与Poincare猜想一样是关于流形 的,但是它没有那么简单明了的表述。二十 世纪的数学家们发现了研究复杂对象的形状 的强有力的办法,其基本想法是:在多大程 度上,可以把给定的复杂对象的形状通过把 维数不断增加的简单几何块儿粘合在一起来 形成。不幸的是,在实际操作中,几何块变 得模糊起来,在某种意义下,必须加上某些 没有任何几何解释(意义)的部件。Hodge 猜想与此有关。

5. Yang-Mills场的存在性和质量缺口
这个问题要求对量子场论的未知物理和 相应的数学构造有较深入的理解,量子场是 指时空中满足一定要求的一个算子取值的广 义函数。大约半个世纪以前,Yang(杨振宁) 和Mills发现:量子物理揭示了在基本粒子物 理与几何对象的数学之间的令人瞩目的关系。

―Yang-Mills场的存在性和质量缺口”就 是与四维量子场论的数学理解相关的一个问 题。具体表述为:
Yang-Mills场的存在性和质量缺口问题

对于任意紧致单群G,在R4 上存在 以群G为规范群的有质量量子的YangMills场。

6. Navier-Stokes方程的存在性与光滑性
数学家和物理学家深信,无论是微风还 是湍流,都可以通过理解Navier-Stokes方程 的解,来对它们进行解释和预言。NavierStokes方程描述了Rn (n=2 或3) 中流体的运动。 这个方程要对关于位置x ∈ Rn和时间t ≥ 0定 义的未知速度向量 u(x,t) = (ui(x,t))1≤i≤n ∈ Rn 以及压力p(x,t) ∈ Rn求解。其基本的问题是 判断Navier-Stokes方程是否存在光滑的、在 物理上合理的解。

7. Birch和Swinnerton-Dyer猜想
数学家总是对诸如x2 + y2 = z2 这样的代数方 程的所有解的刻画着迷。这个方程的解是早在 古希腊时期就已经给出的,然而对于更为复杂 的方程,解决起来却极为困难。事实上,希尔 伯特第十问题是不可解的,即,不存在一般的 方法来确定这样的方程是否有一个整数解。

当解是一个Abel簇的点时,Birch和SwinnertonDyer猜想认为,有理点的解的多少与一个有关 的Zeta函数 ?(s) 在点 s = 1 附近 的性态有关。具 体来讲:
Birch和Swinnerton-Dyer猜想

当解是一个Abel簇的点时,如果 ?(1) = 0 ,则存在无穷多个有理点解, 相反,如果?(1) ≠ 0 ,则只存在有 限多个有理点解。

数学与计算科学学院

zwj@szu.edu.cn



更多相关文章:
2006年深圳实验学校直升考试数学试题(含答案)-[1] 2
一只小狗正在平面镜前欣赏自己的全身像(如下左图所示),此时,它 所看到的全身...F A E F B P C B P C 图a 图b 2006 届初直升考试 数学试卷 第 8 ...
2006—2007学年度高三第一次摸底考试数学试题(理科)
世界500强LOGO欣赏 36页 免费 组合习题 2页 免费 ...2006— 学年度高三第一次摸底考试数学试题(理科) 2006...17.(本小题满分 12 分) 设函数 f ( x) = m...
2006年浙江省高考数学试卷及答案(理科)
2006年浙江省高考数学试卷及答案(理科)_其它课程_高中教育_教育专区。糖果工作室...10.函数 f:{1,2,3} ?{1,2,3}满足 f(f(x))= f(x),则这样的函数...
2006-2013年全国初中数学联赛试题及答案(全)
2006 年全国初中数学联合竞赛试题 第一试一、选择题: (本题满分 42 分,每小题 7 分) 1.已知四边形 ABCD 为任意凸四边形,E、F、G、H 分别是边 AB、BC...
Eggfopj小学数学二年级下册教案有反思
—罗兰 人教版新课标 二年级下册教案二年级数学教学计划 (2005——2006 学年度...8.会探索给定图形或数的排列中的简单规律;有发现和欣赏数学美的意识,有运用...
数学f1初中数学2006年全国中考数学压轴题集锦(完整版第二辑)
2006 年全国中考数学压轴题集锦(完整版第二辑) 27、 (山东青岛课改卷 )如图...A 于点 F ,直线 F E 交 x 轴于点 C .(1)求证:直线 F C 是 ? A ...
离散数学-2005`2006(2)-试卷A
离散数学-2005`2006(2)-试卷A_数学_高中教育_教育专区。一、基础知识(40 分...f(x)=h(f(x))=1/2(x+3);(1 分) g ? h(x)=g(h(x))=2· x...
数学建模06春综合练习
数学建模06春综合练习_理学_高等教育_教育专区。数学建模 综合练习 一、填空题 ...f /( f + d ) ≥ 0.4, d ≥ 30 4.设某种新产品的社会需求量为无限...
七年级数学核心题目赏析
4 2006 ? 2007 分析 此题共有 2006 项,通分是太麻烦.有这么多项,我们要有...2 【核心练习】 1、A、B、C、D、E、F 是圆周上的六个点,连接其中任意...
七年级数学核心题目赏析
4 2006 ? 2007 分析 此题共有 2006 项,通分是太麻烦.有这么多项,我们要有...2 【核心练习】 1、A、B、C、D、E、F 是圆周上的六个点,连接其中任意...
更多相关标签:
数学游戏与欣赏    2006数学二    2006数学一    数学文化欣赏    2006年考研数学一真题    2006数学三    2006考研数学一    中等数学2006年第6期    

All rights reserved Powered by 甜梦文库 9512.net

copyright ©right 2010-2021。
甜梦文库内容来自网络,如有侵犯请联系客服。zhit325@126.com|网站地图