ベイカーの定理

ベイカーの定理（ベイカーのていり、）とは、1966年-1968年にかけて、アラン・ベイカーによって発表された、対数関数の一次形式に対する線形独立性、および下界の評価に関する一連の定理のことである。
下界の評価が計算可能であることから、数論の様々な分野で応用されている。

 定理の主張 

定理1 (対数関数の一次形式の線形独立性)

 を 0 ではない代数的数とする。もし、 が有理数体上線形独立であるならば、 は、代数的数体上線形独立である。

定理2 (対数関数の一次形式の下界の評価)

 を 0 ではない、次数が d 以下、高さが A 以下の代数的数とする。
また、 を、次数が d 以下、高さが  以下の代数的数としたとき、

とおくと、 または、 である。

ここで、C は、n、 d、 A、 そして、対数の値によって定まる計算可能な定数である。

 定理からの派生的な結果 

定理1 から得られる系をいくつか挙げる。

系1　 を 0 ではない代数的数とする。また、 を  を満たす代数的数としたとき、

系2　 を 0 ではない代数的数としたとき、

は、超越数である。

系3　 を 0 でも 1 でもない代数的数とする。また、 を、
 が、有理数上線形独立な代数的数としたとき、

は、超越数である。

系3で、 とすることにより、ゲルフォント＝シュナイダーの定理が導かれる。

定理2から得られる系をいくつか挙げる。

系4　 を 0 ではない、次数が d 以下の代数的数とし、高さに対して、 については、A 以下、 は、 以下とする。
 を、次数が d 以下、高さが  以下の代数的数としたとき、

とおくと、 または、 である。

ここで、C は、n、 d、 、 そして、対数の値によって定まる計算可能な定数である。

系5　 を 0 ではない、次数が d 以下、高さが A 以下の代数的数とする。
また、 を、絶対値が  以下の有理整数としたとき、

とおくと、 または、 である。

ここで、C は、n、 d、 そして、対数の値によって定まる計算可能な定数である。

系6　 を 0 ではない、次数が d 以下、高さが A 以下の代数的数とする。
また、 を、絶対値が  以下の有理整数としたとき、任意の正数 ε に対して、

とおくと、 または、 である。

ここで、C は、n、 d、ε、 そして、対数の値によって定まる計算可能な定数である。

 超越数の例 
定理1および、その系から得られる例を挙げる

 代数的数  に対する、 。
 代数的数  に対する、, ,  。
 代数的数  に対する、, ,  。
 代数的数  に対する、 。
  。
  　(x は、正の有理数)。 
  　(x は、整数ではない、正の有理数)。 

定理2 および、その系から得られる例を挙げる。

以下において、β を、次数 d 以下、高さが  以下の代数的数とする。

 α を 0, 1 以外の代数的数としたとき、 　(但し、C は、α、d にだけ依存する、計算可能な正定数)。
  　(但し、C は、d にだけ依存する、計算可能な正定数)。
  　(但し、c は、p/q に依存しない、計算可能な正定数) 。

 応用例 
ベイカーの定理を用いることで得られた、超越数論以外の結果を挙げる。

(1) ディオファントス方程式の整数解の評価
種数が 1 である代数曲線に対して、整数解が有限個であり、その解の大きさを計算可能な値で上から評価することができることが、ベイカーの定理(定理2)を用いて証明された。また、次の不定方程式についても同様のことがいえる。
 （ f は1次式の累乗ではない3次以上の斉次多項式で、 k は0ではない定数）
 （ f は1次式の累乗ではない2次以上の多項式で、 k は2以上（ f が2次式のときは3以上）の定数）

(2) 類数が 1 である虚2次体の決定
虚二次体  の類数が 1 である d は、1, 2, 3, 7, 11, 19, 43, 67, 163 の9個だけであるというガウスの予想は、ベイカーの定理(定理2)を用いることにより、1966年にベイカーにより証明された。この予想は、同年、スターク (H. M. Stark) によっても、ベイカーと独立で証明された。 
(3) 類数が 2 である虚2次体の決定
虚二次体  の類数が 2 である d の決定は、1971年に、ベイカー、スタークにより証明された。この時も、証明にはベイカーの定理(定理2)が使われた。

 参考文献 

 関連項目 

超越数
ディオファントス方程式
リンデマンの定理

 外部リンク 

Category:超越数
Category:数論の定理
Category:数学に関する記事
Category:エポニム