为什么三角形的内角和是180度

设三角形ABC，求证：∠A+∠B+∠C=180°。

证法1：

过点A作EF//BC。

∵EF//BC，

∴∠EAB=∠B，∠FAC=∠C（两直线平行，内错角相等），

∵∠BAC+∠EAB+∠FAC=180°（平角180°），

∴∠BAC+∠B+∠C=180°（等量代换），

即∠A+∠B+∠C=180°。

证法2：

延长BC到M，过点C作CN//AB。

∵CN//AB

∴∠A=∠ACN（两直线平行，内错角相等），

∠B=∠NCM（两直线平行，同位角相等），

∵∠ACN+∠NCM+∠ACB=180°（平角180°），

∴∠A+∠B+∠ACB=180°（等量代换），

即∠A+∠B+∠C=180°。

数学界最牛的数学家有哪些？

不是一个人。差得很远。

阿基米德是古希腊伟大的数学家、力学家。约公元前287年出生于西西里岛的叙古拉，公元前212年卒于同地。

古希腊数学家欧几里德(公无前330—前275)以著名的『几何原本』而闻名。

欧几里得和阿基米德的生平简介和主要科学成就

数学史向来有四大天王的之称，整个数学几千年的发展，都和他们有关。他们折磨了你的小学、中学还有大学。他们分别是“数学之神”阿基米德，“经典力学之父”牛顿，“数学英雄”欧拉，“数学王子”高斯。

“数学之神”阿基米德

在古希腊时期，数学就已经开始萌芽。诞生了一大批的数学家，在一开始，希腊人把有理数视为连续衔接的那种算术连续统（指连续不断的数集）的设想，以柏拉图为代表的数学家试图构建以数为基础的数学模型。

然而，毕达哥拉斯学派却在这个时候发现了无理数，引发了2000多年的数学危机，为了回避无理数，古希腊数学家做了很多的努力，毕达哥拉斯学派欧多克索斯直接宣告了构建以数为基础的数学模型的破产，建立了以明确公理为依据的演绎体系，从而大大推进了几何学的发展．从此之后，几何学成了希腊数学的主流。

而欧几里得更是提出了以几何为基础的主张中，古希腊人发展了逻辑思想并加深了对数学抽象性、理想化等本质特征的认识。

拉斐尔重现古希腊数学与艺术的辉煌

而欧多克索斯、欧几里得等人的工作不仅总结了以前全部几何学知识，建立起第一个几何公理系统（欧几里得-希尔伯特几何公理系统）。还编写出《几何原本》一书。这无疑是数学思想上的一次巨大革命，古典逻辑与欧氏几何就是第一次危机的产物。

在这个时候，阿基米德横空出世。阿基米德师从欧几里得。阿基米德进一步完善了几何体系，他发表了一系列的几何著作。

比如《论球与圆柱》(On

the Sphere and Cylin der)，《论抛物线求积法》(On Quadrature of the

Parabola)，《圆的度量》(Measurement of a Circle)，《论平板的平衡》(On Plane

Equilibriums)，《论锥型体与球型体》(On Conoids Spheroids)，《砂粒计算》(The Sand

Reckoner)，《论方法》(On Method)(阿基米德给厄拉托塞的书信中，关于几何学的某些定理)，《论浮体》(On Floating

Bodies)，《引理》．在这些著作中的几何方面，他补充了许多关于平面曲线图形求积法和确定曲面所包围体积方面的独创研究。

但是阿基米德并没有抛弃柏拉图以数为基础的数学模型的构想，“数”的种子在他这里得到了保存，这点对未来很重要，因为西方在很长一段时间，都是将欧氏几何奉为圣经。

他预见到了极微分割的概念，这个观念在17世纪的数学中起到了重要作用，其本身就是微积分的先声，阿基米德的求积法更是蕴育着积分思想的萌芽，利用这种方法，阿基米德发现了许多定理。

阿基米德还研究了螺线，撰写了《论螺线》(OnSpirals)一书，有人认为，从某种意义来说，这是阿基米德对数学的全部贡献中最出色的部分．许多学者就是在他的作螺线切线的方法中预见到了微积分方法．值得称道的是，他用运动的观点定义数学对象，如果一条射线绕其端点匀速旋转，同时有一动点从端点开始沿射线作匀速运动，那么这个点就描出一条螺线．这种螺线后来称为“阿基米德螺线”。

