泰勒斯定理

泰勒斯定理是由古希臘哲學家泰勒斯最先證明，定理的現代形式如下：若A、B、C是圓形上的三點，且AC是直徑，則∠ABC必然為直角。反之，也成立，即，如果圓周角是直角，則其所對的弦為直徑。

此外，泰勒斯在數學方面劃時代的貢獻是引入了命題證明的思想，它標誌著人們對客觀事物的認識從經驗上升到理論，這在數學史上是一次不尋常的飛躍。在數學中引入邏輯證明的重要意義在於：保證了命題的正確性；揭示各定理之間的內在聯繫，使數學構成一個嚴密的體系，為進一步發展打下基礎；使數學命題具有充分的說服力，令人深信不疑。