Si una $n \times n$ simétrica a es positiva definida, todos sus autovalores son positivos, por lo $0$ no es un autovalor de a $A$. Por lo tanto, el sistema de ecuaciones $A\mathbf{x}=\mathbf{0}$ no tiene no trivial de la solución, así que a es invertible.
No entiendo cómo saber que $0$ no es un autovalor de a $A$ nos permite concluir que $A\mathbf{x}=\mathbf{0}$ tiene la solución trivial sólo. En otras palabras, ¿cómo podemos excluir la posibilidad de que para todos los $\mathbf{x}$ que no es un autovector de $A$, $A\mathbf{x}=\mathbf{0}$ no tienen un no-trivial solución?