这是个什么数学公式?如何证明?