这公式怎么来的,求证明,忘记了,谢谢