この記事は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られているものであるが呼びかたが定まっておらず、フェルマーの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を意味する。formula_48の素数はformula_49で表される。合成数がformula_50で表されるための必要十分条件は、formula_51以外の素因数が全て平方になっていることである。この証明は以下に与えられる。平方剰余の相互法則の補充法則により、であるから、formula_48であればformula_54となる自然数formula_4が存在する。formula_56の場合の証明にならえばとなり、故にとなる。formula_59の場合は両辺を2で除してとなる。合成数についてはformula_56の場合の証明にならう。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個になる。

出典:wikipedia