<p class="ql-block"> 古希腊数学在几何方面曾取得了令人瞩目的成就,尤其是尺规作图,其具备极高的思维价值和文化价值。</p><p class="ql-block"> <b>尺规作图</b>,即在只有<b>圆规</b>和<b>直尺</b>(“尺规”是按习惯说法译的,这里的“尺” 是<b>没有刻度</b>的,实际是“<b>直边</b>”)的情况下,通过<b>有限次</b>的使用,来解决不同的平面几何作图问题。</p><p class="ql-block"> 古希腊人“爱智”,几何图形繁多、复杂,而工具却极为有限(仅两样)并被严格限制,让尺规作图变得艰难但又充满趣味,这激励着人们在思维的高度上不断跃进。直到现在,不少学者和教育家仍将此看作是训练儿童思维的最佳材料。</p><p class="ql-block"><br></p><ul><li><span style="font-size:18px; color:rgb(25, 25, 25);">古希腊人对数与形的认识</span></li></ul><p class="ql-block"><u>1、毕达哥拉斯的“万物皆数” </u></p><p class="ql-block"> 早期人类因<b>交换计数、土地丈量</b>等<b>实际需求</b>,开始了对数学的认识,由于在生活中频繁使用,算术和几何又都显得很直观、自然,人们未将二者进行区分,因此,当时数学的活动还不具备科学的性质。</p><p class="ql-block"> 直到古希腊时代才进入新阶段,受希腊民主思辨氛围的影响,<b>毕达哥拉斯</b>首先提出:“数学上的东西,如数和图形是思维的抽象,同实际事物与实际形象截然不同。” 并由此开始思考究竟应该以算术还是以几何为基础来研究数学,通过对天体运行、音乐和谐及前人知识的考察,毕达哥拉斯最终提出了<b>“万物皆数”</b>的思想,并将此看成宇宙形成的原则。正当毕达哥拉斯及其门徒沉浸在发现这一信念的欢愉之中时,他的弟子<b>希帕索斯</b>对不可公度量(即无理数)的发现否定了毕达哥拉斯试图用整数来窥探宇宙的计划,后人将这一事件称为<b>毕达哥拉斯悖论或第一次数学危机</b>。</p> <p class="ql-block"><u>2、欧多克斯与“不可公度比” </u></p><p class="ql-block"> 这一危机使古希腊人深刻地认识到两点。</p><p class="ql-block"> 第一,<b>经验是不可靠的,</b>“万物皆数”正是经验的产物,这一教训提醒古希腊人寻求更为有效地获得知识的方法。</p><p class="ql-block"> 第二,<b>算术是不可靠的</b>,几何才是宇宙的真知,自此几何自然地成为他们研究的基础。欧多克斯引入了“量”,如线段、角、面积、体积、时间等能够联系变动(不是数)的概念,他还定义了两个量的比与比例,并由此将可公度比(有理数)和不可公度比(无理数)都包括在内。</p><p class="ql-block"> 从此,数和几何截然分开了。因为只有几何才能处理不可公度比,几何作图也占据了越来越重要的地位,人们认为“可作出”的量才是“存在” 的。</p><p class="ql-block"> 亚里士多德指出一个定义只能告诉人们一件事物是什么,并不说明它存在。比如人们可以定义一个图形——圆方——既是圆的又是方的,但它并不存在。</p><p class="ql-block"> 采取用以证明存在的方法就是<b>构造</b>,古希腊人在几何上花费大量的精力,尤其是几何图形的构造问题,几何学在希腊得到了极大的推进。 </p><p class="ql-block"><br></p><p class="ql-block"><u>3、《几何原本》与尺规作图 </u></p><p class="ql-block"> 最早提出几何作图要有尺规限制的是古希腊的哲学家<b>安那萨哥拉斯</b>,他因政治上的纠葛被关进监狱,被处死刑。在监狱里,他思考<b>化圆为方</b>和其他有关问题,用来打发无所事事的生活。没有规范的作图工具,只能用<b>一根绳子</b>画圆,用随便找来的<b>破木棍、竹片</b>(没有刻度)之类作直尺。另外,对他来说,时间不多了,因此他自然想到要<b>有限次</b>地使用尺规解决问题。</p><p class="ql-block"> 后来,以<b>公设形式</b>明确这个规定的是<b>欧几里得,</b>他在《<b>几何原本</b>》中对作图作了三条<b>公设</b>。</p><p class="ql-block"><b>公设1:从任意点到另一点可以引直线。</b></p><p class="ql-block"><b>公设2:每条直线都可以无限延长。</b></p><p class="ql-block"><b>公设3:以任意点为圆心,可以用任意半径作圆。</b></p><p class="ql-block"><b>【史宁中:直尺</b>可以画直线;<b>圆规</b>可以确定长度,可以得到两个确定长度线段的交点。】</p> <p class="ql-block"><br></p><p class="ql-block"><u><span class="ql-cursor"></span>4、关于数学本源的争辩 </u></p><p class="ql-block"><b> 算术与几何</b>究竟谁才是数学的<b>本源?</b></p><p class="ql-block"> 18 世纪,<b>康德</b>在其《<b>纯粹理性批判</b>》中就“ 纯粹数学何以可能?” 给出解释:<b>几何</b>是关于空间的知识,<b>算术</b>是关于时间的知识,由于空间与时间都具有先验性和直观性,因此几何命题和算术命题都是先天综合判断(即绝对的知识)。这是自人类拥有智慧以来一直秉承的宇宙本体观的体现,不可公度量的发现使希腊人被迫放弃了整数至上论,而投身几何的怀抱,这一转变使他们开始直面认识论问题,这对后续哲学的发展起到了重要的奠基作用。</p><p class="ql-block"> 希腊人开始逐渐抛弃<b>直观经验</b>,转而求助<b>演绎逻辑</b>,<b>M·克莱因</b>对此评价说:“ 希腊人对数学的最大贡献是坚持一切数学结果必须根据明白规定的公理演绎法推出,证明在数学中所处的地位改变了。”</p><p class="ql-block"> 正是对<b>演绎逻辑</b>的单纯依赖,才使得千百年来数学命题始终立于不败之地,正是有数学作为坚强的后盾,人们才敢于一次次地追问和探寻真理的源泉。正如<b>柏拉图</b>在《共和国》第七篇所说:“ 几何会把灵魂引向真理,产生哲学精神。”</p> <p class="ql-block"><br></p><p class="ql-block"><u>5、作图工具的限制 </u></p><p class="ql-block"> 古希腊学者将作图工具限制于<b>直尺</b>和<b>圆规</b>,是出于对数学<b>美</b>的追求:</p><p class="ql-block">1⃣️柏拉图认为直线和圆是<b>最简洁</b>、<b>最清楚</b>的图形,只有直线、圆,以及由它们得出的图形才是最清楚的;</p><p class="ql-block">2⃣️直线和圆的对称性反映了部分与部分之间的统一性,而将这种统一性推而广之,便可探寻到整个宇宙的奥秘。</p><p class="ql-block"><br></p>