If $\langle \nabla f (x), N(x) \rangle >0, \forall x \in S^2$, proof that $\exists p \in (S^2)^\mathrm{o}$ such that $\nabla f(p) = 0$. Let $f: \mathbb R^3 \to \mathbb R$ a differentiable function and $N(x) = x$ the normal field of $S^2$. Suppose that $\langle \nabla f (x), N(x) \rangle >0, \forall x \in S^2$. Then $\exists p \in (S^2)^\mathrm{o}$ such that $\nabla f(p) = 0$. Where $(S^2)^\mathrm{o}$ denotes the interior of $S^2$.
I'd appreciate a hint to this question.
Thank you
 A: Here is a start, simplifying the previous answer. 
Let $p = \arg \min_{B} f(x)$ where $B$ is the closed unit ball. Then either $p$ is in the interior of the ball or $p \in S^2$. 
In the first case, $\nabla f(p) = 0$ and you are done.  
So now you have to show that the second case cannot happen. If $p \in S^2$, consider the function $g(t) = f(p - t N(p))$ for small positive  $t$. Then $g(t) \ge g(0)$ for small positive $t$ (why?). Now compute also $\frac{d}{dt} g(t)|_{t = 0}$ and use the assumption. 
See where you can take this. 
A: I think it is instructive to know that this fact follows from a more general result about vector fields in $\mathbb{R}^n$. Denote by $B_R^{(n)} = \{x \in \mathbb{R}^n \, | \, |x| \leq R\}$ the closed ball of radius $R$ and $S^{(n-1)} = \{x \in \mathbb{R}^n \, | \,\, |x| = 1\}$ the unit spehre. Let $V(x)$ be, let's say, a smooth vector field defined on $B^{(n)}_R$ for some $R>1$ and let for any $x \in S^{(n-1)}$ we have that $(x \cdot V(x)) > 0$. 
Assume that $V(x) \neq 0$ for all $x \in B^{(n)}$, where $ B^{(n)} =  B^{(n)}_1$, i.e.  $B^{(n)}$ is the unit ball of radius $R=1$. Then define the map 
$$F : B^{(n)} \to S^{(n)} \subset B^{(n)}$$
$$F(x) = - \, \frac{V(x)}{|V(x)|}$$ By Brower's fixed point theorem, there exists at least one point  $$x^{*} \in B^{(n)} \cap F(B^{(n)}) = B^{(n)} \cap S^{(n-1)} = S^{(n-1)} $$ such that $F(x^*) = x^*$. Then $x^* = F(x^*) =  - \, \frac{V(x^*)}{|V(x^*)|}$ which means $V(x^*) = - |V(x^*)| \, x^*$. But by assumption, 
$$0 < (x^* \cdot V(x^*)) = \big((- |V(x^*)| x^*) \cdot x^*\big) = - |V(x^*)| \, (x^* \cdot x^*) = - |V(x^*)|\, |x^*|^2 < 0$$ which is a contradiciton. Therefore there must be at least one point $x_0 \in B^{(n)}$ such that $V(x_0) = 0$. Now, since $(x \cdot V (x)) > 0$ for all $x$ on $S^{(n-1)}$, there cannot be a point $x^*$ on $S^{(n-1)}$ such that $V(x^*)=0$ otherwise   $0 < (x^* \cdot V (x^*)) = 0$. 
In particular, when $n=3$ and $V(x) = \nabla f(x)$ there should be a point $p \in (S^2)^{\circ}$ such that $\nabla f(p) = 0$.
