\delta^k}{2}$$となる。\delta^k$$となる。おける最大値をとると仮定したことに矛盾する。境界でしかとられないのである。この記事で紹介したNesterenkoの方法を用いて$2$つの代数的数の対数の$1$次形式$$b_1\log\alpha_1+b_2\log\alpha_2$$の大きさの評価を行っている。この方法を$3$つの代数的数の対数の$1$次形式$$b_1\log\alpha_1+b_2\log\alpha_2+b_3\log\alpha_3$$の大きさの評価に拡張している。これには、補助多項式を構成するための行列式が消滅しないことを証明するために代数幾何学の高度な手法([5]を参照)を用いている。投稿者tyamada主に整数論について、よく知られた話題から、自身の研究に関することまで記事にしていきます。高評価したユーザはいませんこの記事に送られたバッジバッジはありません。バッチを贈って投稿者を応援しようバッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。バッチを贈るコメントtyamada主に整数論について、よく知られた話題から、自身の研究に関することまで記事にしていきます。