梅逊公式证明