数学史上第Ⅴ公设的循环论证和中学几何中的一个漏洞

中学几何的源头在哪里?我们不妨作一番追溯。欧几里德(Eulclid,约公元前330—275)用一条逻辑锁链将前人积累的几何成果整理成了一部巨著——《几何原本》(以下简称《原本》),它着重概念与推理,成果以定理形式表示,其思维方式偏重于存在性、唯一性以及非构造性的纯逻辑思维。