張景中 彭翕成

(1.華中師范大學(xué)國(guó)家數(shù)字化學(xué)習(xí)工程技術(shù)研究中心 430079； 2.廣州大學(xué)計(jì)算科技研究院 510006)

1 爭(zhēng)論從來(lái)都不斷

初等幾何在中小學(xué)數(shù)學(xué)教學(xué)中有著比較重要的地位.但如何處理這一內(nèi)容，則存在不同看法.這些觀點(diǎn)對(duì)于我們進(jìn)一步認(rèn)識(shí)初等幾何，有一定的啟發(fā)意義.

吳文俊先生認(rèn)為[1]，“中小學(xué)數(shù)學(xué)教育的現(xiàn)代化是指機(jī)械化，而歐幾里得體系排除了數(shù)量關(guān)系，純粹在形式間經(jīng)過(guò)公理、定理來(lái)進(jìn)行邏輯推理，或者把數(shù)量關(guān)系歸之于空間形式，這是非機(jī)械化的.中學(xué)應(yīng)該趕快離開(kāi)歐幾里得，歐氏幾何讓位于解析幾何.”吳先生的這一觀點(diǎn)獲得不少支持.因?yàn)闅W氏幾何的主要工具是全等、相似三角形，構(gòu)造全等、相似三角形則常常需要費(fèi)盡心思構(gòu)造千變?nèi)f化的輔助線，而花大力氣掌握各種輔助線的技巧，對(duì)將來(lái)進(jìn)一步的數(shù)學(xué)學(xué)習(xí)好像并沒(méi)有太大的幫助.解析幾何則使得數(shù)形結(jié)合更加緊密,用代數(shù)方法處理幾何問(wèn)題,思路清晰,有章可循,可操作性強(qiáng).

王申懷先生則認(rèn)為[2]，平面幾何與解析幾何的最大區(qū)別在于對(duì)幾何圖形研究所采取的方法不同，這兩種方法可以互相補(bǔ)充，互相協(xié)調(diào)，它們對(duì)學(xué)生的數(shù)學(xué)思想方法、數(shù)學(xué)思維的訓(xùn)練作用并非完全相同.因此歐氏幾何讓位于解析幾何的行動(dòng)要慎重考慮.

當(dāng)然還有其他的一些處理方式.譬如我們?cè)岢雒娣e法體系[3]，這一體系被評(píng)論[4]為“有助于解決幾何中一題一證的難點(diǎn)，但由于該體系的基礎(chǔ)和表述方式與現(xiàn)有教材存在差異，影響了普及.目前更多的是為初等數(shù)學(xué)研究者，特別是數(shù)學(xué)競(jìng)賽研究者所掌握”.還有觀點(diǎn)認(rèn)為幾何主要研究不變量，應(yīng)以變換思想來(lái)處理，但也有人表示質(zhì)疑[5]，認(rèn)為在中學(xué)不宜過(guò)多強(qiáng)調(diào)幾何變換.

如果我們把目光放得更遠(yuǎn)一點(diǎn)，就會(huì)發(fā)現(xiàn)類似的爭(zhēng)論早已有之.解析幾何創(chuàng)立之后，支持者眾，但也有不同看法，認(rèn)為解析幾何雖在某些方面勝于歐氏幾何，但有時(shí)計(jì)算繁瑣,顯得笨拙，且大量的計(jì)算都沒(méi)有明顯的幾何意義，希望尋求能夠更直接處理幾何問(wèn)題的代數(shù)方法.

萊布尼茨曾提出一個(gè)問(wèn)題[6]：能否直接對(duì)幾何對(duì)象作計(jì)算？他希望通過(guò)固定的法則去建立一個(gè)方便計(jì)算或操作的符號(hào)體系,并由此演繹出用符號(hào)表達(dá)的事物的正確命題.他認(rèn)為理想中的幾何應(yīng)該同時(shí)具有分析和綜合的特點(diǎn),而不像歐幾里得幾何與笛卡爾幾何那樣分別只具有綜合的與分析的特點(diǎn).他希望有一種幾何計(jì)算方法可以直接處理幾何對(duì)象(點(diǎn)、線、面等),而不是笛卡爾引入的一串?dāng)?shù)字.他設(shè)想能有一種代數(shù),它是如此接近于幾何本身,以至于其中的每個(gè)表達(dá)式都有明確的幾何解釋：或者表示幾何對(duì)象,或者表示它們之間的幾何關(guān)系；這些表達(dá)式之間的代數(shù)運(yùn)算,例如加、減、乘、除等,都能對(duì)應(yīng)于幾何變換.如果存在這樣一種代數(shù),它可以被恰當(dāng)?shù)胤Q為“幾何代數(shù)”,它的元素即被稱為“幾何數(shù)”.

