如何证明各变量值与算术平均值离差之和等于0