mathematica推导公式