沿著這一方向,數(shù)學(xué)家們開(kāi)辟了“幾何代數(shù)”的領(lǐng)域,孜孜不倦地尋求可能的合理的幾何代數(shù)結(jié)構(gòu),試圖實(shí)現(xiàn)萊布尼茨之夢(mèng).向量幾何可看作是對(duì)萊布尼茨問(wèn)題的初步回答.向量之間能進(jìn)行加減運(yùn)算,還可以進(jìn)行內(nèi)外積,且運(yùn)算式都有明顯的幾何意義,有時(shí)利用向量處理幾何問(wèn)題也很方便[7].在向量幾何之后，數(shù)學(xué)家們建立了更復(fù)雜的幾何代數(shù)結(jié)構(gòu)，此處略[6].

項(xiàng)武義先生認(rèn)為[8]，自古到今,幾何學(xué)的研究在方法論上大體可以劃分成下述四個(gè)階段：(1)實(shí)驗(yàn)幾何:用歸納實(shí)驗(yàn)去發(fā)現(xiàn)空間之本質(zhì)；(2)推理幾何:以實(shí)驗(yàn)幾何之所得為基礎(chǔ),改用演繹法以邏輯推理去探索新知,并對(duì)于已知的各種各樣空間本質(zhì),精益求精地作系統(tǒng)化和深刻的分析；(3)坐標(biāo)解析幾何:通過(guò)坐標(biāo)系的建立,把幾何學(xué)和代數(shù)學(xué)簡(jiǎn)明有力地結(jié)合起來(lái),開(kāi)創(chuàng)了近代數(shù)學(xué)的先河；(4)向量幾何:向量幾何是不依賴于坐標(biāo)系的解析幾何，本質(zhì)上是解析幾何的返璞歸真.

向量幾何提出之后，也不斷有專家提出新的想法.譬如莫紹揆先生認(rèn)為，自線性代數(shù)興起以來(lái)，直接從向量本身的性質(zhì)(它可以說(shuō)是幾何性質(zhì))來(lái)處理問(wèn)題，可以利用代數(shù)方法的長(zhǎng)處，而處處符合幾何直覺(jué)，有幾何直覺(jué)的幫助.因此現(xiàn)在使用線性代數(shù)來(lái)討論幾何問(wèn)題是大勢(shì)所趨，無(wú)法阻擋.為克服向量幾何的某些缺點(diǎn)且保持其優(yōu)勢(shì),莫先生提出了更具物理意義的質(zhì)點(diǎn)幾何的理論和方法[9].他指出,向量本質(zhì)上是幾何變換,不是最基本的幾何對(duì)象,因而希望建立以點(diǎn)為基礎(chǔ)的幾何代數(shù)體系.他借用力學(xué)的“質(zhì)點(diǎn)”概念,把幾何中的點(diǎn)看作是有位置無(wú)大小但有質(zhì)量的東西,根據(jù)力學(xué)定律來(lái)對(duì)質(zhì)點(diǎn)定義加法運(yùn)算,然后以此為基礎(chǔ)來(lái)研究幾何.這種方法能對(duì)點(diǎn)直接進(jìn)行運(yùn)算,而且運(yùn)算方便,運(yùn)算表達(dá)式具有明顯幾何意義.

點(diǎn)常被認(rèn)為是幾何中最基本元素.點(diǎn)動(dòng)成線，線動(dòng)成面，面動(dòng)成體，其他幾何元素都可以由點(diǎn)擴(kuò)展生成.因此希望建立以點(diǎn)為基本研究對(duì)象的幾何體系也是很自然的想法.向量涉及兩點(diǎn)，且自由向量可以在空間任意平移.為了簡(jiǎn)便以及排除不確定性，可在空間取定點(diǎn)O,稱為原點(diǎn),然后規(guī)定所有向量的始點(diǎn)都是原點(diǎn),這樣的向量稱為位置向量，兩個(gè)位置向量相等當(dāng)且僅當(dāng)它們的終點(diǎn)重合，每個(gè)位置向量的終點(diǎn)與空間的點(diǎn)是一一對(duì)應(yīng)的.

我們?cè)隰酆舷蛄繋缀?、重心坐?biāo)、質(zhì)點(diǎn)幾何等體系的基礎(chǔ)上，初步建構(gòu)了點(diǎn)幾何綱要[10]，其中包括了點(diǎn)的加法、數(shù)乘、兩個(gè)點(diǎn)的內(nèi)積、外積、三個(gè)點(diǎn)的外積及復(fù)數(shù)乘點(diǎn)等點(diǎn)幾何中的基本概念，導(dǎo)出了近20條有關(guān)點(diǎn)運(yùn)算的基本性質(zhì)或基本公式，旨在建立一種幾何代數(shù)系統(tǒng)，能夠兼有坐標(biāo)方法、向量方法和質(zhì)點(diǎn)幾何方法三者的長(zhǎng)處而避免其缺點(diǎn).本文將進(jìn)一步闡述點(diǎn)幾何在幾何教學(xué)中的獨(dú)特魅力，并輔以案例證明.

