整数論（読み）せいすうろん

精選版 日本国語大辞典

せいすう‐ろん【整数論】

〘名〙 整数のもつ、一般の実数にない性質（約数・倍数・素数など）を研究対象とする数学の一分科。数論。

出典　精選版 日本国語大辞典

デジタル大辞泉

せいすう‐ろん【整数論】

整数の性質を研究する数学の一分科。不定方程式論・代数的整数論・解析的整数論などの部門がある。数論。
[補説]書名別項→整数論

せいすうろん【整数論】［書名］

《〈ラテン〉Disquisitiones arithmeticae》ドイツの数学者・天文学者、ガウスの著作。1801年刊行。それまでの自身の整数論の研究成果をまとめたもの。

出典　小学館

日本大百科全書(ニッポニカ)

整数論
せいすうろん

整数についての研究を対象とする数学の学問領域。

古代の整数論

不定方程式x²＋y²＝z²の自然数解をピタゴラス数という。すべてのピタゴラス数を求める方法が、ピタゴラスをはるかにさかのぼる紀元前2000年近いころにバビロニアで知られていたことを推測させる十分な証拠がある。そのことはまた、数学が、かなり早い時期から実用を離れた知的探究の対象となっていたことをも意味するであろう。

　ギリシア数学の総決算ともいえるユークリッドの『ストイケイア』の第7巻から第9巻には整数論が扱われている。そのなかでも有名な命題をいくつか拾ってみる。

(1)素因数分解とその一意性。

(2)ユークリッドの互除法　最大公約数を求める計算法。

(3)ユークリッドの素数定理　素数の個数には限りがないことの背理法による証明。

(4)2ⁿ－1が素数ならばa＝2^n-1(2ⁿ－1)は完全数、つまりaの約数の和が2aである。

　この(4)の逆、すなわち偶数の完全数が前記の形に表せることは、のちにオイラーによって証明された。奇数の完全数の存在はまだ知られていない。なお、幾何学的色彩の強いギリシア数学のなかでディオファントスの『数論』を落とすことはできない。不定方程式の有理数解を扱ったこととともに、未知数を文字で表したことも重要な業績である。

［足立恒雄］

近世の整数論

中世ヨーロッパにおいては整数論は学問としての体裁を整えなかったが、アラビアにおいてギリシアの古典が保存され、一定の研究がなされていた。文芸復興期以後ギリシア古典のラテン語への翻訳がされるようになったが、そのなかに、長らく埋もれていたディオファントスの『算術』のバシェClaude Gaspard Bachet de Méziriac（1581―1638）による翻訳があった。フェルマーは確率論の始祖、解析幾何的手法の研究者として知られるが、なかでも他の同時代の人たち（パスカル、デカルトら）と際だった対照をみせるのは、整数論に対する格別の愛好であり、したがってフェルマーは近代的整数論の始祖とよばれている。フェルマーの業績の一部を述べてみると
(1)フェルマーの小定理　pを素数、aをpで割れない整数とすると
　　a^p-1＝1(modp)
が成り立つ。ここにa≡b(modp)はa－bがpで割り切れることを意味する記号で、ガウスにより導入されたものである。

(2)p≡1(mod4)なる素数pは二つの平方数の和として表せる。

(3)ペル方程式x²－Ay²＝1の研究。

などである。フェルマーは証明をほとんど残さなかったが、その言明した命題の大半は現在証明が得られている。ディオファントスの『数論』のピタゴラス数に関する記述から思い付いたという、フェルマーの予想とよばれた命題は、長くその真偽がわからなかったが、フェルマーがこの問題を提起してから約360年後の1994年、プリンストン大学教授のワイルズAndrew Wiles（1953―　）によって問題の証明が完成され、1995年にその証明が正しいことが確認された。その命題を現在の記法で述べると、nが3以上の自然数であるとき
　　xⁿ＋yⁿ＝zⁿ
を満たす自然数x、y、zは存在しない、というものである。

　フェルマーに続く時代の整数論にもっとも大きな貢献をした数学者はオイラーである。オイラーは、nが3の場合にフェルマーの定理が正しいことを証明した。またフェルマーの言明した前記の4n＋1の形をした素数が平方和に表せるという命題も、オイラーが証明を与えた。

［足立恒雄］

近代の整数論

近代の整数論はガウスによって基礎づけられた。1801年刊行の『数論講究』Disquisitiones Arithmeticaeからいくつかの結果を拾ってみると
(1)作図可能な正多角形の確定。

(2)自然数の素因数分解とその一意性の厳密な証明。

(3)ガウスの整数の導入とその基本的性質の研究　x＋iy（x、yは整数）の形の複素数をガウスの整数という。ガウスの整数の整除を定義し、素因数分解の一意性を証明した。これは後の代数的整数論の出発点となった。

(4)平方剰余の相互律　a、bを互いに素な整数とするとき、aが法bの平方剰余であるとは、a≡x²(modb)を満たす整数xが存在するときである。このとき

と表す。そうでないとき

と表し、aは法bの平方非剰余であるという。ガウスは次の3法則を証明した。ここにp、qは相異なる奇素数とする。

〔3〕の相互法則は整数論におけるきわめて重要な定理である。

(5)二元二次形式の研究の完成
　　ax²＋bxy＋cy²＝d　(a, b, c, dは整数)
の形の不定方程式について最終的、徹底的な研究がなされている。

