Skip to main content
4 of 7
added 735 characters in body; added 50 characters in body
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

This is the proof of the satement in the case when $F'$ is supposed to be continuous. If you down vote it, please explain what is wrong here.

I will use the reasoning of Ilya (please read his answer. His idea is that we conisder the curve $\frac{F'}{|F'|}$ in the unit $S^{n-1}$). We need to prove a little lemma.

Lemma. Consider a continous curve $C$ on a sphere $S^{n-1}$ that doesn't lie inside any half-sphere. Prove that there exists an equator that intersects the curve in at least $n$ points.

Proof. The center of the sphere belongs to the convex hull of $C$ by the assumption of the lemma. This means that there are $n+1$ or less points on $C$ such that the simplex with vertices in these points contains the centre $0$ of the sphere. If the number of points is less than $n+1$, we are done. Suppose that the number of points is in fact $n+1$ and they are linearly inependent. We call the points $x(t_1),...,x(t_{n+1})$ where $t_i$<$t_j$ for $i$<$j$. Consider now the hyperplane $H$ generated by points $x(t_1),...,x(t_{n-1})$ and the center of the sphere. $H$ cuts $S^{n-1}$ in two halves. Since by constructions the convex hull of $x(t_i)$ contains $0$, the points $x(t_n), x(t_{n+1})$ are in different half spaces with respect to the plane. So this plane intersects the part of curve C contained between $t_n$, $t_{n+1}$. We are done.

Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161