>>484
tを任意の実数とする。
V(xt+y)
=E[(xt+y)^2]-{E(xt+y)}^2
=t^2E(x^2)+2tE(xy)+E(y^2)-t^2{E(x)}^2-2tE(x)E(y)-{E(y)}^2
=t^2Gx-2tB+Gy　> 0
が任意の実数tに関して成り立つので、判別式<0から
B^2-GxGy<0