login
A393526
Numbers of the form a*b*c*r where (a,b,c) is a primitive Pythagorean triple with inradius r.
4
60, 1560, 6120, 12600, 59040, 73080, 77700, 201300, 458640, 556920, 667800, 1328880, 1441440, 1799820, 2839680, 2890800, 3298680, 4165200, 5474040, 5571180, 9079200, 10210200, 11583000, 12497940, 13983060, 17699880, 22341060, 29296800, 31456800, 32655480, 35444640, 44542080, 46633860, 52846200
OFFSET
1,1
COMMENTS
All terms are divisible by 60.
Numbers of the form 2*(x - y)^2*(x + y)*x*y^2*(x^2 + y^2) where 1 <= y < x, x and y coprime and one of them even.
Are there any terms that correspond to more than one (x,y)?
LINKS
EXAMPLE
a(3) = 6120 is a term because (with x=4, y=1), the primitive Pythagorean triple (15, 8, 17) has inradius 3 and 15 * 8 * 17 * 3 = 6120.
MAPLE
N:= 10^8: # for terms <= N
Res:= {}: count:= 0:
for x from 2 while 2*x^6 - 2*x^5 - 2*x^2 + 2*x <= N do
flag:= false;
for y from 1 to x-1 do
P:= 2*(x - y)^2*(x + y)*x*y^2*(x^2 + y^2);
if P > N then flag:= true; y1:= y; break fi;
if igcd(x, y) = 1 and (x+y)::odd then
count:= count+1; Res:= Res union {P};
fi
od;
if flag then
for y from x-1 to y1+1 by -1 do
P:= 2*(x - y)^2*(x + y)*x*y^2*(x^2 + y^2);
if P > N then break fi;
if igcd(x, y) = 1 and (x+y)::odd then
count:= count+1; Res:= Res union {P};
fi od fi
od:
sort(convert(Res, list));
CROSSREFS
KEYWORD
nonn
AUTHOR
Will Gosnell and Robert Israel, Feb 18 2026
STATUS
approved