展开 方差计算式概率论推导过