ion::::乘法.一个负数和一个正数相乘得到一个负数：formula_20。这里，乘法可以被看作是多次加法的重复：formula_21。两个负数相乘得到一个正数：formula_22。这里，乘法不能再被看作是多次加法的重复了，而是为了使乘法满足分配律： 等式的左边为formula_24。等式的右边为formula_25。为了使两边相等，必须要formula_22。
除法.除法和乘法类似。若被除数和除数有不同的符号，结果是一个负数：若被除数和除数有相同的符号（就算他们