整数論のいくつかのトピックスについて解説します．

はJavaScriptによって計算できるものです．

1次不定方程式

JavaScriptによる計算はこちら
二つの自然数a, bの最大公約数をgcd(a,b)とかくことにする。 aをbで割ったときの商をq、余りをrとする。
a = bq + r.
そのとき、rは0以上、bより小さい。また、 gcd(a,b) = gcd(b,r)であることが容易にわかる。 r>0ならば、 bをrで割ったときの商をq1、 余りをr1とする。
b = rq1 + r1.
そのとき、gcd(a,b)=gcd(b,r)=gcd(r,r1)である。 これを繰り返せば、余りは0以上であり単調に減少するから、 いつかは割り切れてしまう。そのときの、割り切る数が gcd(a,b)と等しい。このようにして最大公約数を計算できる。 これをユークリッドの互除法という。 また、この計算を逆にたどれば、d=gcd(a,b)とおくとき、
aX + bY = d
を満たす整数 X, Y を求めることができる。 具体例で説明しよう。 209と87の最大公約数を求める。 
 209 = 87 x 2 + 35,
  87 = 35 x 2 + 17,
  35 = 17 x 2 + 1,
  17 =  1 x 17.
これから、gcd(209,87)=1となる。これを書き直して、
 1 = 35 - 17 x 2
   = 35 - (87 - 35 x 2) x 2 
   = 35 x 5 - 87 x 2
   = (209 - 87 x 2) x 5 - 87 x 2
   = 209 x 5 - 87 x 12.
したがって、X = 5, Y = -12 は不定方程式
209X + 87Y = 1
の一つの整数解である。一般解を求めよう。
209(X - 5) + 87(Y + 12) = 0,
209(X - 5) = -87(Y + 12)
より、X - 5 = 87t, Y + 12 = -209t, tは任意の整数とかける。 すなわち、一般解は
X = 5 + 87t, Y = -12 - 209t, tは任意の整数
によって与えられる。

ペル方程式

JavaScriptによる計算はこちら
mを平方数でないような自然数とするとき、不定方程式
X2 - mY2 = 1
をペル方程式という。 ペル方程式は無数の整数解を持つことことが知られている。 解の求め方を説明しよう。 実数xに対して、xの整数部分と小数部分を次の記号で表す。
x = [x] + {x}, [x]は整数, {x}は0以上1より小.
整数からなる数列{qn}と 無理数からなる数列{xn}を次のように定義する。
x0 = [m1/2] + m1/2 ,
qn = [xn], xn+1 = 1/{xn} = 1/(xn - qn), n=0,1,2, ...
そのとき、ある番号Nが存在して、 xN = x0となる。
xn = [xn] + {xn} = qn + 1/xn+1
であるから、この式を n = N-1, N-2, ... , 0 について用いれば、
x0 = (ax0 + b)/(cx0 + d)
を得る。ここで、a, b, c, dは自然数で
ad - bc = (-1)N
を満たしている。したがって、x0は2次方程式
cx02 + (d-a)x0 - b = 0
を満たす。一方、t = [m1/2]とおけば、 定義から、x0は2次方程式
x02 - 2tx0 + t2 - m = 0
を満たす。これらの二つの2次方程式を比較して、
d - a = -2ct, -b = c(t2 - m).
これと ad - bc = (-1)Nより、
a(a -2ct) + c2(t2 - m) = (-1)N,
(a - ct)2 - mc2 = (-1)N.
すなわち、X = a - ct, Y = cは
X2 - mY2 = (-1)N
の整数解である。 以上の方法をm = 19の場合に適用してみよう。 t = [191/2] = 4である。 x0 = 4 + 191/2, q0 = [x0] = 8,
x1 = 1/(-4 + 191/2) = (4 + 191/2)/3, q1 = [x1] = 2,
x2 = 3/(-2 + 191/2) = (2 + 191/2)/5, q2 = [x2] = 1,
x3 = 5/(-3 + 191/2) = (3 + 191/2)/2, q3 = [x3] = 3,
x4 = 2/(-3 + 191/2) = (3 + 191/2)/5, q4 = [x4] = 1,
x5 = 5/(-2 + 191/2) = (2 + 191/2)/3, q5 = [x5] = 2,
x6 = 3/(-4 + 191/2) = 4 + 191/2 = x0. したがって、
xn = qn + 1/xn+1
をn = 5, 4, 3, 2, 1, 0の順に計算すれば、 x5 = 2 + 1/x0 = (2x0 + 1)/x0,
x4 = 1 + x0/(2x0 + 1) = (3x0 + 1)/(2x0 + 1),
x3 = 3 + (2x0 + 1)/(3x0 + 1) = (11x0 + 4)/(3x0 + 1),
x2 = 1 + (3x0 + 1)/(11x0 + 4) = (14x0 + 5)/(11x0 + 4),
x1 = 2 + (11x0 + 4)/(14x0 + 5) = (39x0 + 14)/(14x0 + 5),
x0 = 8 + (14x0 + 5)/(39x0 + 14) = (326x0 + 117)/(39x0 + 14).
よって、a = 326, b = 117, c= 39, d = 14とおけば、 X = a - ct = 326 - 39×4 = 170,
Y = c = 39.
これはペル方程式 X2 - 19Y2 = 1の整数解である。 n = 1, 2, ...に対して、 自然数Xn, Ynを
(170 + 39・191/2)n = Xn + Yn191/2
によって定めれば、 これらはペル方程式X2 - 19Y2 = 1 の整数解である。実はこれらがこの方程式の自然数解のすべてである。 また、Xn, Yn は次の漸化式によって計算できる。 X1 = 170, Y1 = 39,
Xn+1 = 170Xn + 741Yn,
Yn+1 = 39Xn + 170Yn.

