方差最小性证明