软导证明题

1.

·

$$Negative(I)=2^k-I$$
$$N=\sum_{i=1}^n d_iR^{i-1}$$

证明进制转化是对的

对于一个数$x=(x_nx_{n-1}...x_1)_2$，有：

$$x=\sum_{i=1}^n d_i2^{i-1}$$
即：
$$x=x_n*2^{n-1}+x_{n-1}*2^{n-2}+...+x_3*2^2+x_2*2^1+x_1*2^0$$
即：
$$x=2^{3}*\sum_{i=4}^n d_i2^{i-4}+(x_3*2^2+x_2*2^1+x_1*2^0)*8^0$$
即：
$$x=8^1*\sum_{i=4}^n d_i2^{i-4}+(x_3*2^2+x_2*2^1+x_1*2^0)*8^0$$
即：
$$x=8^2*\sum_{i=7}^n d_i2^{i-7}+(x_3*2^2+x_2*2^1+x_1*2^0)*8^1+(x_3*2^2+x_2*2^1+x_1*2^0)*8^0$$
依次类推，可见每三位读取转化为8进制是正确的。

证明负数等于取反加1

已知$Negative(x)=2^n-x$，
令y为x每位取反后加1，下证$y=Negative(x)$.

$$x=x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^{0}$$

$$y=(1-x_0)*2^{n-1}+(1-x_1)*2^{n-2}+...+(1-x_{n-1})*2^{0}+1$$
即：
$$y=2^{n-1}+2^{n-2}+...+2^1+2^0-(x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^{0})+1$$
也即：
$$y=(2^{n-1}+2^{n-2}+...+2^1+2^0+1)-(x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^{0})$$
由等比数列求和可得：
$$y=2^{n}-(x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^{0})$$
即：
$$y=2^{n}-x$$
所以： $y=Negative(x)$

证明n位有符号二进制数x向m位有符号二进制数扩展时，使用最高位扩展。

证明：
(1)当x为正数的时候显然成立。
(2)当x为负数的时候$x_0=1$，有

$$X=2^n-X_{补n}=2^n-(x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^0)$$
$$X=2^m-X_{补m}=2^m-x_0*(2^{m-1}+2^{m-2}+...+2^{m-n-1})-(x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^0)$$
把 $x_0=1$代入上式，化简得：
$$X=2^m-X_{补m}=2^m-(2^{m}-2^{n})-(x_0*2^{n-1}+x_1*2^{n-2}+...+x_{n-1}*2^0)$$
从而1式和2式相等。待证等式左右两边相等。证毕。