OFFSET
1,1
COMMENTS
Conjecture: lim_{n->oo} a(n)/n -> 2*Pi.
The parameters t and G are calculated in a special Excel spreadsheet. This gives t and G for arbitrarily chosen exponent r and arbitrarily chosen shift s so that the mean value of (f(n) - a(n)/n)^2 is minimal. By changing r and s step by step I optimized the minimum of (f(n) - a(n)/n)^2.
Here G = limit of a(n)/n and it is less than infinity for r < 0.
Also, G = lim_{n->oo} A020882(n)/n, which is not only true for hypotenuses but also for odd legs of primitive Pythagorean triangles such that all prime factors of k are congruent to 1 (mod 4) and at least one prime factor is congruent to 1 (mod 4)!.
REFERENCES
Lothar Selle, Kleines Handbuch Pythagoreische Zahlentripel, Books on Demand, 3rd impression 2022, chapter 2.3.2, see chapter 2.3.10 for identity of lim_{n->oo} A020882(n)/n.
EXAMPLE
20 is a term and is listed twice: it is the even leg length of the Pythagorean triangles (20,21,29) and (20,99,101); GCD(20,21,29) = GCD(20,99,101) = 1, so they are primitive; and 20 = 2^2 * 5 has no odd prime factors p that are not congruent to 1 (mod 4).
4 is not a term: it is the even leg length of the primitive Pythagorean triangle (3,4,5), but 4 = 2^2 has no odd prime factors.
12 is not a term: it is the even leg length of the primitive Pythagorean triangle (5,12,13), but 12 = 2^2 * 3 has an odd prime factor (3) that is not congruent to 1 (mod 4).
CROSSREFS
KEYWORD
nonn
AUTHOR
Lothar Selle, Jun 05 2022
STATUS
approved