CINTA 作业01

第一次作业

C语言实现的迭代乘法

int multiply(int a, int b){
	int temp=0;
	for(;b!=0;){
		if(b&1==1){
			temp+=a;
		}
		a<<=1;
		b>>=1;
	}
	return temp;
} 

证明命题1.1

已知 a ,b ,c $\in \mathbb{Z}$ :

• 如果 $a|b$，$b|c$，那么一定存在一个整数$k_1$使得$b=k_1\ast a$，同理，一定存在一个整数$k_2$使得$c=k2\ast b$，所以，$c=k_1\ast k_2\ast a$,且$k_1{k}_2$为整数，所以$a|c$。

• 如果 $c|a$，$c|b$，那么一定存在一个整数$k_1$使得$a=k_1\ast c$,同理，一定存在一个整数$k_2$使得$b=k2\ast c$，对任意 m, n $\in \mathbb{Z}$，有：
  $$ma+nb=m\ast k_1\ast c+n\ast k_2\ast c=(m{k}_1+n{k}_2)\ast c$$

所以 $c|(ma+nb)$。

定理1.1的证明

• 假设存在整数对 $q_1$，$r_1$,使得 $a=qb+r$ 且$q_1\ne q,r_1\ne r$ ，构造集合 S 1 = { a − b q : q ∈ Z   且   a − b q ≥ 0 } S_{1}=\{{a-bq:q \in\mathbb{Z}}\ 且 \ a-bq\ge0\} S1​={a−bq:q∈Z 且 a−bq≥0}：

• 由良序原则，存在一个最小元$r\in S$,且$r=a-bq$,又$r_1\in S$ 并且$r_1$ $\ne$ r,所以 $r_1$ $\ge$ b+r， 又定理1.1要求满足0 $\le$ $r_1$ < b 两者矛盾，因此，不存在整数 $q_1$ $\ne$ q, $r_1$ $\ne$ r ,使得 $a=qb+r$ ，唯一性得证。