ベイカーの定理のソースを表示

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

== 定理の主張 ==

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

<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 ではない[[代数的数]]とする。もし、<math>\scriptstyle\log\alpha_1,\ldots,\ \log\alpha_n</math> が有理数体上線形独立であるならば、<math>\scriptstyle 1,\ \log\alpha_1,\ldots,\ \log\alpha_n</math> は、代数的数体上線形独立である。


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

<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 ではない、[[代数的数|次数]]が ''d'' 以下、[[代数的数|高さ]]が ''A'' 以下の代数的数とする。
また、<math>\scriptstyle\beta_0,\ \beta_1,\ldots,\ \beta_n</math> を、次数が ''d'' 以下、高さが <math>\scriptstyle B(\ge 2)</math> 以下の代数的数としたとき、

{{Indent|<math>\Lambda = \beta_0 + \beta_1\log\alpha_1 + \cdots + \beta_n\log\alpha_n</math>}}
とおくと、<math>\Lambda = 0</math> または、<math>|\Lambda| > B^{-C}</math> である。

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

== 定理からの派生的な結果 ==


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


系1　<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 ではない代数的数とする。また、<math>\scriptstyle\beta_0,\ \beta_1,\ldots,\ \beta_n</math> を <math>\scriptstyle\beta_0\ne 0</math> を満たす代数的数としたとき、
{{Indent|<math>\beta_0 + \beta_1\log\alpha_1 + \cdots + \beta_n\log\alpha_n\ne 0</math> 。}}


系2　<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n,\ \beta_0,\ \beta_1,\ldots,\ \beta_n</math> を 0 ではない代数的数としたとき、
{{Indent|<math>e^{\beta_0} \alpha_1^{\beta_1} \cdots \alpha_n^{\beta_n}</math>}}
は、[[超越数]]である。


系3　<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 でも 1 でもない代数的数とする。また、<math>\scriptstyle\beta_1,\ldots,\ \beta_n</math> を、
<math>\scriptstyle 1,\ \beta_1,\ldots,\ \beta_n</math> が、有理数上線形独立な代数的数としたとき、
{{Indent|<math>\alpha_1^{\beta_1} \cdots \alpha_n^{\beta_n}</math>}}
は、超越数である。

系3で、<math>n=1</math> とすることにより、[[ゲルフォント＝シュナイダーの定理]]が導かれる。


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


系4　<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 ではない、次数が ''d'' 以下の代数的数とし、高さに対して、<math>\scriptstyle\alpha_1,\ldots,\ \alpha_{n-1}</math> については、''A'' 以下、<math>\scriptstyle\alpha_n</math> は、<math>\scriptstyle A'(\ge 4)</math> 以下とする。
<math>\scriptstyle\beta_0,\ \beta_1,\ldots,\ \beta_n</math> を、次数が ''d'' 以下、高さが <math>\scriptstyle B(\ge 2)</math> 以下の代数的数としたとき、

{{Indent|<math>\Lambda = \beta_0 + \beta_1\log\alpha_1 + \cdots + \beta_n\log\alpha_n</math>}}
とおくと、<math>\Lambda = 0</math> または、<math>|\Lambda| > (B\log A)^{-C\log A}</math> である。

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


系5　<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 ではない、次数が ''d'' 以下、高さが ''A'' 以下の代数的数とする。
また、<math>\scriptstyle\beta_1,\ldots,\ \beta_n</math> を、絶対値が <math>\scriptstyle B(\ge 2)</math> 以下の有理整数としたとき、

{{Indent|<math>\Lambda = \beta_1\log\alpha_1 + \cdots + \beta_n\log\alpha_n</math>}}
とおくと、<math>\Lambda = 0</math> または、<math>|\Lambda| > C^{-\log A\log B}</math> である。

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


系6　<math>\scriptstyle\alpha_1,\ldots,\ \alpha_n</math> を 0 ではない、次数が ''d'' 以下、高さが ''A'' 以下の代数的数とする。
また、<math>\scriptstyle\beta_1,\ldots,\ \beta_{n-1}</math> を、絶対値が <math>\scriptstyle B(\ge 2)</math> 以下の有理整数としたとき、任意の正数 &epsilon; に対して、