基米德作出的所有结论都是在没有代数符号的情况下获得的，使证明的过程颇为复杂，但他以惊人的独创性，将熟练的计算技巧和严格的证明融为一体，并将抽象的理论与工程技术的具体应用紧密结合起来。

阿基米德的几何著作是希腊数学的顶峰，将希腊数学推向一个新阶段，。他把欧几里得严格的推理方法与柏拉图鲜艳的丰富想象和谐地结合在一起，达到了至善至美的境界，为数学2000多年的发展奠定了坚实的基础。因而阿基米德被众多数学家称为“数学之神”。

“经典力学之父”牛顿

牛顿在数学上最大的成就就是和莱布尼茨各自独立地创建了微积分。1665 年 5 月 20 日,这是数学史极具意义的一天，伟大的物理学家牛顿第一次提出“流数术”（微分法），而到了 1666 年 5 月又提出了“反流数术”(积分法),这标志着微积分的创立。

牛顿提出微积分主要还是为了解决以下问题：

1、已知物体运动的“距离——时间”函数关系求任意时刻的速度和加速度。“任一时刻”的时间间距是0，那么他的位移量也必然是0，这就出现了v=0/0的困难

2、求曲线的切线

3、求函数的最大、最小值

4、求曲线的长、曲线围出的面积、曲面围出的体积、物体的重心问题。

所以微积分主要存在这几个方面的内容，主要包括极限、微分学、积分学及其应用。微分学包括求导数的运算，是一套关于变化率的理论。它使得函数、速度、加速度和曲线的斜率等均可用一套通用的符号进行讨论；积分学包括求积分的运算，为定义和计算面积、体积等提供一套通用的方法。

牛顿微积分手稿

此后在欧拉、柯西、魏尔斯特拉斯“分析算术化”运动下，牛顿的微积分得到进一步完善。

微积分的出现，极大地推动了数学的发展，过去很多用初等数学无法解决的问题，运用微积分，这些问题往往迎刃而解，显示出微积分学的非凡威力。德雷克公式、散度定理、以及经典的斯托克斯公式。无论在观念上或者在技术层次上，他们都是牛顿-莱布尼茨公式的推广。

冯·诺依曼曾经说过：微积分是现代数学的第一个成就，而且怎样评价它的重要性都不为过。我认为，微积分比其他任何事物都更清楚地表明了现代数学的发端；而且，作为其逻辑发展的数学分析体系仍然构成了精密思维中最伟大的技术进展。

除此之外，微积分也促进了物理学的大发展大繁荣，物理问题的表达一般都是用微分方程的形式。也迎来了科学的大发展大繁荣时代，一直持续了整整

200 多年，直到 20 世纪上个月，这 200

多年里，涌现了无数著名的数学家、科学家。他们把微积分应用于天文学、力学、光学、热学等各个领域，并获得了丰硕的成果。在数学本身又发展出了多元微分学、多重积分学、微分方程、无穷级数的理论、变分法，大大地扩展了数学研究的范围。比如最著名的要数最速降线问题。

微积分还推动了工业革命的发展，促进了社会生产力的提高，实现了社会文明的大进步。

“数学英雄”欧拉

欧拉真的是天选之子，不仅具有过目不忘的本领，而且在眼瞎的情况下，仅仅依靠心算就解决了许多的问题。

欧拉最大的贡献就是他发明了一系列对人类影响深远的符号，数学语言符号的使用可避免这种文字语言的歧义性,确保数学语言的准确性、清晰性,使它的语言形式完全符合形式所表示的实质内容。

1748 年欧拉出版了《无穷分析引论》，这是数学七大名著之一，和高斯的《算术研究》齐名。此书是在数学史上具有划时代意义的代表作，当时数学家们称欧拉为"分析学的化身”。

为什么单独讲诉这本书，因为数学界未来几百年的发展，很大一部分都和这本书有关。

欧拉的《无穷小分析引论》首次把对数作为指数、把三角函数作为数值之比而不是作为一些线段的系统论述，次用函数概念作为中心和主线，把函数而不是曲线作为主要研究对象，使无穷小分析不再依赖几何性质。

在欧拉的《无穷小分析引论》中，他定义三角函数为无穷级数，并表述了欧拉公式，还有使用接近现代的简写sin.、cos.、tang.、cot.、sec.和cosec.。对，这些符号都是欧拉发明的。

