1. 高校数学の美しい物語
  2. フェルマーの二平方和定理

フェルマーの二平方和定理

更新日時 2021/03/07

定理: 22 つの整数 x,yx,y を用いて n=x2+y2n=x^2+y^2 と表される

nn を素因数分解したときの 4k+34k+3 型の素数の指数が全て偶数

高々2つの整数の二乗和で表される整数はどんなものか?という疑問に答える非常に有名な定理です。

この定理を知っていることで数学オリンピックで有利になることはないと思いますが,整数論の様々な知識を動員するので応用例として勉強になります。

目次
  • フェルマーの二平方和定理

  • 主張1の証明

  • フェルマーの二平方和定理の証明

フェルマーの二平方和定理

上記の定理の \Leftarrow を証明します。以下の 22 つの主張を証明すれば十分です:

主張1:m,nm,n がいずれも x2+y2x^2+y^2 の形で表されるなら mnmnx2+y2x^2+y^2 の形で表せる

主張2(フェルマーの二平方和定理):奇素数 pp について

pp44 で割った余りが 11pp は2つの平方数の和で表せる

x2+y2x^2+y^2 と表せる 素数はどんなものか?

という問題に関しては,44 で割った余りを考えることできれいに分類できるというのがフェルマーの二平方定理です。

主張1の証明

こちらは簡単です。ブラーマグプタ・フィボナッチ恒等式を用います。

証明

(x12+y12)(x22+y22)=(x1y2x2y1)2+(x1y1+x2y2)2(x_1^2+y_1^2)(x_2^2+y_2^2)=(x_1y_2-x_2y_1)^2+(x_1y_1+x_2y_2)^2

より m,nm, n22 つの平方数の和で表せるならその積も 22 つの平方数の和で表せる。

フェルマーの二平方和定理の証明

あとは素数が 22 つの平方数の和で表せるかどうかです。

  • 222=12+122=1^2+1^2 と平方数の和で表せるので,奇素数についてのみ考えればよいわけです。
  • 平方数を 44 で割った余りは 0011 なので x2+y2x^2+y^244 で割った余りは 33 になることはありません。よって 4k+34k+3 型の素数は2つの平方数で表すことができません。これで主張2の⇐の対偶が証明されたことになります。よってあとは⇒を示せばOKです。
  • ⇒の証明が難しいです。ルジャンドル記号とオイラーの規準で解説した平方剰余の第一補充法則を用います。
証明

以下 modp\:\mathrm{mod}\:p を省略して表記する。

pp44 で割った余りが 11 のとき第一補充法則より

x21x^2\equiv -1 となる xx が存在するので例えば y=1y=1 とすれば

x2+y20x^2+y^2\equiv 0 となる (x,y)(x,y) が存在する。

よって x2+y2=kpx^2+y^2=kp

となる自然数 kk が存在するのでそのような組 (x,y,k)(x,y,k) の中で kk が最小なものをとってくる。

k=1k=1 であることを背理法で示す。

x,yx,ykk で割る(余りの絶対値が最小となるようにする):

x=Ak+B,y=Ck+Dx=Ak+B, y=Ck+D

ただし,B,DB,D の絶対値は k2\dfrac{k}{2} 以下。つまり B2+D2B^2+D^2k22\dfrac{k^2}{2} 以下。

このとき x2+y2x^2+y^2kk の倍数なので B2+D2B^2+D^2kk の倍数:

B2+D2=nk,(n<k)B^2+D^2=nk, (n <k)

以上から,pn=(x2+y2k)(B2+D2k)=(xB+yDk)2+(xDyBk)2pn=(\dfrac{x^2+y^2}{k})(\dfrac{B^2+D^2}{k})\\ =(\dfrac{xB+yD}{k})^2+(\dfrac{xD-yB}{k})^2

となり,npnp も平方数の和で表される(※)ので kk の最小性に矛盾。

(※)最後に xB+yDk,xDyBk\dfrac{xB+yD}{k},\dfrac{xD-yB}{k} が整数であることが以下のように示される:

xB+yDx2+y20(modk)xB+yD\equiv x^2+y^2\equiv 0\pmod{k}

xDyBxyyx0(modk)xD-yB\equiv xy-yx\equiv 0\pmod{k}

原始根を突破口としていろいろな定理が証明されます。

人気記事
  1. 高校数学の美しい物語
  2. フェルマーの二平方和定理