The matrix exponential of a real symmetric matrix is positive definite. Let S be an real symmetric matrix and x \in \R^n a column vector. Using the elementary properties of the matrix exponential and of symmetric matrices, we have:
