二個の平方数の和

二個の平方数の和（にこのへいほうすうのわ）は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られているものであるが呼びかたが定まっておらず、フェルマーの4n+1定理、フェルマーの二平方定理、あるいは単にフェルマーの定理（フェルマーの最終定理とは異なる）などと呼ばれる。
4を法として1に合同な素数は二個の平方数の和で表される。合成数が高々二個の平方数の和で表されるための必要十分条件は、4を法として3に合同な素因数が全て平方（冪指数が偶数）になっていることである。この定理は、フェルマーによって提起され、オイラーによって解決された。
具体的に4を法として1に合同な素数とは 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109,formula_1 ()
証明.
素数についての証明.
平方剰余の相互法則の補充法則により、formula_2であれば
となる自然数formula_4が存在する。formula_5とするとformula_6の組み合せの個数はformula_7である。従って、formula_8で
となるものが存在する。formula_10とすると
である。formula_12であるから
であり、故に
である。
合成数についての証明.
formula_15であれば
であるから、十分条件については明らかである。必要条件についてはformula_17がformula_18の形の素因数を持つと仮定して矛盾を導く（背理法）。formula_19であれば
と書ける。ここでformula_21であれば必然的にformula_22であり、formula_23であるから両辺をformula_24で除するものとする。formula_25であればformula_26となるformula_27が存在する。両辺にformula_28を乗すると
となる。しかし、これはformula_30がformula_18の平方剰余にならないという事実に反する。従って、formula_18の形の素因数を平方以外の形で持つ合成数が二個の平方数の和で表されることはない。
一文証明.
ザギエ（Zagier）による一文証明（one-sentence proof）は、一文で完結することもさりながら、平方剰余に関する知識を要求しないということも特筆に値する。
対合とはformula_37となる写像formula_38のことである。
不動点とはformula_39となる元formula_40のことであり、
必ず一個の不動点を持つというのはformula_41を意味している。
formula_42が素数であることを仮定して、
一文証明が主張する対合が実際に対合であること、そしてformula_43の他に不動点が存在しないことの確認は読者に任せる。
唯一の不動点を除き集合formula_35の元は対合によって対になるから、元の個数は奇数である。
従って、対合formula_36によって対にならない元が存在する。
これはformula_46を意味し、ひいてはformula_47を意味する。
重みつき平方数の和.
x2+2y2.
formula_48の素数はformula_49で表される。合成数がformula_50で表されるための必要十分条件は、formula_51以外の素因数が全て平方になっていることである。この証明は以下に与えられる。
平方剰余の相互法則の第一補充法則と第二補充法則により、
であるから、formula_48であればformula_54となる自然数formula_4が存在する。formula_56の場合の証明にならえば
となり、故に
となる。formula_59の場合は両辺を2で除して
となる。合成数についてはformula_56の場合の証明にならう。
x2+3y2.
formula_62の素数はformula_63で表される。合成数がformula_64で表されるための必要十分条件は、formula_65以外の素因数が全て平方になっていることである。これはオイラーの6n+1定理などと呼ばれる。この証明は以下によって与えられる。
平方剰余の相互法則と第一補充法則により、
であるから、formula_62であればformula_68となる自然数formula_4が存在する。formula_56の場合の証明にならえば
となり、故に
となるが、法3で考えるとformula_59はありえない。formula_74の場合は両辺を3で除して
となる。合成数についてはformula_56の場合の証明に倣う。なお、formula_77であれば、formula_78は共に偶数か共に奇数であるが、奇数であればformula_79である。従って、素因数2の冪指数は偶数である。
ヤコビの二平方定理.
自然数を高々二個の平方数の和で表す方法の数は、ヤコビの二平方定理
によって与えられる。ただし、シグマ記号は2で整除されないNの約数（1とNを含む）について和を取ることを表す。例えば、
であるが、実際に25を高々二個の平方数の和で表す方法は
であり、符号と順序を区別すれば12個になる。
二個の平方数の和で表される自然数の個数.
二個の平方数の和で表される自然数の分布について、いくつかの結果が知られている。
エトムント・ランダウとシュリニヴァーサ・ラマヌジャンは独立に、 "x" 以下の自然数のうち二個の平方数の和で表される自然数の個数はある正の定数 "c" について漸近的に
となることを証明している。 "c" はランダウ・ラマヌジャンの定数と呼ばれ、およそ 0.76422365358922066299069873125 であることが知られている（）。