正定値2元2次形式

JavaScriptによる計算はこちら
a, b, c を整数とするとき、X,Yを変数とする2次式
f(X,Y)=aX2+bXY+cY2
を2元2次形式という。 D=b2-4ac を f(X,Y) の判別式という。 a>0 かつ D<0 のとき、(X,Y) が (0,0) と異なる値をとるとき f(X,Y)>0 である。 このとき、f(X,Y) は 正定値であるという。 整数 p, q, r, s が ps-qr=1 を満たすとき、
g(X,Y)=f(pX+rY,qX+sY)=a'X2+b'XY+c'Y2
とおけば、g(X,Y) も正定値2元2次形式である。 g(X,Y) の判別式は f(X,Y) の判別式と等しい。 f(X,Y) と g(X,Y) がこのような関係であるとき、 同値であるという。 与えられた判別式 D<0 を持つ正定値2元2次形式は次の条件を満たす 2元2次形式 f(X,Y)=aX2+bXY+cY2 0<a<c, -a≦b<a または 0<a=c, 0≦b<a と同値である。 このとき、|D|=4ac-b2>3a2 であるから、同値類の数は有限であること がわかる。この数を類数という．

2つの平方の和にかける素数

JavaScriptによる計算はこちら
素数 p が 整数 X, Y を用いて
p = X2 + Y2
とかけるのはいつだろうか。まず、2 は 2 = 12 + 12 とかける。p を奇素数とする。p = X2 + Y2 とかけたとする。 X, Y ともに偶数でも、X, Y ともに奇数でも、X2 + Y2 は偶数となるから、X, Y の一つは奇数でもう一つは偶数である。 X = 2X1+1, Y = 2Y1 とかけば、
p = 4X12 + 4X1 + 1 + 4Y12
であるから、p を 4 で割った余りは 1 である。 逆に、p を 4 で割った余りは 1 であるとする。 ウィルソンの定理によって、(p-1) ! + 1 は p で割り切れる。 X = (p-1/2) ! とおくと、
(p-1)! + 1 = (p-1)(p-2) ... ((p+1)/2) X + 1.
ここで、
(p-1)(p-2) ... ((p+1)/2) = (p-1)(p-2) ... (p-(p-1)/2) = (-1)(p-1)/2X + (p の倍数)
であり、(-1)(p-1)/2 = 1であるから、 X2 + 1 は p の倍数である。 よって、2つの平方数の和で p の倍数になるものが存在する。 x2 + y2 = pm とする。 m = 1ならば p は2つの平方の和にかけている。 m > 1 とする。a を x を m で割った余りとし、b を y を m で割った余りとする。 さらに、a > m/2 ならば、a を a - m で置き換える。同様に、 b > m/2 ならば、b を b - m で置き換える。 このとき、bx - ay と ax + by はともに m の倍数であるから、
X = (bx - ay)/m, Y = (ax + by)/m
とおけば、
X2 + Y2 = m-2(a2 + b2)(x2 + y2) = m-1(a2 + b2)p
である。ここで、a2 + b2 は m の倍数であり、
a2 + b2 ≦ (m/2)^2+(m/2)^2 = m^2/2
であるから、m-1(a2 + b2)≦ m/2 である。 これを繰り返せば、p が2つの平方の和にかけることがわかる。

