协方差公式性质证明过程