ピタゴラスの三重奏

幾何学 > 平面幾何学 > 三角形 > 三角形の性質 >
整数論 > DiophantineEquations >
MathWorld Contributors > Knott >
MathWorld Contributors > Noe >

以下略です。..
DOWNLOAD Mathematica NotebookContribute to this entry

ピタゴラス3連とは,正の整数 a, b, c の3つで,脚 a,b と斜辺 c とをもつ直角三角形が存在するようなものである. ピタゴラスの定理により、これは

 a^2+b^2=c^2 を満たす正の整数<img src=, b, cを求めることと等価である。 “>
(1)

最小で最も有名なピタゴラス三重は (a,b,c)=(3,4,5) である。 7670> PythagoreanTriples

(a,b,sqrt(a^2+b^2)) がピタゴラス三角となる (a,b) 面上の点のプロットは上に示すように、境界が次第に大きくなるように描かれています。

PythagoreanTriplesAC

同様に (a,sqrt(c^2-a^2),c) がピタゴラス3角形となる (a,c) 面の点のプロットも逐次大きくして上に示すようにする。

PrimitivePythagoreanTriple

ab が相対素数のピタゴラス三重奏は、原初的なものから他の解が自明的に生成できるため、「縮小」三重奏だけを考えるのが一般的である。 上の図は原始三重構造を示したものであるが、原始三重構造に対応する放射状の線はこの図にはないことがすぐにわかる。 原初的な解はabのどちらかが偶数で、もう一方が奇数でなければならない(Shanks 1993, p.141)、cは常に奇数でなければならない。

さらに、ピタゴラス3連の1辺は3で、4で、5で割り切れるが、(8, 15, 17), (7, 24, 25), (20, 21, 29) のように1辺が2つの場合もあり、 (11, 60, 61) のように3つすべてを持つ場合もある。

原始三重(a_0,b_0,c_0)があると、

(a_3.C_0)

(a_0.C_0)b_3,c_3)”>

(a_1,b_1,c_1) = (a_0,b_0.0)  <tr style=から新しい三重が求まります。c_0)U”>
(2)
(a_2,b_2,c_2) = (a_0,b_0,c_0)A
(3)
(a_3.C_0) </tr><tr style=
= = (a_0,b_0,c_0)D,
(4)

where

の3つの要素からなる。

U =
(5)
a =
(6)
d =に相当する。
(7)

Hall (1970) と Roberts (1977) は (a,b,c) is a primitive Pythagorean triple iff

 (a.b,c)=(3,4,5)M,
(8)

ここで M は行列 U, A, D の有限積とする。 したがって、すべての原始ピタゴラス三重奏は無限配列

 ( 7, 24, 25)の一員でなければならないことがわかる。 ( 5, 12, 13) ( 55, 48, 73); ( 45, 28, 53); ( 39, 80, 89); (3, 4, 5) ( 21, 20, 29) ( 119, 120, 169); ( 77, 36, 85); ( 33, 56, 65); ( 15, 8, 17) ( 65, 72, 97); ( 35, 12, 37).
(9)

ピタゴラスとバビロニア人は、(必ずしも原始的ではない)三角形の生成公式を

 (2m,m^2-1,m^2+1) として与えています。
(10)

for m1, which generates set of distinct triple contains neither all primitive or all imprimitive triple (and where in special case m=2, m^2-12m).

初期ギリシャ人は

 (v^2-u^2,2uv,u^2+v^2),
(11)

ここで uvu は比較的素で反対のパリティ (Shanks 1993, p.25) とした。 141)、これは(適切にv^2-u^22uvを並べた後に)正確に原始三重項を含む明確な三重項のセットを生成する。

F_nをフィボナッチ数とする。 すると

 (F_nF_(n+3),2F_(n+1)F_(n+2)),F_(n+1)^2+F_(n+2)^2)
(12)

