グラム行列 (Gram matrix) とは，(i, j)成分がベクトルx_i,x_jの内積になる行列のことです。これについて，定義と性質を証明付きで解説しましょう。