四色定理高考 数学中的四色问题
高三生活&数学学习问题，数学基础好dansguardian难题做不出来怎么办？四色问题这样的话就不成立了。
本文导航
高三数学学习方法8个诀窍
数学是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学家们拓展这些概念，为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理。
数学属性是任何事物的可量度属性，即数学属性是事物最基本的属性。可量度属性的存在与参数无关，但其结果却取决于参数的选择。例如：时间，不管用年、月、日还是用时、分、秒来量度；空间，不管用米、微米还是用英寸、光年来量度，它们的可量度属性永远存在，但结果的准确性与这些参照系数有关。
数学是研究现实世界中数量关系和空间形式的科学。简单地说，是研究数和形的科学。由于生活和劳动上的需求，即使是最原始的民族，也知道简单的计数，并由用手指或实物计数发展到用数字计数。
基础数学的知识与运用总是个人与团体生活中不可或缺的一块。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见。从那时开始，其发展便持续不断地有小幅的进展，直至16世纪的文艺复兴时期，因著和新科学发现相作用而生成的数学革新导致了知识的加速，直至今日。
今日，数学被使用在世界上不同的领域上，包括科学、工程、医学和经济学等。数学对这些领域的应用通常被称为应用数学，有时亦会激起新的数学发现，并导致全新学科的发展。数学家亦研究没有任何实际应用价值的纯数学，即使其应用常会在之后被发现。
创立于二十世纪三十年代的法国的布尔巴基学派认为：数学，至少纯粹数学，是研究抽象结构的理论。结构，就是以初始概念和公理出发的演绎系统。布学派认为，有三种基本的抽象结构：代数结构（群，环，域……），序结构（偏序，全序……），拓扑结构（邻域，极限，连通性，维数……）。
这些特点是同当时社会条件与学术思想密切相关的。秦汉时期，一切科学技术都要为当时确立和巩固封建制度，以及发展社会生产服务，强调数学的应用性。最后成书于东汉初年的《九章算术》，排除了战国时期在百家争鸣中出现的名家和墨家重视名词定义与逻辑的讨论，偏重于与当时生产、生活密切相结合的数学问题及其解法，这与当时社会的发展情况是完全一致的。
《九章算术》在隋唐时期曾传到朝鲜、日本，并成为这些国家当时的数学教科书。它的一些成就如十进位值制、今有术、盈不足术等还传到印度和阿拉伯，并通过印度、阿拉伯传到欧洲，促进了世界数学的发展。
中国古代数学的发展
魏、晋时期出现的玄学，不为汉儒经学束缚，思想比较活跃；它诘辩求胜，又能运用逻辑思维，分析义理，这些都有利于数学从理论上加以提高。吴国赵爽注《周髀算经》，汉末魏初徐岳撰《九章算术》注，魏末晋初刘徽撰《九章算术》注、《九章重差图》都是出现在这个时期。赵爽与刘徽的工作为中国古代数学体系奠定了理论基础。
结构
许多如数及函数的集合等数学物件都有着内含的结构。这些物件的结构性质被探讨于群、环、体及其他本身即为此物件的抽象系统中。此为抽象代数的领域。在此有一个很重要的概念，即向量，且广义化至向量空间，并研究于线性代数中。向量的研究结合了数学的三个基本领域：数量、结构及空间。向量分析则将其扩展至第四个基本的领域内，即变化。
空间
空间的研究源自于几何－尤其是欧式几何。三角学则结合了空间及数，且包含有着名的勾股定理。现今对空间的研究更推广到了更高维的几何、非欧几何(其在广义相对论中扮演著核心的角色)及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何物件的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变化。在其许多分支中，拓扑学可能是二十世纪数学中有着最大进展的领域，并包含有存在久远的庞加莱猜想及有争议的四色定理，其只被电脑证明，而从来没有由人力来验证过。
基础与哲学
为了搞清楚数学基础，数学逻辑和集合论等领域被发展了出来。康托（Georg Cantor，1845-1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的存在，为以后的数学发展作出了不可估量的贡献。Cantor的工作给数学发展带来了一场革命。由于他的理论超越直观，所以曾受到当时一些大数学家的反对，就连被誉为“博大精深，富于创举”的数学家Pioncare也把集合论比作有趣的“病理情形”，甚至他的老师Kronecker还击Cantor是“神经质”，“走进了超越数的地狱”.对于这些非难和指责，Cantor仍充满信心，他说：“我的理论犹如磐石一般坚固，任何反对它的人都将搬起石头砸自己的脚.”他还指出：“数学的本质在于它的自由性，不必受传统观念束缚。”这种争辩持续了十年之久。Cantor由于经常处于精神压抑之中，致使他1884年患了精神分裂症，最后死于精神病院。
然而，历史终究公平地评价了他的创造，集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，测度论，拓扑学及数理科学中必不可少的工具。20世纪初世界上最伟大的数学家Hilbert在德国传播了Cantor的思想，把他称为“数学家的乐园”和“数学思想最惊人的产物”。英国哲学家Russell把Cantor的工作誉为“这个时代所能夸耀的最巨大的工作”。
数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果－总存在一不能被证明的真实定理。现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关连性。
离散数学
离散数学是指对理论计算机科学最有用处的数学领域之总称，包含有可计算理论、计算复杂性理论及信息论。可计算理论检查电脑的不同理论模型之极限，包含现知最有力的模型－图灵机。复杂性理论研究可以由电脑做为较易处理的程度；有些问题即使理论是可以以电脑解出来，但却因为会花费太多的时间或空间而使得其解答仍然不为实际上可行的，尽管电脑硬件的快速进步。最后，信息论专注在可以储存在特定媒体内的资料总量，且因此有压缩及熵等概念。
做为一相对较新的领域，离散数学有许多基本的未解问题。其中最有名的为P/NP问题－千禧年大奖难题之一。一般相信此问题的解答是否定的。
应用数学
应用数学思考将抽象的数学工具运用在解答科学、工商业及其他领域上之现实问题。应用数学中的一重要领域为统计学，它利用机率论为其工具并允许对含有机会成分的现象进行描述、分析与预测。大部份的实验、测量及观察研究需要统计对其资料的分析。(许多的统计学家并不认为他们是数学家，而比较觉得是合作团体的一份子。)数值分析研究如何有效地用电脑的方法解决大量因太大而不可能以人类的演算能力算出的数学问题；它亦包含了对计算中舍入误差或其他来源的误差之研究。
模糊数学
现代数学是建立在集合论的基础上。集合论的重要意义就一个侧面看，在与它把数学的抽象能力延伸到人类认识过程的深处。一组对象确定一组属性，人们可以通过说明属性来说明概念（内涵），也可以通过指明对象来说明它。符合概念的那些对象的全体叫做这个概念的外延，外延其实就是集合。从这个意义上讲，集合可以表现概念，而集合论中的关系和运算又可以表现判断和推理，一切现实的理论系统都一可能纳入集合描述的数学框架。
但是，数学的发展也是阶段性的。经典集合论只能把自己的表现力限制在那些有明确外延的概念和事物上，它明确地限定：每个集合都必须由明确的元素构成，元素对集合的隶属关系必须是明确的，决不能模棱两可。对于那些外延不分明的概念和事物，经典集合论是暂时不去反映的，属于待发展的范畴。
在较长时间里，精确数学及随机数学在描述自然界多种事物的运动规律中，获得显著效果。但是，在客观世界中还普遍存在着大量的模糊现象。以前人们回避它，但是，由于现代科技所面对的系统日益复杂，模糊性总是伴随着复杂性出现。
各门学科，尤其是人文、社会学科及其它“软科学”的数学化、定量化趋向把模糊性的数学处理问题推向中心地位。更重要的是，随着电子计算机、控制论、系统科学的迅速发展，要使计算机能像人脑那样对复杂事物具有识别能力，就必须研究和处理模糊性。
我们研究人类系统的行为，或者处理可与人类系统行为相比拟的复杂系统，如航天系统、人脑系统、社会系统等，参数和变量甚多，各种因素相互交错，系统很复杂，它的模糊性也很明显。从认识方面说，模糊性是指概念外延的不确定性，从而造成判断的不确定性。
在日常生活中，经常遇到许多模糊事物，没有分明的数量界限，要使用一些模糊的词句来形容、描述。比如，比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中，往往也有许多模糊的东西。例如，要确定一炉钢水是否已经炼好，除了要知道钢水的温度、成分比例和冶炼时间等精确信息外，还需要参考钢水颜色、沸腾情况等模糊信息。因此，除了很早就有涉及误差的计算数学之外，还需要模糊数学。
人与计算机相比，一般来说，人脑具有处理模糊信息的能力，善于判断和处理模糊现象。但计算机对模糊现象识别能力较差，为了提高计算机识别模糊现象的能力，就需要把人们常用的模糊语言设计成机器能接受的指令和程序，以便机器能像人脑那样简洁灵活的做出相应的判断，从而提高自动识别和控制模糊现象的效率。这样，就需要寻找一种描述和加工模糊信息的数学工具，这就推动数学家深入研究模糊数学。所以，模糊数学的产生是有其科学技术与数学发展的必然性。
广义的数学分类
[编辑本段]
从纵向划分：
1、初等数学和古代数学：这是指17世纪以前的数学。主要是古希腊时期建立的欧几里得几何学，古代中国、古印度和古巴比伦时期建立的算术，欧洲文艺复兴时期发展起来的代数方程等。
2、变量数学：是指17--19世纪初建立与发展起来的数学。从17世纪上半叶开始的变量数学时期，可以分为两个阶段：17世纪的创建阶段（英雄时代）与18世纪的发展阶段（创造时代）。
3、近代数学：是指19世纪的数学。近代数学时期的19世纪是数学的全面发展与成熟阶段，数学的面貌发生了深刻的变化，数学的绝大部分分支在这一时期都已经形成，整个数学呈现现出全面繁荣的景象。
4、现代数学：是指20世纪的数学。1900年德国著名数学家希尔伯特（D. Hilbert）在世界数学家大会上发表了一个著名演讲，提出了23个预测和知道今后数学发展的数学问题（见下），拉开了20世纪现代数学的序幕。
注：希尔伯特的23个问题——
在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。
希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 现在只列出一张清单：
（1）康托的连续统基数问题。
（2）算术公理系统的无矛盾性。
（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
（4）两点间以直线为距离最短线问题。
（5）拓扑学成为李群的条件（拓扑群）。
（6）对数学起重要作用的物理学的公理化。
（7）某些数的超越性的证明。
（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。
（9）一般互反律在任意数域中的证明。
（10）能否通过有限步骤来判定不定方程是否存在有理整数解？
（11）一般代数数域内的二次型论。
（12）类域的构成问题。
（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。
（14）某些完备函数系的有限的证明。
（15）建立代数几何学的基础。
（16）代数曲线和曲面的拓扑研究。
（17）半正定形式的平方和表示。
（18）用全等多面体构造空间。
（19）正则变分问题的解是否总是解析函数？
（20）研究一般边值问题。
（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。
（22）用自守函数将解析函数单值化。
（23）发展变分学方法的研究。
从横向划分：
1、基础数学（英文：Pure Mathematics）。又称为理论数学或纯粹数学，是数学的核心部分，包含代数、几何、分析三大分支，分别研究数、形和数形关系。
2、应用数学。简单地说，也即数学的应用。
3、计算数学。研究诸如计算方法（数值分析）、数理逻辑、符号数学、计算复杂性、程序设计等方面的问题。该学科与计算机密切相关。
4、概率统计。分概率论与数理统计两大块。5、运筹学与控制论。运筹学是利用数学方法，在建立模型的基础上，解决有关人力、物资、金钱等的复杂系统的运行、组织、管理等方面所出现的问题的一门学科。
一些从古到今的中国著名数学家的主要贡献
[编辑本段]
张丘建--<张丘建算经>
《张丘建算经》三卷，据钱宝琮考，约成书于公元466～485年间.张丘建,北魏时清河(今山东临清一带)人,生平不详。最小公倍数的应用、等差数列各元素互求以及“百鸡术”等是其主要成就。“百鸡术”是世界著名的不定方程问题。13世纪意大利斐波那契《算经》、15世纪阿拉伯阿尔·卡西<<算术之钥》等著作中均出现有相同的问题。
朱世杰：《四元玉鉴》
朱世杰（1300前后），字汉卿，号松庭，寓居燕山（今北京附近），“以数学名家周游湖海二十余年”，“踵门而学者云集”。朱世杰数学代表作有《算学启蒙》（1299）和《四元玉鉴》（1303）。《算学启蒙》是一部通俗数学名著，曾流传海外，影响了朝鲜、日本数学的发展。《四元玉鉴》则是中国宋元数学高峰的又一个标志，其中最杰出的数学创作有“四元术”（多元高次方程列式与消元解法）、“垛积法”（高阶等差数列求和）与“招差术”（高次内插法）
贾宪：〈〈黄帝九章算经细草〉〉
中国古典数学家在宋元时期达到了高峰，这一发展的序幕是“贾宪三角”（二项展开系数表）的发现及与之密切相关的高次开方法（“增乘开方法”）的创立。贾宪，北宋人，约于1050年左右完成〈〈黄帝九章算经细草〉〉，原书佚失，但其主要内容被杨辉（约13世纪中）著作所抄录，因能传世。杨辉〈〈详解九章算法〉〉（1261）载有“开方作法本源”图，注明“贾宪用此术”。这就是著名的“贾宪三角”，或称“杨辉三角”。〈〈详解九章算法〉〉同时录有贾宪进行高次幂开方的“增乘开方法”。
贾宪三角在西方文献中称“帕斯卡三角”，1654年为法国数学家 B·帕斯卡重新发现。
秦九韶：〈〈数书九章〉〉
秦九韶（约1202～1261），字道吉，四川安岳人，先后在湖北、安徽、江苏、浙江等地做官，1261年左右被贬至梅州（今广东梅县），不久死于任所。秦九韶与李冶、杨辉、朱世杰并称宋元数学四大家。他早年在杭州“访习于太史，又尝从隐君子受数学”，1247年写成著名的〈〈数书九章〉〉。〈〈数书九章〉〉全书共18卷，81题，分九大类（大衍、天时、田域、测望、赋役、钱谷、营建、军旅、市易）。其最重要的数学成就——“大衍总数术”（一次同余组解法）与“正负开方术”（高次方程数值解法），使这部宋代算经在中世纪世界数学史上占有突出的地位。
李冶：《测圆海镜》——开元术
随着高次方程数值求解技术的发展，列方程的方法也相应产生，这就是所谓“开元术”。在传世的宋元数学著作中，首先系统阐述开元术的是李冶的《测圆海镜》。
李冶（1192～1279）原名李治，号敬斋，金代真定栾城人，曾任钧州（今河南禹县）知事，1232年钧州被蒙古军所破，遂隐居治学，被元世祖忽必烈聘为翰林学士，仅一年，便辞官回家。1248年撰成《测圆海镜》，其主要目的就是说明用开元术列方程的方法。“开元术”与现代代数中的列方程法相类似，“立天元一为某某”，相当于“设x为某某”，可以说是符号代数的尝试。李冶还有另一部数学著作《益古演段》（1259），也是讲解开元术的。
刘徽： 《海岛算经》 《九章算术注》 《九章重差图》
263年左右，六会发现当圆内接正多边形的变数无限增加时，多边形的面积则可无限逼近圆面积，即所谓“割之弥细，所失弥少，割之又割，以至于不可割，则与圆周
合体而无所失矣。”刘徽采用了以直代曲、无限趋近、“内外夹逼”的思想，创立了“割圆术”
《重差》原为《九章算术注》的第十卷，即后来的《海岛算经》，内容是测量目标物的高和远的计算方法。重差法是测量数学中的重要方法。
祖冲之：（公元429年—公元500年）是我国杰出的数学家，科学家。南北朝时期人，汉族人，字文远。他当时就把圆周率精确到小数点后7位(3.1415926<圆周率<3.1415927)，比西方领先了1500年，并得出355/113的密率，22/7的约率。写书《缀术》，记载了他计算圆周率的方法，不过已经失传。
数学发展史上的三次危机
[编辑本段]
1.毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。毕达哥拉斯定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：边长为1的正方形其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞生。这一结论的悖论性表现在它与常识的冲突上：任何量，在任何精确度的范围内都可以表示成有理数。可是为我们的经验所确信的，完全符合常识的论断居然被小小的√2的存在而推翻了！这就在当时直接导致了人们认识上的危机，从而导致了西方数学史上一场大的风波，史称“第一次数学危机”。由2000年后的数学家门建立的实数理论才消除它。
2.第二次数学危机导源于微积分工具的使用。贝克莱一针见血地指出牛顿在对x^n(n是正整数)求导时既把△x不当做0看而又把△x当作0看是一个严重的自相矛盾，从而几乎使微积分停滞不前，后来还是柯西和魏尔斯特拉斯等人提出无穷小是一个无限向0靠近，但是永远不等于0的变量，这才把微积分重新稳固地建立在严格的极限理论基础上，从而消灭的这次数学危机！
3.十九世纪下半叶，康托尔创立了著名的集合论。1900年，国际数学家大会上，法国著名数学家庞加莱就曾兴高采烈地宣称：“………借助集合论概念，我们可以建造整个数学大厦……今天，我们可以说绝对的严格性已经达到了……”可是，好景不长。1903年，一个震惊数学界的消息传出：集合论是有漏洞的！这就是英国数学家罗素提出的著名的罗素悖论。
罗素构造了一个集合S：S由一切不是自身元素的集合所组成。然后罗素问：S是否属于S呢？根据排中律，一个元素或者属于某个集合，或者不属于某个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S，根据S的定义，S就不属于S；反之，如果S不属于S，同样根据定义，S就属于S。无论如何都是矛盾的。 可以说，这一悖论就象在平静的数学水面上投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。
危机产生后，数学家纷纷提出自己的解决方案。比如ZF公理系统。这一问题的解决只现在还在进行中。罗素悖论的根源在于集合论里没有对集合的限制，以至于让罗素能构造一切集合的集合这样“过大”的集合，对集合的构造的限制至今仍然是数学界里一个巨大的难题！
当然这些对于高三学生来说可能不具诱惑力，毕竟我也从高三过来，那么就用我的绝招：数学确实挺难，但是又有什么办法，一门不好，就别指望高考有什么成就。在这种思想的激励下，我更加努力，高考608，比较满意。仁兄or 任妹，努力呀！！！
数学新手小技巧
世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
1852年10月23日，他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年哈密尔顿逝世为止，问题也没有能够解决。
1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色 猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战 。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
11年后，即1890年，数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久，泰勒的证明也被人们否定了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题：先辈数学大师们的努力，为后世的数学家揭示四色猜想之谜铺平了道路。
进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。它不仅解决了一个历时100多年的难题，而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就，他们还在寻找一种简捷明快的书面证明方法。
--------
世界近代三大数学难题之一 费马最后定理
被公认执世界报纸牛耳地位地位的纽约时报於1993年6月24日在其一版头题刊登了一则有
关数学难题得以解决的消息，那则消息的标题是「在陈年数学困局中，终於有人呼叫『
我找到了』」。时报一版的开始文章中还附了一张留着长发、穿着中古世纪欧洲学袍的
男人照片。这个古意盎然的男人，就是法国的数学家费马（Pierre de Fermat）（费马
小传请参考附录）。费马是十七世纪最卓越的数学家之一，他在数学许多领域中都有极
大的贡献，因为他的本行是专业的律师，为了表彰他的数学造诣，世人冠以「业余王子
」之美称，在三百六十多年前的某一天，费马正在阅读一本古希腊数学家戴奥芬多斯的
数学书时，突然心血来潮在书页的空白处，写下一个看起来很简单的定理这个定理的内
容是有关一个方程式 x2 + y2 =z2的正整数解的问题，当n=2时就是我们所熟知的毕氏定
理（中国古代又称勾股弦定理）：x2 + y2 =z2，此处z表一直角形之斜边而x、y为其之
两股，也就是一个直角三角形之斜边的平方等於它的两股的平方和，这个方程式当然有
整数解（其实有很多），例如：x=3、y=4、z=5；x=6、y=8、z=10；x=5、y=12、z=13…
等等。
费马声称当n>2时，就找不到满足xn +yn = zn的整数解，例如：方程式x3 +y3=z3就无法
找到整数解。
当时费马并没有说明原因，他只是留下这个叙述并且也说他已经发现这个定理的证明妙
法，只是书页的空白处不够无法写下。始作俑者的费马也因此留下了千古的难题，三百
多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最
后定理也就成了数学界的心头大患，极欲解之而后快。
十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人，可惜都没有人能够领到奖赏。德国的数学家佛尔夫
斯克尔（P?Wolfskehl）在1908年提供十万马克，给能够证明费马最后定理是正确的人，
有效期间为100年。其间由於经济大萧条的原因，此笔奖额已贬值至七千五百马克，虽然
如此仍然吸引不少的「数学痴」。
二十世纪电脑发展以后，许多数学家用电脑计算可以证明这个定理当n为很大时是成立的
，1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1时费马定理是正确
的（注286243-1为一天文数字，大约为25960位数）。
虽然如此，数学家还没有找到一个普遍性的证明。不过这个三百多年的数学悬案终於解
决了，这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决。其实威利斯是
利用二十世纪过去三十年来抽象数学发展的结果加以证明。
五0年代日本数学家谷山丰首先提出一个有关椭圆曲现的猜想，后来由另一位数学家志
村五郎加以发扬光大，当时没有人认为这个猜想与费马定理有任何关联。在八0年代德
国数学家佛列将谷山丰的猜想与费马定理扯在一起，而威利斯所做的正是根据这个关联
论证出一种形式的谷山丰猜想是正确的，进而推出费马最后定理也是正确的。这个结论
由威利斯在1993年的6月21日於美国剑桥大学牛顿数学研究所的研讨会正式发表，这个报
告马上震惊整个数学界，就是数学门墙外的社会大众也寄以无限的关注。不过威利斯的
证明马上被检验出有少许的瑕疵，於是威利斯与他的学生又花了十四个月的时间再加以
修正。1994年9月19日他们终於交出完整无瑕的解答，数学界的梦魇终於结束。1997年6
月，威利斯在德国哥庭根大学领取了佛尔夫斯克尔奖。当年的十万法克约为两百万美金
，不过威利斯领到时，只值五万美金左右，但威利斯已经名列青史，永垂不朽了。
要证明费马最后定理是正确的
（即xn + yn = zn 对n33 均无正整数解）
只需证 x4+ y4 = z4 和xp+ yp = zp (P为奇质数)，都没有整数解。
----------------
世界近代三大数学难题之一 哥德巴赫猜想
哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和。如6＝3＋3，12＝5＋7等等。 1742年6月7日，哥德巴赫写信将这个问题告诉给意大利大数学家欧拉，并请他帮助作出证明。欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。他们对一个个偶数开始进行验算，一直算到3．3亿，都表明猜想是正确的。但是对于更大的数目，猜想也应是对的，然而不能作出证明。欧拉一直到死也没有对此作出证明。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代，才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明，得出了一个结论：每一个比大的偶数都可以表示为(99)。这种缩小包围圈的办法很管用，科学家们于是从(9十9)开始，逐步减少每个数里所含质数因子的个数，直到最后使每个数里都是一个质数为止，这样就证明了“哥德巴赫”。 1924年，数学家拉德马哈尔证明了(7＋7)；1932年，数学家爱斯尔曼证明了(6＋6)；1938年，数学家布赫斯塔勃证明了(5十5)，1940年，他又证明了(4＋4)；1956年，数学家维诺格拉多夫证明了(3＋3)；1958年，我国数学家王元证明了(2十3)。随后，我国年轻的数学家陈景润也投入到对哥德巴赫猜想的研究之中，经过10年的刻苦钻研，终于在前人研究的基础上取得重大的突破，率先证明了(l十2)。至此，哥德巴赫猜想只剩下最后一步(1＋1)了。陈景润的论文于1973年发表在中国科学院的《科学通报》第17期上，这一成果受到国际数学界的重视，从而使中国的数论研究跃居世界领先地位，陈景润的有关理论被称为“陈氏定理”。1996年3月下旬，当陈景润即将摘下数学王冠上的这颗明珠，“在距离哥德巴赫猜想(1＋1)的光辉顶峰只有飓尺之遥时，他却体力不支倒下去了……”在他身后，将会有更多的人去攀登这座高峰。
数学中的四色问题
导数的几何意义；导数求导公式与求导法则；导数的应用三个部分。
作为前面两个部分，都是比较容易学习的；最后一个内容，主要是求导后判定函数单调性，从而求得极值与最值，如果函数与所给区间不含参数，那么也都是基本题，非常容易操作。但是一旦含有参数，那么就需要分类讨论，或者分离参数，一般来说，比较麻烦。当然，这不是教材要求，而是高考要求。