欧拉使三角学成为一门系统的科学，他首先用比值来给出三角函数的定义，而在他以前是一直以线段的长作为定义的。研究三角函数大都在一个确定半径的圆内进行的。如古希腊的托勒密定半径为60;印度人阿耶波多(约476-550)定半径为3438;德国数学家里基奥蒙特纳斯(1436-1476)

为了精密地计算三角函数值曾定半径600, 000;后来为制订更精密的正弦表又定半径为10'。因此，当时的三角函数实际上是定圆内的一些线段的长。

欧拉的定义使三角学跳出只研究三角表这个圈子。欧拉对整个三角学作了分析性的研究。在这以前，每个公式仅从图中推出，大部分以叙述表达。欧拉却从最初几个公式解析地推导出了全部三角公式，还获得了许多新的公式。欧拉用a

、b 、c 表示三角形的三条边，用A、B、C表示第个边所对的角，从而使叙述大大地简化。欧拉得到的著名的公式：

欧拉后来又把三角函数与指数函联结起来。《无穷小分析引论》除了是三角学研究的开端， 还对微积分进行了进一步的完善。

简单来说，三角函数就是欧拉完善的，指数及指数函数人家也贡献了一份力。

除此之外，圆周率的符号π、函数符号f(x)、虚数的符号 i 、自然对数的底 e 以及 Σ 等等都是他发明的。

三角学、数学分析学、拓扑学、指数函数、微积分的完善发展、函数的完善发展、代数数论、解析数论、图论等等都有卓越的成绩，被誉为“全能数学家”。

据统计他那不倦的一生，共写下了886本书籍和论文，其中分析、代数、数论占40%，几何占18%，物理和力学占28%，天文学占11%，弹道学、航海学、建筑学等占3%，彼得堡科学院为了整理他的著作，足足忙碌了四十七年。

可以说，从欧拉开始，在极大程度上摆脱了对几何直观的依赖,在逻辑上更为严瑾和便于分析。

数学开始逐渐摆脱对几何的依赖。欧拉冲破了古希腊人的思想框架，进一步向符号代数转化，几何问题常常反过来用代数方法解决，而欧拉对微积分的完善，实现了数学研究的基本方法由古希腊的几何演绎向以算术和代数的分析方法的转变。

“数学王子”高斯

高斯三岁的时候，当时高斯的父亲是一位工头，在核算工人们的周薪，高斯看了一眼账本，就已经能够帮父亲纠正账目的错误。

在高斯18岁的时候，他就自己发现了质数分布定理和最小二乘法，根据这个发现，他自己创造了一套测量数据处理方法，根据这个新方法，他得到了一个具有概率性质的测量结果，并且把这个测量结果画成了曲线，这种曲线函数分布后来被后人称作为高斯分布图，也被叫做标准正态分布。

高斯19岁的时候就发现了正十七边形的尺规作图法，解决了困扰数学界2000多年的难题。他也是世界上第一个成功用代数方法解决几何难题的数学家。

他在19岁那年又证明了二次互反律，二次互反律在数论的发展史中处于中心地位。高斯不仅给出了第一个严格的证明，证明了二次互反律，而且后来又给出了7种证明方式。提出一种已经可以算得上是大数学家了，高斯提出了8种！

高斯博士毕业的时候他还发现了著名的代数基本定理，他认为任何一元代数方程都有根，这篇论文一出举世震惊，后来高斯死后很多数学家都证明了代数基本定理的真实性，高斯也是世界上第一个发现这个定理的数学家。

以他名字“高斯”命名的成果达110个，属数学家中之最，比如说高斯分布（正态分布），高斯模糊，高斯积分，高斯整数，高斯消元，高斯曲率，高斯滤波器，高斯引力常数。可以说大物里有高斯、高数里也有高斯、几何里也有高斯、….你闭上眼睛，在理工科(技术类)书籍里随便挑一本书。里面一定能找到Gaussian这么个名字…你随便拆一个app看代码。，一般一定有不止一个公式（或者包里的公式）和高斯有关。

你好不容易学一个平面设计，平面设计里还有高斯模糊。。。可以说，高斯无处不在。

高斯之墓

这还是高斯并没有把自己所有研究成果全部发表出来的情况下，高斯是一个非常谨慎的人，估计是怕打脸，他对自己的工作态度是精益求精，非常严格地要求自己的研究成果。他自己曾说：宁可发表少，但发表的东西是成熟的成果。许多当代的数学家要求他，不要太认真，把结果写出来发表，这对数学的发展是很有帮助的。

