整海伦三角形的个数问题

cfan2021

A120131    Longest side of primitive Heronian triangles, sorted.
https://oeis.org/A120131
其列表：https://oeis.org/A120131/b120131.txt
根据OEIS的数据显示，边长均小于100的整边本原海伦三角形一共有166个。

这166个整边本原海伦三角形如下图：



那么，边长均小于100的整边非本原海伦三角形一共有多少个呢？
此外，边长均小于100的整边本原海伦三角形中一共有多少个不是勾股三角形呢？
更进一步，边长均小于100的整边非本原海伦三角形中一共有多少个不是勾股三角形呢？

注：
①海伦三角形是边长和面积都是有理数的三角形。
②整边海伦三角形是边长和面积都是整数的三角形。

ejiwueu

基本解：设三角形三边 a,b,c 为整数，由下可得面积整数解。

\(\sqrt{(a+b+c)(c+a-b)(b+c-a)(a+b-c)}=\bigg\lceil\sqrt{(a+b+c)(c+a-b)(b+c-a)(a+b-c)}\bigg\rceil\)

ocideeweguy

勾股三角形必然是海伦三角形

ohelorukozaxe

简化输出，反正后面非本原三角形放大系数是连续整数。

1. Table[{k,j,i},{i,99},{j,i},{k,j}]//Flatten[#,2]&//Parallelize[If[(#//Permutations//#[[1]]+#[[2]]>#[[3]]&/@#&//And@@#&)\[And](Sqrt[p (p-a)(p-b)(p-c)]//.{a->#[[1]],b->#[[2]],c->#[[3]],p->(a+b+c)/2}//IntegerQ),{#[[1]]^2+#[[2]]^2==#[[3]]^2,#/GCD@@#}]&/@#]&//DeleteCases[#,Null]&//GatherBy[#,#[[1]]&]&//({If[#[[1,1]],a^2+b^2==c^2],Length[#],#[[All,2]]//Tally}//Insert[#,Length[#[[-1]]],3]&)&/@#&

复制代码

