最小方差性的证明