2 知識(shí)表示大不同

數(shù)學(xué)知識(shí)，特別是作為數(shù)學(xué)教育內(nèi)容的基礎(chǔ)知識(shí)，是客觀世界的空間形式和數(shù)量關(guān)系的反映.同樣的空間形式，同樣的數(shù)量關(guān)系，可以用不同的數(shù)學(xué)命題、數(shù)學(xué)結(jié)構(gòu)、數(shù)學(xué)體系來(lái)反映，正如從不同的角度給一頭大象拍照一樣，會(huì)得到十分不一樣的照片，但它總是這一頭象.只是有的反映方式便于學(xué)習(xí)、掌握、理解、記憶，有的則不然.不同的反映方式，盡管都是客觀世界的正確反映，但教育的效果卻會(huì)大不相同.譬如羅馬數(shù)字的算術(shù)和阿拉伯?dāng)?shù)字的算術(shù)，盡管算題時(shí)得出同樣的結(jié)果，但在教育效果上的差別是顯而易見(jiàn)的.

因此，為了數(shù)學(xué)教育的目的，我們應(yīng)當(dāng)用“批判”的眼光審視已有的數(shù)學(xué)知識(shí).這里的批判，當(dāng)然不是懷疑這些數(shù)學(xué)知識(shí)的正確性，而是檢查它在教育上的適用性.我們要用系統(tǒng)科學(xué)的現(xiàn)點(diǎn)，聯(lián)系著前后左右的教學(xué)，聯(lián)系著學(xué)生的心理特征與年齡特征，看一看，問(wèn)一問(wèn)，哪種反映方式較優(yōu)？能不能找到更優(yōu)或最優(yōu)的反映方式.

為了認(rèn)識(shí)空間圖形的性質(zhì)，我們可以學(xué)歐氏的《幾何原本》，可以學(xué)“解析幾何”或“三角學(xué)”，可以學(xué)“質(zhì)點(diǎn)幾何”，也可以學(xué)“向量幾何”，甚至還可以創(chuàng)造新的幾何體系.哪種方案能更快更好地完成這一階段數(shù)學(xué)教育的任務(wù)呢？這需要我們仔細(xì)考察.

以中點(diǎn)為例加以說(shuō)明.怎么表示點(diǎn)C是線段AB的中點(diǎn)？方法很多.

文字描述：點(diǎn)C是線段AB的中點(diǎn).

圖形描述(圖1)：

圖1

歐氏幾何描述：

AC

=

CB

.但不要漏掉：

A

、

B

、

C

共線，否則只能說(shuō)明點(diǎn)

C

在線段

AB

的中垂線上.

圖2

兩次使用中位線定理，可推出重心定理：

上述表示方式敘述簡(jiǎn)潔，推理清楚，且有明顯的幾何意義，適合在教學(xué)中使用.對(duì)比學(xué)術(shù)著作中的表述，兩者天淵之別.在人工智能的經(jīng)典著作《初等代數(shù)和幾何的判定法》(A.塔爾斯基，J.C.C.麥克鏗賽著)中有三角形重心定理的敘述，僅僅是敘述，還不包括證明.

(Ax)(Ay)(Az)(Ax′)(Ay′)(Az′){[～B(x,y,z)∧～B(y,z,x)∧～B(z,x,y)∧B(x,y′,z)∧B(y,z′,x)∧B(z,x′,y)∧D(x,z′;z′,y)∧D(y,x′;x′,z)∧D(z,y′;y′,x)]→(EG)[B(x,G,x′)∧B(y,G,y′)∧B(z,G,z′)]}

解釋：任意六點(diǎn)x,y,z,x′,y′,z′，滿足y不在x，z之間，z不在y，x之間，x不在z，y之間，(即x，y，z三點(diǎn)不共線)，且y′在x，z之間，z′在y，x之間，x′在z，y之間，且xz′=z′y，yx′=x′z，zy′=y′x，則存在點(diǎn)G，且G在x，x′之間，G在y，y′之間，G在z，z′之間.B(x,y,z)讀作y在x和z中間，D(x,y;x′,y′)讀作x到y(tǒng)的距離等于x′到y(tǒng)′的距離.

這種表達(dá)，像在初等代數(shù)的形式系統(tǒng)中一樣，從原子公式經(jīng)過(guò)使用否定詞、合取詞、析取詞和量詞構(gòu)造出公式.通過(guò)這樣形式化的表述，初等幾何的語(yǔ)句即表達(dá)關(guān)于點(diǎn)的某個(gè)事實(shí)以及點(diǎn)與點(diǎn)之間的某種關(guān)系.

