ピタゴラス素数のソースを表示

[[File:Squared right triangle.svg|thumb|360px|ピタゴラス素数である [[5]] および[[5の平方根|その平方根]]は共に、直角を挟む2辺の長さが[[整数]]である[[直角三角形]]の[[斜辺]]の長さになる。]]
'''ピタゴラス素数'''（ピタゴラスそすう、{{lang-en-short|Pythagorean prime}}）とは、4''n'' + 1 の形をした[[素数]]である。ピタゴラス素数は、[[二個の平方数の和]]で表される[[奇数]]の素数に他ならないことが知られている。

[[ピタゴラスの定理]]より、''p'' がピタゴラス素数であるとは、直角を挟む2辺の長さが[[整数]]である[[直角三角形]]の[[斜辺]]の長さとして &radic;''p'' が現れるということである。&radic;''p'' のみならず、''p'' 自身もそのような性質を持つ。例えば、ピタゴラス素数 5 に対し、&radic;5 は直角を挟む2辺の長さが 1, 2 の直角三角形の斜辺の長さであるし、5 自身は直角を挟む2辺の長さが 3, 4 の直角三角形の斜辺の長さである。

== 値および分布 ==
ピタゴラス素数は、小さい順に
:[[5]], [[13]], [[17]], [[29]], [[37]], [[41]], [[53]], [[61]], [[73]], [[89]], [[97]], [[101]], [[109]], [[113]], …（{{OEIS|id=A2144}}）
である。[[ディリクレの算術級数定理]]により、この[[数列]]は無限数列である。さらには、ピタゴラス素数と非ピタゴラス素数はほぼ均等に分布することが従う。しかし、具体的に正整数 ''N'' を取ると、しばしば ''N'' 以下のピタゴラス素数は非ピタゴラス素数よりも少ない。この現象は[[チェビシェフの偏り]]として知られる<ref>{{citation
 | last1 = Rubinstein | first1 = Michael
 | last2 = Sarnak | first2 = Peter
 | doi = 10.1080/10586458.1994.10504289
 | issue = 3
 | journal = Experimental Mathematics
 | pages = 173--197
 | title = Chebyshev's bias
 | volume = 3
 | year = 1994}}.</ref>。
例えば、600,000 までの整数 ''N'' に対し、''N'' 以下のピタゴラス素数が（奇数の）非ピタゴラス素数よりも多いような ''N'' は、26861, 26862 の2個しか存在せず、その次は 616,841 になる<ref name="Granville Martin MAA">
{{cite journal
 | doi = 10.2307/27641834
 | last1 = Granville | first1 = Andrew
 | last2 = Martin | first2 = Greg
 |date=January 2006
 | title = Prime Number Races
 | journal = American Mathematical Monthly
 | volume = 113 | issue = 1 | pages = 1--33
 | url = http://www.dms.umontreal.ca/%7Eandrew/PDF/PrimeRace.pdf
 | jstor = 27641834
}}</ref>。

