随机序列外推公式推导过