ピタゴラス数

JavaScriptによる計算はこちら
四千年前のバビロニアにおいて、 三辺の長さX, Y, Zが整数であるような直角三角形として、 X, Y, Zが次のようなものが知られていた。
　　　3,　4,　5 　　　5, 12, 13 　　 15,　8, 17
　　　7, 24, 25 　　 21, 20, 29 　　　9, 40, 41

これらは不定方程式
X2 + Y2 = Z2

の整数解である。 ピタゴラスは紀元前6世紀頃、この不定方程式の整数解として、
X = 2a + 1, Y = 2a2 + 2a, Z = 2a2 + 2a + 1

を与えた。7世紀頃、インドのブラマグプタは一般解
X = a2 - b2, Y = 2ab, Z = a2 + b2

に到達していた。

フェルマー予想

17世紀のフランスの数学者フェルマーは、 愛読書の余白に次のような書き込みをした。 「平方より大きいべきを2つの同一のべきに分かつことはできない。 そのことの真に驚くべき証明を見つけたが、 この余白は狭すぎて書けない。」 これを現代の記法でかけば、次のようになる。 nを3以上の自然数とすると、
Xn + Yn = Zn

を満たす自然数X, Y, Zは存在しない。 これが有名な「フェルマーの最終定理」、 あるいは「フェルマーの大定理」と呼ばれるものである。 フェルマーは、自分が見つけた定理を他国の数学者に手紙で 知らせた。n=3, 4の場合を手紙に書いているだけで、 それ以外の場合にはふれていない。 n=4の場合の彼の証明は復元されているが、 n=3の場合の証明は残されていない。 また、彼の他の書き物や、 当時のレベルから見ても一般の場合の証明ができていたとは考えられない。 このような理由から、 上の命題は「フェルマー予想」と呼んだ方が適切であった。 フェルマー以降、19世紀中頃までに、 この問題には次のような進展があった。
  • 1770年　オイラー(スイス)　n=3の場合を証明。
  • 1825年　ディリクレ(ドイツ) n=5の場合を証明。
  • 1847年　クンマー(ドイツ)　十分条件を与える。
クンマーの得た結果は、 個々のnについて問題を考えるのではなく、 予想が正しいためのnの十分条件を、 具体的に計算できる形で与えているという点で画期的であった。 また、彼の仕事を一般化することによって、 「代数的整数論」という学問が発達したことの意義は非常に大きいと考えられる。 20世紀に入って、整数論は著しく発達し、 遂に1994年にワイルスは20世紀の整数論の成果の総力を結集して、 この予想を解決した。 人類は一つの整数論の問題を約350年かけて考え続け、 解決に成功したのである。

代数体

方程式

x2 + y2 = z2.

