Inversion of mean value theorem Given two functions $f,g: A \subset \mathbb{R} \rightarrow \mathbb{R}$ , $f,g \in C^1(A)$, I want to study the number of points of intersection of these two functions.
So I can take $h(x) := f(x)-g(x)$, $h \in C^1(A)$, and thus I want to study the roots of that function $h$. If I have two zeros, this means that, for mean value theorem, the derivative of $h$ is zero in some point between the roots. 
My question is, there are conditions which allow us to say that given a root for the derivative $\alpha | h'(\alpha)=0$ there exist $\{x_1, x_2\} | h(x_1)=h(x_2)$?
Obviously there are counter examples to this ($h(x)=x^3$), but I intuitively suspect that if $h \in C^2, \alpha$ not a saddle point, then the result follow (intuitively because I'm thinking at the intermediate value theorem). 

A sufficient condition such that $h'(\alpha)=0$ implies $h(x_1)=h(x_2)$ for some $x_1 \neq x_2$ is: 

$h''$ exists on $A$ (not necessarily continuous) and $h''(\alpha)\neq 0$. 

Proof: It suffices to show that $h$ has a local extremum in $\alpha$. Suppose $h''(\alpha) < 0$. 
Claim: There is an $x_1 < \alpha$ such that $h'(x)>0$ for all $x\in (x_1,\alpha)$. 
Otherwise we can find a sequence $x_n \to \alpha,\,x_n < \alpha$ with $h'(x_n) \le 0$. Hence 
$$d_n := \frac{h'(\alpha)-h'(x_n)}{\alpha-x_n}=\frac{-h'(x_n)}{\alpha-x_n}\ge 0$$
and $h''(\alpha)  =\lim_{n\to \infty}d_n \ge 0$. Contradiction! 
Now, by mean value theorem, $h(x) < h(\alpha)$ for all $x \in (x_1,\alpha)$. Similarly one 
shows there is $x_2 > \alpha$ such that $h'(x) < 0$ for all $x \in (\alpha,x_2)$ which yields 
$h(x) < h(\alpha)$ for all $x\in (\alpha,x_2)$. Thus $h$ has a local maximum in $\alpha$. 
If $h''(\alpha)>0$, then $h$ has a local minimum in $\alpha$. The proof is analogous. q.e.d. 
