例如,我们证明 a (b + c) = (a b) + (a c): 从左边开始:a (b + c) 根据分配律的定义,这意味着 a 乘以括号里的 (b + c)。 我们可以把它理解为 a 乘以 b,再加上 a 乘以 c。 所以,a (b + c) = (a b) + (a c)。 整个推导过程适用于任何实数 a、b、c,所以这个等式是恒成立的。
再比如,证明 a (b c) = (a b) c 不恒成立: 化简左边:a (b c) = a b + c 化简右边:(a b) c = a b c 现在我们比较 a b + c 和 a b c。 当 c 不等于 0 时,+c 和 c 的结果是不同的。因此,左边不等于右边。 由于我们找到了一个反例(任何 c 不等于 0 的情况),所以这个等式不恒成立。