を考える．この方程式の整数解ピタゴラス数と呼ばれる． もし，複素数i, i2=-1, を用いれば，この方程式の右辺を次のように因数分解できる:

(x + iy)(x-iy) = z2.

これから，我々はガウスの整数環

R={x + iy; x, y は整数 }.

に導かれる．環R は通常の整数のなす環 Z と同様な性質を持っている．R の元は R における'素数'の積として一意的に表せることが証明できる． もし，三個の整数 A, B, C in Z について，A と B が1より大きい公約数を持たず， さらに，

AB = C2

ならば A と B は両方とも平方数であることが 素因数分解の一意性からわかる． 同様に，もし (x, y, z) がピタゴラス数であり， x と y が1より大きい公約数を持たなければ， x + iy と x - iy はともに， R における平方数でなければならないことがわかる． また，x と y のうち一方が奇数で 他方が偶数であることがわかる． x が奇数で y が偶数であるとする． そのとき，

x + iy = (a + bi)2 = a2 - b2 + 2abi ,

したがって，

x = a2 - b2, y = 2ab, z = a2 + b2

を得る．このように，ガウスの整数環のような環を考えることは，通常の整数に関する 多く問題に対して，非常に役に立つ．そのような環は代数体の整数環と呼ばれる． 代数的数とは，有理数係数の代数方程式

Xn + a1Xn-1 + … + an-1X + an = 0, ajは有理数,

の根であるような複素数である． 代数的整数とは，最高次の係数が1であるような 整数係数の代数方程式

Xn + a1Xn-1 + … + an-1X + an = 0, ajは整数,

の根であるような複素数である． (有限次)代数体 K とは， 有理数体上有限次元のベクトル空間であるような複素数体の部分体である． K は次のような形に表せる:

K={c0 + c1t + … + cn-1tn-1; ci は有理数} ,

ここで，t はある代数的数である． K の整数環とは，K に属する代数的整数の全体 のなす環である．それを OK で表す． 環 OK においては，一般には素因数分解の一意性は 成立しない．しかし，それが素因数分解の一意性とどれくらい離れているかを 測る不変量が存在する． その不変量は代数体 K の類数と呼ばれる． K が2次方程式 X2+m=0, m は平方因数を持たない正整数，によって定義される虚2次体のとき， m を 4 で割った余りが 3 のとき，D=-m とおき， それ以外のときは，D=-4m とおく．そのとき，K の類数は，判別式 D の正定値2元2次形式の類数と等しい．

自然数の負べき乗の無限和

次のような無限級数の和は容易に求められる:

1 + r + r2 + … = (1-r)-1, |r|<1.


(1・2)-1 + (2・3)-1 + (3・4)-1 + … = 1.

これに対して，次の無限級数の和はそうはいかない．

1-2 + 2-2 + 3-2 + … .

この和を最初に求めたのは，オイラーである． オイラーは1735年に

1-2 + 2-2 + 3-2 + … = π2/6 　　　 (*).

であることを発見した． この不思議な公式を発見したとき，オイラーはその喜びを 次のように述べている:
「私は何度試みても，それらの和に対する近似値しか得られませんでした... しかるに，今回まったく思いもかけず，この和に対する優雅な公式が発見できました． それは円周率に関係しているのです．」
左辺をいくらながめても影も形もない円周率がどうして右辺に現れるのか？ オイラーがどのようにしてこの等式を発見したかを説明しよう． まず，三角関数 sin xは次のようなテイラー展開を持つ:

sin x = x - x3/3! + x5/5! - x7/7! + … .

また，xのn次多項式 f(x) が x= a1, ... , an で0になれば，

f(x) = b(x - a1) … (x - xn)

と因数分解できる．sin x は x の多項式でないが，x= nπ, n=0, ±1, ±2, ±3, ... で0に なるから，無限積

bx(x - π)(x + π)(x - 2π)(x + 2π) …

