近日中に転居するためその準備をしていた折に「第5回超越数論研究集会報告集 1996年12月3-5日 於学習院創立百周年記念会館」という報告集が目に入り、読み返していたところ、Y. Nesterenko氏の講演をもとに田中孝明氏が書き起こした「 の超越性について」という論文 [1] が目に留まった。
以前の記事でも触れたが
とあらわされるから、Gelfond-Schneiderの定理によりこの数は超越数であることは、超越数論における有名な結果のひとつだが(たとえば
Sep氏の記事を参照
)、Gelfond-Schneiderの定理の証明は(現在ではCauchyの定理よりも高等な道具を用いずに可能であるものの)補助関数の構成・評価などにかなりの量の計算を要する。
これに対して、「 の超越性について」では、van der Monde型の行列の性質と正則関数の最大値原理から、 が超越数であることの簡潔な証明を与えている。
しかし、この の超越性の証明は論文として出版されていることが管見の限り確かめられなかった。そこで、ここでその証明を紹介したい。
なお、この の超越性の証明自体が論文として出版されていることは確認できなかったが、その証明のアイディアを利用して、変数の代数的数の対数の次形式の下からの評価を行ったNesterenkoを含む共著論文 [2] が出版されている。本記事では、一部 [2] の議論も取り入れて、[1] の証明を紹介したい。
証明の方針
多項式 に対して、多項式の係数の絶対値の最大値を多項式の高さといい であらわすことにする。
ある数 が超越数であることの証明は、 が ではないが非常に小さくなる(かつ高さと次数が非常に大きくはならない)ような整数係数の多項式 を構成することが通常である。
(たとえば が整数係数の次式である場合、 が代数的数ならば、Thueの定理から、任意の に対して となる( に依存するが には依存しない)定数 が存在する。よって をうまくとったときに となる1次式 で、高さがいくらでも大きなものが存在することを示すことができれば は超越数であることが示せる)
の超越性を証明するには、次のことを証明する。
十分大きな任意の整数 に対して、
となる整数係数の多項式 が存在する。
これが証明できたとする。 が代数的数であると仮定し、 となる整数係数の多項式 をとる。
は既約多項式としてもよい。というのは が既約でないとき と既約多項式の積に分解すると だから のいずれかは となるからである。
の解を とする。このとき となる が存在すれば は で割り切れることに注意する。実際 とおくと、 は既約だから または であるが、 だから でなければならず、 は で割り切れなければならない。
また、変数の次基本対称式を とおく。
命題に挙げた多項式 がとれるような十分大きな整数 をひとつとり、 とする。さらに
とおく。
は に関する対称式だから
となる 変数の整数係数多項式 がとれる。左辺の各変数に関する次数の総和は 以下だから、 は各変数について 次以下の多項式となる。
だから
であるが、 は各変数について 次以下の多項式だから の分母は で割り切れる。よって
は整数である。
さらに、 となる。実際 ならば となる が存在するから は で割り切れなければならず、 となるが、これは の条件に矛盾する。
このことから となるが とおくと
となるが (1) の条件から
となるから
はいずれも には関係ないので、
となる定数 がとれる。しかし はいくらでも大きくとれるので、これは矛盾である。
の構成
よって、(1) が成り立つような整数係数の多項式を構成することが課題となる。
まず、
となる整数 に対して
とおく。 を
を 成分にもつ 行列とする(行番号は によって一意に定まり、列番号は によって一意に定まることに注意)。
ここで
であることが示されれば を構成する行ベクトルから 個の行ベクトルを選んで正則行列を構成することができる。
つまり をうまく選んで
を 成分にもつ 行列を とおくと
となる。ところで を
を 成分にもつ 行列とすると は の多項式で となる。そこでこの多項式 が先述の多項式 として適することを示せばよい。
以上から示すべきことは
と
である。
(つづく)