附录5.2 相关公式推导