{{Indent|<math>\Lambda = \beta_1\log\alpha_1 + \cdots + \beta_{n-1}\log\alpha_{n-1} - \log\alpha_n</math>}}
とおくと、<math>\Lambda = 0</math> または、<math>|\Lambda| > A^{-C}e^{-\varepsilon B}</math> である。

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

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

* 代数的数 <math>\scriptstyle \alpha,\ \beta\ne 0</math> に対する、<math>e^{\alpha\pi + \beta}</math> 。
* 代数的数 <math>\scriptstyle \alpha,\ \beta\ne 0</math> に対する、<math>\sin{(\alpha\pi+\beta)}</math>, <math>\cos{(\alpha\pi+\beta)}</math>, <math>\tan{(\alpha\pi+\beta)}</math> 。
* 代数的数 <math>\scriptstyle \alpha,\ \beta\ne 0</math> に対する、<math>\sinh{(\alpha\pi+\beta)}</math>, <math>\cosh{(\alpha\pi+\beta)}</math>, <math>\tanh{(\alpha\pi+\beta)}</math> 。
* 代数的数 <math>\scriptstyle \alpha\ne 0</math> に対する、<math>\pi + \log{\alpha}</math> 。
* <math>3\int_0^1\frac{dt}{1+t^3}\ (= \frac{\pi}{\sqrt{3}} + \log 2)</math> 。
* <math>\sum_{n=0}^\infty\frac{(-1)^n}{n+x}</math> 　(''x'' は、正の有理数)。 
* <math>\sum_{n=0}^\infty\frac{x}{n(n+x)}</math> 　(''x'' は、整数ではない、正の有理数)。 


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

以下において、&beta; を、次数 ''d'' 以下、高さが <math>\scriptstyle B(\ge 2)</math> 以下の代数的数とする。

* &alpha; を 0, 1 以外の代数的数としたとき、<math>|\log\alpha - \beta | > B^{-C}</math> 　(但し、''C'' は、&alpha;、''d'' にだけ依存する、計算可能な正定数)。
* <math>|\pi - \beta | > B^{-C}</math> 　(但し、''C'' は、''d'' にだけ依存する、計算可能な正定数)。
* <math>\left|e^{\pi} - \frac{p}{q}\right| > q^{-c\log\log q}</math> 　(但し、''c'' は、''p/q'' に依存しない、計算可能な正定数) 。

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

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

;(2) 類数が 1 である虚2次体の決定
:[[二次体|虚二次体]] <math>\scriptstyle\mathbb{Q}(\sqrt{-d})</math> の[[代数体#類数|類数]]が 1 である ''d'' は、1, 2, 3, 7, 11, 19, 43, 67, 163 の9個だけであるという[[二次体#類数に関するガウスの予想|ガウスの予想]]は、ベイカーの定理(定理2)を用いることにより、1966年にベイカーにより証明された。この予想は、同年、スターク (H. M. Stark) によっても、ベイカーと独立で証明された。 
;(3) 類数が 2 である虚2次体の決定
:虚二次体 <math>\scriptstyle\mathbb{Q}(\sqrt{-d})</math> の類数が 2 である ''d'' の決定は、1971年に、ベイカー、スタークにより証明された。この時も、証明にはベイカーの定理(定理2)が使われた。

== 参考文献 ==
*{{Cite book|和書
|author=塩川宇賢|authorlink=塩川宇賢
|date = 1999-03
|title = 無理数と超越数
|publisher = [[森北出版]]
|isbn = 4-627-06091-2
|ref = {{Harvid|塩川|1999}}
}}
*{{Citation|last=Alan|first=Baker|title=Transcendental number theory|year=1975|publisher=Cambridge University Press|location=New York}}
**{{Citation | last1=Baker | first1=Alan | title=Transcendental number theory | url={{Google books|SmsCqiQMvvgC|Transcendental number theory|plainurl=yes}} | publisher=[[Cambridge University Press]] | edition=2nd | series=Cambridge Mathematical Library | isbn=978-0-521-39791-9 | mr=0422171 | year=1990}}

== 関連項目 ==
{{Div col}}
*[[超越数]]
*[[ディオファントス方程式]]
*[[リンデマンの定理]]
{{Div col end}}

== 外部リンク ==
*{{MathWorld|title=Transcendental Number|urlname=TranscendentalNumber}}
{{DEFAULTSORT:へいかあのていり}}
[[Category:超越数]]
[[Category:数論の定理]]
[[Category:数学に関する記事]]
[[Category:エポニム]]