Let \( S \) be a set consisting of \( 2024 \) points on a plane, such that no three points in \( S \) are collinear. A line \( \ell \) passing through any two points in \( S \) is called a "weakly balanced line" if it satisfies the following condition: (Condition) When the line \( \ell \) divides the plane into two regions, one region contains exactly \( 1010 \) points of \( S \), and the other region contains exactly \( 1012 \) points of \( S \) (where each region contains no points lying on \( \ell \)). Let \( \omega(S) \) denote the number of weakly balanced lines among the lines passing through pairs of points in \( S \). Find the smallest possible value of \( \omega(S) \).
Problem
Source: KMO P3
Tags: combinatorics, geometric combinatorics
11.11.2024 05:49
14.11.2024 17:49
Let $n=1011$. Then the total number of points is $2n+2$. By considering oriented lines we can distinguish the left and right region of lines. We denote $\overrightarrow{PQ}$ as the oriented line directed from $P$ to $Q$. (Of course the notation is overloaded for the half line, we do not need the notion of half line in this solution.) On an oriented line, for two different points $A$, $B$ on it, if the orientation agrees with the direction from $B$ to $A$, we say $A$ is a front point of $B$. An oriented line through two points on $S$ is a weakly equiable line(WEL from now on) if and only if it has $n+1$ and $n-1$ points on its left and right side respectively, or vice versa. Now, when we rotate an oriented line through $P \in S$, each time the line passes a point, the number of points on the left side either increases by $1$, decreases by $1$, or remains the same. More specifically, rotating counter clockwise, if it moves from the front point (respect to $P$) to another point on the left side, the number of points on the left decreases by $1$. If it moves from the front point to another point on the right side, the number of points on the left remains the same, and so on. Let $l(\ell)$ be the number of points in $S$ on the left side of $\ell$. Now observe the following (*) If for a line rotating about $P \in S$, there is a point $Q \in S$ so that $l(\overrightarrow{PQ} \ge n+1$ or $l(\overrightarrow{PQ} \le n-1$, then there exists a WEL through $P$. To see this, suppose that for some $P, Q \in S$, $l(\overrightarrow{PQ}) \ge n+1$. If the equality holds, we are done. If the inequality is strict, noting that $l(\overrightarrow{QP} < n-1$ showing that there was a moment that the line have been WEL, since the increment of the number $l(\ell)$ is one of $1, -1, 0$. Now, a point $G \in S$ is said to be stable if there does not exists WEL through it. Step 1. There is at mose one stable point. Suppose that $G$ is stable. Then $l(\overrightarrow{GP}) = n $ for all $P \in S$ other than $G$ by (*). Now suppose that $H \neq G$ is another stable point. Considering the line $GH$, WLOG assume that rotating $\ell$ through $G$ from $\overrightarrow{GH}$, the first point of contact $P$ was a front point of $G$ on the oriented line. But then $H$ cannot be stable, an absurdity. Step 2. There are at least $2n+1$ WEL. Apart from the stable points, every point has at least two WEL through it. To verify this, let $P \in S$ be a point which is not stable and $\overrightarrow{PQ}$ is WEL and let $\ell$ be the rotating line through $\ell$. WLOG $l(\overrightarrow{PQ}) = n+1$. Since $Q$ is a front point of $P$, $l(\overrightarrow{PQ}) $ cannot increase at the vary next contact, say contact point $T$. If it remains same, we are done. Now the case $l(\overrightarrow{PT}) = n$ remained. Suppose further that there is unique WEL through $P$. Then $(\overrightarrow{\ell} = n $ at each moment of contact. So it touches the points on left and right alternatively. However, there are $n$ points on the left whereas just $n-1$ points on the right which is impossible. Hence there is at least two WEL through $P$. Step 3 There are at least $2n+1$ non stable points and for each of those points there are at least two WEL. Since WEL passes through exactly two points in $S$, there are at least $2n+1$ WEL. Step 4 The set of all vertices of a regular $2n++1$ gon with additional point at the center provides the example completing the solution. PS. Posted at https://artofproblemsolving.com/community/u281710h3443334p33202616