login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A253686 a(n) is the smallest integer area of the triangle having the sides in the commutative ring Z[sqrt(q)] where q = A005117(n) is a squarefree number. 0

%I #21 Jul 05 2023 03:00:02

%S 6,1,3,1,6,3,3,4,3,5,3,2,6,6,6,6,3,5,6,6,6,6,6,3,6,6,4,6,6,6,6,6,6,6,

%T 6,6,6,6,6,4,6,6,6,6,6,6,6,6,6,6,6,6,3,6,6,4,6,6,6,6,6,5,6,6,6,6,6,6,

%U 6,6,4,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6

%N a(n) is the smallest integer area of the triangle having the sides in the commutative ring Z[sqrt(q)] where q = A005117(n) is a squarefree number.

%C Generalized integer areas triangles in the ring Z[sqrt(q)] = {a + b sqrt(q)| a,b in Z}.

%C Introduction:

%C The study of triangles having their sides with values in a ring Z[sqrt(q)] and having integer area gives remarkable properties probably still unexplored today.

%C Property:

%C a(1) = 6 because the ring Z[sqrt(1)] = Z => the smallest area of integer sides is A188158(1) = 6 => a(n) <=6.

%C The area A of a triangle whose sides have lengths a, b, and c is given by Heron's formula: A = sqrt(s*(s-a)*(s-b)*(s-c)), where s = (a+b+c)/2. For the same area, the number of triangles is not unique, for instance, in the ring Z[sqrt(19)] the area of each following triangle:

%C (3, 4, 5),

%C (8, -2+sqrt(19), 2+sqrt(19)),

%C (6-sqrt(q), 3+sqrt(19), -1+2*sqrt(19)),

%C (-3+sqrt(19), 6+sqrt(19), 1+2*sqrt(19)) is A=6.

%C Conjecture: the set of squarefree numbers q such that the integer area A of the triangles with sides in the commutative ring Z[sqrt(q)] is finite if A < 6.

%C It follows that a(n)= 6 for n > 384 where A005117(384) = 629 and a(384)=5.

%C The corresponding values q such that a(n)<6 are 2, 3, 5, 7, 10, 11, 13, 14, 15, 17, 26, 29, 37, 41, 65, 85, 89, 101, 113, 221 and 629 with the corresponding index in the sequence a(n): 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 17, 18, 24, 27, 40, 53, 56, 62, 71, 137 and 384.

%C We observe a subset of numbers q such that the sides of the triangles are of the particular form (a, b, sqrt(q)) with a, b integers. This subset is {5, 13, 17, 29, 37, 41, 65, 85, 89, 101, 113, 221, 629}. See the table below for the examples.

%C We find also five isosceles triangles with area less than 6 and it is observed that they are of the form (2,sqrt(q),sqrt(q)) with q = 2, 5, 10, 17 and 26. The corresponding areas A are 1, 2, 3, 4 and 5 respectively with the formula A = sqrt(q-1).

%C The following table gives the first values (A, sqrt(q), a, b, c) where A is the smallest area of the triangle (a, b, c), Z[sqrt(q)] is the commutative ring and a, b, c are the sides in Z[sqrt(q)]= Z[sqrt(A005117(n))].

%C +---+----------+-------------+--------------+---------------+

%C | A | sqrt(q) | a | b | c |

%C +---+----------+-------------+--------------+---------------+

%C | 6 | sqrt(1) | 2 | 3 | 4 |

%C | 1 | sqrt(2) | 2 | sqrt(2) | sqrt(2) |

%C | 3 | sqrt(3) | 3 - sqrt(3) | 2 + 2*sqrt(3)| 1 + 3*sqrt(3) |

%C | 1 | sqrt(5) | 1 | 2 | sqrt(5) |

%C | 6 | sqrt(6) | 2*sqrt(6) |-2 + 2*sqrt(6)| 2 + 2*sqrt(6) |

%C | 3 | sqrt(7) | 4 | -1 + sqrt(7) | 1 + sqrt(7) |

%C | 3 | sqrt(10) | 2 | sqrt(10) | sqrt(10) |

%C | 4 | sqrt(11) | 6 |-1 + sqrt(11) | 1 + sqrt(11) |

%C | 3 | sqrt(13) | 2 | 3 | sqrt(13) |

%C | 5 | sqrt(14) | 6 |-2 + sqrt(14) | 2 + sqrt(14) |

%C | 3 | sqrt(15) | 8 | 5 - sqrt(15) | 5 + sqrt(15) |

%C | 2 | sqrt(17) | 1 | 4 | sqrt(17) |

%C | 6 | sqrt(19) | 8 |-2 + sqrt(19) | 2 + sqrt(19) |

%C | 6 | sqrt(21) | 3 | 4 | 5 |

%C | 6 | sqrt(22) | 3 | 4 | 5 |

%C | 6 | sqrt(23) | 3 | 4 | 5 |

%C | 3 | sqrt(26) | 10 |-4 + sqrt(26) | 4 + sqrt(26) |

%C | 5 | sqrt(29) | 2 | 5 | sqrt(29) |

%C | 6 | sqrt(30) | 3 | 4 | 5 |

%C .............................................................

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Triangle.html">Triangle</a>.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/Ring.html">Ring</a>.

%e a(384)=5 because q = A005117(384) = 629 and the area A of the triangle (1, 26, sqrt(629)) is given by Heron's formula: A = sqrt(s*(s-1)*(s-26)*(s-sqrt(629))) where s = (1+26+sqrt(629))/2. We find A = 5.

%t (* take q=sqrt(2), sqrt(3), ..., A005117(k), ... successively *)

%t err=1/10^10;nn=10;q=Sqrt[2];lst={};lst1={};Do[If[u+q*v>0,lst=Union[lst,{u+q*v}]],{u,-nn,nn},{v,-nn,nn}];n1=Length[lst];Do[a=Part[lst,i];b=Part[lst,j];c=Part[lst,k];s=(a+b+c)/2;area2=s*(s-a)*(s-b)*(s-c);If[a*b*c !=0&&N[area2]>0&&Abs[N[Sqrt[area2]]-Round[N[Sqrt[area2]]]]<err,AppendTo[lst1,Round[Sqrt[N[area2]]]];Print[Round[Sqrt[N[area2]]]," ",a," ",b," ",c]],{i,1,n1},{j,i,n1},{k,j,n1}];Union[lst1]

%Y Cf. A005117, A188158, A238369.

%K nonn

%O 1,1

%A _Michel Lagneau_, Jan 09 2015

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 09:04 EDT 2024. Contains 371240 sequences. (Running on oeis4.)