Blocking set in a projective plane. Let S be any nontrivial blocking set in a projective plane of order q,
such that S not containing any line. 
Let A be a set of points in the same projective plane of order q,
raging over all these S.
Is it true that if A$\cap$S != $\phi$ then |A| >= q+1
and equality exists only if A is a line?
 A: Let $\ell_1,\ell_2,\ell_3$ be three lines in the plane that do not all contain the same point.  The triangle formed by $\ell_1,\ell_2,\ell_3$ is the set obtained from $\ell_1 \cup \ell_2 \cup \ell_3$ by removing the three pairwise intersections of the lines.  Clearly, any triangle is a blocking set: every line in the plane meets each line $\ell_1,\ell_2,\ell_3$, and cannot contain all the three points that we are removing from the triangle.  Triangles are the only blocking sets we consider.
We say that $A$ has property (*) if the intersection of $A$ with every triangle is not empty.  Note that if a subset of the plane intersects non-trivially every blocking set, then it has property (*). We prove the (a priori) stronger statement that a set with property (*) and at most $q+1$ elements consists of all the points contained in a line.
Lemma 1.

Let $A$ be a set of at least three points in the plane such that any line intersects $A$ in at most two points; then $A$ cannot have property (*).

Proof.
Let $A' \subset A$ be a subset with three elements, and note that the points in $A'$ are not collinear.  Let $\ell_1,\ell_2,\ell_3$ be the three lines each containing two of the points of $A'$.  By assumption $\ell_1 \cap A , \ell_2 \cap A , \ell_3 \cap A \subset A'$; thus, the triangle formed by $\ell_1 , \ell_2 , \ell_3$ is a blocking set disjoint from $A$. $\square$
Lemma 2.

Let $A$ be a set of at most $q+1$ points in the plane that are not collinear and let $\ell$ be a line in the plane such that $|A \cap \ell| \geq 3$; then $A$ cannot have property (*).

Proof.
Let $a$ be a point of $\ell \setminus A$: such a point exists, since the points of $A$ are not collinear and $\ell$ contains $q+1$ points.  There are $q$ lines different from $\ell$ through $a$ and at most $q-2$ points in $A \setminus \ell$; thus there are two distinct lines $\ell_1 , \ell_2$ through $a$ disjoint from $A$.  Let $b'$ be any point of $A$ not contained in $\ell$ and let $b$ be any point not contained in $A$ on a line $\ell'$ joining $b'$ to a point of $A$ contained in $\ell$; there are $q$ lines through $b$ different from $\ell'$ and only $q-1$ points in $A \setminus \ell'$; we deduce that there is a line $\ell_3$ through $b$ disjoint from $A$.  Thus the triangle formed by $\ell_1,\ell_2,\ell_3$ is a blocking set disjoint from $A$. $\square$
Corollary.

Let $A$ be a set of at most $q+1$ points in the plane having property (*); then $A$ consists of all the points contained in a line.

Proof.
By Lemma 1 we know that there must be a line containing three points of $A$.  If the points of $A$ were not collinear, then Lemma 2 would imply that $A$ does not have property (*).  Thus the points of $A$ are collinear.  To conclude it suffices to show that if $A$ misses a point of the line containing $A$, then $A$ does not have property (*).  This is easy: let $a$ be a point of $A$ and let $\ell_1,\ell_2$ be distinct lines through $a$; let also $b$ be a point on the line containing $A$ not in $A$, and let $\ell_3$ be any line through $b$ not containing $A$.  The triangle formed by $\ell_1,\ell_2,\ell_3$ is a blocking set disjoint from $A$. $\square$
