负数补码(two’s complement)的原理及证明

（转自：http://blog.pcware.cn/linux/tows_complement_proof.html）

在本文里面，com指代complement, neg指代negative,并且本文涉及的是”2的补码”(two’s complement)而不是”1的补码”(one’s complement)

学过计算机的大部分人都知道负数在计算机内部是用补码表示的，但是大部分的教材和文章里面都只是简单的告诉你负数的补码等于其反码加一云云，至于为 什么是这样，则基本上都语焉不详。

负数用补码表示的好处就是减法可以转化为加法，简化硬件设计，CPU只用一个加法器就可以进行加减法运算了。

下面我就尝试着来证明一下，为什么负数的补码等于反码加一。
理解下面的推导要求读者必须了解模数的概念和求模运算。

假设我们的运算使用n位二进制数，那么这n位二进制数的模数为2ⁿ ,数α为一个用n位二进制表示的常数，数x为一个用n位二进制表 示的变数，那么α < 2ⁿ ，x < 2ⁿ 是成立的，在这里α与x都是用原码表示的。现在 我们从α减掉x，推导如下：

α – x = 2ⁿ %2ⁿ + (α – x) % 2ⁿ
        = (2ⁿ + (α – x)) % 2ⁿ
        = (α + 2ⁿ – x) % 2ⁿ
        = (α) % 2ⁿ + (2ⁿ – x) % 2ⁿ
        = α + (2ⁿ – x)

我们现在将α – x这个减法运算成功演化成了 α + (2ⁿ – x)这个加法运算。从模数的概念我们知道,如果两个数相加等于其模数，那么这两个数是互补的。在这里x与2ⁿ – x是互补的，减掉数x与加上其补数2ⁿ – x是相等的。在这里还隐藏了一层含义，一个正数加上一个负数，如果有进位产生，把进位简单的舍弃掉是不影响计算结果的。
我们得出第一个结论：
x_com = 2ⁿ – x

反码则简单的多，一个数的全部二进制位取反则得到其反码，由此可知，如果一个数加上它的反码，则此全部二进制位是满的，也就是全部是1，其值为2^n-1 + 2^n-2 + … + 2² + 2¹ + 2⁰ = 2ⁿ – 1
我们得出第二个结论
x_neg = 2ⁿ – 1 – x

综合结论一和二，我们可以做如下推导：
x_com = 2ⁿ – x
        = 2ⁿ – 1 – x + 1
        = x_neg + 1

至此我们得出最终结论一个n位二进制数的补数等于其反码加一。

我们再回头看看，我们曾经说“x与2ⁿ – x是互补的，减掉数x与加上其补数2ⁿ – x是相等的”，减掉数x，我们可以看做是加-x,也就是”加-x”与”加2ⁿ – x”是对等的，那么在计算机中-x用2ⁿ – x做其补码就顺理成章了,注意这里说的是补码而不是补数。

现在我们把x替换为1，n替换为8，得出-1的补码为2⁸ -1=255=0xFF，这就是-1在计算机里面的真实面目。当然 对于正数就另当别论了。