检测数学公式是否正确