{{a^2+b^2==c^2,50,16,{{{3,4,5},19},{{5,12,13},7},{{8,15,17},5},{{7,24,25},3},{{20,21,29},3},{{12,35,37},2},{{9,40,41},2},{{28,45,53},1},{{11,60,61},1},{{33,56,65},1},{{16,63,65},1},{{48,55,73},1},{{36,77,85},1},{{13,84,85},1},{{39,80,89},1},{{65,72,97},1}}},{Null,256,150,{{{5,5,6},16},{{5,5,8},12},{{10,13,13},7},{{4,13,15},6},{{13,14,15},6},{{9,10,17},5},{{16,17,17},5},{{11,13,20},4},{{7,15,20},4},{{10,17,21},4},{{13,20,21},4},{{13,13,24},4},{{12,17,25},3},{{14,25,25},3},{{3,25,26},3},{{17,25,26},3},{{17,25,28},3},{{6,25,29},3},{{17,17,30},3},{{11,25,30},3},{{5,29,30},3},{{8,29,35},2},{{15,34,35},2},{{25,29,36},2},{{19,20,37},2},{{15,26,37},2},{{13,30,37},2},{{24,37,37},2},{{16,25,39},2},{{17,28,39},2},{{25,34,39},2},{{10,35,39},2},{{29,29,40},2},{{13,37,40},2},{{25,39,40},2},{{15,28,41},2},{{17,40,41},2},{{18,41,41},2},{{29,29,42},2},{{15,37,44},2},{{17,39,44},2},{{13,40,45},2},{{25,25,48},2},{{29,35,48},2},{{21,41,50},1},{{39,41,50},1},{{26,35,51},1},{{20,37,51},1},{{25,38,51},1},{{13,40,51},1},{{27,29,52},1},{{25,33,52},1},{{37,39,52},1},{{15,41,52},1},{{5,51,52},1},{{25,51,52},1},{{24,35,53},1},{{4,51,53},1},{{51,52,53},1},{{26,51,55},1},{{20,53,55},1},{{25,39,56},1},{{53,53,56},1},{{33,41,58},1},{{41,51,58},1},{{17,55,60},1},{{15,52,61},1},{{22,61,61},1},{{25,52,63},1},{{33,34,65},1},{{20,51,65},1},{{12,55,65},1},{{14,61,65},1},{{36,61,65},1},{{32,65,65},1},{{35,53,66},1},{{65,65,66},1},{{21,61,68},1},{{43,61,68},1},{{7,65,68},1},{{29,65,68},1},{{57,65,68},1},{{29,52,69},1},{{37,37,70},1},{{9,65,70},1},{{41,50,73},1},{{26,51,73},1},{{35,52,73},1},{{19,60,73},1},{{50,69,73},1},{{25,51,74},1},{{25,63,74},1},{{35,44,75},1},{{29,52,75},1},{{32,53,75},1},{{34,61,75},1},{{56,61,75},1},{{13,68,75},1},{{52,73,75},1},{{40,51,77},1},{{25,74,77},1},{{68,75,77},1},{{41,41,80},1},{{17,65,80},1},{{9,73,80},1},{{39,55,82},1},{{35,65,82},1},{{33,58,85},1},{{29,60,85},1},{{39,62,85},1},{{41,66,85},1},{{41,84,85},1},{{26,85,85},1},{{72,85,85},1},{{34,55,87},1},{{52,61,87},1},{{38,65,87},1},{{44,65,87},1},{{31,68,87},1},{{61,74,87},1},{{65,76,87},1},{{53,75,88},1},{{65,87,88},1},{{41,50,89},1},{{28,65,89},1},{{21,82,89},1},{{57,82,89},1},{{78,89,89},1},{{53,53,90},1},{{17,89,90},1},{{37,72,91},1},{{60,73,91},1},{{26,75,91},1},{{22,85,91},1},{{48,85,91},1},{{29,75,92},1},{{39,85,92},1},{{34,65,93},1},{{39,58,95},1},{{41,60,95},1},{{68,87,95},1},{{73,73,96},1},{{37,91,96},1},{{51,52,97},1},{{26,73,97},1},{{44,75,97},1},{{35,78,97},1},{{75,86,97},1},{{11,90,97},1},{{78,95,97},1}}}}

Elishslots

其实同比例海伦三角形的个数是本原三角形最大边c与边界条件l的整数商\(\bigg\lceil\frac{l-1}{c}\bigg\rceil\)

可参考这里 https://oeis.org/A239246 计算

saluozu

边长和面积都是整数的三角形，面积一定是6的倍数，为什么呢？

uzmedafacof

谁说的?=6天前我也是这样想(1#好像也是这么回事):为什么呢？
后来找A051585说:面积一定是6的倍数！
可惜也没有说:为什么呢？

agihaku

1. h[n_]:=Select[Flatten[Table[{n,c,b},{b,2,n},{c,b,n}],1],Total@#>2n&&GCD@@#==1&&IntegerQ[Sqrt[Total@(#^2)^2-2Total@(#^4)]]&]

复制代码

1. Flatten[Table[h[n], {n, 30}], 1]

复制代码

{{5,4,3},{6,5,5},{8,5,5},{13,12,5},{13,13,10},{15,13,4},{15,14,13},{17,15,8},{17,10,9},{17,17,16},{20,15,7},{20,13,11},{21,17,10},{21,20,13},{24,13,13},{25,24,7},{25,17,12},{25,25,14},{26,25,3},{26,25,17},{28,25,17},{29,25,6},{29,21,20},{30,29,5},{30,25,11},{30,17,17}}

ehonacatekaq

1. mm=20;dd=DeleteCases[Flatten[Table[If[m n>k^2&&k^2>=m^2 n/(2m+n)&&GCD[m,n,k]==1,t={n(m^2+k^2),m(n^2+k^2),(m+n)(m n-k^2)};Flatten[{t,k m n(m+n)(m n-k^2)/GCD@@t}]],{n,0,mm},{m,n,mm},{k,0,mm}],2],Null];SortBy[Sort/@(#/GCD@@#&/@dd),#[[-2]]&][[1;;5mm]]

复制代码