附录五 部分公式推导