数学天书

武汉理工大学：刘永红

在西方，有一个神话：上帝在第六天创造人。仔细一想，上帝还创造无字天书。

有些虔诚的数学家将神奇的、完美的数学定理的证明比喻为上帝的创造，又被称其为数学天书中的证明。Erdős曾说明过，作为数学家，你可以不相信上帝，但你应该相信数学天书。

虽然数学家对于什么样的证明可以被收进数学天书还没有标准，但他们有不少好实例，你可看Martin Aigner 和 Günter M.Ziegler的《数学天书中的证明》（Proofs From THE BOOK）。因为，这些都被数学家认可，获得好评。

在数学上，有很多证明是漂亮的，例如，陈景润证明了“1+2”，尽管他作了精炼，但它却不像“天书”的那种证明。也许它还有被改造的空间，从而适合入选“天书”。即使是Wiles证明了费马大定理，也不像“天书”的那种证明。

坦率地说，你可以不扶墙，但你应该服数学天书中的证明。因为，它神一般的存在，充分体现了数学之神韵。

对于数学天书中的证明，不求长短，但求深度。关键在于，这一证明使数学家眼睛一亮，令人惊奇！