公式推导与代码实现