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 ?