MathLabs

解法: リンデマンによる $\pi$ の超越性の証明が円積問題を解決する(1882年)

ステップ 2/6: 雛形:エルミートによる1873年の ee の超越性証明
ざっくり言うと

ある特定の数が超越数であることを証明するのが難しいのは、まさにあらゆる可能な有理数係数の多項式を排除しなければならず、いくつかの推測を確かめるだけでは済まないからである。シャルル・エルミートは1873年に ee に対してこれを行う方法を見つけた:積分から作られる特別な補助式を構成し、もし ee がある整数係数の多項式方程式を満たすならば、それは非零の整数に等しくならなければならないようにする。

巧妙な評価によって、構成を十分大きく調整すればその同じ式の大きさが 11 より小さくなることも示せる、というのがこのトリックである。11 より小さい非零の整数は存在し得ないので、仮定(ee がそのような方程式を満たすということ)は誤りでなければならない。この先のステップでのリンデマンによる π\pi に対する戦略全体は、この雛形を直接借用している。

a0+a1e+a2e2+⋯+anen=0, ai∈Z  ⟹  a0=a1=⋯=an=0a_0 + a_1 e + a_2 e^2 + \cdots + a_n e^n = 0,\ a_i\in\mathbb{Z} \implies a_0=a_1=\cdots=a_n=0
詳しい解説

エルミートの1873年の論文『指数関数について』は ee が超越数であることを証明する:非零の整数 a0,…,ana_0,\ldots,a_n で a0+a1e+a2e2+⋯+anen=0a_0+a_1e+a_2e^2+\cdots+a_ne^n=0 を満たすものは存在しない。この方法は(パラメータとして大きな素数 pp を用いて構成される)高次の補助多項式 f(x)f(x) を構成し、k=0,1,…,nk=0,1,\ldots,n に対して量 Jk=∫0kek−xf(x) dxJ_k=\int_0^k e^{k-x}f(x)\,dx を調べる。部分積分を繰り返すことで各 JkJ_k は eke^k と、00 および kk で評価された ff の導関数を含む和に変換される。

組み合わせ a0J0+a1J1+⋯+anJna_0J_0+a_1J_1+\cdots+a_nJ_n は、構成上、仮定された ee の冪の間の関係が成り立つならば、選んだ大きな素数 pp で割り切れない非零の整数に等しいことが示せる(したがって確実に非零である)。しかし積分の別の評価により、同じ組み合わせの絶対値は p→∞p\to\infty とともに 00 に近づくことが示される。非零の整数がいくらでも小さい絶対値を持つことはあり得ないので、仮定された関係は存在し得ない:ee は超越数である。

この証明は、補助積分と整数対微小評価の矛盾という雛形を与え、フェルディナント・フォン・リンデマンは9年後、これを単に ee 自身だけでなく、任意の非零代数的数 α\alpha に対する eαe^\alpha を扱うために適応させた。これが π\pi に必要な鍵となる拡張である。

このステップの用語
補助関数法
特別に設計された関数や積分を構成し、その値を互いに矛盾する2通りの方法で評価する証明手法——一方の議論で非零整数であることを強制し、もう一方の議論でいくらでも小さいことを強制して、矛盾を導く。
このステップで使う知識