geometry/combinatorics question: max # intersections of lines in a triangle

151 Views Asked by At

Let $ABC$ be a closed equilateral triangle (including its edges and vertices).

For each edge of $ABC$, place a red line orthogonal to it. Let $r^{AB}$ be the red line orthogonal to edge $AB$. Otherwise, placement of the three red lines is arbitrary: each may pass through the interior of $ABC$, just intersect it at a vertex, or not intersect it at all.

Within $ABC$, place blue points, enumerated by $1, 2, \ldots, n$, such that the (blue) line passing through any two such points runs parallel to an edge. Denote a line parallel to $AB$ by $b^{AB}_i$. Thus, each $b^{AB}_i$ intersects $r^{AB}$ orthogonally (possibly outside $ABC$).

Each red line, $r^{AB}$, partitions each (if any) of its corresponding lines, $b^{AB}_i$, into three elements: the intersection itself, the segment of $b^{AB}_i$ to its 'left', and the segment to its 'right'. For each $b^{AB}_i$, at most one blue point is allowed to lie in each of these elements. (Thus, if $r^{AB}$ and $b^{AB}_i$ intersect outside $ABC$, only one blue point may lie along $b^{AB}_i $inside $ABC$.)

What is the maximum value of $n$, the number of blue points?

I have an ugly, lengthy proof that it is $n=3$, but suspect that there must be a clean combinatorial result for which this is a special case.

1

There are 1 best solutions below

0
On

There are two possible configurations of three blue points:

  1. collinear, all lying on a $b^{AB}_i$, with $r^{AB}$ running through the middle point. It is not possible to place a fourth blue point on $b^{AB}_i$ as that would violate the 'one blue point per element' requirement. Try, instead, to place a fourth blue point elsewhere in the triangle. Join it by straight lines to each of the collinear blue points: these three new lines are neither parallel to each other (as they intersect at the fourth point) nor to the original line (as each connects a point on that line to one off of it). By the 'any two such points' requirement, each of these four non-parallel lines must be parallel to an edge of the triangle, a contradiction.

  2. non-collinear, not all lying on a $b^{AB}_i$. In this case, by the 'any two such points' requirement, they form an equilateral triangle with edges parallel to those of $ABC$. (For each $b^{AB}_i$ created, $r^{AB}$ intersects it at some point in the closed interval between its end points.) Again, try to place a fourth point. If it is collinear with two existing points, we return to the case above. Otherwise, the lines connecting it to the existing three points are not all parallel to an edge of $ABC$, a contradiction.

Thus, while $n=3$ is feasible, $n > 3$ is not.