话题
搜索

勾股三重


毕达哥拉斯三元组是三倍的属于正整数 一,b条,c(c)这样直角三角形有腿存在a、 b条斜边 c(c).由毕达哥拉斯语定理,这相当于发现积极的整数 一,b条,c(c)令人满意的

 a^2+b^2=c^2。
(1)

毕达哥拉斯最小、最著名的三元组是(a、b、c)=(3,4,5). The直角三角形具有这些边长有时称为三,4,5三角形.

毕达哥拉斯三连体

中的点绘图(a、b)-平面,使得(a,b,sqrt(a^2+b^2))上面显示的是毕达哥拉斯三元组对于连续较大的边界。这些曲线图包括以下负值一b条,因此与x个--轴.

毕达哥拉斯三重AC

类似地(a、c)-平面,以便(a,平方(c^2-a^2),c)是毕达哥拉斯的三元组吗对于连续较大的边界。

基本体PythagoreanTriple

通常只考虑原始勾股三元组(也称为“简化”三元组),其中一b条相对质数,因为其他解决方案可以从原始解决方案中微不足道地生成。原语三元组如上图所示,可以立即看到径向线与原图中的非本罪三元组相对应的三元组在本图中不存在。对于基本解一b条必须是即使和另一个古怪的(Shanks 1993年,第141页)c(c)总是古怪的.

此外,每个毕达哥拉斯三元组的一边都可以被3整除,另一边可以被4整除,另外一边可以被5整除。一方可能有两个除数,如(8,15,17),(7,24,25)和(20,21,29),或者甚至三个除数都有,如(11,60,61)。

给定一个原始三元组(a0,b0,c0),从中获得了三个新的本原三元组

(a_1、b_1、c_1)=(a_0,b_0,c_0)U
(2)
(a2、b2、c2)=(a_0,b_0,c_0)a
(3)
(a3、b3、c3)=(a_0,b_0,c_0)D,
(4)

哪里

U型=[ 1  2  2; -2 -1 -2;  2  2  3]
(5)
A类=[ 1  2  2;  2  1  2;  2  2  3]
(6)
D类=[-1 -2 -2;  2  1  2;  2  2  3].
(7)

霍尔(1970)和罗伯茨(1977)证明了(a、b、c)是原始毕达哥拉斯三元组若(iff)

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

哪里M(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)

毕达哥拉斯和巴比伦人给出了生成(不一定是原始的)三元组的公式

 (2米,m^2-1,m^2+1),
(10)

对于m> 1个,它生成一组既不包含all原语也不包含all的不同三元组不纯正三元组(以及在特殊情况下的位置m=2,m^2-1<2米).

早期的希腊人

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

哪里u个v> u个相对质数和相反的奇偶校验(Shanks 1993,p.141),它生成了一组不同的三元组,包含精确地计算原始三元组(适当排序后v^2-u^22紫外线).

表格(_n)成为斐波那契数.然后

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

