方差公式推导过程