は原始三重・非原始三重ともに網羅的ではないが、明確なピタゴラス三重を生成する (Dujella 1995)。 より一般的には、正の整数a, b から始めて、a, b, a+b, a+2b, 2a+3b, ・・・を条件としてフィボナッチ的数列{F_n^'}が構成できる。 は、異なるピタゴラスの三角形

 (F_n^'F_(n+3)^',2F_(n+1)^'F_(n+2)^',F_(n+1)^'^2+F_(n+2)^'^2)
(13)

(Horadam 1961), where

 F_n^'=a_0=0 に対して1/2; a_0=1 の場合は 1/2
(24)

(Beiler 1966, p. 116). なお、L(s)=1は、sが素数か2回素数である場合。 s=1, 2, …の最初の数列は0, 0, 1, 1, 1, 1, 2, 1, 4, 1, …である。 (OEIS A046079).

ある数sが原始直角三角形の斜辺になる方法H_p(s)の数を求めるには、その因数分解を

 s=2^(a_0)(p_1^(a_1)...p_n^(a_n))(q_1^(b_1)...q_r^(b_r)),
(25)

ここで ps は 4x-1 形式、qsは 4x+1 形式である。 このとき可能な原始直角三角形の数は

 H_p(s)={2^(r-1) for n=0 and a_0=0; otherwise 0, である。
(26)

例えば、以下のようになります。 H_p(65)=2 since

65^2 = 16^2+63^2
(27)
= 33^2+56^2.
(28)

n=1,2,…に対するH_p(n)の値は0、0、0,1、0、0、0、1、0、0,1,…である。 (となります(大日本印刷 A024362)。 4497>4x+1の形の最初の数個の素数は、5、13、17、29、37、41、53、61、73、89、97、101、109、113、137、……である。 (OEIS A002144)であるから、1、2、4、8、16、…の原始直角三角形の斜辺となる最小の辺の長さは5、65、1105、32045、1185665、48612265、…である。 (です(OEIS A006278)。

sを斜辺とする原始直角三角形または非原始直角三角形の可能な数は

である。

H(s) = 1/2
(29)
= 1/8
(30)

(Beiler 1966の誤記訂正)。 p. 117, which states that this formula gives the number of non-primitive solutions only), where r_k(n) is the sum of squares function.この式は非原始解の数を与えるとしている。 例えば、斜辺が65の整数の三角形は4つあり、

 65^2=16^2+63^2=25^2+60^2=33^2+56^2=39^2+52^2 だから、この三角形は4つある。
(31)

s=1,2,…の最初の数個は0,0,0,1,0,0,1,1,0,0,・・・です。 (OEIS A046080)。 n個の異なる三角形を持つ最小の斜辺は1, 5, 25, 125, 65, 3125, …である。 (OEIS A006339) である。 次の表は、n=0, 1, …, 5において、ちょうどn個の異なる直交三角形が存在する斜辺を与える。

125, 250, 375, 500, 750, 875, 1000, 1125, 1375, …

n OEIS 個の整数三角形が存在する斜辺
0 A004144 1,2,3,4,6,7,8,9,11,12,14,16,18,……,1,2,4,6,8,9,12,16,18,……., 2,2,3,4,……, 1,2,3,4,……,
1 a084645 5, 10, 13, 15, 17, 20, 26, 29, 30, 34, 35, …
2 a084646 25、50、75、100、150、169、175、200、225、… ……
3 a084647
4 a084648 65, 85, 130, 145, 170, 185, 195, 205, 221, 255, …
5 A084649 3125, 6250, 9375, 12500, 18750, 21875, 25000, …

したがって、sが直角三角形の脚または斜辺になる方法の総数は

 T(s)=L(s)+H(s) で与えられます。
(32)

s=1,2,…の値は0,0,1,1,2,1,2,1,4,2,1,5,3,…であ る。 (となる(大日本印刷 A046081)。 2437>T=1<5097>、2、…のとき、<4585>個の一般直角三角形の辺となりうる最小の数<7343>は、3、5、16、12、15、125、24、40、…である。 (OEIS A006593; Beiler 1966, p.114)。

斜辺が100未満のピタゴラスの三角形は50個あり、cの大きい順に並べると、(3, 4, 5),(6, 8,10), (5, 12, 13), (9, 12, 15), (8, 15, 17), (12, 16, 20), (15, 20, 25), (7, 24, 25), (10, 24, 26), (20, 21, 29), (18, 24, 30), (16, 30, 34), (21, 28, 35), … (OEIS A046083、A046084、A009000)。

このうち、斜辺が100未満の原始3連は16個だけである。 (3, 4,5), (5, 12, 13), (8, 15, 17), (7, 24, 25), (20, 21, 29), (12, 35, 37), (9, 40, 41), (28, 45, 53), (11, 60, 61), (33, 56, 65)、(16、63、65)、(48、55、73)、(36、77、85)、(13、84、85)、(39、80、89)、(65、72、97)(OEIS A046086、A046087、A020882)である。

斜辺がNの三角形の数をDelta(N)、斜辺が=Nの三角形の数をDelta^'(N)N以下の原始三重項の数をDelta_p(N)と表記する。 そして、10の累乗の値を以下の表にまとめる。

Delta(10), Delta(10^2), ・・・・。

Delta OEIS
Delta(N) A101929 1, 50, 878, 12467, …
Delta^'(N) A101930 2, 52, 881, 12471, ….…
Delta_p(N) A101931 1, 16, 158, 1593, …。

Lehmer (1900) は斜辺がNより小さい原始解の数は

 lim_(N-infty)/N=1/(2π)=0.1591549... を満たすことを証明した。
(33)

(OEIS A086201).

PythagoreanIncircles

最初のいくつかの原始ピタゴラストライアングルのインラディを増加 c 順で並べて、1、2、3、6、5、4、10、5、・・で与えられます。 (OEIS A014498).

面積の等しいピタゴラス三角形の三つ組を得る一般的な方法がある。 7670>

として3組の生成子をとると、その3組は

の3つです。

となる。

m_1 = r^2+rs+s^2
(34)
n_1 = r^2-...s^2
(35)
m_2 = r^2+rs+s^2
(36)
n_2 = 2rs+s^2
(37)
m_3 = r^2+2rs
(38)
n_3 = r^2+rs+s^2 となります。
(39)

次に、各三角形が生成する直角形(m_i^2・n_i^2・2m_in_i,m_i^2+n_i^2) は共通面積

 A=rs(2r+s)(r+2s)(r-s)(r^2+rs+s^2)
(40)

(Beiler 1966, pp.1). 126-127). この関数の唯一の極限は(r,s)=(0,0)で発生する。 r=sに対してA(r,s)=0なので、3つの非原始直角三角形が共有する最小面積は(r,s)=(1,2)で与えられ、その面積は840となり、3角形 (24, 70, 74), (40, 42, 58), (15, 112, 113) に対応する (Beiler 1966, p.126).

面積が1桁の直角三角形には(3,4,5)(面積6)、(693,1924,2045)(面積66666;Wells 1986, p. 89)

1643年にFermatが、斜辺と足の合計が正方形のピタゴラスの三つ組を求める課題をメルセンヌに出した。 フェルマーはそのような最小の解を見つけた。

x = 4565486027761
(41)
y = 1061652293520
(42)
Z = 4687298610289,
(43)

Z = 2165017^2
(44)
x+y = 2372159^2 となる。
(45)

関連する問題として、指定した整数Nが有理辺の直角三角形の面積になるかどうかを判定する問題があります。 1、2、3、4は有理辺の直角三角形の面積ではないが、5は(3/2、20/3、41/6)であり、6(3、4、5)である。 この問題の解には楕円曲線

 y^2=x^3-N^2xが含まれる。
(46)

(46)に有理解があれば解(a, b, c)が存在します。 この場合

x = 1/4c^2
(47)
y = 1/8(a^2-) <tr style=
y
(48)

(Koblitz 1993)となる。 任意のNに対して解があるかどうかを判断する一般的な方法は知られていないが、1983年にJ. Tunnellが考案した手法により、ある値を除外することができる(Cipra 1996).