贝尔曾经这样评论高斯：在高斯死后，人们才知道他早就预见一些十九世纪的数学，而且在1800年之前已经期待它们的出现。如果他能把他所知道的一些东西泄漏，很可能比当今数学还要先进半个世纪或更多的时间。

我们现在的数学都和这四位脱离不了关系，他们的许多伟大创新是许多数学分支领域的源泉。可以说，没有这四位伟大的数学家，那么就没有如今完备的数学体系。

阿基米德（Archimedes）

生卒年代：前287-212

简介：

古希腊伟大的数学家、力学家。

生于西西里岛的叙拉古，卒于同地。

早年在当时的文化中心亚历山大跟随欧几里得的学生学习，以后和亚历山大的学者保持紧密联系，因此他算是亚历山大学派的成员。后人对阿基米德给以极高的评价，常把他和I.牛顿、C.F.高斯并列为有史以来三个贡献最大的数学家。他的生平没有详细记载，但关于他的许多故事却广为流传。

生平：

阿基米德（Archimedes，约前287—212），诞生于希腊叙拉古附近的一个小村庄。他出生于贵族，与叙拉古的赫农王（King Hieron）有亲戚关系，家庭十分富有。阿基米德的父亲是天文学家兼数学家，学识渊博，为人谦逊。阿基米德受家庭的影响，从小就对数学、天文学特别是古希腊的几何学产生了浓厚的兴趣。当他刚满十一岁时，借助与王室的关系，被送到埃及的亚历山大里亚城去学习。亚历山大位于尼罗河口，是当时文化贸易的中心之一。这里有雄伟的博物馆、图书馆，而且人才荟萃，被世人誉为“智慧之都”。阿基米德在这里学习和生活了许多年，曾跟很多学者密切交往。他兼收并蓄了东方和古希腊的优秀文化遗产，在其后的科学生涯中作出了重大的贡献。公元前二一二年，古罗马军队入侵叙拉古，阿基米德被罗马士兵杀死，终年七十五岁。阿基米德的遗体葬在西西里岛，墓碑上刻着一个圆柱内切球的图形，以纪念他在几何学上的卓越贡献。 阿基米德的成就

阿基米德无可争议的是古代希腊文明所产生的最伟大的数学家及科学家，他在诸多科学领域所作出的突出贡献，使他赢得同时代人的高度尊敬。

阿基米德求得了抛物线弓形、螺线、圆形的面积和体积以及椭球体、抛物面体等复杂几何体的体积。在推演这些公式的过程中，他熟练的启用了“穷竭法”，即我们今天所说的逐步近似求极限的方法，因而被公认为微积分计算的鼻祖。他还利用此法估算出∏值在 和 之间，并得出了三次方程的解法。面对古希腊繁冗的数字表示方式，阿基米德提出了一套有重要意义的按级计算法，并利用它解决了许多数学难题。 阿基米德在力学方面的成绩最为突出，这些成就主要集中在静力学和流体静力学方面。他在研究机械的过程中，发现了杠杆原理，并利用这一原理设计制造了许多机械。他在研究浮体的过程中发现了浮力定律，也就是有名的阿基米德定律。

阿基米德在天文学方面也有出色的成就。他设计了一些圆球，用细绳和木棒将它们联接起来模仿日月和星辰的运动，并利用水力使它们转动。这样日食和月食就可以生动的表现出来了。阿基米德认为地球是圆球状的，并围绕着太阳旋转，这一观点比哥白尼的“日心地动说”要早一千八百年。限于当时的条件，他并没有就这个问题做深入系统的研究。但早在公元前三世纪就提出这样的见解，是很了不起的。 阿基米德的著作很多，作为数学家，他写出了《论球和圆柱》、《论劈锥曲面体与球体》、《抛物线求积》、《论螺线》等数学著作。作为力学家，他著有《论平板的平衡》、《论浮体》、《论杠杆》、《论重心》等力学著作。在《论平板的平衡》中，他系统地论证了杠杆原理。在论浮体中、他论证了浮体定律。

