Bei der Gram Matrix kann ich dir leider nicht weiterhelfen. Bei der Bilinearform jedoch schon.
Was sagt denn Bilinearität aus?
Nach Definition: 1. <ax+bx',y>= a<x.y> + b<x',y>
2. <x,ay+by'>= a<x.y> + b<x,y'>
Gut was heißt das denn? Dass bedeutet wenn wir uns ein weiteres Tupel von Koordinaten nehmen
zum Beispiel (x3,y3) dann soll <a(x1,y1)+b(x3,y3),(x2,y2)> bitte gleich a<(x1,y1), (x2,y2)> + b<(x1,y1), (x3,y3)> sein.
Wie die Bilinearform definiert ist steht ja da, also setzt das einfach mal ein und überprüfe die Gleichheit.
Die andere Bedingung verläuft natürlich analog. :)
Eigentlich ist das also nur stumpfes Einsetzen ;) Hoffentlich hilft dir das ein wenig weiter.
Liebe Grüße