李開國

在幾何學和代數(shù)拓撲學方面，歐拉公式的形式為簡單多面體的頂點數(shù)（[V]）與面數(shù)（[F]）之和減去棱數(shù)（[E]）是一個不變的量2。公式描述了簡單多面體頂點數(shù)、面數(shù)、棱數(shù)特有的規(guī)律。

公式：V+F-E=2

我們知道，多邊形中正多邊形有無數(shù)種，但為什么在多面體中只有五種正多面體呢？古希臘的畢達哥拉斯學派曾經(jīng)對正多面體進行過很多研究，因為在柏拉圖的唯心主義體系中，正多面體被認為是可以作為宇宙基石的最簡單的理想物體。這些結果都被收入在了《幾何原本》中，它們分別是正四面體、正六面體、正八面體、正十二面體、正二十面體。

古希臘數(shù)學家歐幾里得曾嘗試證明在多面體中只有這五種正多面體，但沒有成功。隨后很長一段時間內(nèi)，又有很多數(shù)學家采用各種方法想要給出證明，但均以失敗告終?？梢妼τ谶@一問題的證明方法，完全不同于我們平時所習慣的幾何證明方法。它不是依靠可以度量的量（長度、面積、體積、角度等），而是依靠簡單的算術量——多面體的面數(shù)、棱數(shù)和頂點數(shù)之間的內(nèi)在數(shù)量關系，即簡單多面體的歐拉公式來解決的。

17世紀法國著名數(shù)學家、解析幾何之父笛卡爾已經(jīng)注意到，任意的封閉多面體的面、棱、頂點的數(shù)目之間存在一定的關系。1639年，笛卡爾通過考察圖中的五種正多面體，采取不完全歸納法猜測到，頂點數(shù)與面數(shù)之和減去棱數(shù)是一個不變的量2。也就是說：[V+F-E=2]。后來，笛卡爾對多個簡單的多面體進行了驗證，發(fā)現(xiàn)都符合自己的猜想，但是他沒法給出嚴格的證明，也沒有將此猜想公開發(fā)表。

1751年，數(shù)學家歐拉在研究如何將多面體進行分類時，獨立地發(fā)現(xiàn)了這個公式，并給出了一個證明。由于笛卡爾的研究到1860年才被人們發(fā)現(xiàn)，所以這個公式就被稱為歐拉公式而不是笛卡爾公式。1811年，法國數(shù)學家柯西利用不變量的理論，重新給出了完整的證明。

歐拉給出的公式：[V+F-E=2]，描述了簡單多面體中頂點數(shù)、面數(shù)、棱數(shù)之間的特有規(guī)律，堪稱“簡單美”的典范。數(shù)學上的多面體到底有多少種，沒有人能說清楚，但它們的頂點數(shù)V、棱數(shù)E、面數(shù)F，都必須滿足歐拉公式。一個如此簡單的公式，概括了無數(shù)種多面體的共同特性，令人贊嘆不已。

實際上歐拉公式除了適用于簡單多面體以外，也適用于非簡單多面體。[fp=V+F-E]，其中[fp]叫做歐拉示性數(shù)，即簡單多面體[fp=2]。根據(jù)歐拉示性數(shù)的不同，可以對多面體進行分類。例如，將長方體內(nèi)部挖去一個小的長方體，形成一個洞，其歐拉示性數(shù)[fp=16+16-32=0]，即帶一個洞的多面體的歐拉示性數(shù)為0。

過去人們研究的幾何問題主要涉及長度、角度、距離、周長、面積、體積等度量，而歐拉公式與度量無關，它的背后是一門新的幾何學。這就是由德國數(shù)學家萊布尼茲和歐拉共同奠基的“橡皮膜上的幾何學”（位置幾何學），只研究圖形各部分位置的相對次序，而不考慮圖形的尺寸大小。如今這門學科已經(jīng)發(fā)展成數(shù)學的一個重要分支——拓撲學，即非度量的幾何學。

歐拉公式作為拓撲學史上的第一定理，其證明方法是新穎而巧妙的，與我們所熟悉的度量的幾何學證明大不相同。有興趣的同學可以利用歐拉公式證明一下，為什么多面體中只有五種正多面體。