阿基米德不仅在理论上成就璀璨，还是一个富有实践精神的工程学家。他一生设计、制造了许多机构和机器，除了杠杆系统外，值得一提的还有举重滑轮、灌地机、扬水机以及军事上用的投射器等。被称作“阿基米德举水螺旋”的扬水机是为了将水从大船的船舱中排出而发明的。扬水机可以利用螺旋把搬运到高处，在埃及得到了广泛的应用，是现代螺旋泵的前身。 “给我一个支点，我将移动地球”

阿基米德不仅是个理论家，也是个实践家，他一生热衷于将其科学发现应用于实践，从而把二者结合起来。在埃及，公元前一千五百年前左右，就有人用杠杆来抬起重物，不过人们不知道它的道理。阿基米德潜心研究了这个现象并发现了杠杆原理。

赫农王对阿基米德的理论一向持半信半疑的态度。他要求阿基米德将它们变成活生生的例子以使人信服。阿基米德说：“给我一个支点，我就能移动地球。”国王说：“这恐怕实现不了，你还是来帮我拖动海岸上的那条大船吧。”这条船是赫农王为埃及国王制造的，体积大，相当重，因为不能挪动，搁浅在海岸上已经很多天了。阿基米德满口答应下来。 阿基米德设计了一套复杂的杠杆滑轮系统安装在船上，将绳索的一端交到赫农王手上。赫农王轻轻拉动绳索，奇迹出现了，大船缓缓地挪动起来，最终下到海里。国王惊讶之余，十分佩服阿基米德，并派人贴出告示“今后，无论阿基米德说什么，都要相信他。”

金冠之谜

赫农王让金匠替他做了一顶纯金的王冠，做好后，国王疑心工匠在金冠中掺了银子，但这顶金冠确与当初交给金匠的纯金一样重，到底工匠有没有捣鬼呢？既想检验真假，又不能破坏王冠，这个问题不仅难倒了国王，也使诸大臣们面面相觑。后来，国王将它交给了阿基米德。阿基米德冥思苦想出很多方法，但都失败了。有一天，他去澡堂洗澡，他一边坐进澡盆里，一边看到水往外溢，同时感到身体被轻轻拖起。他突然恍然大悟，跳出澡盆，连衣服都顾不得穿就直向王宫奔去，一路大声很着“尤里卡”， “尤里卡”（Eureka，我知道了,我找到了）原来他想到，如果王冠放入水中后，排出的水量不等于同等重量的金子排出的水量，那肯定是掺了别的金属。这就是有名的浮力定律，既浸在液体中的物体受到向上的浮力，其大小等于物体所排出液体的重量。后来，该定律就被命名为阿基米德定律。

爱国者阿基米德

在阿基米德晚年时，罗马军队入侵叙拉古，阿基米德指导同胞们制造了很多攻击和防御的武器。当侵略军首领马塞勒塞率众攻城时，他设计的投石机把敌人打得哭爹喊娘。他制造的铁爪式起重机，能将敌船提起并倒转，抛至大海深处。传说他还率领叙拉古人民制作了一面大凹镜，将阳光聚焦在靠近的敌船上，使它们焚烧起来。罗马士兵在这频频的打击中已经心惊胆战，草木皆兵，一见到有绳索或木头从城里扔出，他们就惊呼“阿基米德来了”，随之抱头鼠窜。罗马军队被阻入城外达三年之久。最终，于公元前二一二年，罗马人趁叙拉古城防务稍有松懈，大举进攻闯入了城市。此时，阿基米德正在潜心研究一道深奥的数学题，一个罗马士兵闯入，用脚践踏他所画的图形，阿基米德愤怒地与之争论，残暴的士兵哪里肯听，只见他举刀一挥，一位璀璨的科学巨星就此陨落。

关于他的传闻及贡献：

