为什么补码是按位取反再加1

一直以来，补码是按位取反加1都是既定的规则，但是大学的基础教程里面对为什么是这个值却没有给出答案。最近看csapp中发现其中补码的定义
对向量$\overrightarrow{x}=[x_{w-1},x_{w-2},...,x_0]$,其补码定义为：

$$B2T_w(\overrightarrow{x})=-x_{w-1}{2}^{w-1}+\sum _{i=0}^{w-2}{x}_i{2}^i$$

其中B代表二进制，T代表补码，w代表一共多少位。

举例说明：
$$B_2{T}_4([0001])=-0\ast 2^3+0\ast 2^2+0\ast 2^1+1\ast 2^0=1$$
$$B_2{T}_4([1011])=-1\ast 2^3+0\ast 2^2+1\ast 2^1+1\ast 2^0=-5$$
$$B_2{T}_4([0101])=-0\ast 2^3+1\ast 2^2+0\ast 2^1+1\ast 2^0=5$$

最后一个是倒数第二个的按位取反加一，倒数第二个也是最后一个的按位取反加1。5和-5互为相反数。

要证明补码等于原二进制的按位取反加1，就是证明原数的相反数=原数的按位取反加1，原数的相反数：
$$0-B2T_w(\overrightarrow{x})=0-（-x_{w-1}{2}^{w-1}+\sum _{i=0}^{w-2}{x}_i{2}^i）=x_{w-1}{2}^{w-1}-\sum _{i=0}^{w-2}{x}_i{2}^i$$

因为：1-0=1，1-1=0
所以：x取反=1-x

$$原数的按位取反加1=-(1-x_{w-1})2^{w-1}+\sum _{i=0}^{w-2}(1-x_i)2^i+1$$

于是问题归结为，求证：
$$x_{w-1}{2}^{w-1}-\sum _{i=0}^{w-2}{x}_i{2}^i=-(1-x_{w-1})2^{w-1}+\sum _{i=0}^{w-2}(1-x_i)2^i+1$$

开始证明：
等号右边：
$$-(1-x_{w-1})2^{w-1}+\sum _{i=0}^{w-2}(1-x_i)2^i+1=-2^{w-1}+x_{w-1}{2}^{w-1}+\sum _{i=0}^{w-2}{2}^i-\sum _{i=0}^{w-2}{x}_i{2}^i+1$$

跟等号左边约分：
求证：

$$0=-2^{w-1}+\sum _{i=0}^{w-2}{2}^i+1$$

归结为：
$$2^{w-1}=\sum _{i=0}^{w-2}{2}^i+1$$

得证。