高觀點下的初等幾何問題的研究

高觀點下的初等幾何問題的研究數(shù)學系 高秀娟一 公理法的幾何學一般說來，數(shù)學的公理法就是選取若干個不加定義的原始概念（基本概念）和無條件承認的對基本概念加以制約的若干規(guī)定（公理）作為出發(fā)點，再以嚴格的邏輯推演使某一數(shù)學分支成為演繹系統(tǒng)的一種方法。1.歐氏幾何以歐幾里得（古希臘最偉大的一位幾何學家，公元前330-275年）平行公理為基礎的幾何學，稱為歐幾里得幾何，簡稱歐氏幾何。我國明代徐光啟翻譯了幾何原本，并將Geometry一詞譯為幾何學。幾何原本的基本結(jié)構(gòu)是定義，公設和公理的系統(tǒng)，其中的五條公設如下：1.從每個點到每個別的點必定可以引直線；2.每條直線都可以無限延長；3.以任意點為中心可以用任意半徑作圓周；4.所有的直角都相等；5.若一條直線與另外兩條直線相交，當有一側(cè)的兩個同側(cè)內(nèi)角之和小于兩直角時，則這兩條直線就在這側(cè)相交。歐幾里得到幾何原本是歷史上第一部幾何學著作，但是從現(xiàn)代教學觀點來看，它的幾何邏輯結(jié)構(gòu)在嚴謹方面還存在著許多缺陷。所以，在歐幾里德以后長達兩千年以上的時間里，數(shù)學家們都注意到并且試圖消除幾何原本中在邏輯上存在的缺陷。歐幾里得幾何原本中的第五公設的試證，引起了人們的極大關注。原因是前四個公設含義簡明，而第五個敘述比較復雜，而且在幾何原本里使用較晚，這樣就引起人們對它的懷疑。恰恰是在對第五公設的漫長的推證過程中，推導出了一系列等價命題，并且最終導致了非歐幾里德幾何學的發(fā)現(xiàn)和現(xiàn)代幾何公里法定建立。在重新建立幾何學基礎結(jié)構(gòu)的工作中，最有成就的是希爾伯特的著作幾何基礎，他在著作里提出了歐氏幾何完備的公理系統(tǒng)，從這個系統(tǒng)可以用邏輯推導出歐氏幾何的全部內(nèi)容。2.非歐幾何在證明第五公設的漫長努力過程中，問題其實并未得到根本解決。于是，俄國數(shù)學家羅巴切夫斯基（1792-1856）在試證過程中，否定了第五公設的等價命題“在一平面上，通過已知直線外一點，最多能作一條直線與已知直線不相交?！?，引入新的平行公理：“在一平面上，通過已知直線外的一個已知點，至少有兩條直線與已知直線不相交”，并保留了歐幾里德的除了公設五以外的所有公理及公設，構(gòu)成了一個新的公理系統(tǒng)。在這個新的系統(tǒng)中，他推證了一連串的命題，不但沒有得出任何矛盾，恰恰相反，得到的卻是一個完善和諧的幾何體系，羅巴切夫斯基認為，這個新的體系所建立的幾何表明了一種新的結(jié)合學的存在。1826年，羅巴切夫斯基宣讀了他的新幾何學的報告，宣告了非歐幾何學的誕生。羅巴切夫斯基建立的非歐幾何當時只得到高斯和約翰.波里埃等少數(shù)人的理解。在他去世后，意大利數(shù)學家貝爾特拉米給出了羅氏幾何的第一個模型-具有負常曲率的偽球面，使得羅氏幾何有了現(xiàn)實的意義。從此羅氏幾何才被人們卻認為也是現(xiàn)實空間的反映。羅氏幾何學的誕生表明，歐幾里德的幾何公理不是牢不可破的教條，采用不同的公理做基礎，可以建立不同他的幾何學。所以歐幾里德幾何不再是幾何學的同義語，歐氏幾何只是幾何學中的一種。黎曼（1826-1866）在1854年提出了另一種非歐幾何學，在這種幾何學里，同一平面內(nèi)的二直線必相交，三角形內(nèi)角和大于二直角。二克萊因的幾何學觀點幾何學的群論觀點，是由德國數(shù)學家FKlein于1872年在埃爾朗根大學任教授時所作的題為“近代幾何學研究的比較評述”的演說中首先提出來的，歷史上稱為埃爾朗根綱領（Erlangen Program）。這種變換群的觀點對近代幾何學的發(fā)展產(chǎn)生了深遠的影響，支配了從他以來近半個世紀的幾何學的研究。若給定一個集合以及此集合上的一個變換群，則空間內(nèi)的圖形對于此群的不變性質(zhì)的命題系統(tǒng)的研究就稱為這空間的幾何學，而空間的維數(shù)就稱為幾何學的維數(shù)，且稱此群為該幾何學所對應的變換群。有一個變換群就相應的有一種研究在此群作用下不變性質(zhì)理論的幾何學。歐氏幾何是研究等價類里一切圖形所共有的性質(zhì)，圖形關于正交變換群下的不變性質(zhì)所構(gòu)成的命題系統(tǒng)就是歐氏幾何學。同理，在仿射變換群下圖形的不變性質(zhì)所構(gòu)成的命題系統(tǒng)就是仿射幾何學；射影變換群下的圖形不變性質(zhì)構(gòu)成的命題系統(tǒng)就是射影幾何學。設G是集合S的一個變換群，G是G的子群，G與G所對應的幾何分別為A與A。由于G G，所以對于G不變的性質(zhì)對于G一定也不變，因此A中的定理一定也是A中的定理；但是反過來，卻不一定成立。，我們稱A為A的一個子幾何。所以，越大變換群所對應的幾何內(nèi)容越少，相對較小的子群所對應的子幾何內(nèi)容卻更豐富。研究射影變換群下圖形的不變性質(zhì)和不變量的幾何分支就是射影幾何。因為射影變換保持同素性、結(jié)合性和交比不變，因此在射影變換下，一維基本形是不變圖形，點列變換成點列，線束變換成線束，另外，二次曲線在射影變換下仍為二次曲線，所以二次曲線也是射影幾何討論的對象。研究仿射變換群下圖形的不變性質(zhì)和不變量的幾何分支就是仿射幾何。仿射變換保持平行性和單比不變。仿射變換群是由保持無窮遠直線不變的射影變換構(gòu)成的，因此它是射影群的子群，所以仿射幾何是射影幾何的子幾何。顯然，射影性質(zhì)都是仿射變換下的不變性質(zhì)。 研究圖形關于正交變換群下圖形的不變性質(zhì)和不變量的幾何分支就是歐氏幾何。歐氏幾何是仿射幾何的子幾何，也是射影幾何的子幾何所以射影性質(zhì)、仿射性質(zhì)都是歐氏幾何的不變性質(zhì)。此外，在歐氏幾何中還可以研究長度、角度等度量性質(zhì)。上述三種變換群的大小關系：正交變換群仿射變換群射影變換群但從它們所對應的幾何的研究內(nèi)容的豐富性來看則有：歐氏幾何仿射幾何射影幾何注：下表為以射影幾何為基礎的克萊因幾何學分類中一些主要幾何間的關系：射影幾何仿射幾何單重橢圓幾何雙重橢圓幾何（黎曼幾何）雙曲幾何（羅氏幾何）拋物幾何（歐氏幾何）其他仿射幾何三射影平面的數(shù)學模型在歐氏直線上添加了一個無窮遠點后所得到的直線稱為仿射直線。歐氏平面上添加一條無窮遠直線即得到仿射平面。設有以O為球心的球面，過球心O作平面a交球面于大圓C，我們規(guī)定：半球面S為仿射平面，大圓C上的點為無窮遠點，且通過O的大圓C的每一直徑的兩個端點當作一個無窮遠點，半球面上的其它點為非無窮遠點。大圓C為無窮遠直線。半球面上的大圓弧為普通直線，相交于C上同一點的半大圓弧就是平行直線。如果把仿射直線上的非無窮遠點與無窮遠點等同看待而不加區(qū)分，那么這條直線就叫做射影直線。射影直線是一條封閉直線，通常用圓作為射影直線的模型。在仿射平面上，如果對于普通元素和無窮遠元素不加區(qū)分，即可得到射影平面（二維射影空間）。射影平面也是封閉的。因為射影直線是封閉的，一個點不能把它分成兩部分，要兩個不同的點才能把射影直線分成兩段。射影直線上的三個點，不能排成唯一的順序。同樣，射影平面也與歐氏平面很不相同。在歐氏平面上一條直線可以把平面分成兩個區(qū)域。在射影平面上，一條直線并不能把該平面分成兩個區(qū)域。因為連接兩個點的線段有兩個，其中只有一個線段與另一直線相交。在歐氏平面上，兩條相交直線可以把平面分成四個區(qū)域。而在射影平面上，由于直線是封閉的，而二直線有且只有一個交點，所以兩直線只能把射影平面分成兩個區(qū)域。在射影平面上，兩個不同的點決定一條直線，兩條不同的直線有且只有一個交點。四解決初等問題問題的幾何思想1.變換思想：利用正交變換、仿射變換及射影變換下不變性質(zhì)和不變量解決幾何問題2.對偶原則：射影平面的特性3.二次曲線理論：仿射變換意義下的二次曲線和歐式幾何中二次曲線分類的一致性4.調(diào)和性理論：完全四點形與完全四線形的射影性質(zhì)五 一個問題的高觀點證明設ABC，L，M，N三點分別為邊BC，CA，AB的中點，求證三條中線AL，BM，CN交于一點。ACBLMABCLMNRQPOABCLMNPO圖（1） 圖（2） 圖(3)1.向量方法的證明解析幾何是以向量代數(shù)為工具，利用向量的基本特性和基本運算性質(zhì)來解決幾何問題。運用向量代數(shù)證明幾何問題的方法稱為向量證明法。向量也稱向量，它是既有大小又有方向的量.因此兩個向量相等就意味著方向相同并且模長相等，如果這兩個向量有共同的始點，那么它們的終點一定重合。利用這一點，往往可以證明共點問題。下面給出向量方法的證明：證明 如圖（1），設AL與BM交于點G，并設，為ABC外任一點，則而，帶入（1）和（2）兩個式子，則有比較（3）和（4），由于關于的表示系數(shù)唯一，就有所以若設AL與CN交于點，則同理可證因此與重合，從而得三中線共點于G。證畢。2.利用完全四點形調(diào)和性的證明在射影平面上，給定無三點共線的四個點，以及連結(jié)任意兩點的六條直線所組成的圖形叫完全四點形。這四個點叫頂點，六條直線叫邊。沒有公共頂點的兩邊叫對邊,三對對邊的交點稱為對邊點。對于完全四點形，在每條邊上都存在調(diào)和共軛點列（也就是它們的交比值為）。其中兩個點是頂點，另兩個點里，一個是對邊點，另一個是另外兩個對邊點的連線和這邊的交點。另外,若共線的四個點調(diào)和共軛，即交比值為1時，如果一個點的第四調(diào)和點為無窮遠點，則該點就是另兩個點所連線段的中點。下面就給出運用完全四點形調(diào)和性的證明：證明如圖（2），設BM，CN交于點O，連AO交BC于。因為M，N是AC，AB的中點，設MN與BC交于點，那么在完全四點形MCBN中，在BC邊上存在調(diào)和點列，即因為點的第四調(diào)和點為無窮遠點，所以為線段BC的中點，因此從而得，也即ABC 的三條中線BM、CN、AL共點于O。證畢。3.利用德薩格定理的逆定理的證明德薩格定理是射影平面上的重要定理。不但德薩格定理成立,德薩格定理的逆定理也成立. 利用它們可以證明初等幾何里的共點或共線問題。現(xiàn)將兩個定理的內(nèi)容敘述如下:德薩格定理:兩個三點形對應