据说他确立了力学的杠杆定律之后，曾发出豪言壮语：“给我一个立足点，我就可以移动这个地球！”叙拉古的亥厄洛王叫金匠造一顶纯金的皇冠，因怀疑里面掺有银子，便请阿基米德鉴定一下5彼?朐∨柘丛枋?水漫溢到盆外,于是悟得不同质料的物体，虽然重量相同，但因体积不同，排去的水也必不相等。根据这一道理，就可以判断皇冠是否掺假。阿基米德高兴得跳起来,赤身奔回家中，口中大呼：“尤里卡！尤里卡！”（希腊语意思是“我找到了”）他将这一流体静力学的基本原理，即物体在液体中减轻的重量,等于排去液体的重量,总结在他的名著《论浮体》中，后来以“阿基米德原理”著称于世。第二次布匿战争时期,罗马大军围攻叙拉古,阿基米德献出自己的一切聪明才智为祖国效劳。传说他用起重机抓起敌人的船只，摔得粉碎；发明奇妙的机器，射出大石、火球。还有一些书记载他用巨大的火镜反射日光去焚毁敌船,这大概是夸张的说法。总之,他曾竭尽心力，给敌人以沉重打击。最后叙拉古因粮食耗尽及奸细的出卖而陷落，阿基米德不幸死在罗马士兵之手。流传下来的阿基米德的著作,主要有下列几种。《论球与圆柱》，这是他的得意杰作，包括许多重大的成就。他从几个定义和公理出发，推出关于球与圆柱面积体积等50多个命题。《平面图形的平衡或其重心》，从几个基本假设出发，用严格的几何方法论证力学的原理，求出若干平面图形的重心。《数沙者》，设计一种可以表示任何大数目的方法，纠正有的人认为沙子是不可数的，即使可数也无法用算术符号表示的错误看法。《论浮体》，讨论物体的浮力，研究了旋转抛物体在流体中的稳定性。阿基米德还提出过一个“群牛问题”，含有八个未知数。最后归结为一个二次不定方程。其解的数字大得惊人，共有二十多万位!

阿基米德当时是否已解出来颇值得怀疑。除此以外，还有一篇非常重要的著作，是一封给埃拉托斯特尼的信，内容是探讨解决力学问题的方法。这是1906年丹麦语言学家J.L.海贝格在土耳其伊斯坦布尔发现的一卷羊皮纸手稿，原先写有希腊文，后来被擦去，重新写上宗教的文字。幸好原先的字迹没有擦干净，经过仔细辨认，证实是阿基米德的著作。其中有在别处看到的内容，也包括过去一直认为是遗失了的内容。后来以《阿基米德方法》为名刊行于世。它主要讲根据力学原理去发现问题的方法。他把一块面积或体积看成是有重量的东西，分成许多非常小的长条或薄片，然后用已知面积或体积去平衡这些“元素”，找到了重心和支点，所求的面积或体积就可以用杠杆定律计算出来。他把这种方法看作是严格证明前的一种试探性工作,得到结果以后,还要用归谬法去证明它。他用这种方法取得了大量辉煌的成果。阿基米德的方法已经具有近代积分论的思想。然而他没有说明这种“元素”是有限多还是无限多，也没有摆脱对几何的依赖, 更没有使用极限方法。尽管如此, 他的思想是具有划时代意义的，无愧为近代积分学的先驱。他还有许多其他的发明，没有一个古代的科学家，象阿基米德那样将熟练的计算技巧和严格证明融为一体，将抽象的理论和工程技术的具体应用紧密结合起来。

后来阿基米德成为兼数学家与力学家的伟大学者，并且享有"力学之父"的美称。其原因在于他通过大量实验发现了杠杆原理，又用几何演泽方法推出许多杠杆命题，给出严格的证明。其中就有著名的"阿基米德原理"，他在数学上也有着极为光辉灿烂的成就。尽管阿基米德流传至今的著作共只有十来部，但多数是几何著作，这对于推动数学的发展，起着决定性的作用。 《砂粒计算》，是专讲计算方法和计算理论的一本著作。阿基米德要计算充满宇宙大球体内的砂粒数量，他运用了很奇特的想象，建立了新的量级计数法，确定了新单位，提出了表示任何大数量的模式，这与对数运算是密切相关的。 《圆的度量》，利用圆的外切与内接96边形，求得圆周率π为：22／7 ＜π＜223／71 ，这是数学史上最早的，明确指出误差限度的π值。他还证明了圆面积等于以圆周长为底、半径为高的正三角形的面积；使用的是穷举法。 《球与圆柱》，熟练地运用穷竭法证明了球的表面积等于球大圆面积的四倍；球的体积是一个圆锥体积的四倍，这个圆锥的底等于球的大圆，高等于球的半径。阿基米德还指出，如果等边圆柱中有一个内切球，则圆柱的全面积和它的体积，分别为球表面积和体积的 。在这部著作中，他还提出了著名的"阿基米德公理"。 《抛物线求积法》，研究了曲线图形求积的问题，并用穷竭法建立了这样的结论："任何由直线和直角圆锥体的截面所包围的弓形（即抛物线），其面积都是其同底同高的三角形面积的三分之四。"他还用力学权重方法再次验证这个结论，使数学与力学成功地结合起来。 《论螺线》，是阿基米德对数学的出色贡献。他明确了螺线的定义，以及对螺线的面积的计算方法。在同一著作中，阿基米德还导出几何级数和算术级数求和的几何方法。 《平面的平衡》，是关于力学的最早的科学论著，讲的是确定平面图形和立体图形的重心问题。 《浮体》，是流体静力学的第一部专著，阿基米德把数学推理成功地运用于分析浮体的平衡上，并用数学公式表示浮体平衡的规律。 《论锥型体与球型体》，讲的是确定由抛物线和双曲线其轴旋转而成的锥型体体积，以及椭圆绕其长轴和短轴旋转而成的球型体体积。 丹麦数学史家海伯格，于1906年发现了阿基米德给厄拉托塞的信及阿基米德其它一些著作的传抄本。通过研究发现，这些信件和传抄本中，蕴含着微积分的思想，他所缺的是没有极限概念，但其思想实质却伸展到17世纪趋于成熟的无穷小分析领域里去，预告了微积分的诞生。 正因为他的杰出贡献，美国的E.T.贝尔在《数学人物》上是这样评价阿基米德的：任何一张开列有史以来三个最伟大的数学家的名单之中，必定会包括阿基米德，而另外两们通常是牛顿和高斯。不过以他们的宏伟业绩和所处的时代背景来比较，或拿他们影响当代和后世的深邃久远来比较，还应首推阿基米德。

