ピタゴラス数とはピタゴラスの定理(三平方の定理)を満たす直角三角形の3辺の長さが総て自然数となる組を指す。
![{\displaystyle a^{2}+b^{2}=c^{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4e89a8fb02916280c36043b2937ade5d8315304)
![{\displaystyle a,b,c\in \mathbb {N} \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/096dd8edc2ed267df1b4da89dfd16d86ee67a364)
3辺の長さの比が同じであれば相似である為、a, b, cの最大公約数が1の場合、既約ピタゴラス数、原子的ピタゴラス数、ピタゴラス数の原始解などと呼ぶ。
ここでのピタゴラス数は、明示していない限り、既約では無いピタゴラス数とします。
数々の数学者は、既約ピタゴラス数の無限性を示しています。
ピタゴラスは、古代ギリシアの数学者、哲学者。
- 奇数
において、
![{\displaystyle {\begin{cases}a=m\\b={\frac {m^{2}-1}{2}}\\c={\frac {m^{2}+1}{2}}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fdb7b4902e7895cc4995e671c8c319c92957f2f)
- 既約ピタゴラス数のみを排出する。
- 既約ピタゴラス数の総てを網羅してはいない。
![{\displaystyle (15,8,17),(21,20,29),(33,56,65),...\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95d779e980d4bb5c9c1e97f46d7596c6246c281b)
プラトンは、古代ギリシアの哲学者。
- 自然数
において、
![{\displaystyle {\begin{cases}a=2m\\b=m^{2}-1\\c=m^{2}+1\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/504606db633b8f1be1cfacc38dd077d3447021d0)
- 既約ではないピタゴラス数も排出する。
- 偶数
とすることで既約ピタゴラス数のみとなる。
- 既約ピタゴラス数の総てを網羅してはいない。
![{\displaystyle (5,12,13),(21,20,29),(7,24,25),...\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5c86062e8591d0200ac256cec5c66fc6dca9f46)
ユークリッドは古代ギリシアの数学者、天文学者とされているが、実在を疑う説もある。
- 自然数
において、
![{\displaystyle {\begin{cases}a=m^{2}-n^{2}\\b=2mn\\c=m^{2}+n^{2}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1b1117b73b365d53795f5964de39ce3d322b162)
の偶奇が異なる。
は互いに素。
- の条件を満たすとき、既約ピタゴラス数のみとなる。
を満たすピタゴラス数
において、
![{\displaystyle P:={\begin{pmatrix}-1&-2&2\\-2&-1&2\\-2&-2&3\\\end{pmatrix}}\quad A:={\begin{pmatrix}-a&a&-a\\b&-b&-b\\c&c&c\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ad5456777fc1c2c11d1167f2d44cbdf09db2140)
とし、行列の積を
![{\displaystyle PA={\begin{pmatrix}a-2b+2c&-a+2b+2c&a+2b+2c\\2a-b+2c&-2a+b+2c&2a+b+2c\\2a-2b+3c&-2a+2b+3c&2a+2b+3c\\\end{pmatrix}}={\begin{pmatrix}x_{1}&x_{2}&x_{3}\\y_{1}&y_{2}&y_{3}\\z_{1}&z_{2}&z_{3}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cabde066c27caa0a13b642ed85613d66bb977538)
とすると、
![{\displaystyle {x_{1}}^{2}+{y_{1}}^{2}={z_{1}}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90f1565eaf2160c7ac479bb3681b479a4b6cfda8)
![{\displaystyle {x_{2}}^{2}+{y_{2}}^{2}={z_{2}}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c8fa810bfb4b23374bc2277e8b479a4d7185caf)
![{\displaystyle {x_{3}}^{2}+{y_{3}}^{2}={z_{3}}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56f80e34a1df28d78fc92bcb3db9ac0d1809c077)
の形にし、展開するだけです。
前述の一次結合による方法における
を親ピタゴラス数(Parents)、
を子ピタゴラス数(Children)、
と呼ぶことにする。
先の方法は親ピタゴラス数から3個の子ピタゴラス数を生み出す事で無限性を示したが、既約ピタゴラス数の総てを網羅しているかは証明はされていない。
行列
の逆行列に対し、右から子ピタゴラス数
を掛ける事で親ピタゴラス数を導き出せる。
便宜上、
は既約ピタゴラス数で、
は奇数、
は偶数と固定する。
![{\displaystyle P^{-1}=P\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2ea245a149f4e55e12da2d898b15ba8180000b3)
なので、
![{\displaystyle {\begin{pmatrix}-1&-2&2\\-2&-1&2\\-2&-2&3\\\end{pmatrix}}{\begin{pmatrix}a\\b\\c\\\end{pmatrix}}={\begin{pmatrix}x\\y\\z\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e3330de8411f88013a538fcdd04b5a5d9d54949)
とし、
が親ピタゴラス数、
の符号の付き方で第何列から生まれたかが判明する。
かつ
なら、第一列
かつ
なら、第二列
かつ
なら、第三列
行列の積を展開すると、
![{\displaystyle {\begin{cases}x=-a-2b+2c\\y=-2a-b+2c\\z=-2a-2b+3c\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d021688de8b5ee71395219e08a80db1318b8a0b)
斜辺である
に着目すると、
![{\displaystyle z=-2a-2b+3c\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cf740f875635c925affed98e46a2909a2e4b104)
両辺から
を引く
![{\displaystyle z-c=-2a-2b+2c=-2(a+b-c)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a39a2bf11ebd990e3376b45ef57012c06f123b2f)
![{\displaystyle c-z=2(a+b-c)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a58b57134823675a6599d0677ed1d4d156dd3fb)
は直角三角形である事から明白。
![{\displaystyle c-z>0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a2f1e57ff569c6297427cc456aca95fa0baa12a)
![{\displaystyle z>c\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4b8254a9cb42a43204de1bc3f9d8941bf7f9bd3)
つまり、子ピタゴラス数の斜辺の長さは、親ピタゴラス数のそれより長い。
また5未満の斜辺を持つ既約ピタゴラス数は存在しない事から、
を除く任意の既約ピタゴラス数から親ピタゴラス数を導き出す操作を有限回繰り返す事で、
に帰着するのである。
つまり、いかなる既約ピタゴラス数も
を根(root)とする三分木(Ternary Tree)上に存在する。
これをピタゴラスの木(Pythagorean Ternary Tree)と呼ぶ事にする。
また、
の親ピタゴラス数を計算すると、
となり、絶対値をつけない
をピタゴラスの種(Pythagorean Seed)と呼ぶ事にする。
- 親ピタゴラス数
の最大公約数を
とすると、
となる。
- つまり、親ピタゴラス数が既約ピタゴラス数であれば、その親から派生される子孫は総て既約ピタゴラス数である。
- 当然逆も真で、子ピタゴラス数が既約ピタゴラス数であれば、その子の親や先祖は総て既約ピタゴラス数である。
- 既約ピタゴラス数を例にすると解りやすいが、親ピタゴラス数の斜辺以外の辺
を奇数、
を偶数と固定すると、子ピタゴラス数の
も奇数、
も偶数と固定される。
- 偶数、奇数は入れ換えても成り立ち、既約ではないピタゴラス数においても位置の継承はされている。
- 対応した辺の長さは、親ピタゴラス数より子ピタゴラス数の方が長い。
![{\displaystyle a<min(x_{1},x_{2},x_{3})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4888ccdc4e8a9eb0df23fded20b85615f9d07794)
![{\displaystyle b<min(y_{1},y_{2},y_{3})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca40a2c360fc2aea76eee5b4ebb5dbcdfda59b0b)
![{\displaystyle c<min(z_{1},z_{2},z_{3})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4843f5bc01bb447daa550bd5aa2ff72ac02d4c3)
ユークリッドの方法も既約ピタゴラス数の総てを網羅している事から、ピタゴラスの木をユークリッドの方法に当てはめる事が出来る。(全単射)
![{\displaystyle p(a,b,c)\Leftrightarrow e(m,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b5f49a71e5ddf6872d5edb0311b4d1d59ac1d9b)
ユークリッドの木(Euclidean Ternary Tree)もピタゴラスの木同様に
を根(root)とする三分木(Ternary Tree)であり、この木のノードにあたる
は偶奇が異なり、互いに素となる。
![{\displaystyle E:={\begin{pmatrix}-1&2\\0&1\\\end{pmatrix}}\quad B:={\begin{pmatrix}n&-m&-n\\m&n&m\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9b0be0ab87011febc094ae3828dcfedfe0d2dd0)
とし、行列の積
を
![{\displaystyle EB={\begin{pmatrix}-1&2\\0&1\\\end{pmatrix}}{\begin{pmatrix}n&-m&-n\\m&n&m\\\end{pmatrix}}={\begin{pmatrix}m_{1}&m_{2}&m_{3}\\n_{1}&n_{2}&n_{3}\\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f85fb09ed3e9dd21bb5c9e34f04b3686bb089c8)
斜辺の長さに上限
を定め、その上限以下の斜辺の長さを持つ既約ピタゴラス数の個数を
と定義する。
座標平面上に、直角三角形の頂点
を原点
、
軸上に頂点
をあわせると、頂点
は、斜辺
を半径とする円周上に存在する。
![{\displaystyle {\begin{cases}x^{2}+y^{2}\leq r^{2}&(x,y,r\in \mathbb {R} ,\,x>0,\,y>0)\\a^{2}+b^{2}=c^{2}&(a,b,c\in \mathbb {N} ,a{\mbox{ is odd}},b{\mbox{ is even}})\\x=a\\y=b\\r\geq c\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a2c459be5e617800f6b1893111e890d72c554ba)
なるピタゴラス数
と考えると、半径
の
円内(ただし円周上は含む)に存在する既約ピタゴラス数の個数を考える。
但しピタゴラス数
と
は同じものとすると、
![{\displaystyle f(10^{1})=1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a8698394a2c4dc3e951984e721d0a611f564b06)
![{\displaystyle f(10^{2})=16\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9aea19d29e8e6f1def625af89dd9572c523fc558)
![{\displaystyle f(10^{3})=158\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3dd6d48ad9553f3073e37b71a1c7306d21b7432)
![{\displaystyle f(10^{4})=1593\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3087e31a6f1352e47d580000c1e3b8a8424b0d73)
![{\displaystyle f(10^{5})=15919\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd9a3a96f13c11ad643e7613bd2f8477beeb4ff3)
![{\displaystyle f(10^{6})=159139\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed9113391110f39691fcd9c451ebef6654ecce99)
![{\displaystyle f(10^{7})=1591579\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1a09af7df176ae505520a5efd1f70e75500066b)
![{\displaystyle f(10^{8})=15915492\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/381595f897fd008783f1e4e12e5c92cad74ef0a6)
![{\displaystyle f(10^{9})=159154994\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfbb9e662d523b16319557e13f534993ed31f3b5)
![{\displaystyle f(10^{10})=1591549475\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54a22cfb97c47f17225650c90303fb0071641a12)
![{\displaystyle f(10^{11})=15915494180\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f84605b7183db06a8c74cf162be298fdf61c62d4)
- …
と
を別のものとすると、右辺を2倍するだけである。
![{\displaystyle \lim _{r\to \infty }{\frac {f(r)}{r}}={\frac {1}{2\pi }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d1769a0d1a3cefd151c36110324e2cc93f823c1)
![{\displaystyle \lim _{r\to \infty }{\frac {r}{f(r)}}=2\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/19433abbeaf549508ede1e460a8bade9ce547cb5)
ある自然数
以下の正の既約分数の個数を
とすると、
![{\displaystyle g(10^{1})=63\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a59ef28991d4a17d23cdb4d799ecf79b8432e57)
![{\displaystyle g(10^{2})=6087\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d321c3ed2236ba212fbbd4db85a191cd95dc2a1d)
![{\displaystyle g(10^{3})=608383\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa1292c62b354a91f463b1cca51e42c95d85b6be)
![{\displaystyle g(10^{4})=60794971\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/decd409cc12d1b6d500340951bd29f99e76af2a4)
![{\displaystyle g(10^{5})=6079301507\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4828259fd0a2f994b7c149bf316f32ad4001410a)
- …
![{\displaystyle \lim _{n\to \infty }{\frac {g(n)}{n^{2}}}={\frac {6}{\pi ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf7691073df5d2bbf1472fa4a4f9fb6004294d8a)
ある一つの自然数が素数
を約数とする確率は、
の倍数であればよい。
![{\displaystyle {\frac {1}{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31025cccb5c9d719d490bfc933e8d7b6b6f2b425)
同様に、ある二つの自然数が素数
を約数とする確率は、
![{\displaystyle {\frac {1}{p^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11c4d69a251a144c14c0f73aef3cbaf98462151e)
逆に約数としない確率は全事象から引けば良いので、
![{\displaystyle \left(1-{\frac {1}{p^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c45af91c974e55e9326e4a0ec876cc3b7916115d)
つまり、ある二つの自然数が互いに素になる確率は、
![{\displaystyle \left(1-{\frac {1}{2}}\right)\left(1-{\frac {1}{3}}\right)\left(1-{\frac {1}{5}}\right)\cdots \left(1-{\frac {1}{p}}\right)\cdots ={\frac {6}{\pi ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c11341a2f4c68cad4c6bfb10070185f8536fdb2)
これを示せればよく、ゼータ関数として知られており、
![{\displaystyle {\frac {1}{\zeta (2)}}={\frac {6}{\pi ^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b21d395e1711f0ca013f4f99a97c5006efb0a29)
となる。
さて、ユークリッドの方法で既約ピタゴラス数だけを導く為には二つの条件がありました。
が互いに素。
- 互いに素が
と解ったので、偶奇が異なるを付加する為、初項の
を取り消す。
の偶奇が異なる。
- 二つの自然数は、(奇数,奇数)、(奇数,偶数)、(偶数,奇数)、(偶数,偶数)なので、偶奇が異なる確率は、
である。
さらに、斜辺の長さで制限したので、
平面における、円の方程式
の第一象限
のみを考え、一辺の長さが
の正方形の面積と、半径
、内角90度の扇形の面積の比率は、
であり、ピタゴラス数
と
を同値としたので、半分の
である。
よって、
[1]