お願いします。分散と共分散の関係で
GxGy-B^2>0 が言えるらしいのですが、何故でしょうか？
Gxは形質xの分散
Gyは形質yの分散
Bは形質x，yの共分散です。

一応　分散σ^2=Σ(α-αの平均)^2*p　(pは分布）
　　共分散cov(α,β）=Σ(α-αの平均）(β-βの平均)*p　
　　　　　　　　 　=αβの平均-αの平均*βの平均
　　　　　　　　　　=E(αβ)−E(α)(β）　　（Eは平均を表す）
とおいて計算して見ましたが、分かりませんでした。