OFFSET
1,1
COMMENTS
The triples (a, b, c) are listed in increasing order of side a, and if sides a coincide then in increasing order of side b.
This sequence is nonincreasing: a(7) = 40 < a(6) = 120.
If in triangle ABC, B = 2*C, then the corresponding metric relation between sides is a*c + c^2 = c * (a + c) = b^2.
As the metric relation is equivalent to a = m^2 - k^2, b = m*k, c = k^2, with gcd(m,k) = 1 and k < m < 2k, so all terms are of the form m^2 + m*k = m * (m+k) with gcd(m,k) = 1 and k < m < 2k. These perimeters are in increasing order in A106499.
For the corresponding primitive triples and miscellaneous properties and references, see A343063.
FORMULA
EXAMPLE
According to inequalities between a, b, c, there exist 3 types of such triangles:
a(1) = 15 with c < a < b for the first triple (5, 6, 4);
a(7) = 40 with c < b < a for the seventh triple (16, 15, 9);
a(8) = 153 with a < c < b for the eighth triple (17, 72, 64).
MAPLE
for a from 2 to 100 do
for c from 3 to floor(a^2/2) do
d := c*(a+c);
if issqr(d) and igcd(a, sqrt(d), c)=1 and abs(a-c)<sqrt(d) and sqrt(d)<a+c then print(a+sqrt(d)+c); end if;
end do;
end do;
PROG
(PARI) lista(nn) = {for (a = 2, nn, for (c = 3, a^2\2, my(d = c*(a+c)); if (issquare(d) && (gcd([a, sqrtint(d), c])==1) && (abs(a-c)<sqrtint(d)) && (sqrtint(d)<a+c), print1(a+sqrtint(d)+c ", ")); ); ); } \\ Michel Marcus, May 12 2022
CROSSREFS
KEYWORD
nonn
AUTHOR
Bernard Schott, Apr 15 2021
STATUS
approved