として表せないだろうか．しかし，この無限積は収束しないことは容易にわかる． そこで，少し修正して

bx(1 - x/π)(1 + x/π)(1 - x/(2π))(1 + x/(2π)) …
= bx(1 - x2/π2)(1 - x2/(2π)2) (1 - x2/(3π)2) …

を考える．これは収束して，x= nπ, n=0, ±1, ±2, ±3, ... で0に なる関数を表す．この関数を g(x) とする． もし，sin x=g(x) になったとすれば，

1 = limx → 0 sin x/x = limx → 0 g(x)/x = b

より，b=1 である．実際に，

sin x = x(1 - x2/π2)(1 - x2/(2π)2) (1 - x2/(3π)2) …

が成り立つことが証明される．これを sin x の無限積展開という． オイラーは sin x の無限積展開のかけ算を展開して得られる 級数と sin x のテイラー展開の x3 の係数を比較することによって，自然数の平方の逆数の無限和の値が π2/6 であることを発見した． さらに，オイラーはx5，x7, ... の係数を比較することによって，

1-4 + 2-4 + 3-4 + … = π4/90, 　　　　　　　　
1-6 + 2-6 + 3-6 + … = π6/945, 　　　　　　　
1-8 + 2-8 + 3-8 + … = π8/9450, 　　　　　　　
1-10 + 2-10 + 3-10 + … = π10/93555, 　　　　
1-12 + 2-12 + 3-12 + … = 691π12/638512875,

を求めた．一般に k を正の偶数とすれば，

ζ(k) = 1-k + 2-k + 3-k + … = (有理数)πk

であることがわかる．このようにして，オイラーは等式(*)を発見したが， 多項式の因数分解を sin x のような関数にも適用してしまう オイラーの大胆な発想は当時の数学者達からも疑念を持たれた． しかし，オイラー本人はこの議論によって結論されるこれらの和の値が 以前に数値計算して得られたものとぴったり合っていることから， それらの値が正しいことを確信していた．発見から10年後の1745年に オイラーは無限積展開についても証明を与えている． 正の偶数 k に対する ζ(k) の公式に 現れる有理数は，ベルヌイ数を用いて表すことができる． それは，円分体の類数と密接に関係して， フェルマー予想に関するクンマーの仕事において重要な役割を果たした． また，k が3以上の奇数のときには， この和がどんな数であるかはほとんど知られていない． アペリーによって， k = 3 のときの和が無理数であることが証明されたのは， 1978年のことである． 実数 s>1 の関数 ζ(s) を収束する無限級数

ζ(s) = 1-s + 2-s + 3-s + …

によって定義する．これは1以外のすべての複素数s の関数 に拡張される．これをリーマンのゼータ関数という． リーマンのゼータ関数の解析的性質は，素数の分布と密接に関係している． リーマンのゼータ関数の自明でない零点はすべてsの 実部=1/2 という直線上にあるという主張が， 「リーマン予想」と呼ばれる未解決の大問題である．

楕円曲線


