这两个公式如何得到的