トップQs
タイムライン
チャット
視点

二個の平方数の和

ウィキペディアから

Remove ads
Remove ads

二個の平方数の和(にこのへいほうすうのわ)は「平方数」、「多角数定理」などの補遺に当たる。ここに示す事実は古くから知られている[1]ものであるが呼びかたが定まっておらず、フェルマーの4n+1定理[2]、フェルマーの二平方定理、あるいは単にフェルマーの定理(フェルマーの最終定理とは異なる)などと呼ばれる。


4を法として1に合同な素数は二個の平方数の和で表される。

定理  奇素数 p が整数 xy を用いて、

と表されるのは、

の時に限る。また、逆も成り立つ。そして、この分解は一意的である。

合成数が高々二個の平方数の和で表されるための必要十分条件は、4を法として3に合同な素因数が全て平方(冪指数偶数)になっていることである。この定理は、フェルマーによって提起され、オイラーによって解決された。

具体的に4を法として1に合同な素数とは 5, 13, 17, 29, 37, 41, 53, 61, 73, 89, 97, 101, 109, (オンライン整数列大辞典の数列 A002144)

Remove ads

証明

要約
視点

素数についての証明

平方剰余の相互法則の補充法則により、であれば

となる自然数が存在する。とするとの組み合せの個数はである。従って、

となるものが存在する。とすると

である。であるから

であり、故に

である。

合成数についての証明

であれば

であるから、十分条件については明らかである。必要条件についてはの形の素因数を持つと仮定して矛盾を導く(背理法)。であれば

と書ける。ここでであれば必然的にであり、であるから両辺をで除するものとする。であればとなるが存在する。両辺にを乗すると

となる。しかし、これはの平方剰余にならないという事実に反する。従って、の形の素因数を平方以外の形で持つ合成数が二個の平方数の和で表されることはない。

一文証明

ザギエ(Zagier)による一文証明(one-sentence proof)[3]は、一文で完結することもさりながら、平方剰余に関する知識を要求しないということも特筆に値する。

有限集合上の対合
は必ず一個の不動点を持つから、集合の元の個数は奇数であり、対合
も不動点を持つ。

対合とはとなる写像のことである。 不動点とはとなる元のことであり、 必ず一個の不動点を持つというのはを意味している。 が素数であることを仮定して、 一文証明が主張する対合が実際に対合であること、そしての他に不動点が存在しないことの確認は読者に任せる。 唯一の不動点を除き集合の元は対合によって対になるから、元の個数は奇数である。 従って、対合によって対にならない元が存在する。 これはを意味し、ひいてはを意味する。

Remove ads

重みつき平方数の和

要約
視点

x2+2y2

の素数はで表される。合成数がで表されるための必要十分条件は、以外の素因数が全て平方になっていることである。この証明は以下に与えられる。

平方剰余の相互法則の第一補充法則と第二補充法則により、

であるから、であればとなる自然数が存在する。の場合の証明にならえば

となり、故に

となる。の場合は両辺を2で除して

となる。合成数についてはの場合の証明にならう。

x2+3y2

の素数はで表される。合成数がで表されるための必要十分条件は、以外の素因数が全て平方になっていることである。これはオイラーの6n+1定理[4]などと呼ばれる。この証明は以下によって与えられる。

平方剰余の相互法則と第一補充法則により、

であるから、であればとなる自然数が存在する。の場合の証明にならえば

となり、故に

となるが、法3で考えるとはありえない。の場合は両辺を3で除して

となる。合成数についてはの場合の証明に倣う。なお、であれば、は共に偶数か共に奇数であるが、奇数であればである。従って、素因数2の冪指数は偶数である。

Remove ads

ヤコビの二平方定理

要約
視点

自然数を高々二個の平方数の和で表す方法の数は、ヤコビの二平方定理

によって与えられる。ただし、シグマ記号は2で整除されないNの約数(1とNを含む)について和を取ることを表す。例えば、

であるが、実際に25を高々二個の平方数の和で表す方法は

であり、符号と順序を区別すれば12個になる。

Remove ads

二個の平方数の和で表される自然数の個数

二個の平方数の和で表される自然数の分布について、いくつかの結果が知られている。 エトムント・ランダウシュリニヴァーサ・ラマヌジャンは独立に、 x 以下の自然数のうち二個の平方数の和で表される自然数の個数はある正の定数 c について漸近的に

となることを証明している。 cランダウ・ラマヌジャンの定数と呼ばれ、およそ 0.76422365358922066299069873125 であることが知られている(オンライン整数列大辞典の数列 A064533[5]

Remove ads

関連項目

脚注

参考文献

Loading content...

外部リンク

Loading content...
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads