Comparison of curves by curvatures (II)

The definition of the mean curvature is the average of the principal curvatures. But it is also the average of the normal curvatures in two orthogonal directions, that is, 

$$H(p)=\frac12\left(\kappa_n(\theta)+\kappa_n(\theta+\frac{\pi}{2})\right),\ \ (*)$$ where $\kappa_n(\theta)$ is the normal curvature in the direction that makes an angle $\theta$ with a fix direction of the tangent plane.

Suppose again  $S_1$ and $S_2$  two surfaces with $p\in S_1\cap S_2$, $T_pS_1=T_pS_2$ and $N_1(p)=N_2(p)$, where $N_i$ are the orientation in each surface $S_i$. Take all normal sections through $p$, that is, the intersection of the planes formed by $N_i(p)$ and the tangent vectors. The set of these planes in both surfaces is the same because $N_1(p)=N_2(p)$. Fix $v\in T_p S_i$ and $\Pi_v$ the corresponding normal section. This plane meets $S_i$ in two curves $\alpha_i^v$. We are computing the normal curvature with respect to the normal (of the curve) coincides with $N_i(p)$ at $p$ and this normal curvature is the curvature of the curve

Suppose that $S_1$ lies above $S_2$ around $p$. Then for each $v\in T_pS_i$, the curve $\alpha_1^v$ lies above $\alpha_2^v$ at $p$. But we know by the theory of curves that the curvature of $\alpha_1^v$ is greater or equal to the one of $\alpha_2^v$ at $p$. Thus, all normal curvatures of $S_1$ at $p$ are greater or equal to the ones of $S_2$ at $p$. We state this remarkable result:

Theorem. Suppose $S_1$ and $S_2$ two surfaces tangent at a point $p$ and that the orientations of the surfaces coincide at $p$, that is, $N_1(p)=N_2(p)$. If $S_1$ lies above $S_2$ around $p$, then for avery $v\in T_pS_i$, we have the inequality
$$\kappa_n^1(v)\geq\kappa_n^2(v).$$

As a consequence,  it is immediate from (*) 

Corollary. Suppose $S_1$ and $S_2$ two surfaces tangent at a point $p$ and that the orientations of the surfaces coincide at $p$, that is, $N_1(p)=N_2(p)$. If $S_1$ lies above $S_2$ around $p$, then $H_1(p)\geq H_2(p)$.