您的问题没有提供足够的信息来进行公式推导。请提供更具体的问题，例如需要推导哪个公式，或者描述您当前的推导过程以便找到问题所在。