cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A331040 Numerator of squared radius of inscribed circle of a triangle with integer sides i <= j <= k, such that the number of triangles with this radius sets a new record. Denominators are A331041.

Original entry on oeis.org

1, 35, 3, 7, 3, 15, 8, 35, 55, 63, 95, 119, 135, 56, 231, 255, 80, 351, 455, 495, 855, 216, 224, 1071, 360
Offset: 1

Views

Author

Hugo Pfoertner, Jan 11 2020

Keywords

Comments

The radius rho of the inscribed circle of a triangle (a,b,c) is rho = sqrt((s-a)*(s-b)*(s-c)/s), with s=(a+b+c)/2. For given integer values of a <= b and a rational target value r2 of the squared incircle radius, c is given by the two positive real roots of the polynomial P(a,b,x,r2) = x^3 - x^2 * (a+b) + x * (4*r2-(b-a)^2) + (a+b)^3 + 4*(a+b)*(r2-a*b). P(a,b,x,r2) = 0 may have 0, 1 or 2 positive integer solutions.
The potential ranges of the side lengths of the triangles can be determined in analogy to the ranges for the case of integer radii of the incircles, see A120062 for the relevant formulas and sequences.

Examples

			b(1) = a(1)/A331041(1) = 1/12: Triangle (1,1,1) has the least possible radius of incircle = sqrt(1/12).
b(2) = a(2)/A331041(2) = 35/52: Triangles (2,18,19) and (3,4,6) are the first occurrence of more than one triangle with the same radius of their incircles. rho = sqrt(35/52) in both cases.
b(3) = a(3)/A331041(3) = 3/4: Triangles are (2,7,7), (3,3,3), and (3,5,7).
b(4) = a(4)/A331041(4) = 7/4: (3,12,12), (3,22,23), (4,5,6), (5,18,22), (6,11,16) are the A331043(4) = 5 triangles with rho^2 = b(4).
b(15) = 231/4 includes the rare case, where two distinct integer solutions for the same pair of sides a and b exist: (20,37,38) and (20,37,39), both with rho^2=231/4 and thus contributing 2 of the A331043(15)=84 triangles with this squared radius of the incircle.
		

Crossrefs

Cf. A331041 (corresponding denominators), A331042 (4*a(n)/A331041(n)), A331043 (records of numbers of triangles).

Programs

  • PARI
    \\ Only suitable for demonstration of initial terms
    rh2(a,b,c)={my(s=(a+b+c)/2);(s-a)*(s-b)*(s-c)/s};
    lim_a(x)=ceil(4*(x^2+2));
    lim_b(x)=ceil(4*(x^4+2*x^2+1));
    target=35/4; v=vector(333938); n=0;
    for(a=1,lim_a(sqrt(target)), for(b=a,lim_b(sqrt(target)), for(c=b,a+b-1, f=rh2(a,b,c);v[n++]=f)));
    v=vecsort(v); print("A331040 A331041 A331043"); print(numerator(v[1])," ",denominator(v[1])," ",1); m=0; mm=0; for(k=2,#v, if(v[k]>target,break); if(v[k]==v[k-1], m++; if(m>mm&&v[k+1]>v[k], print(numerator(v[k])," ",denominator(v[k])," ",m);mm=m),m=1));

A331041 Denominator of squared radius of inscribed circles of triangles with integer sides i <= j <= k, such that the number of triangles with this radius sets a new record. Numerators are A331040.

Original entry on oeis.org

12, 52, 4, 4, 1, 4, 1, 4, 4, 4, 4, 4, 4, 1, 4, 4, 1, 4, 4, 4, 4, 1, 1, 4, 1
Offset: 1

Views

Author

Hugo Pfoertner, Jan 11 2020

Keywords

Comments

See A331040. Conjecturally, all terms a(n) are either 1 or 4 for n >= 3.

Examples

			See A331040.
		

Crossrefs

A331042 a(n) = 4 * squared radius of inscribed circles of triangles with integer sides i <= j <= k, such that the number of triangles with this radius sets a new record. If this radius is not a multiple of (1/4), a(n) = 0.

Original entry on oeis.org

0, 0, 3, 7, 12, 15, 32, 35, 55, 63, 95, 119, 135, 224, 231, 255, 320, 351, 455, 495, 855, 864, 896, 1071, 1440
Offset: 1

Views

Author

Hugo Pfoertner, Jan 11 2020

Keywords

Comments

It is conjectured that all radii of incircles leading to records with the exception of the first two terms are multiples of 1/4, thus a(n) > 0 for all n > 2.
See A331040 for more information and examples.

Crossrefs

Cf. A331040, A331041, A331043 (records of numbers of triangles).

Formula

If A331041(n) equals 1 or 4, a(n) = 4 * A331040(n)/A331041(n), 0 otherwise.

A331226 a(n) is the number of triangles with integer sides i <= j <= k with squared radius of circumscribed circle b(n) = A331224(n)/A331225(n). Records of numbers of distinct triangles such that all smaller radii produce fewer triangles sharing the same radius of circumcircle than the current radius b(n).

Original entry on oeis.org

1, 2, 4, 6, 8, 9, 10, 13, 17, 22, 31, 33, 46, 53, 67
Offset: 1

Views

Author

Hugo Pfoertner, Jan 14 2020

Keywords

Examples

			See A331224.
		

Crossrefs

Showing 1-4 of 4 results.