随机变量函数的分布公式法证明过