整数点とは? わかりやすく解説

整数点

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 22:40 UTC 版)

楕円曲線」の記事における「整数点」の解説

楕円曲線上には整数点は有限個しか存在しない。すなわちxが整数あるような E(Q) の点 P = (x, y) の集合有限集合である。一般に種数1 以上代数曲線には整数点は有限個しか存在しない。これはアクセル・トゥエ(英語版)がディオファントス近似に関する定理から特別の場合について証明しジーゲル(C. L. Siegel)が一般場合について証明した。この定理は、x の座標分母有限個の素数によってのみ割ることのできる点へと一般化される。しかし、これらの定理計算可能性備えていない。ベイカー超越数論の方法をつかい、種数1の代数曲線には有限個の整数点しか存在せず、それらは計算可能であることを示した定理分かりやすく定式化できて、例えば、 によると、E のワイエルシュトラス方程式定数 H により有界付けられ整数係数を持つ方程式であれば、x も y も整数である E の点の座標 (x, y) は、 max ( | x | , | y | ) < exp ⁡ ( [ 10 6 H ] 10 6 ) {\displaystyle \max(|x|,|y|)<\exp \left(\left[10^{6}H\right]^{{10}^{6}}\right)} を満たす特殊な場合にはより強い結果成り立つことが知られている。たとえば k が 0 ではない整数で、 (x, y) が不定方程式 y 2 = x 3 + k {\displaystyle y^{2}=x^{3}+k} の整数解 (x, y) であるとき、任意の正の定数 ε に対して、 k と ε のみに依存する計算可能な定数 c が存在して max ( | x | , | y | ) < exp ⁡ ( c k 1 + ϵ ) {\displaystyle \max(|x|,|y|)<\exp \left(ck^{1+\epsilon }\right)} が成り立つ。 一般に、E を数体 K 上の楕円曲線、x と y をワイエルシュトラス座標とすると、x-座標が整数環 OK に属するような E(K) の点は有限個しかなく、その大きさに対して、計算可能な上界が与えられる。したがって、原理的にはそれらの点は決定可能である。 例えば、方程式 y2 = x3 + 17 は y > 0 の 8 個の整数解を持つ。 (x, y) = (−1,4), (−2,3), (2,5), (4,9), (8,23), (43,282), (52,375), (5234,378661). 別な例は、リュングレンの方程式英語版) Y 2 = 2 X 4 − 1 {\displaystyle Y^{2}=2X^{4}-1} で、ワイエルシュトラス形式は y2 = x3 − 2x であり( y = 2XY, x = 2X 2 とおく)、この曲線は y ≥ 0 で 4個の解し持たない。 (x, y) = (0,0), (−1,1), (2, 2), (338,6214).

※この「整数点」の解説は、「楕円曲線」の解説の一部です。
「整数点」を含む「楕円曲線」の記事については、「楕円曲線」の概要を参照ください。

ウィキペディア小見出し辞書の「整数点」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「整数点」の関連用語

整数点のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



整数点のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの楕円曲線 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS