一个漂亮的公式,有兴趣的不妨证明下