减法的基本公式包括：
被减数 - 减数 = 差
差 + 减数 = 被减数
被减数 - 差 = 减数
这些公式是减法运算的基础，用于描述从一个数中减去另一个数的结果。
减法验算方法
为了验证减法运算的正确性，可以使用以下验算方法：
差 + 减数 = 被减数
减数 + 差 = 被减数
被减数 - 差 = 减数
通过这些验算方法，可以确保减法运算的结果是正确的。
减法结合律
减法也遵循结合律，即：
a - b - c = a - （b + c）
这个公式说明，从一个数中连续减去两个数，可以先把后两个数相加，再相减。
减法性质
减法还有一些重要性质：
减去一个数等于加上这个数的相反数，即 a - b = a + （-b）。
减去一个数再加上一个数，等于减去这两个数的差，即 a - b + c = a - （b - c）。
Excel中的减法公式
在Excel中，减法公式的基本格式为：
=单元格1 - 单元格2
例如，如果要在C1单元格中计算A1和B1的差值，公式为 `=A1 - B1`，然后按下回车键即可得到结果。如果需要在一整行中应用相同的减法公式，可以通过拖动填充柄来实现。
总结
掌握这些减法公式和性质，可以帮助你更准确地执行减法运算，并在需要时进行有效的验算。在Excel中，这些公式和技巧可以大大提高工作效率和准确性。