验算是指通过计算或推理来验证数学问题的正确性或准确性的过程。

它是数学中一种重要的方法，用于确认数学推理的正确性，以及检查数学计算的准确性。验算可以通过不同的方法进行，例如使用代数运算、几何推理、数值计算等。通过验算，我们可以确保数学问题的解答是正确的，并且可以发现和纠正可能存在的错误。验算在数学证明、数值计算、实际问题求解等方面都具有重要的应用价值。

加法验算(checking computations of addition)指检验加法运算的过程和结果是否正确的方法。加法的验算方法有以下几种：

1.用减法验算：根据减法是加法的逆运算，将其和减...

简单地说就是用结果去检验条件.1+1=2,现在用2-1,看看等不等于1,等的话计算就是成立的,否则计算失败.在天文学里面,计算某些天体的轨道后,要在理论上的轨道上去观测,看是否能看到这个天体,也叫验算