Zumindest für 2) ==> 1) hätte ich was:  Wenn man
⟨Ax,x⟩>0    für x = (u,v)^T umformt bekommt man
$$<\begin{pmatrix} au+cv\\cu+bv \end{pmatrix};\begin{pmatrix} u\\v \end{pmatrix}>$$
   =au^2 +cuv + cuv + bv^2
   =au^2 +2cuv + bv^2    wegen a>0
   =a(u^2 +2cuv/a + bv^2 /a )
Dann quadr. Ergänzung
=a(  u^2 +2cuv/a  +  c^2 * v^2 / a^2   -  c^2 * v^2 / a^2 + bv^2 / a )
=a(  u^2 +2cuv/a  +  c^2 * v^2 / a^2   -  c^2 * v^2 / a^2 + bav^2 / a^2 )
=a( ( u +cv/a )^2      -  (  c^2 * v^2 / a^2 -  bav^2 / a^2 )   )
=a( ( u +cv/a )^2   +     (   bav^2 / a^2    -  c^2 * v^2 / a^2   )    )
=a( ( u +cv/a )^2   +   v^2 *  (   ba - c^2 )  / a^2      )
=a( ( u +cv/a )^2   +   v^2 *  det(A)  / a^2      )
wegen der Quadrate und a>0 und det(A)>0 ist also alles positiv.
Rückrichtung ?