古希腊数学古希腊数学古典时期古典时期(公元前公元前600年到公元前年到公元前300年年)（1）泰勒斯（约前640前546年）将埃及的实用几何带入希腊，开始证明几何命题。（2）毕达哥拉斯（约前585前500年）学派对图形进行广泛的研究。开头研究的一类问题叫面积应用问题。几何上有三个著名的作图问题：作一正方形使其与给定的圆面积相等；给定正方体一边，求作另一正方体之边，使后者体积两倍于前者体积；用尺规三等分任意角。有好些数学结果是为解决这三个问题而得出的副产品。（3）希波克拉底（前5世纪下半叶）已研究画圆为方及立方倍积问题。据说最早把间接证明引用到数学里的是他。他所著的几何书叫几何原本，已经失传。（4）德谟克利特（约前460前370年）发现棱锥和圆锥的体积分别等于同底等高的棱柱和圆柱体积的三分之一（但是证明是由欧道克斯作出的）。他的几何著作很可能是欧几里德几何原本问世以前的重要著作。（5）亚里士多德（约前384前322年）创造了演绎逻辑，虽然他的哲学对数学的直接影响很少，但对古希腊的论证几何等数学的发展起到明显的促进作用。他给“定义”、“定理”、“公设”等以明确的解释。（6）欧几里德（前30
