CINTA 作业一

1.用C语言实现一种迭代版本的简单乘法。

如下 multiply(int na, int nb)函数即为所求函数。

/* 简单乘法器(程序默认输入，输出均不会发生溢出)
 * 输入：两个整数 na, nb
 * 输出：na * nb 的结果
 */

#include<stdio.h>

typedef long long ll;
ll multiply(int na, int nb)
{
	if(b == 0) return 0;
	
	ll ans = 0;
	do {
		if (nb & 1) ans += na;
		na *= 2;
	} while (nb >>= 1);

	return ans;
}
int main()
{
	int na = 0, nb = 0;
	ll mul = 0;
	printf("Please enter 2 numbers to get them multiplied: ");
	scanf("%d%d", &na, &nb);

	mul = multiply(na, nb);
	printf("The answer of %d * %d is: %d", na, nb, mul);

	return 0;
}

---

 

证明题

 

2.证明命题 1.1

证明：

第一部分

设 $\exists k,k_0\in \mathbb{Z}$，使得 $b=ka,c=k_{0}b$，

显然

​ $c=k_{0}ka，k_{0}k\in \mathbb{Z}$。

证毕。

第二部分

设 $\exists k,k_0\in \mathbb{Z}$，使得 $a=kc,b=k_{0}c$，

显然

​ $ma+nb=mkc+n{k}_{0}c=(mk+n{k}_0)c，mk+n{k}_0\in \mathbb{Z}$

证毕。
 

3.完成定理 1.1 的证明（除法算法）

证明：

存在性

构造集合

​ S = { a − b k : k ∈ Z 且 a − b k ≥ 0 } . S = \{ a-bk:k \in \Z 且 a-bk \geq 0 \}. S={a−bk:k∈Z且a−bk≥0}.

显然，集合 $S$ 非空。由良序原则， 存在一个最小元 $r\in S$ ，且 $r=a-qb$。因此， $a=qb+r,r\ge 0$ 。

假设存在 $r_0\ge b$，使得 $a=q_{0}b+r_0$，
那么显然存在整数 $k,q和r$ 使得
$a=q_{0}b+r_0=q_{0}b+kb+r=(q_0+k)b+r=qb+r,r<0。$
证毕。

唯一性

设对于整数对 $q,r\in \mathbb{Z}$， $\exists q_0\ne q,r_0\ne r\in \mathbb{Z}$ ，使得对于任意给定 $a,b>0\in \mathbb{Z},使得a=qb+r,a=q_{0}b+r_0$ 同时成立。
显然， $\exists k\in \mathbb{Z},$ 使得 $k=q-q_0$，
故有 $a=qb+r=(q_0+k)b+r=q_{0}b+kb+r=q_{0}b+r_0$。
显然 $r_0=kb+r$。
$k>0时，r_0\ge b;k<0时，r_0<0;$
当且仅当 $k=0时，0\le r=r_0<b$。
显然，此时 $q=q_0$。
证毕。