欧几里德(Euclid of Alexandria)，希腊数学家。约生于公元前330年，约殁于公元前260年。

欧几里德是古代希腊最负盛名、最有影响的数学家之一，他是亚历山大里亚学派的成员。欧几里德写过一本书，书名为《几何原本》(Elements)共有13卷。这一著作对于几何学、数学和科学的未来发展，对于西方人的整个思维方法都有很大的影响。《几何原本》的主要对象是几何学，但它还处理了数论、无理数理论等其他课题。欧几里德使用了公理化的方法。公理(axioms)就是确定的、不需证明的基本命题，一切定理都由此演绎而出。在这种演绎推理中，每个证明必须以公理为前提，或者以被证明了的定理为前提。这一方法后来成了建立任何知识体系的典范，在差不多2000年间，被奉为必须遵守的严密思维的范例。《几何原本》是古希腊数学发展的顶峰。

欧几里得 (活动于约前300-)

古希腊数学家。以其所著的《几何原本》(简称《原本》）闻名于世。关于他的生平，现在知道的很少。早年大概就学于雅典,深知柏拉图的学说。公元前300年左右，在托勒密王（公元前364～前283）的邀请下，来到亚历山大，长期在那里工作。他是一位温良敦厚的教育家，对有志数学之士，总是循循善诱。但反对不肯刻苦钻研、投机取巧的作风，也反对狭隘实用观点。据普罗克洛斯（约410～485）记载，托勒密王曾经问欧几里得，除了他的《几何原本》之外，还有没有其他学习几何的捷径。欧几里得回答说： “ 在几何里，没有专为国王铺设的大道。 ” 这句话后来成为传诵千古的学习箴言。斯托贝乌斯（约 500）记述了另一则故事,说一个学生才开始学第一个命题，就问欧几里得学了几何学之后将得到些什么。欧几里得说：给他三个钱币，因为他想在学习中获取实利。

欧几里得将公元前 7世纪以来希腊几何积累起来的丰富成果整理在严密的逻辑系统之中，使几何学成为一门独立的、演绎的科学。除了《几何原本》之外，他还有不少著作，可惜大都失传。《已知数》是除《原本》之外惟一保存下来的他的希腊文纯粹几何著作，体例和《原本》前6卷相近，包括94个命题,指出若图形中某些元素已知,则另外一些元素也可以确定。《图形的分割》现存拉丁文本与阿拉伯文本，论述用直线将已知图形分为相等的部分或成比例的部分。《光学》是早期几何光学著作之一，研究透视问题，叙述光的入射角等于反射角，认为视觉是眼睛发出光线到达物体的结果。还有一些著作未能确定是否属于欧几里得，而且已经散失。

欧几里德的《几何原本》中收录了23个定义，5个公理，5个公设，并以此推导出48个命题（第一卷）。