二個の平方数の和(にこのへいほうすうのわ)は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られている[1]ものであるが呼びかたが定まっておらず、フェルマーの4n+1定理[2]、フェルマーの二平方定理、あるいは単にフェルマーの定理(フェルマーの最終定理とは異なる)などと呼ばれる。
4を法として1に合同な素数は二個の平方数の和で表される。
定理 ― 奇素数 p が整数 x と y を用いて、
![{\displaystyle p=x^{2}+y^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe433e9ba9c42efe1bc9fd51bb439c698b8f6843)
と表されるのは、
![{\displaystyle p\equiv 1{\pmod {4}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34dd7a30a03aab50f19113294a5c6e92ec536ddd)
の時に限る。また、逆も成り立つ。そして、この分解は一意的である。
合成数が高々二個の平方数の和で表されるための必要十分条件は、4を法として3に合同な素因数が全て平方(冪指数が偶数)になっていることである。この定理は、フェルマーによって提起され、オイラーによって解決された。
具体的に4を法として1に合同な素数とは 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109,
(オンライン整数列大辞典の数列 A002144)
素数についての証明[編集]
平方剰余の相互法則の補充法則により、
であれば
![{\displaystyle r^{2}\equiv -1\;(\operatorname {mod} \;p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb34ceac5016e09ca54117ffb950df9fa70de4e7)
となる自然数
が存在する。
とすると
の組み合せの個数は
である。従って、
で
![{\displaystyle {x_{1}-ry_{1}}\equiv {x_{2}-ry_{2}}\;(\operatorname {mod} \;p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39a29927b62aa86d6753bb32a3582fd73bd47d42)
となるものが存在する。
とすると
![{\displaystyle {\begin{aligned}&{x^{2}}\equiv {r^{2}y^{2}}\equiv {-y^{2}}\;(\operatorname {mod} \;p)\\&{x^{2}+y^{2}}\equiv 0\;(\operatorname {mod} \;p)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85c30d6b62c313181f88667e1de10f27f780600d)
である。
であるから
![{\displaystyle 0<x^{2}+y^{2}<2p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2d78d9b2210502b1084af77c36ff9ddef40b675)
であり、故に
![{\displaystyle x^{2}+y^{2}=p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc488780a059d8a62440c35fb49b29a16b5386cf)
である。
合成数についての証明[編集]
であれば
![{\displaystyle {\begin{aligned}&2p=2(x^{2}+y^{2})=(x-y)^{2}+(x+y)^{2}\\&pq=(x^{2}+y^{2})(x'^{2}+y'^{2})=(xx'-yy')^{2}+(xy'+yx')^{2}\\&r^{2}p=r^{2}(x^{2}+y^{2})=(rx)^{2}+(ry)^{2}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c659c89c85596d53aa9c89a5290c13ddb2bef7fb)
であるから、十分条件については明らかである。必要条件については
が
の形の素因数を持つと仮定して矛盾を導く(背理法)。
であれば
![{\displaystyle A=pa=x^{2}+y^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96b65f2cdf6fbc6154fce5ae8c0c84fb978e5823)
と書ける。ここで
であれば必然的に
であり、
であるから両辺を
で除するものとする。
であれば
となる
が存在する。両辺に
を乗すると
![{\displaystyle {\begin{aligned}&pa(x^{-1})^{2}=1+(yx^{-1})^{2}\\&0\equiv {1+(yx^{-1})^{2}}\;(\operatorname {mod} \;p)\\&-1\equiv {(yx^{-1})^{2}}\;(\operatorname {mod} \;p)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eba6335293c048608d8535704cabdb68603c04ab)
となる。しかし、これは
が
の平方剰余にならないという事実に反する。従って、
の形の素因数を平方以外の形で持つ合成数が二個の平方数の和で表されることはない。
一文証明[編集]
ザギエ(Zagier)による一文証明(one-sentence proof)[3]は、一文で完結することもさりながら、平方剰余に関する知識を要求しないということも特筆に値する。
- 有限集合
上の対合
![{\displaystyle (x,y,z)\mapsto {\begin{cases}(x+2z,~z,~y-x-z),\quad {\textrm {if}}\,\,\,x<y-z\\(2y-x,~y,~x-y+z),\quad {\textrm {if}}\,\,\,y-z<x<2y\\(x-2y,~x-y+z,~y),\quad {\textrm {if}}\,\,\,x>2y\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c4c013246b7156560f5f9901e530668b5d498ee)
- は必ず一個の不動点を持つから、集合
の元の個数は奇数であり、対合
![{\displaystyle (x,y,z)\mapsto (x,z,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ed95b6ba2475fabe3256b9e7aac5a3739152646)
- も不動点を持つ。
対合とは
となる写像
のことである。
不動点とは
となる元
のことであり、
必ず一個の不動点を持つというのは
を意味している。
が素数であることを仮定して、
一文証明が主張する対合が実際に対合であること、そして
の他に不動点が存在しないことの確認は読者に任せる。
唯一の不動点を除き集合
の元は対合によって対になるから、元の個数は奇数である。
従って、対合
によって対にならない元が存在する。
これは
を意味し、ひいては
を意味する。
重みつき平方数の和[編集]
x2+2y2[編集]
の素数は
で表される。合成数が
で表されるための必要十分条件は、
以外の素因数が全て平方になっていることである。この証明は以下に与えられる。
平方剰余の相互法則の第一補充法則と第二補充法則により、
![{\displaystyle {\begin{aligned}&\left({\frac {-2}{8n+1}}\right)=\left({\frac {-1}{8n+1}}\right)\left({\frac {2}{8n+1}}\right)=(-1)^{\frac {1-1}{2}}(-1)^{\frac {1-1}{8}}=1,\\&\left({\frac {-2}{8n+3}}\right)=\left({\frac {-1}{8n+3}}\right)\left({\frac {2}{8n+3}}\right)=(-1)^{\frac {3-1}{2}}(-1)^{\frac {9-1}{8}}=1,\\&\left({\frac {-2}{8n+5}}\right)=\left({\frac {-1}{8n+5}}\right)\left({\frac {2}{8n+5}}\right)=(-1)^{\frac {5-1}{2}}(-1)^{\frac {25-1}{8}}=-1,\\&\left({\frac {-2}{8n+7}}\right)=\left({\frac {-1}{8n+7}}\right)\left({\frac {2}{8n+7}}\right)=(-1)^{\frac {7-1}{2}}(-1)^{\frac {49-1}{8}}=-1\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5d30a919ac911af60be62159c340bc4c36b1c9b)
であるから、
であれば
となる自然数
が存在する。
の場合の証明にならえば
![{\displaystyle {\begin{aligned}&x^{2}+2y^{2}\equiv 0\;(\operatorname {mod} \;p),\\&0<x^{2}+2y^{2}<3p\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18731a06bd7ec492ac8025e83003d3e46eecb19a)
となり、故に
![{\displaystyle x^{2}+2y^{2}=fp\quad (f\leqq 2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c267d8548755d5cfc26abb9bbe6fb44f92c6619)
となる。
の場合は両辺を2で除して
![{\displaystyle 2\left({\frac {x}{2}}\right)^{2}+y^{2}=p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cad97c005b4f1c6429410e4b7ab849a7acd16811)
となる。合成数については
の場合の証明にならう。
x2+3y2[編集]
の素数は
で表される。合成数が
で表されるための必要十分条件は、
以外の素因数が全て平方になっていることである。これはオイラーの6n+1定理[4]などと呼ばれる。この証明は以下によって与えられる。
平方剰余の相互法則と第一補充法則により、
![{\displaystyle {\begin{aligned}&\left({\frac {-3}{12n+1}}\right)=\left({\frac {-1}{12n+1}}\right)\left({\frac {3}{12n+1}}\right)=\left({\frac {-1}{12n+1}}\right)\left({\frac {12n+1}{3}}\right)=1,\\&\left({\frac {-3}{12n+5}}\right)=\left({\frac {-1}{12n+5}}\right)\left({\frac {3}{12n+5}}\right)=\left({\frac {-1}{12n+5}}\right)\left({\frac {12n+5}{3}}\right)=-1,\\&\left({\frac {-3}{12n+7}}\right)=\left({\frac {-1}{12n+7}}\right)\left({\frac {3}{12n+7}}\right)=\left({\frac {-1}{12n+7}}\right)\left({\frac {12n+7}{3}}\right)=1,\\&\left({\frac {-3}{12n+11}}\right)=\left({\frac {-1}{12n+11}}\right)\left({\frac {3}{12n+11}}\right)=\left({\frac {-1}{12n+11}}\right)\left({\frac {12n+11}{3}}\right)=-1\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41ca86cb3e3274b999aff75a934bf7d5338cd98d)
であるから、
であれば
となる自然数
が存在する。
の場合の証明にならえば
![{\displaystyle {\begin{aligned}&x^{2}+3y^{2}\equiv 0\;(\operatorname {mod} \;p),\\&0<x^{2}+3y^{2}<4p\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a1eb81c7355e8f97f308b03e7750c614df22196)
となり、故に
![{\displaystyle x^{2}+3y^{2}=fp\quad (f\leqq 3)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5c226a04b1d6a0699722b55450bc0ba73b83ee4)
となるが、法3で考えると
はありえない。
の場合は両辺を3で除して
![{\displaystyle 3\left({\frac {x}{3}}\right)^{2}+y^{2}=p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2895c9a6d8929815bd38ab0b372d2b0fbc47e11e)
となる。合成数については
の場合の証明に倣う。なお、
であれば、
は共に偶数か共に奇数であるが、奇数であれば
である。従って、素因数2の冪指数は偶数である。
ヤコビの二平方定理[編集]
自然数を高々二個の平方数の和で表す方法の数は、ヤコビの二平方定理
![{\displaystyle r_{2}(n)=4\sum _{2{\nmid }d{\mid }n}(-1)^{\frac {d-1}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c47ba0703c9c764f2349d29d705e1b42d5d3fa0b)
によって与えられる。ただし、シグマ記号は2で整除されないNの約数(1とNを含む)について和を取ることを表す。例えば、
![{\displaystyle r_{2}(25)=4\left((-1)^{\frac {1-1}{2}}+(-1)^{\frac {5-1}{2}}+(-1)^{\frac {25-1}{2}}\right)=12}](https://wikimedia.org/api/rest_v1/media/math/render/svg/861dc160bd42686310ab7c677e9cc48d25f9b3fb)
であるが、実際に25を高々二個の平方数の和で表す方法は
![{\displaystyle {\begin{aligned}25&=(\pm 5)^{2}+0^{2}\\&=0^{2}+(\pm 5)^{2}\\&=(\pm 4)^{2}+(\pm 3)^{2}\\&=(\pm 3)^{2}+(\pm 4)^{2}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edd27586b05e8ec05d7763864d0765c938f3cee1)
であり、符号と順序を区別すれば12個になる。
二個の平方数の和で表される自然数の個数[編集]
二個の平方数の和で表される自然数の分布について、いくつかの結果が知られている。
エトムント・ランダウとシュリニヴァーサ・ラマヌジャンは独立に、 x 以下の自然数のうち二個の平方数の和で表される自然数の個数はある正の定数 c について漸近的に
![{\displaystyle cx/{\sqrt {\log x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34cb68022f2c2e56ba0fd50365ea1c280601b096)
となることを証明している。 c はランダウ・ラマヌジャンの定数と呼ばれ、およそ 0.76422365358922066299069873125 であることが知られている(オンライン整数列大辞典の数列 A064533)[5]。
関連項目[編集]
参考文献[編集]
- Conway, John Horton; Guy, Richard K. (1996), The Book of Numbers, New York: Copernicus, pp. 146-147, 220-223, ISBN 978-0-387-97993-9
- 高木貞治「§37.x2+y2の解」『初等整数論講義』(第2版)共立出版、1971年10月15日。ISBN 4-320-01001-9。
- Hardy, G. H.; Wright, E. M. (2008) [1938], An Introduction to the Theory of Numbers, Revised by D. R. Heath-Brown and J. H. Silverman. Foreword by Andrew Wiles. (6th ed.), Oxford: Oxford University Press, ISBN 978-0-19-921986-5, MR2445243, Zbl 1159.11001
外部リンク[編集]