合同数のソースを表示

'''合同数'''（ごうどうすう）とは、辺の長さがすべて[[有理数]]である[[直角三角形]]の[[面積]]となるような[[自然数]]のことである{{Sfn|足立|1987|p=173}}。例えば、辺の長さが (3, 4, 5) の直角三角形の面積 6 や、(3/2, 20/3, 41/6) の面積 5 は合同数である。しかし、1, 2, 3, 4 は合同数ではない。

== 具体例 ==
[[ファイル:Rtriangle.svg|300px|サムネイル|右|直角三角形]]
{| class="wikitable" style="text-align:center;"
|-
! style="width:2em;"|<math>n</math>
! style="width:6em;"|<math>a</math>
! style="width:6em;"|<math>b</math>
! style="width:6em;"|<math>c</math>
|-
| <math>5</math>
| <math>\frac32</math>
| <math>\frac{20}3</math>
| <math>\frac{41}6</math>
|-
| <math>6</math>
| <math>3</math>
| <math>4</math>
| <math>5</math> 
|-
| <math>7</math>
| <math>\frac{35}{12}</math>
| <math>\frac{24}5</math>
| <math>\frac{337}{60}</math>
|-
| <math>13</math>
| <math>\frac{780}{323}</math>
| <math>\frac{323}{30}</math>
| <math>\frac{106921}{9690}</math>
|-
| <math>14</math>
| <math>\frac83</math>
| <math>\frac{21}2</math>
| <math>\frac{65}6</math>
|-
| <math>15</math>
| <math>4</math>
| <math>\frac{15}2</math>
| <math>\frac{17}2</math>
|}

{| class="wikitable" style="text-align:center; "
|-
!  colspan="9"| 48以下の数で合同数かどうか
|-
!  colspan="9" |<span style="background-color:#98FB98;">NCP : 合同数でない</span><br /><span style="background-color:#00FA9A">NCP×{{mvar|k}}<sup>2</sup> : 合同数でない</span><br /><span style="background-color:#FFC0CB">CP : 合同数</span><br /><span style="background-color:#FFA500">CP×{{mvar|k}}<sup>2</sup> : 平方因子を持つ合同数</span>
|-
! ''mod 8''
! style="width:4em;"| 1 !! style="width:4em;"| 2 !! style="width:4em;"| 3 !! style="width:4em;background-color:#999999;"| 4(=2<sup>2</sup>) !! style="width:4em;"| 5<br />-3 !! style="width:4em;"| 6<br />-2 !! style="width:4em;"| 7<br />-1 !! style="width:4em;background-color:#999999;"| 0
|-
! ''n''
!  1 !!  2 !!  3 !!  4 !!  5 !!  6 !!  7 !!  8
|-
| 
|style="background-color:#98FB98"|NCP||style="background-color:#98FB98"|NCP||style="background-color:#98FB98"|NCP||style="background-color:#00FA9A|1×2<sup>2</sup>|| style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#00FA9A|2×2<sup>2</sup>
|-
! ''n''
! 9 !! 10 !! 11 !! 12 !! 13 !! 14 !! 15 !! 16
|-
| 
|style="background-color:#00FA9A|1×3<sup>2</sup>||style="background-color:#98FB98"|NCP||style="background-color:#98FB98"|NCP||style="background-color:#00FA9A|3×2<sup>2</sup>|| style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#00FA9A|1×4<sup>2</sup>
|-
! ''n''
! 17 !! 18 !! 19 !! 20 !! 21 !! 22 !! 23 !! 24
|-
| 
|style="background-color:#98FB98"|NCP||style="background-color:#00FA9A|2×3<sup>2</sup>||style="background-color:#98FB98"|NCP||style="background-color:#FFA500|5×2<sup>2</sup>|| style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#FFA500|6×2<sup>2</sup>
|-
! ''n''
! 25 !! 26 !! 27 !! 28 !! 29 !! 30 !! 31 !! 32
|-
| 
|style="background-color:#00FA9A|1×5<sup>2</sup>||style="background-color:#98FB98"|NCP||style="background-color:#00FA9A|3×3<sup>2</sup>||style="background-color:#FFA500|7×2<sup>2</sup>|| style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#00FA9A|2×4<sup>2</sup>
|-
! ''n''
! 33 !! 34 !! 35 !! 36 !! 37 !! 38 !! 39 !! 40
|-
| 
|style="background-color:#98FB98"|NCP||style="background-color:#FFC0CB"|CP||style="background-color:#98FB98"|NCP||style="background-color:#00FA9A|1×6<sup>2</sup>|| style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#00FA9A|10×2<sup>2</sup>
|-
! ''n''
! 41 !! 42 !! 43 !! 44 !! 45 !! 46 !! 47 !! 48
|-
| 
|style="background-color:#FFC0CB"|CP||style="background-color:#98FB98"|NCP||style="background-color:#98FB98"|NCP||style="background-color:#00FA9A|11×2<sup>2</sup>||style="background-color:#FFA500|5×3<sup>2</sup>||style="background-color:#FFC0CB"|CP||style="background-color:#FFC0CB"|CP||style="background-color:#00FA9A|3×4<sup>2</sup>
|}