3 更多案例分析

在具體的解題實(shí)踐中，我們發(fā)現(xiàn)，點(diǎn)幾何不僅符合數(shù)學(xué)直觀，能更方便地表達(dá)基本幾何事實(shí)，而且有助于幾何推理的簡(jiǎn)捷化.

AC2+BD2=AB2+BC2+CD2+DA2，

即AC2+BD2=AB2+BC2+CD2+DA2

?A+C=B+D,

即(B-A)2+(C-B)2+(D-C)2+(A-D)2-(C-A)2-(D-B)2=(A-B+C-D)2=0.

看似是代數(shù)變形，卻對(duì)應(yīng)著幾何性質(zhì).這正是我們希望實(shí)現(xiàn)的將幾何對(duì)象點(diǎn)當(dāng)成數(shù)來(lái)計(jì)算.數(shù)與形進(jìn)一步融合,正如希爾伯特所說(shuō)：代數(shù)符號(hào)是書(shū)寫(xiě)的圖形,幾何圖形是圖像化的公式.

例1內(nèi)心定理：△ABC中，AD、BE、CF是三角平分線，求證三線交于一點(diǎn).

說(shuō)明：此處用到角平分線比例定理.

例2垂心定理：△ABC中，若AH⊥BC，BH⊥CA，求證：CH⊥AB.

常規(guī)向量解答：

恒等式：(A-B)·(H-C)+(B-C)·(H-A)+(C-A)·(H-B)=0.

圖3

圖4

而這是顯然成立的.因此得到另一種的向量解法：

例3外心定理：△ABC中，若點(diǎn)O在AB、BC的中垂線上，則點(diǎn)O在CA的中垂線上.

恒等式：

例2、例3兩個(gè)恒等式中，其任意兩部分為0，則第三部分必為0.

例4外心定理和垂心定理的相互轉(zhuǎn)化.

如圖5，傳統(tǒng)證明中，要證△ABC的三高共點(diǎn)H，有時(shí)轉(zhuǎn)化為證△DEF的三中垂線共點(diǎn)， 其中

四邊形CABD、ABCE、BCAF是平行四邊形.基于點(diǎn)幾何的恒等式變形，是顯然的.

由D=B+C-A、E=A+C-B、F=A+B-C得

?2(B-A)·(H-C)+2(C-B)·(H-A)+

2(A-C)·(H-B)=0.

圖5

例5歐拉線定理：△ABC中，外心O、垂心H、重心G三點(diǎn)共線.

根據(jù)垂心、外心的性質(zhì)，

(A-B)·(H-C)=0，

(A-B)·(2O-(A+B))=0，

兩式相加得(A-B)·(H+2O-(A+B+C))=0，

同理(B-C)·(H+2O-(A+B+C))=0，

(C-A)·(H+2O-(A+B+C))=0，

由于H+2O-(A+B+C)不能同時(shí)與三邊垂直，

所以只能是H+2O-(A+B+C)=0，

若設(shè)A+B+C=3G，則H+2O=3G.

說(shuō)明H、O、G三點(diǎn)共線，且HG=2GO.

4 結(jié)語(yǔ)

點(diǎn)幾何、質(zhì)點(diǎn)幾何、向量幾何都是幾何的數(shù)學(xué)表示,本質(zhì)上互通.作為3種幾何語(yǔ)言,可以互譯.如果規(guī)定從原點(diǎn)出發(fā)的向量叫點(diǎn),向量幾何就可以轉(zhuǎn)化為點(diǎn)幾何.如果規(guī)定兩點(diǎn)差為向量,點(diǎn)幾何就可以轉(zhuǎn)化為向量幾何.點(diǎn)幾何最大的優(yōu)勢(shì),在于用少量符號(hào)忠實(shí)地描繪幾何事實(shí),從而減少人的思維勞動(dòng).與向量幾何、質(zhì)點(diǎn)幾何相比,點(diǎn)幾何更簡(jiǎn)明,幾何意義更豐富,表達(dá)力更強(qiáng)，數(shù)形結(jié)合融為一體.在點(diǎn)幾何解題實(shí)踐中，我們還發(fā)現(xiàn)了一種恒等式方法，目前已編程實(shí)現(xiàn)，通過(guò)驗(yàn)證600余道有難度的幾何題(其中相當(dāng)部分是競(jìng)賽題)，該方法效率高，可讀性強(qiáng)，且能發(fā)現(xiàn)新的幾何命題.關(guān)于點(diǎn)幾何解題應(yīng)用，我們將另文介紹.