数式検証