OFFSET
1,1
COMMENTS
This sequence is inspired by the problem of French Baccalauréat Mathématiques at Lyon in 1937 (see link).
The triples (a, b, c) are displayed in increasing order of side a, and if sides a coincide then in increasing order of the side b.
If in triangle ABC, B = 2*C, then the corresponding metric relation between sides is a*c + c^2 = c * (a + c) = b^2.
This metric relation is equivalent to a = m^2 - k^2, b = m * k, c = k^2, gcd(m,k) = 1 and k < m < 2k; hence every c is a square number.
When A <> 45° and A <> 72°, table below shows there exist these 3 possible inequalities: c < b < a, c < a < b, a < c < b.
------------------------------------------------------------------------
| A | 180 | decr. | 72 | decr. | 45 | decr. | 0 |
------------------------------------------------------------------------
| B | 0 | incr. | 72 | incr. | 90 | incr. | 120 |
------------------------------------------------------------------------
| C | 0 | incr. | 36 | incr. | 45 | incr. | 60 |
------------------------------------------------------------------------
| < | No | c < b < a | c < b=a | c < a < b | c=a < b | a < c < b | No |
------------------------------------------------------------------------
where 'No' means there is no such corresponding triangle.
If (A,B,C) = (72,72,36) then a = b = c * (1+sqrt(5))/2 and isosceles ABC is not an integer-sided triangle.
If (A,B,C) = (45,90,45) then ABC is isosceles rectangle in B, so a = c with b = a*sqrt(2) and ABC is not an integer-sided triangle.
REFERENCES
V. Lespinard & R. Pernet, Trigonométrie, Classe de Mathématiques élémentaires, programme 1962, problème B-336 p. 178, André Desvigne.
EXAMPLE
The smallest such triangle is (5, 6, 4), of type c < a < b with 4*(5+4) = 6^2.
The 2nd triple is (7, 12, 9) of type a < c < b with 9*(7+9) = 16^2.
The 7th triple (16, 15, 9) is the first of type c < b < a with 9*(16+9) = 15^2.
The table begins:
5, 6, 4;
7, 12, 9;
9, 20, 16;
11, 30, 25,
13, 42, 36;
15, 56, 49;
16, 15, 9;
17, 72, 64;
...
MAPLE
for a from 2 to 60 do
for c from 3 to floor(a^2/2) do
d := c*(a+c);
if igcd(a, sqrt(d), c)=1 and issqr(d) and abs(a-c)<sqrt(d) and sqrt(d)<a+c then print(a, sqrt(d), c); end if;
end do;
end do;
CROSSREFS
KEYWORD
nonn,tabf
AUTHOR
Bernard Schott, Apr 04 2021
STATUS
approved