cp's OEIS Frontend

A234566 1/a(n) is the area of the smallest triangle delimited by 3 lines each passing through at least 2 points of an n X n unitary spaced grid.

%I A234566 #8 Jan 20 2014 10:17:50
%S A234566 4,30,770,5148,30566,89900,219960,614460,1146596,2624076,4299916,
%T A234566 8432732,11016390,22391148,28183214
%N A234566 1/a(n) is the area of the smallest triangle delimited by 3 lines each passing through at least 2 points of an n X n unitary spaced grid.
%C A234566 Only non-degenerate triangles are considered.
%C A234566 Conjecture: sequence is well-defined, i.e., a(n) is an integer for every n > 1.
%C A234566 For n > 1, n odd, a(n) >= 4(n-2)^2(n^2-3n+1)(n^2-3n+3), with equality for  n = 5,7,...,15. The bound is obtained considering the 3 lines passing by the 3 pairs of points {(0,1), (n-1, n-1)}, {(n-2, 0), (1, n-2)}, and {((n-1)/2, n-1), ((n-3)/2, 0)}.
%C A234566 We may consider the similar problem of finding the largest triangle. Here, the areas for n>=2 are 1/2, 9/2, 25, 100, 289, 676, 1369,... so it appears that for n >= 4 the maximal area is ((n-2)^2+1)^2, (cf. A082044) obtained via the lines passing through the points {(0,2), (1,n-1)}, {(n-2,0), (n-1,n-2)}, and {(0,0), (1,n-1)}.
%H A234566 Giovanni Resta, <a href="/A234566/a234566.pdf">Illustration of the first 9 terms</a>
%F A234566 For n>1 odd, a(n) >= 4(n-2)^2 (n^2-3n+1)(n^2-3n+3).
%e A234566 For n=2, consider the 2 X 2 grid formed by the points with coordinates (0,0), (0,1), (1,0) and (1,1). The two diagonals and the line passing through (0,0) and (1,0) form a triangle whose area is 1/4 and since no smaller triangle can be formed in this way, a(2) = 4.
%Y A234566 Cf. A018808, A082044.
%K A234566 nonn,more,nice
%O A234566 2,1
%A A234566 _Giovanni Resta_, Dec 28 2013