定义 利用加法与减法的互逆关系，通过“差+减数=被减数”或“被减数-差=减数”来验证减法计算结果的正确性。
从哪来 本节为图谱记录的起点，无前置知识点。但逻辑上建立在学生已掌握的“加减法各部分间的关系”及“三位数加减法笔算”基础之上。
为什么 减法是加法的逆运算。如果 $a - b = c$ 成立，那么必然有 $c + b = a$ 或 $a - c = b$ 成立。验算的本质不是重复计算，而是利用数学运算的内在逻辑关系（互逆性）构建一个独立的验证闭环，从而发现计算过程中的错误（如进退位错误、抄错数字等）。
讲法
实物操作法（适合具象思维强、依赖动手操作的学生）
1. 准备小棒或计数器。
2. 演示：原有10根小棒，拿走3根，剩7根（$10-3=7$）。
3. 验算：把剩下的7根和拿走的3根合在一起，数一数是不是10根（$7+3=10$）。
4. 强调：验算就是“把分开的东西合起来看看对不对”。
讲法
生活情境法（适合对抽象符号敏感、喜欢应用情境的学生）
1. 场景：小明有50元，买书花了18元，还剩32元。
2. 提问：怎么知道没算错？
3. 引导：剩下的钱（32）加上花掉的钱（18），应该等于原来的钱（50）。
4. 总结：用“剩余+支出=总额”来检查，这是最自然的验算逻辑。
讲法
代数关系法（适合逻辑推理能力强、喜欢规律的学生）
1. 展示减法算式结构：被减数 - 减数 = 差。
2. 推导：根据加减法关系，被减数 = 减数 + 差。
3. 规则：既然被减数已知，我们可以用“减数 + 差”算出一个新结果，如果新结果等于原来的被减数，说明原计算正确。
4. 优势：这种方法计算量小，且只需一次加法，比再做一次减法更不容易出错。