不定方程式 X2 + Y2 = Z2 の整数解を決定することは、円 x2 + y2 = 1 の有理点を決定することと同じである。 楕円や双曲線等の2次方程式で定義される曲線についても、 円の場合と同様に扱える。よって、次に問題になる曲線は、 a, b, cを整数として、方程式
E: y2 = x3 + ax2 + bx + c
で表されるものである。ここで、3次方程式
x3 + ax2 + bx + c = 0
が重根を持たない場合が重要である。 そのような曲線Eを楕円曲線という。 楕円曲線E上の点の全体は、 次のような演算によって無限遠点∞を単位元とするアーベル群をなす。 E上の2点P，Qに対して、 PとQを結ぶ直線と楕円曲線Eとのもう一つの交点をRとし、 x軸に関してRと対称な点をR'とするとき、
P + Q = R'
と定義する。Rの逆元は-R=R'である。
P = (x1, y1)， Q = (x2, y2)， R = (x3, y3),
t = (y2 - y1)/(x2 - x1)
とすれば、直線PQの方程式
y = t(x - x1) + y1
をEの方程式に代入して、
(t(x - x1) + y1)2 = x3 + ax2 + bx + c,
x3 + (a - t2)x2 + b'x + c' = 0.
x = x1, x2, x3 はこの3次方程式の3根だから、根と係数の関係によって、
x1 + x2 + x3 = t2 - a
となる。したがって、
x3 = t2 - a - x1 - x2,
y3 = t(x3 - x1) + y1.
この等式から、P, Qのx, y座標が有理数ならば、 P + Qのx, y座標も有理数であることがわかる。したがって、 E(Q)を E上の有理点全体の集合に無限遠点∞を付け加えた集合とすれば、 E(Q)はアーベル群になる。 モーデルは、有限個のE(Q)の点 P1, ... , Pr が存在して、任意のE(Q)の点Pは、
P = P0 + n1 P1 + … + nrPr, 　P0は有限位数の点， n1, ... , nr は整数
と表せることを証明した。このrを楕円曲線Eのランクという。 ランクについては、BirchとSwinerton-Dyerによる予想がある。 また、Wilesによるフェルマー予想の解決も楕円曲線を用いている。

合同数問題


三辺の長さが有理数である直角三角形の面積となるような 正の有理数 r を合同数という．すなわち，
X2 + Y2 = Z2, XY/2=r

を満たすような正の有理数 X, Y, Z が存在するとき，r は合同数であるという． 例えば，三辺の長さが 3,4,5 の直角三角形の面積は 6 であるから， 6 は合同数である．三辺の長さが 5,12,13 の直角三角形の面積 30 も合同数である．また，三辺の長さが 24/5, 35/12, 337/60 の直角三角形の面積 7 も合同数である．
正の有理数 X, Y, Z が
X2 + Y2 = Z2, XY/2=r

を満たせば，点 (X/Z, Y/Z) は単位円の第1象限の有理点であるから， 有理数 t を用いて，
X/Z = (1-t2)/(1+t2), Y/Z = 2t/(1+t2)

と表せる．したがって，
Z = s(1+t2), X = s(1-t2), Y = 2st

とかける．ここで，s, t は有理数で， s>0, 1>t>>0 である． そのとき， X, Y, Z を三辺とする直角三角形の面積 r は，
r = XY/2 = s2t(1-t2)

で与えられる． s, t にいろいろな有理数の値を与えることによって， 合同数が次々に得られる． 例えば，t = 4/5, s = 25/6 とおけば，
X = 3/2, Y = 20/3, Z = 41/6, r = 5

であり，t = 9/16, s = 64/15 とおけば，
X = 35/12, Y = 24/5, Z = 337/60, r = 7

である． 定義から，r が合同数ならば，任意の正の有理数 u について， u2r も合同数である． 特に，r = b/a と既約分数の形にかき，さらに， a = a02a1, b = b02b1, a0, b0 は自然数， a1, b1 は平方数(4,9,16,25,...) で割れない自然数とかいて， u = a0a1/b0 とおけば，
u2r = a1b1
であり，a1, b1 の公約数は1だけであるから，u2r は平方数で割れない自然数である． すなわち，合同数は適切な正の有理数の平方をかけることによって， 平方数で割れないような自然数の合同数になる． 以下，平方数で割れないような自然数の合同数のことを， 単に合同数と呼ぶことにする． r, s にいろいろな値を入れてもなかなか n が現れない場合に， n が合同数でないのか，それとももっと別の r, s の値を入れれば 現れるのか，どちらかわからない．したがって， 与えられた自然数 n が合同数かどうかは簡単にはわからない． すでに見たように，5, 6, 7 は合同数である． 1 は合同数でないことはフェルマーによって証明された． 「与えられた自然数 n が合同数かどうかを簡単に決定する方法を求める」 を合同数問題という．これは10世紀のアラビアに起源をさかのぼることが できる古典的な問題であるが，現在でも完全には解決されていない. これは，楕円曲線 y2 = x3-n2x の有理点のランクや半整数ウェイトの保型形式というものと関係している． これについて，1983年にTunnellは次のことを証明した．
Tunnellの定理 　n を平方因数を持たないような奇数とする． 次の2つの条件を考える:
(A) n は合同数である．
(B) 2x2 + y2 + 8z2 = n を満たす整数 x,y,z の組の個数は， 2x2 + y2 + 32z2 = n を満たす整数 x,y,z の組の個数の2倍に等しい．
そのとき，(A)ならば(B)が成り立つ．さらに，楕円曲線 y2 = x3-n2x に対して Birch・Swinerton-Dyer予想が正しければ，(B)ならば(A)が成り立つ．
もう少し詳しく知りたい方は， (takadaH16.pdf) をご覧ください．

