Άσκηση 56

Έστω $V=\mathbb R^2$. Ορίζω την απεικόνιση $(-,-):V\times V\rightarrow \mathbb R$ με τύπο

$$((x_1,y_1),(x_2,y_2))=x_1y_1-x_1y_2-x_2y_1+3x_2y_2$$

για κάθε $(x_1,x_2),(y_1,y_2)\in V$. Δείξτε ότι το παραπάνω είναι ένα θετικά ορισμένο εσωτερικό γινόμενο.