;その他の例<ref>[http://www.sci.kobe-u.ac.jp/old/seminar/pdf/watanabe.pdf 合同数＝正方形の数学 神戸大学理学部 神戸大学理学部 渡邉 清]</ref>
'''157'''
<math>a=\tfrac{6803298487826435051217540}{411340519227716149383203}</math>
<math>b=\tfrac{411340519227716149383203}{21666555693714761309610}</math>

'''277'''
<math>a=\tfrac{133019165336738929060120082660340}{14945906772955209419887378179997}</math>
<math>b=\tfrac{14945906772955209419887378179997}{240106796636712868339566936210}</math>

== 合同数の問題 ==

合同数の問題とは、'''どのような数が合同数になるか'''という問題である。これは[[数学上の未解決問題]]の一つである。定義より明らかに、合同数は正の有理数である。また、辺の長さが (''a'', ''b'', ''c'') である直角三角形の面積が ''S'' であるとき、(''k'' ''a'', ''k'' ''b'', ''k'' ''c'') の面積は ''k''<sup>2</sup> ''S'' であることから、合同数問題においては、平方因子をもたない自然数のみ考慮すればよい。

== 基本的な事実 ==

定義を数式化すると、 合同数とは

:<math>
	\begin{matrix}
		a^2 + b^2 &=& c^2\\
		\frac{ab}{2} &=& n
	\end{matrix}
</math>

を満たす有理数 ''a'' , ''b'' , ''c'' が存在するような ''n'' のことである。

''n'' が合同数であるための必要十分条件は[[楕円曲線]]
:<math>
	y^2 = x^3 -n^2x
	\,\!
</math>
が正の階数を持つことである。実際、 ''a'',''b'',''c'' が上述した方程式を満たすとき、 ''x'' , ''y'' を ''x'' = ''n''(''a''+''c'')/''b'' , ''y'' = 2''n''<sup>2</sup>(''a''+''c'')/''b''<sup>2</sup> とおくと、
:<math>
	y^2 = x^3 -n^2x
	\,\!
</math>
で、 ''y'' は 0 ではない（ ''y'' が 0 ならば、 ''a'' = -''c'' より ''b'' = 0 だが (1/2)''ab'' = ''n'' &ne; 0 に矛盾する）。

逆に、 ''x'' , ''y'' ( ''y'' &ne; 0)を上の楕円曲線上の点とするとき、 ''a'' = (''x''<sup>2</sup> - ''n''<sup>2</sup>)/''y'', ''b'' = 2''nx''/''y'', ''c'' = (''x''<sup>2</sup> + ''n''<sup>2</sup>)/''y'' は上記の方程式の解となる。

上の楕円曲線の有限位数の点は ''y'' = 0 を満たすことが知られている。それで、 ''n'' が合同数であるかどうかは、上記の楕円曲線が無限位数の点をもつかどうかという問題に帰着する。

== タネルの定理 ==

1983年、タネル([[:en:Jerrold B. Tunnell]])は完全な解決ではないにしても、合同数問題における革新的な定理を発表した。その内容は次の通りである。''n'' は平方因子をもたない自然数とし、整数 ''A''<sub>''n''</sub>、''B''<sub>''n''</sub>、''C''<sub>''n''</sub>、''D''<sub>''n''</sub> を以下で定義する。
:<math>\begin{matrix}
A_n & = & \#\{ x,y,z \in \mathbb{Z} \,|\, n = 2x^2 + y^2 + 32z^2 \} \\
B_n & = & \#\{ x,y,z \in \mathbb{Z} \,|\, n = 2x^2 + y^2 + 8z^2 \} \\
C_n & = & \#\{ x,y,z \in \mathbb{Z} \,|\, n = 8x^2 + 2y^2 + 64z^2 \} \\
D_n & = & \#\{ x,y,z \in \mathbb{Z} \,|\, n = 8x^2 + 2y^2 + 16z^2 \} \\
\end{matrix}</math>
このとき、''n'' が奇数の合同数ならば 2''A''<sub>''n''</sub> = ''B''<sub>n</sub> を、偶数の合同数ならば 2''C''<sub>''n''</sub> = ''D''<sub>''n''</sub> を満たす。さらに、[[バーチ・スウィンナートン＝ダイアー予想]]が正しければ、合同数はそのような数に限る。

与えられた ''n'' に対して、上記の条件を満たすか否か判定するのは易しい。したがって、バーチ・スウィンナートン＝ダイアー予想が肯定的に解決されれば、合同数問題も自動的に解けたとみなせる。

さて、''n'' を 8 で割ったあまりが 5 または 7 の場合、''A''<sub>''n''</sub> = ''B''<sub>n</sub> = 0 であり、''n'' を 8 で割ったあまりが 6 の場合、''C''<sub>''n''</sub> = ''D''<sub>n</sub> = 0 である。したがって、これらの場合は上記の条件を満たすため、以下の事実が期待される。
*平方因子をもたない整数 ''n'' を 8 で割ったあまりが 5, 6, 7 のいずれかである場合、''n'' は合同数であろう。
これは合同数問題の一部であるが、これさえも未だ証明されていない。なお、この命題の逆は成り立たない。''n'' = 34 がその最初の反例であり、8 で割ったあまりは 2 であるが、これは合同数である。実際、直角三角形 (24,17/6,145/6) の面積が 34 である。

== 近年の進展 ==

部分的な解決として、以下の事実が証明されている。ここに、''p'' は奇[[素数]]とする。
*''p'' を 8 で割ったあまりが 3 のとき、''p'' は合同数ではなく、2''p'' は合同数である。
*''p'' を 8 で割ったあまりが 5 のとき、''p'' は合同数である。
*''p'' を 8 で割ったあまりが 7 のとき、''p'' と 2''p'' は合同数である。

== 関連項目 ==

*[[直角三角形]]
*[[ピエール・ド・フェルマー|フェルマー]]

== 脚注 ==
{{reflist|2}}

== 参考文献 ==
* {{Cite journal|和書| doi = 10.11429/sugaku1947.39.173| volume = 39| issue = 2| pages = 173–179| author = 足立恒雄| title = 合同数の歴史| journal = 数学| date = 1987 | ref = {{SfnRef|足立|1987}} }}

== 外部リンク ==
* [https://oeis.org/A003273 A003273 - OEIS]
* [https://edu.tsuda.ac.jp/~matsuno/congr/congruent-j.htm 合同数について - TSUDA UNIVERSITY]

{{DEFAULTSORT:こうとうすう}}
[[Category:数論]]
[[Category:整数の類]]
[[Category:ディオファントス方程式]]
[[Category:数学に関する記事]]