古希臘歐幾里得的《幾何原本》,是一本科學(xué)史上極具影響力的巨著。它從一些公設(shè)、公理和概念出發(fā),以形式邏輯的方法,建立了人類歷史上第一座宏偉的演繹推理大廈歐氏幾何學(xué)。但《原本》篇幅較大、不易理解,本書對《原本》進行解讀,選擇了其中一些定理(以三角形內(nèi)角和定理和畢達哥拉斯定理為重點),也介紹了尺規(guī)作圖,形式邏輯以及《原本》對其他著作(比如牛頓的《原理》)的影響、近現(xiàn)代數(shù)學(xué)的發(fā)展等內(nèi)容。此外還介紹了《幾何原本》被引入中國的歷史。
本書對《幾何原本》做了選擇性的解讀,附上作者自己的觀點、安排和注釋。除此之外,還談及歷史(包括翻譯成中文的過程)、對近現(xiàn)代數(shù)學(xué)、物理學(xué)的影響,很好地交代了數(shù)學(xué)重要進展的來龍去脈,對于結(jié)合課堂學(xué)習(xí),可以起到良師益友的參考作用。本書雖然篇幅不大,但內(nèi)容生動、豐富,本書可以成為礪智石叢書一本具有特色的新品。
約在公元前300年成書的《幾何原本》是一部劃時代的著作,它集古希臘數(shù)學(xué)的成果和精神于一書。在《幾何原本》里,歐幾里得建立了人類歷史上第一座宏偉的演繹推理大廈,從一些最基本的定義、5個公設(shè)和5個公理出發(fā),借助于形式邏輯的方法,推演出了400多個命題,將人類的理性之美展現(xiàn)到了極致。牛頓,這位17世紀的科學(xué)巨匠曾如此評價《幾何原本》:能夠從如此少的原理中取得如此多的成就,這是幾何學(xué)的榮耀。200多年后,他的同胞、英國大哲學(xué)家和數(shù)學(xué)家羅素亦有如下的贊語:歐幾里得的《幾何原本》毫無疑問是古往今來最偉大的著作之一,是(古)希臘理智最完美的紀念碑。
在著名數(shù)學(xué)史家克萊因(M.Kline)看來,《幾何原本》以及歐氏幾何學(xué)的創(chuàng)立,對人類文明的貢獻不僅僅在于產(chǎn)生了一些有用的、美妙的真理,更重要的是,它孕育出了一種理性精神。2000多年來,不知有多少人通過閱讀這部流傳千古的數(shù)學(xué)經(jīng)典而進入科學(xué)的殿堂,這其中不乏一些蜚聲中外的學(xué)者,諸如伽利略、笛卡兒、牛頓等,他們都曾從《幾何原本》中汲取豐富的營養(yǎng),從而創(chuàng)造出許多令世人驚嘆的偉大成就。
這部小書緣自編者這些年在華東師范大學(xué)所上的一門本科生通識選修課幾何原本。課程旨在通過有選擇地閱讀和講授《幾何原本》中的一些知識和命題,引導(dǎo)當代大學(xué)生了解數(shù)學(xué)原始創(chuàng)新的過程,懂得歐氏幾何學(xué)命題演繹證明的力量,從中獲得創(chuàng)新意識的培育和思維訓(xùn)練的提升;欣賞《幾何原本》與其他知識領(lǐng)域的聯(lián)系,以及懂得其作為人類學(xué)科模板的重要價值,進而激發(fā)他們的向?qū)W之心和創(chuàng)造熱情,成為卓越的人才。由此本書的內(nèi)容規(guī)劃如下:
在第一章里,簡要介紹《幾何原本》一書的由來和它的內(nèi)容安排,以及這部經(jīng)典之作在中國的翻譯過程和傳播之旅。第二章聚焦于三角形內(nèi)角和定理的邏輯演繹證明,比較詳細地探討了《幾何原本》第I卷前32個命題中一些重要命題的證明以及相關(guān)知識和思想方法。第三章的主題是形式邏輯和畢達哥拉斯定理(即勾股定理),在結(jié)合邏輯思維導(dǎo)圖呈現(xiàn)這一定理的演繹證明的同時,亦談及畢達哥拉斯定理的中古證明等,以期待引導(dǎo)讀者進一步思考東西方兩種證明背后的數(shù)學(xué)文化特征之不同。第四章關(guān)注的內(nèi)容是形式邏輯與尺規(guī)作圖。其內(nèi)容主要涉及《幾何原本》第Ⅱ卷至第IV卷中的一些內(nèi)容尺規(guī)作圖初步,圓與正多邊形以及簡單多邊形的尺規(guī)作圖等,希望讀者能重在對概念與概念、命題與命題之間關(guān)系的把握,進而來構(gòu)建屬于自己的知識體系。第五章以牛頓的《自然哲學(xué)之數(shù)學(xué)原理》為例,通過有重點地介紹此書中的相關(guān)內(nèi)容以及對全書的結(jié)構(gòu)框架的了解,讓讀者懂得《幾何原本》對其方法論上的影響,包括模板之用和它的重要價值。第六章的主題是現(xiàn)代數(shù)學(xué)的新發(fā)展。主要通過如下三方面的內(nèi)容比較具體地談?wù)劇稁缀卧尽穼ΜF(xiàn)代數(shù)學(xué)的影響力:(1)非歐幾何的創(chuàng)立及其發(fā)展;(2)由一些經(jīng)典的尺規(guī)作圖問題談起;(3)多面體的歐拉公式。通
過理解和欣賞《幾何原本》對現(xiàn)代數(shù)學(xué)的這諸多影響力,可以讓當代大學(xué)生品讀到邏輯思維和創(chuàng)造性思維的力量之所在。
本書的形成有賴于這幾年間諸多修讀幾何原本課程的同學(xué)們的熱情參與,特別是在寫作過程中,周子琦、楊春玲等同學(xué)幫助畫了書中的邏輯思維導(dǎo)圖,在此致以特別的感謝。感謝邱瑞鋒教授審讀了全書,并提出了不少有益的建議。還要感謝上?茖W(xué)技術(shù)出版社田廷彥老師的辛勤編輯工作,此書得以與讀者朋友們?nèi)缙谝娒妗?br />關(guān)于此書的形成和出版,還要感謝華東師范大學(xué)精品教材建設(shè)專項基金資助項目等的資助和支持。謝謝!
要寫好一本相關(guān)《幾何原本》的教材絕非易事,錯漏不當之處更是難免,請讀者朋友們多提寶貴意見、建議和批評。謝謝!
編 者
2024年9月20日
于華東師范大學(xué)閔行校區(qū)數(shù)學(xué)館
劉攀,華東師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院副教授,曾獲德國馬普研究所(萊比錫)博士學(xué)位,主要研究方向為幾何學(xué)、偏微分方程以及數(shù)學(xué)教育。
周林峰,華東師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院副教授,博士生導(dǎo)師,主要研究方向為微分幾何學(xué)。
序言I
第一章 《幾何原本》簡介及其在中國的引入001
《幾何原本》產(chǎn)生的歷史背景001
《幾何原本》簡介007
從徐光啟到李善蘭《幾何原本》在中國018
第二章 形式邏輯與三角形內(nèi)角和定理031
數(shù)學(xué)證明和公理化方法031
三角形內(nèi)角和定理的演繹證明038
第三章 形式邏輯與畢達哥拉斯定理069
畢達哥拉斯定理的演繹證明 070
勾股定理及其中古證明 084
畢達哥拉斯定理證明賞析 088
第四章 形式邏輯與尺規(guī)作圖095
圓內(nèi)接正三角形的尺規(guī)作圖095
圓內(nèi)接正方形的尺規(guī)作圖105
圓內(nèi)接正五邊形的尺規(guī)作圖107
第五章《幾何原本》其他學(xué)科的模板127
《原理》的誕生128
《原理》的體系、結(jié)構(gòu)和特點132
引理篇137
一些命題的演繹證明140
兩個命題的現(xiàn)代證明145
第六章 現(xiàn)代數(shù)學(xué)的新發(fā)展151
新幾何,新世界151
從一些經(jīng)典的尺規(guī)作圖問題談起 162
多面體的歐拉公式172
參考文獻177