数学の研究について


高木貞治 著「近世数学史談」の中で述べられている、 数学の研究についての一節を紹介します。
「ガウスが進んだ道は即ち数学の進む道である。 その道は帰納的である。特殊から一般へ！それが標語である。 それは凡ての実質的なる学問に於て必要なる条件であらねばならない。 数学が演繹的であるというが、 それは既成数学の修業にのみ通用するのである。 自然科学に於ても一つの学説が出来てしまえば、 その学説に基づいて演繹をする。 しかし論理は当り前なのだから、 演繹のみから新しい物は何もでてこないのが当たり前であろう。 若しも学問が演繹のみにたよるならば、 その学問は小さな環の上を永遠に周期的に廻転する外はないであろう。 我々は空虚なる一般論に捉われないで、 帰納の一途に精進すべきではあるまいか。」 高木貞治「近世数学史談」P.57より

おすすめの本

  • 伊原康隆，志学 数学，シュプリンガー，2005
  • 加藤和也，解決！フェルマーの最終定理−現代数論の軌跡−, 日本評論社, 1995
  • 佐武一郎，代数学への誘い, 遊星社, 1996
  • 高木貞治，近世数学史談 & 数学雑談, 共立出版, 1996
  • サージ・ラング：数学の美しさを体験しよう−三つの公開対話−, 森北出版, 1989
  • 山本芳彦，数論入門，岩波書店，2003
  • 中島匠一，代数と数論の基礎，共立出版,2000
  • 数学セミナー編集部編，数学ガイダンスhyper，日本評論社，2005
  • 佐藤文広，数学ビギナーズマニュアル，日本評論社，1994
  • 小川洋子，博士の愛した数式，新潮社，2003
  • 藤原 正彦・小川 洋子，世にも美しい数学入門，筑摩書房，2005
  • 宮川ひろ，びゅんびゅんごまがまわったら，童心社，1982 (私の母校の小学校が舞台になっている絵本です)

整数論関連フリーソフトウェア

  • UBASIC
    立教大学の木田祐司氏が作られたBASICです。 2600桁までの多倍長整数を簡単に扱えることと、 整数論的な関数があらかじめ組み込まれていることが大きな特徴です。 DOS/V、NEC PC98、FMRそれぞれのMS-DOS版があります。 Windows XP のDOS窓でも特殊なものを除き動きます。 UBASICのホームページ

  • PARI
    ボルドー大学のH. Cohen氏が中心となって作られた整数論のためのパッケージです。 多倍長整数を扱えること、数式処理ができること、 p進数、代数的数、有限体を直接扱えること、 楕円曲線の整数論的計算に便利であること等の特徴があります。 Windows XP, MS-DOS, OS/2, UNIX, マッキントッシュ等のシステムで動作します。 入手先はこちら

  • KANT/KASH
    ベルリン工科大学のM. E. Pohst氏が中心となって作られた整数論のためのパッケージです。 代数体のイデアル類群、ガロア群、イデアルが単項イデアルかどうかなど が簡単に計算できます。 入手先はこちら