生成了独特的毕达哥拉斯三元组(Dujella 1995),尽管对于原始或非原始三元组并没有穷尽。更普遍地说,从阳性开始整数一,b条,并构造类斐波纳契数列{F_n^'}包含条款一,b条,a+b,a+2b,2a+3b年, ... 生成不同的毕达哥拉斯三元组

 (F_n^‘F_(n+3)^’,2F_(n+1)^‘F _(n+2)^',F_(n+1)^'‘^2+F_(n+2)’^2)
(13)

(Horadam 1961),其中

 F_n^'=1/2[(3a-b)F_n+(b-a)L_n,
(14)

哪里L_n(L_n)是一个卢卡斯数.

对于任何毕达哥拉斯三元组产品两个非斜边的(即两个较小的数字)总是可除尽的到12点产品三个方面中可除尽的60岁之前。不知道是否有两个不同的三元组具有相同的产品.两个这样的三元组的存在对应于一个非零解决方案丢番图方程

 xy(x^4-y^4)=zw(z^4-w^4)
(15)

(盖伊1994年,第188页)。

对于毕达哥拉斯三元组(一,b条,c(c)),

 P_ 3(a)+P_3(b)=P_,
(16)

哪里第3页配分函数P(Honsberger 1985)。每三学期正方形 第^2页,第^2页,t^2(吨^2)可以与毕达哥拉斯三元组关联(X、Y、Z)由

第页=X-Y轴
(17)
秒=Z轴
(18)
t吨=X+Y
(19)

(罗伯逊,1996年)。

这个地区三角形对应于毕达哥拉斯三元组(u^2-v^2,2uv,u^2+v^2)

 A=1/2(u^2-v^2)(2uv)=uv。
(20)

费马特证明了这种形式的数字永远不会是广场.

查找数字L_p(s)可能的原始的 三角形可能有(除斜边)长度的秒,因素秒到表单中

 s=p_1^(alpha_1)。。。p_n^(字母n)。
(21)

此类的数量三角形就是那个时候

 L_p(s)={0表示s=2(mod 4);否则为2^(n-1),
(22)

即,0代表单偶 秒和2的幂比不同的基本因子属于秒否则(Beiler 1966,第115-116页)。前几个数字对于s=1,2, ..., 是0,0,1,1,0,1,1,1,1,0,1,1,1,2,1,0,2。。。(组织环境信息系统A024361号).找到方法的数量L(秒)其中一个数字秒可以是(除斜边)的原始或非原始 直角三角形,编写的因子分解秒作为

 s=2^(a_0)p_1^(alpha_1)。。。p_n^(字母n)。
(23)

然后

 对于a_0=0,L(s)={1/2[(2a_1+1)(2a_2+1)…(2a_n+1)-1];对于a_0>=1
(24)

(Beiler 1966年,第116页)。请注意L(s)=1 若(iff) 秒是质数或是质数的两倍。的前几个数字s=1, 2, ... 是0、0、1、1、1,1、1、2、,2, 1, 1, 4, 1, ... (组织环境信息系统A046079号).

找到方法的数量(_p)其中一个数字秒可以是斜边原始的 直角三角形,编写其因子分解作为

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

其中第页表单的 4x-1型问表单的 4倍+1.可能的数量原始的 正确的三角形就是那个时候

 对于n=0和a_0=0,H_p(s)={2^(r-1);否则为0,。
(26)

例如,H_p(65)=2自从

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

的值H_p(n)对于n=1,2, ... 是0,0,0。。。(组织环境信息系统A024362号).最初的几个素数 属于表格 4倍+1是5、13、17、29、37、41、53、61、73、89、97、101、109、113、137。。。(组织环境信息系统A002144号),所以最小边长是斜边第1、2、4、8、16…页。。。基本直角三角形是5,65,1105,32045,1185665,486612265。。。(组织环境信息系统A006278号).

可能的数量原始或非原始 直角三角形秒作为一个斜边

小时=1/2[(2b_1+1)(2b_2+1)…(2b_r+1)-1]
(29)
=1/8[r_2(s^2)-4]
(30)

(更正Beiler 1966年的错误,第117页,该公式仅给出非本原解的数量),其中rk(n)平方和功能。例如,有四个不同的整数三角形斜边65岁,自

 65^2=16^2+63^2=25^2+60^2=33^2+56^2=39^2+52^2.
(31)

的前几个数字s=1, 2, ... 是0,0,0,0, 1, 0, 0, ... (组织环境信息系统A046080型). 最小的斜边具有n个不同的三元组是1、5、25、125、65、3125。。。(组织环境信息系统A006339号).下表给出了存在的斜边确切地 n个不同的正确的 整数三角形对于n=0, 1, ..., 5

n个组织环境信息系统斜边存在的n个不同的整数三角形
0A004144号1,2, 3, 4, 6, 7, 8, 9, 11, 12, 14, 16, 18, ...
1A084645号5,10、13、15、17、20、26、29、30、34、35。。。
2A084646号25,50, 75, 100, 150, 169, 175, 200, 225, ...
A084647号125,250, 375, 500, 750, 875, 1000, 1125, 1375, ...
4A084648号65,85, 130, 145, 170, 185, 195, 205, 221, 255, ...
5A084649号3125,6250, 9375, 12500, 18750, 21875, 25000, ...

因此秒可以是斜边直角三角形由提供

 T(s)=L(s)+H(s)。
(32)

的值s=1,2, ... 是0、0、1、1、2、1、3、。。。(组织环境信息系统A046081号).最小的数字秒这可能是T型一般的直角三角形对于T=1,2, ... 是3、5、16、12、15、125、24、40。。。(组织环境信息系统A006593号Beiler 1966年,第114页)。

有50个毕达哥拉斯三连体斜边少于100个,其中前几个按递增排序c(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), ... (组织环境信息系统A046083号,A046084号、和A009000型).

其中只有16个是原始三胞胎斜边小于100:(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)(OEISA046086号,A046087号、和A020882号).

让三元组的数量斜边 <牛顿表示增量(N),带有的三元组数斜边 <=N表示增量^'(N),并且基元三元组的数量小于N个表示增量_p(N)。然后下表总结了10的权力。

三角洲组织环境信息系统三角洲(10),三角洲(10^2), ...
增量(N)A101929号1, 50, 878, 12467, ...
增量^'(N)A101930号2, 52, 881, 12471, ...
增量_p(N)A101931号1, 16, 158, 1593, ...

Lehmer(1900)证明了具有斜边小于N个满足

 lim_(N->infty)(增量_(N))/N=1/(2pi)=0.1591549。。。
(33)

(组织环境信息系统A086201号).

毕达哥拉斯Incircles

这个英拉德按递增顺序排列的最初几个原始毕达哥拉斯三角形c(c)由1、2、3、3、6、5、4、10、5。。。(组织环境信息系统A014498号).

有一种获得等边勾股三角形三元组的通用方法地区.将三台发电机作为

m_1=r^2+r+s^2
(34)
氮1=r^2-s^2
(35)
平方米=r^2+rs+s^2
(36)
氮气=2rs+s^2
(37)
立方米=r^2+2rs
(38)
氮气=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-s)(r ^2+rs+s ^2)
(40)

(Beiler 1966年,第126-127页)。唯一的极值此函数的(r,s)=(0,0).自A(r,s)=0对于r=秒,最小的地区三人共享非刑事的直角三角形由提供(r,s)=(1,2),面积为840,对应三胞胎(24、70、74)、(40、42、58)和(15、112、113)(Beiler 1966,第126页)。

面积由一个数字组成的直角三角形包括(3,4,5)(面积为6)和(693,1924,2045)(面积666666;Wells 1986,第89页)。

1643年,费马向梅森提出挑战,要求他找到一个毕达哥拉斯三胞胎斜边总和正方形.费马找到了最小的这样的解决方案:

X(X)=4565486027761
(41)
Y(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)

一个解决方案(一,b条,c(c))存在,如果(46)有一个理性的解决方案,在这种情况下

x个=1/4立方厘米
(47)
年=1/8(a^2-b^2)c
(48)

(Koblitz 1993)。没有已知的通用方法来确定是否存在任意N个,但1983年J.Tunnell发明的一种技术允许确定某些值退出(Cipra 1996)。


另请参阅

丢番图方程——二次幂,希罗尼亚三角,基本体勾股三重,毕达哥拉斯四联体,毕达哥拉斯三角,赖特三角形,平方和函数,双胞胎毕达哥拉斯三人组

与Wolfram一起探索| Alpha

工具书类

球,W.W。对。和H.S.科克塞特。M。数学娱乐与论文,第13版。纽约:多佛,第57-59页,1987年。贝勒,A.H.公司。《永恒三角》第14章娱乐《数论:数学女王的娱乐》。纽约:多佛,1966年。Cipra,B.“取悦毕达哥拉斯的证据”科学类 271,16691996年。库兰特,R.和罗宾斯,H.“毕达哥拉斯数和费马最后定理。“第1章补充条款§2.3什么数学吗思想和方法的基本方法,第2版。牛津,英国:牛津大学出版社,第40-421996页。Dickson,L.E。《有理直角三角形》第4章历史《数论》第2卷:丢番图分析。纽约:多佛,第165-190页,2005年。R·狄克逊。数学。纽约:多佛,第94页,1991年。Dujella,A.“丢番图四倍体Fibonacci和Lucas数的平方。"葡萄牙数学。 52,305-318, 1995.Dutch,S.“权力页:毕达哥拉斯三元组”http://www.uwgb.edu/dutchs/RECMATH/rmpowers.htm#pythtrip.加德纳,M。这个科学美国人的第六本数学游戏书。伊利诺伊州芝加哥:大学芝加哥出版社,第158-159页,1984年。盖伊,R.K。“三角形具有整数边、中间值和面积。“§D21英寸未解决数论问题,第二版。纽约:Springer-Verlag,第188-190页,1994霍尔,A.“课堂笔记232。毕达哥拉斯三合会的家谱。"数学。加兹。 54, 377-379, 1970.Hindin,H.“Stars,Hexes,三角数和勾股三元组。"J.重建。数学。 16,191-193, 1983-1984.毕达哥拉斯伪圆数学。日本 51, 387-393, 2000.R.洪斯伯格。数学宝石III。华盛顿特区:数学。美国协会。,第47页,1985年。霍拉达姆,A.F.公司。“斐波那契数三元组。”阿默尔。数学。每月 68,751-753, 1961.Knott,R.“毕达哥拉斯三元组”http://www.mcs.sury.ac.uk/Personal/R.Knott/Pythag/Pythag.html.科布利茨,N。介绍椭圆曲线和模数形式,第2版。纽约:Springer-Verlag,第1-50页,1993年。Kraitchik,M。数学娱乐。纽约:W.W。诺顿,第95-1041942页。克莱默,K.和Tunnell,J.“椭圆曲线和局部ε因子”公司。数学。 46, 307-352, 1982.D.N.莱默。“渐进式某些总金额的评估。"阿默尔。数学杂志。 22, 294-335,1900J.罗伯茨。初级数论:一种面向问题的方法。马萨诸塞州剑桥:麻省理工学院出版社,1977年。罗伯逊,J.页。“魔术方块。”数学。美格。 69,第289-293页,1996Shanks,D。解决了的《数论中未解决的问题》,第四版。纽约:切尔西,第121页和1411993年。西尔宾斯基。毕达哥拉斯语三角形。纽约:多佛,2003年。新泽西州斯隆。答:。序列A002144号/M3823,A004144号/M0542,A006278号,A006339号,A006593号/M2499,A009000型,A014498号,A020882号,A024361号,A024362号,A046079号,A046080美元,A046081号,A046083号,A046084号,A046086号,A046087号,A084645号,A084646号,A084647号,A084648号,A084649号,A086201号,A101929号,A101930号、和A101931号在“整数序列在线百科全书”中陶斯基-托德,O.“毕达哥拉斯三角的许多方面。”线性代数和申请。 43, 285-295, 1982.威尔斯,D。这个企鹅奇趣数字词典。纽约:企鹅书籍,1986年。

参考Wolfram | Alpha

勾股三重

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“毕达哥拉斯三人组”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/PythagoreanTriple.html

主题分类