Ich führe mal die Symmetrie mal vor:
Für beliebige \((x_1,x_2),(y_1,y_2)\in \mathbb{R}^2\) hat man
\(\langle (x_1,x_2),(y_1,y_2)\rangle \\=2\cdot x_1\cdot y_1+x_1\cdot y_2+x_2\cdot y_1+3\cdot x_2\cdot y_2\\=2\cdot y_1\cdot x_1+y_2\cdot x_1+y_1\cdot x_2+3\cdot y_2\cdot x_2\\=2\cdot y_1\cdot x_1+y_1\cdot x_2+y_2\cdot x_1+3\cdot y_2\cdot x_2\\=\langle(y_1,y_2),(x_1,x_2)\rangle\)
Jetzt fehlt nur noch die Bilinearität und die positive Definitheit.