Let be twice differentiable and let denote the Hessian matrix.

Suppose .

Remember that f is convex iff

for all in its domain . Now, with a simple Taylor expansion around we have

for some in the line segment between and .

Deduce that (2) implies (1).

For the converse, if f is convex, then certain subdeterminants of the Hessian matrix satisfy certain conditions. These imply that the eigenvalues of the Hessian are all non-negative. Choose an orthonormal basis for consisting of eigenvectors of . Then, at and for all , we have

.