推导公式时常用的一些公式