和差化积积化和差的证明