离散型随机变量期望、方差的一些公式与证明