数学的美しさ

数学的美しさとは、数学において「美しい」と評される定理や証明が、単なる感傷的な形容ではなく、構造の深さ・統一性・予想外のつながりという、ある程度客観的に語りうる性質に根ざしているとする考え方である。数学者は古くから、単に正しいだけの証明と美しい証明とをはっきり区別してきた。異なる出自を持つ定数が一本の式に収まるオイラーの等式は、この美しさを語るときに繰り返し引き合いに出される最も有名な例である。

「美しい証明」という感覚の起源

数学者が自分たちの営みを美的な言葉で語るのは、20世紀に入って始まったことではない。フランスの数学者アンリ・ポアンカレは1908年、数学的発見の過程を分析した講演のなかで、無数にありうるアイデアの組み合わせのなかから、意識に上るよりも前の段階で「美しい」ものだけが無意識のうちに選び出されているのではないかと論じた。ポアンカレにとって美的感覚は装飾ではなく、無限の可能性のなかから実り多い方向を絞り込むための選別装置そのものだった。

この考え方をより先鋭にしたのが、イギリスの数学者G・H・ハーディである。1940年の著作『ある数学者の弁明』でハーディは、純粋数学を絵画や音楽と同じ創造芸術になぞらえ、醜い数学がこの世に永続する居場所を持つことはないとまで言い切った。彼にとって美は、真であることの副産物ではなく、真であることと並び立つ独立した評価基準だった。

何をもって「美しい」とするか

数学者たちが繰り返し口にする基準は、おおむね共通している。一見無関係な分野同士が思いがけずつながること、対称性のような構造の秩序、そして最小限の仮定から最大限の結果を引き出す経済性である。オイラーの等式が愛される理由もここにある。円周率・自然対数の底・虚数単位・0・1という出自の異なる定数がひとつの等式に収斂する様は、誰かが意図して組み立てたというより、数学そのものの構造にもとから埋め込まれていた必然性が露わになったように感じられる。

主観なのか、客観なのか

もっとも、美しさが数学的構造そのものに内在する客観的性質なのか、それとも人間の脳や文化が後から与えた主観的反応にすぎないのかは、今も決着していない問いである。2014年には脳科学者らが数学者たちに様々な数式を見せて脳活動を計測し、被験者が美しいと評価した数式――その筆頭がオイラーの等式だった――を見たとき、絵画や音楽の美を感じる際と同じ脳領域が活性化したとする報告を発表した。ただしこれは一つの実験にすぎず、美の感覚が時代や文化を超えて普遍的なものかは、数学者の間でも評価が分かれている。ある時代に優雅とされた証明が、別の視点からは技巧の誇示に見えることもある。

なぜ今も「美しさ」が道しるべなのか

現代数学の最前線でも、美的直観は単なる感想にとどまらず、研究の方向を左右する実践的な指針であり続けている。数論・幾何・解析という一見別々の大陸を統一的な言語でつなごうとするラングランズ・プログラムの探究も、根底には「これほど異なる分野が本質的に同じ構造を共有しているはずだ」という、証明に先立つ美的確信がある。数学者エドワード・フレンケルは著書数学の大統一に挑むで、この統一性への衝動こそが数学を無味乾燥な記号操作から解き放ち、人類が到達した最も美しい知的構造物たらしめていると説く。美しさを追い求める態度は、証明が完成する前の段階で数学者に進むべき方向を示す羅針盤であり続けている。正しさだけでなく美しさもまた、数学という営みの核心なのだろう。