== 二個の平方数の和で表すこと ==
{{Main|二個の平方数の和}}
二個の平方数の和である奇数は 4''n'' + 1 の形をしているが、21 のように 4''n'' + 1 の形をしていても二個の平方数の和に表せないものもある。[[ピエール・ド・フェルマー|フェルマー]]の示したところによると、2 および 4''n'' + 1 の形をした素数は二個の平方数の和で表され、かつ二個の平方数の和で表される素数はそのようなものに限る<ref>{{citation|title=Why Beauty is Truth: A History of Symmetry|first=Ian|last=Stewart|publisher=Basic Books|year=2008|isbn=9780465082377|page=264|url=https://books.google.co.jp/books?id=6akF1v7Ds3MC&pg=PA264&redir_esc=y&hl=ja}}.</ref>。そして、二個の平方数の和で表す方法は、和の順序の入れ替えを区別しなければただ一通りである<ref>{{citation|title=Fundamentals of Number Theory|first=William Judson|last=LeVeque|publisher=Dover|year=1996|isbn=9780486689067|page=183|url=https://books.google.co.jp/books?id=F6aJtNcwyw8C&pg=PA183&redir_esc=y&hl=ja}}.</ref>。

[[ピタゴラスの定理]]によれば、二個の平方数の和で表した表現は、図形の話に翻訳される。すなわち、''p'' がピタゴラス素数であって ''p'' = ''x''<sup>2</sup> + ''y''<sup>2</sup> であるならば、(''x'', ''y'', &radic;''p'') は直角三角形の3辺の長さになる。よって、奇素数 ''p'' がピタゴラス素数であるとは、直角を挟む2辺の長さが整数である直角三角形の斜辺の長さとして &radic;''p'' が現れることに他ならない。また、奇素数 ''p'' がピタゴラス素数であるとは、直角を挟む2辺の長さが整数である直角三角形の斜辺の長さとして ''p'' 自身が現れること、といっても差し支えない。なぜならば、''p'' = ''x''<sup>2</sup> + ''y''<sup>2</sup> であるとき、
{{Indent|<math>p^2=(x^2-y^2)^2+(2xy)^2</math>}}
が成り立つからである<ref>{{citation|title=Elements of Number Theory|series=Undergraduate Texts in Mathematics|first=John|last=Stillwell|publisher=Springer|year=2003|isbn=9780387955872|page=112|url=https://books.google.co.jp/books?id=LiAlZO2ntKAC&pg=PA112&redir_esc=y&hl=ja}}.</ref>。

上記の式を理解するひとつの方法は、[[ガウス整数]]、すなわち実部と虚部が共に整数である[[複素数]]を利用することである<ref>{{citation|first=Barry|last=Mazur|authorlink=バリー・メイザー|contribution=Algebraic numbers [IV.I]|pages=315--332|editor-first=Timothy|editor-last=Gowers|editor-link=ウィリアム・ティモシー・ガワーズ|title=The Princeton Companion to Mathematics|publisher=Princeton University Press|year=2010|isbn=9781400830398}} See in particular section 9, "Representations of Prime Numbers by Binary Quadratic Forms", [https://books.google.co.jp/books?id=ZOfUsvemJDMC&pg=PA325&redir_esc=y&hl=ja p.&nbsp;325].</ref>。ガウス整数 ''x'' + ''yi'' のノルムは ''x''<sup>2</sup> + ''y''<sup>2</sup> であるから、ピタゴラス素数（および 2）はガウス整数のノルムとして表せ、その他の素数はそのようには表せない。ピタゴラス素数は、ガウス整数の世界ではもはや素数ではなく、
{{Indent|<math>p=(x+yi)(x-yi)</math>}}
と分解される。このとき、
{{Indent|<math>p^2=(x+yi)^2(x-yi)^2=(x^2-y^2+2xyi)(x^2-y^2-2xyi)=(x^2-y^2)^2+(2xy)^2</math>}}
であるから、(|''x''<sup>2</sup> - ''y''<sup>2</sup>|, 2''xy'', ''p'') が直角三角形の3辺の長さとなる。

== 平方剰余 ==
[[平方剰余の相互法則]]の主張は次のようなものである。異なる奇素数 ''p'', ''q'' に対し、少なくとも一方がピタゴラス素数であれば、''p'' が ''q'' を法とする平方剰余であることと、''q'' が ''p'' を法とする平方剰余であることは同値である。また、両方とも非ピタゴラス素数であれば、''p'' が ''q'' を法とする平方剰余であることと、''q'' が ''p'' を法とする平方'''非'''剰余であることは同値である<ref>{{harvtxt|LeVeque|1996}}, [https://books.google.co.jp/books?id=F6aJtNcwyw8C&pg=PA103&redir_esc=y&hl=ja p.&nbsp;103].</ref>。

ピタゴラス素数 ''p'' に対する[[有限体]] '''Z'''/''p'' において、方程式 ''x''<sup>2</sup> = -1 は2つの根を持つ。すなわち、''p'' がピタゴラス素数のとき、''p'' を法として -1 は平方剰余である。逆に、''p'' がピタゴラス素数でないとき、''p'' を法として -1 は平方非剰余である（第一補充法則）<ref>{{harvtxt|LeVeque|1996}}, [https://books.google.co.jp/books?id=F6aJtNcwyw8C&pg=PA100&redir_esc=y&hl=ja p.&nbsp;100].</ref>。

[[File:Paley13.svg|thumb|13個の頂点を持つペーリーグラフ]]
個々のピタゴラス素数 ''p'' に対し、''p'' 個の頂点を持つ{{仮リンク|ペーリーグラフ|en|Paley graph}} が考えられる。各頂点は '''Z'''/''p'' の元を表し、2つの頂点が辺で結ばれているのは、それらの差が '''Z'''/''p'' において平方であることを意味する。''p'' がピタゴラス素数であることから '''Z'''/''p'' において -1 が平方なので、差を取る順序を入れ替えても平方剰余であるかどうかは変わらず、ペーリーグラフがうまく定義される<ref>{{citation|title=Spectral Graph Theory|volume=92|series=CBMS Regional Conference Series|first=Fan R. K.|last=Chung|publisher=American Mathematical Society|year=1997|isbn=9780821889367|pages=97--98|url=https://books.google.co.jp/books?id=YUc38_MCuhAC&pg=PA97&redir_esc=y&hl=ja}}.</ref>。

== 無数に存在することの証明 ==
{{See also|素数が無数に存在することの証明}}
ピタゴラス素数と非ピタゴラス素数がともに無数に存在することは、算術級数定理に頼らずとも、通常の素数が無数に存在することの[[ユークリッド]]の証明を少し工夫することによって、初等的に証明することができる。ただし、ピタゴラス素数の方は、第一補充法則を必要とする<ref>James J. Tattersall 著、小松尚夫訳『初等整数論9章』第2版、[[森北出版]]、2008年 ISBN 978-4627081628 p. 327</ref>。

=== 非ピタゴラス素数 ===
4''n'' + 3 の形の素数が有限個しか存在しないと仮定し、''p''<sub>1</sub>, …, ''p''<sub>''k''</sub> がその全てとする。
{{Indent|<math>N=4(p_1 \cdots p_k)+3</math>}}
とおくと、''N'' は 4''n'' + 3 の形の数なので、4''n'' + 3 の形の素因子を少なくとも1つ持つ。なぜならば、4''n'' + 1 の形の素因子しか持たなければ、4''n'' + 1 の形の数になるからである。さて、''N'' を ''p''<sub>1</sub>, …, ''p''<sub>''k''</sub> で割った余りは 3 なので、''N'' はこれらを素因子には持たない。よって、''N'' の 4''n'' + 3 の形の素因子は、リストにはない新しい素数である。これは矛盾であり、したがって 4''n'' + 3 の形の素数は無数に存在する。

=== ピタゴラス素数 ===
ピタゴラス素数が有限個しか存在しないと仮定し、''p''<sub>1</sub>, …, ''p''<sub>''k''</sub> がその全てとする。
{{Indent|<math>N=4(p_1 \cdots p_k)^2+1</math>}}
とおくと、''N'' の素因子は全てピタゴラス素数である。なぜならば、素数 ''q'' が ''N'' を割ると、平方数 4(''p''<sub>1</sub> … ''p''<sub>''k''</sub>)<sup>2</sup> が ''q'' を法として -1 と合同になって、第一補充法則に反するからである。さて、''N'' を ''p''<sub>1</sub>, …, ''p''<sub>''k''</sub> で割った余りは 1 なので、''N'' はこれらを素因子には持たない。よって、''N'' を割るピタゴラス素数は、リストにはない新しいピタゴラス素数である。これは矛盾であり、したがってピタゴラス素数は無数に存在する。

== 脚注 ==
{{reflist}}

== 関連項目 ==
* [[ピタゴラス数]]
* [[素数定理]]

== 外部リンク ==
* {{cite web|last=Eaves|first=Laurence|title=Pythagorean Primes: including 5, 13 and 137|url=http://www.numberphile.com/videos/pythagorean_primes.html|work=Numberphile|publisher=Brady Haran|author=Laurence Eaves|accessdate=2014-02-18}}
* {{OEIS|id=A7350}} Where prime race 4n-1 vs. 4n+1 changes leader

{{素数の分類}}
{{DEFAULTSORT:ひたこらすそすう}}
[[Category:素数]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]
[[Category:素数の類]]