数 学 史 简 介（之五）
数 学 分 支
现代小学数学的具体内容，自然数和分数具有不同的性质，数和数之间也有不同的关系，为了计算这些数,就产生了加、减、乘、除的方法，这四种方法就是四则运算。把数和数的性质、数和数之间的四则运算在应用过程中的经验累积起来，并加以整理，就形成了最古老的一门数学——算术。
初等代数是算术的继续和推广，初等代数研究的对象是代数式的运算和方组成初等代数的基本内容就是：
三种数——有理数、无理数、复数
三种式——整式、分式、根式
中心内容是方程——整式方程、分式方程、根式方程和方程组。
初等代数的内容大体上相当于现代中学设置的代数课程的内容，但又不完全相同。比如，严格的说，数的概念、排列和组合应归入算术的内容；函数是分析数学的内容；不等式的解法有点像解方程的方法，但不等式作为一种估算数值的方法，本质上是属于分析数学的范围；坐标法是研究解析几何的……。这些都只是历史上形成的一种编排方法。
初等代数是算术的继续和推广，初等代数研究的对象是代数式的运算和方程的求解。代数运算的特点是只进行有限次的运算。全部初等代数总起来有十条规则。这是学习初等代数需要理解并掌握的要点。
这十条规则是：
五条基本运算律：加法交换律、加法结合律、乘法交换律、乘法结合律、分配律；
两条等式基本性质:等式两边同时加上一个数，等式不变；等式两边同时乘以一个非零的数，等式不变；
三条指数律：同底数幂相乘，底数不变指数相加；指数的乘方等于底数不变指数想乘；积的乘方等于乘方的积。
初等代数学进一步的向两个方面发展，一方面是研究未知数更多的一次方程组；另一方面是研究未知数次数更高的高次方程。这时候，代数学已由初等代数向着高等代数的方向发展了。
关于方程的解的历史：
人们很早就已经知道了一元一次和一元二次方程的求解方法。关于三次方程，我国在公元七世纪，也已经得到了一般的近似解法，这在唐朝数学家王孝通所编的《缉古算经》就有叙述。到了十三世纪，宋代数学家秦九韶再他所著的《数书九章》这部书的“正负开方术”里，充分研究了数字高次方程的求正根法，也就是说，秦九韶那时候以得到了高次方程的一般解法。
在西方，直到十六世纪初的文艺复兴时期，才由有意大利的数学家发现一元三次方程解的公式——卡当公式。
在数学史上，相传这个公式是意大利数学家塔塔里亚首先得到的,后来被米兰地区的数学家卡尔达诺(1501～1576)骗到了这个三次方程的解的公式，并发表在自己的著作里。所以现在人们还是叫这个公式为卡尔达诺公式(或称卡当公式)，其实，它应该叫塔塔里亚公式。
三次方程被解出来后，一般的四次方程很快就被意大利的费拉里(1522～1560)解出。这就很自然的促使数学家们继续努力寻求五次及五次以上的高次方程的解法。遗憾的是这个问题虽然耗费了许多数学家的时间和精力，但一直持续了长达三个多世纪，都没有解决。
到了十九世纪初，挪威的一位青年数学家阿贝尔(1802～1829)证明了五次或五次以上的方程不可能有代数解。既这些方程的根不能用方程的系数通过加、减、乘、除、乘方、开方这些代数运算表示出来。阿贝尔的这个证明不但比较难，而且也没有回答每一个具体的方程是否可以用代数方法求解的问题。
后来，五次或五次以上的方程不可能有代数解的问题，由法国的一位青年数学家伽罗华彻底解决了。伽罗华20岁的时候，因为积极参加法国资产阶级革命运动，曾两次被捕入狱，1832年4月，他出狱不久，便在一次私人决斗中死去，年仅21岁。
“几何”这个词在汉语里是“多少？”的意思，但在数学里“几何”的涵义就完全不同了。“几何”这个词的词义来源于希腊文，原意是土地测量，或叫测地术。几何学是数学中最古老的分支之一，也是在数学这个领域里最基础的分支之一。古代中国、古巴比伦、古埃及、古印度、古希腊都是几何学的重要发源。
欧几里得的《几何原本》共有十三卷，其中第一卷讲三角形全等的条件，三角形边和角的大小关系，平行线理论，三角形和多角形等积（面积相等）的条件；第二卷讲如何把三角形变成等积的正方形；第三卷讲圆；第四卷讨论内接和外切多边形；第六卷讲相似多边形理论；第五、第七、第八、第九、第十卷讲述比例和算术得里论；最后讲述立体几何的内容。从这些内容可以看出，目前属于中学课程里的初等几何的主要内容已经完全包含在《几何原本》里了。因此长期以来，人们都认为《几何原本》是两千多年来传播几何知识的标准教科书。属于《几何原本》内容的几何学，人们把它叫做欧几里得几何学，或简称为欧式几何。
《几何原本》最主要的特色是建立了比较严格的几何体系，在这个体系中有四方面主要内容，定义、公理、公设、命题（包括作图和定理）。《几何原本》第一卷列有23个定义，5条公理，5条公设。（其中最后一条公设就是著名的平行公设，或者叫做第五公设。它引发了几何史上最著名的长达两千多年的关于“平行线理论”的讨论，并最终诞生了非欧几何。）
欧氏几何与非欧几何（罗巴切夫斯基几何、黎曼几何）关于结合公理、顺序公理、连续公理及合同公理都是相同的，只是平行公理（第五公设）不一样。欧式几何讲“过直线外一点有且只有一条直线与已知直线平行”。罗氏几何讲“过直线外一点至少存在两条直线和已知直线平行”。黎曼几何讲“过直线外一点，不能做直线和已知直线平行”。
因此，凡涉及到平行公理的命题，欧氏几何与非欧几何有完全不同的结论。如：欧氏几何得到“三角形的内角和等于 ” ，罗巴切夫斯基几何得到“三角形的内角和小于 ” ，黎曼几何得到“三角形的内角和大于 ” ，
欧氏几何、罗氏几何、黎曼几何是三种各有区别的几何。这三中几何各自所有的命题都构成了一个严密的公理体系，各公理之间满足和谐性、完备性和独立性。因此这三种几何都是正确的。
在我们这个不大不小、不远不近的空间里，也就是在我们的日常生活中，欧式几何是适用的；在宇宙空间中或原子核世界，罗氏几何更符合客观实际；在地球表面研究航海、航空等实际问题中，黎曼几何更准确一些。
笛卡尔（Descartes, Gene）(1596.3-1650.2.11)，是法国数学家和哲学家，解析几何的创始人。从笛卡尔的《几何学》中可以看出，笛卡尔的中心思想是建立起一种“普遍”的数学，把算术、代数、几何统一起来。笛卡尔从天文和地理的经纬制度出发，指出平面上的点和实数对(x,y)的对应关系。x,y的不同数值可以确定平面上许多不同的点，这样就可以用代数的方法研究曲线的性质。这就是解析几何的基本思想。在数学史上，一般认为和笛卡尔同时代的法国业余数学家费尔马也是解析几何的创建者之一，应该分享这门学科创建的荣誉。
用代数的方法研究几何的思想，在继出现解析几何之后，又发展为几何学的另一个分支，这就是代数几何。代数几何学研究的对象是平面的代数曲线、空间的代数曲线和代数曲面。
它是专门研究图形的位置关系的，也是专门用来讨论在把点投影到直线或者平面上的时候，图形的不变性质的科学。在现行高中立体几何教材中有渗透射影几何学的思想。
拓扑学是几何学的一个分支，但是这种几何学又和通常的平面几何、立体几何不同。通常的平面几何或立体几何研究的对象是点、线、面之间的位置关系以及它们的度量性质。拓扑学对于研究对象的长短、大小、面积、体积等度量性质和数量关系都无关。
举例来说，在通常的平面几何里，把平面上的一个图形搬到另一个图形上，如果完全重合，那么这两个图形叫做全等形。但是，在拓扑学里所研究的图形，在运动中无论它的大小或者形状都发生变化。在拓扑学里没有不能弯曲的元素，每一个图形的大小、形状都可以改变。例如，前面讲的欧拉在解决哥尼斯堡七桥问题的时候，他画的图形就不考虑它的大小、形状，仅考虑点和线的个数。这些就是拓扑学思考问题的出发点。在现行高中立体几何教材中欧拉公式的推导就渗透拓扑学的思想。
分形几何学的基本思想是：客观事物具有自相似的层次结构，局部与整体在形态、功能、信息、时间、空间等方面具有统计意义上的相似性，成为自相似性。例如，一块磁铁中的每一部分都像整体一样具有南北两极，不断分割下去，每一部分都具有和整体磁铁相同的磁场。这种自相似的层次结构，适当的放大或缩小几何尺寸，整个结构不变。分形几何学已在自然界与物理学中得到了应用。
计算数学也叫做数值计算方法或数值分析。我们知道五次及五次以上的代数方程不存在求根公式，因此，要求出五次以上的高次代数方程的解，一般只能求它的近似解，求近似解的方法就是数值分析的方法。对于一般的超越方程，如对数方程、三角方程等等也只能采用数值分析的办法。怎样找出比较简洁、误差比较小、花费时间比较少的计算方法是数值分析的主要课题。在现行高中数学教材中有渗透计算数学的思想。
12．微积分学：新教材高三数学中有讲到微积分的初步内容
13．概率和数理统计：新教材高三数学中有讲到概率论和数理统计的基本内容
数理逻辑包括哪些内容呢？这里我们先介绍它的两个最基本的也是最重要的组成部分，就是“命题演算”和“谓词演算”。
命题演算的一个具体模型就是逻辑代数。逻辑代数也叫做开关代数，它的基本运算是逻辑加、逻辑乘和逻辑费，也就是命题演算中的“或”、“与”、“非”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。
另外悖论的提出，促使许多数学家去研究集合论的无矛盾性问题，从而产生了数理逻辑的一个重要分支—公理集合论。
在现行高一数学教材中有简易逻辑这部分内容。
在日常生活中，经常遇到许多模糊事物，没有分明的数量界限，要使用一些模糊的词句来形容、描述。比如，比较年轻、高个、大胖子、好、漂亮、善、热、远……。在人们的工作经验中，往往也有许多模糊的东西。例如，要确定一炉钢水是否已经炼好，除了要知道钢水的温度、成分比例和冶炼时间等精确信息外，还需要参考钢水颜色、沸腾情况等模糊信息。因此，除了很早就有涉及误差的计算数学之外，还需要模糊数学。于是就产生了模糊数学。