論證幾何的先驅

泰勒斯(Thales of Miletus，約公元前625～前547)，是最早留名于世的數學家和天文學家.

泰勒斯在數學方面劃時代的貢獻是引入了命題證明的思想.命題的證明，就是借助一些公理或真實性已經確定的命題來論證某些新命題的真實性的思維過程.命題的證明標志著人們對客觀事物的認識從經驗上升到理論，這在數學史上是一次不尋常的飛躍.它的重要意義有:

1.保證命題的正確性，使理論立于不敗之地.

2.揭示各定理之間內在的聯系，從而使數學構成一個較為嚴密的體系，為進一步發展打好基礎.

3.使數學命題具有充分的說服力，令人深信不疑.

證明命題是希臘幾何的基本精神，而泰勒斯則是希臘論證幾何學的先驅.

據史書記載，泰勒斯發現的幾何命題有不少，如:

1.圓的直徑將圓平分.

2.等腰三角形兩底角相等.

3.兩直線相交，對頂角相等.

4.有兩角及其夾邊分別相等的兩三角形全等.

5.半圓內的圓周角是直角.

顯然，這些命題對于我們初中生來講并不生疏，在今天的數學課本內都能找到.上述這些命題看起來并不復雜，有些只憑直觀就能判斷，然而泰勒斯不滿足于“知其然”，還要窮究“所以然”.許多歷史學家都公認他證明了這些命題.

關于泰勒斯有許多傳說，這里介紹三則.

泰勒斯早年曾經經商，用騾子運鹽販賣.一次，一頭騾子滑倒在溪水中，一部分鹽溶解到水中，騾子頓覺得背上負擔輕了許多.它嘗到了甜頭，于是此后每過這條小溪，這頭騾子都有意地倒在……