Show that a 2x2 matrix A is symmetric positive definite if and only if A is symmetric, trace(A) > 0 and det(A) > 0

The classification of symmetric $2\times 2$ real matrices (or bilinear symmetric $2$-forms, or quadratic $2$-forms) through trace and determinant can be obtained in different ways, depending on the machinery one accepts. From more to less:

1) Spectral theorem. Then one knows the classification is done through eigenvalues. For instance positive semidefinite means two positive eigenvalues $\lambda>0,\mu>0$, which is equivalent to $\lambda\cdot\mu>0,\,\lambda+\mu>0$, that is determinant and trace both positive. Honestly, I think that for $2\times 2$ matrices this is too heavy.

2) Canonical forms. Any symmetric $2\times 2$ real matrix $A$ is equivalent to one of the following five canonical forms $$ \begin{pmatrix}1&0\\0&1\end{pmatrix},\, \begin{pmatrix}-1&0\\0&-1\end{pmatrix},\, \begin{pmatrix}1&0\\0&0\end{pmatrix},\, \begin{pmatrix}-1&0\\0&0\end{pmatrix},\, \begin{pmatrix}1&0\\0&-1\end{pmatrix}. $$ The matrix $A$ shares with its canonical form the sign of the determinant (including being $0$). Thus we see that $\det>0$ immediately gives $A$ definite, and it remains to distinguish whether $A$ is positive or negative. In any case, the two entries in the diagonal of $A$ have the same sign, hence the sign of their sum, which is the trace of $A$. Thus $\det(A)>0$, tr$(A)>0$ means positive definite.

3) Nothing. In other words just from the definition. Let $A= \begin{pmatrix}a&b\\b&c\end{pmatrix}$.

Then the corresponding quadratic form is $q(x,y)=ax^2+2bxy+cy^2$, and we have to study the sign variations of this function for $(x,y)\ne(0,0)$. For instance $f(x,0)=ax^2>0$ if and only if $a>0$. Then if $y\ne0$ we can write: $$ \frac{1}{y^2}q(x,y)=at^2+2bt+c=P(t),\quad t=\frac{x}{y}, $$ and we discuss the signs of $P(t)$. For $t$ big enough, $P(t)>0$, since $a>0$. Then $P(t)>0$ for all $t$ means the polinomial has no zero, that is, its discriminant is negative, which gives $$ 0>\varDelta=b^2-ac=-\det(A). $$ And we get the condition $\det(A)>0$. Thinking this over one realizes this characterizes being positive semidefinite (that is, is a back and forth argument). And trace? Since $0<\det=ac-b^2$, and $a>0$, necessarily $c>0$ and trace$=a+c>0$.