展开 两个正态分布相加公式证明