Ich führe mal die Symmetrie mal vor:
Für beliebige (x1,x2),(y1,y2)∈R2 hat man
⟨(x1,x2),(y1,y2)⟩=2⋅x1⋅y1+x1⋅y2+x2⋅y1+3⋅x2⋅y2=2⋅y1⋅x1+y2⋅x1+y1⋅x2+3⋅y2⋅x2=2⋅y1⋅x1+y1⋅x2+y2⋅x1+3⋅y2⋅x2=⟨(y1,y2),(x1,x2)⟩
Jetzt fehlt nur noch die Bilinearität und die positive Definitheit.