　ディリクレはガウスの『数論講究』を常時携帯し研究したといわれる。ディリクレの整数論上のおもな業績は解析的手法の導入である。たとえば、初項と公差が互いに素な等差数列中には素数となる項が無数にあることを主張する定理（算術級数定理）は彼によって証明された。その後、解析的整数論は発展を遂げて、1896年にはアダマールとド・ラ・バレ・プーサンCh. de la Vallée-Poussinによりガウスの予想した素数定理が複素関数論の深い結果を用いて証明された。

　ガウスに始まる複素整数論はクンマーによるフェルマーの予想の研究によって飛躍を遂げ、現今の代数的整数論へと発展した。素因数分解の一意性が成り立たない場合があることを明確に意識していたクンマーは、円分体において理想数という概念を導入して一意性の回復をした。現今の用語では因子論とよばれる概念である理想数は、デーデキントによってイデアルという実体を与えられた。イデアルは集合論が意識的な形で数学に使用された最初ではないかと思われる。イデアル論とガロアの理論が結合して活躍の場を与えられた形の代数的整数論はヒルベルトによって整理され、高木貞治(たかぎていじ)の類体論へと道が開かれたのである。整数論はいままで述べたように代数的整数論、解析的整数論のほかに、幾何学的手法を用いる研究、不定方程式論固有の研究、また1960年代以降話題になりつつある数学基礎論による研究などがある。

　不定方程式論におけるもっとも輝かしい成果の一つであるジーゲルの有限性定理を述べておく。f(x, y)を整数係数の多項式とし、
　　f(x, y)＝0……〔1〕
から定まる曲線が二次曲線とは本質的に違っているものとする。厳密にいえば種数が正であるとする。このとき〔1〕は整数解を有限個しかもたない。この定理をジーゲルCarl Ludwig Siegel（1896―1981）は1929年に証明することに成功した。〔1〕の解の大きさをf(x)の係数から評価することは一般的にはまだ解決されていない問題であるが、ベーカーAlan Bakerは
　　y²＝x³＋ax＋b
という形を含むいくつかの場合に解の限界を与えることに成功している。

　一方、ヒルベルトは、不定方程式が解を有するかどうかを判定する一般的なアルゴリズムを求めよという問題（ヒルベルトの第10問題）を提起したが、マチャセビチYuri Matijasevicによれば、そういうアルゴリズムは存在しない（証明1970年）。これには帰納的関数の考えをはじめとする基礎論的手法が用いられており、数学界に大きな衝撃を与えた。この分野も一定の発展が期待されるであろう。

［足立恒雄］

[参照項目] | イデアル | 解析的整数論 | ガウスの整数 | ガロア理論 | フェルマーの予想

出典　小学館　日本大百科全書(ニッポニカ)

百科事典マイペディア

整数論【せいすうろん】

単に数論とも。整数の性質を研究する数学の一部門。最大公約数を求めるユークリッドの互除法，素数を見出すエラトステネスの篩(ふるい)，ディオファントスの不定方程式などの古典的研究ののち，フェルマーが彼の大定理（フェルマーの定理）など多くの定理を無証明で提出。18世紀に入りオイラー，ラグランジュらの研究をルジャンドルが集大成（1798年），ガウスの《数論研究》（1801年）により一挙に整数論の体系が確立された。19世紀に入りクンマー，デデキントにより代数的整数論（整数a₁，a₂，…，a(/n)を係数とする方程式x(n/)＋a₁x(n/)(-/)¹＋a₂x(n/)(-/)²＋…＋a(/n)＝０の根を代数的整数という），ディリクレにより解析学の方法を用いる解析的整数論が創始された。
→関連項目弥永昌吉｜完全数｜算術｜リーマン

出典　株式会社平凡社

ブリタニカ国際大百科事典 小項目事典

整数論
せいすうろん
theory of numbers

単に数論ともいう。整数に関する演算，大小関係，整除性，素数など，その諸性質を研究する数学の一分科である。超越数などをも含めて，数の個性を研究する分野という意見もある。歴史的にはユークリッドの『原本』のなかに独創的な研究がみられる。その主要な結果は，素数の集りの無限性，整数の素因数分解，ユークリッドの互除法などである。また素数の分布については，エラトステネスのふるい，アルキメデスの不定方程式の研究がある。さらにアレクサンドリアのディオファントスは，その不定方程式の研究によって整数論に不滅の足跡を残した。しかし，整数論の現代的研究は，P.フェルマ以後である。彼の素数をつくりだす公式，P.ディリクレの等差級数に素数が無限に含まれるという定理の証明，フランスの J.アダマールとベルギーの C.ド・ラ・バレ＝プーサンによる素数定理の証明などは画期的な重要性をもっている。しかし，素数の平均的分布の問題として提起されている C.ゴルドバッハの予想などは現在まで未解決のまま残されている。整数論に飛躍的発展をもたらしたのはなんといっても C.F.ガウスである。彼は整数の整除性について，合同式の概念と記法を導入し，推論を容易にしたり，整数論の対象として複素数を取入れることを主張したりして，代数的整数論への道を開いた。また解析的整数論への端緒は，ディリクレによって開かれた。

出典　ブリタニカ国際大百科事典 小項目事典

世界大百科事典 第２版

せいすうろん【整数論 number theory】

数論ともいう。整数のもつ特殊な性質は古くから人々の興味を引いてきた。整数論は，それらの整数の性質についての研究から始まるが，後に理論の発展とともに研究対象も広がっていった。この項目では，前半において整数の整除，合同などに関する初等的理論である初等整数論について述べ，後半で整数論の歴史を述べる。
【初等整数論】

［整除］
　二つの整数a,b(b≠0)に対して，　a＝qb＋r　(0≦r＜｜b｜，｜b｜はbの絶対値)　を満たす整数q,rがただひととおりに定まる。

出典　株式会社平凡社