公式推导.请问这个公式怎么推导的?用到什么定理?