java校验数学公式