cinta作业1

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

#include<iostream>
using namespace std;
int multiply(int a,int b);
 
int main()
{
	int a,b;
	cout<<"输入两个数：";
	cin>>a>>b;
	cout<<"结果："<<multiply(a,b);	
}

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

2.证明命题1.1。

下面将分别证明命题的前一句话和后一句话

证明1：

$$\begin{gathered} \because a\mid b，b\mid c \\ \therefore 存在唯一整数p，q使得 \\ b=ap-(1) \\ c=bq-(2) \\ 将(1)式代入(2)式，可得 \\ c=a\ast pq \\ 又\because p,q\in \mathbb{Z} \\ \therefore pq\in \mathbb{Z} \\ \therefore a\mid c \end{gathered}$$

证明2：

$$\begin{gathered} \because c\mid a，c\mid b \\ \therefore 存在唯一整数p，q使得 \\ a=cp-(1) \\ b=cq-(2) \\ 将(1)、(2)式代入c\mid (ma+nb) \\ 可得c\mid (mp+nq)c \\ 又\because p,q,m,n\in \mathbb{Z} \\ \therefore (mp+nq)\in \mathbb{Z} \\ \therefore c\mid (ma+nb) \end{gathered}$$

3.完成定理1.1的证明(除法算法)

分别证明其存在性和唯一性

存在性证明：

构造集合
S = { a − b k : k ∈   Z 且 a − b k ≥ 0 } S= \left\{a-bk:k\in\ \mathbb{Z} 且a-bk\geq 0\right\} S={a−bk:k∈ Z且a−bk≥0}
显然，集合为非空，由良序原则，存在一个最小元 $r\in S$,且$r=a-qb$。因此有$a=qb+r,r\ge 0$。

接下来证明$r<b$。我们假设 $r\ge b$，则当 $k=q+1$ 时, 则有$a-b(q+1)=r-b\ge 0$，这表明$a-b(q+1)\in S$，而又因为$a-b(q+1)<a-bq$，而$r=a-bq$，这与$r$是$S$中最小元素的定义矛盾，因此假设不成立，则有$r<b$，存在性证毕。

唯一性证明：

假设还存在整数$r^{\prime }，q^{\prime }$，使得$a=q^{\prime }b+r^{\prime },0\le r^{\prime }\le b$。
则有$qb+r=q^{\prime }b+r^{\prime }$，转化则有$b(q^{\prime }-q)=r^{\prime }-r$，假设$r^{\prime }\ge r$，则有$0\le r^{\prime }-r\le r^{\prime }<b$。
而又因为$q^{\prime }-q\in \mathbb{Z}$ ，则$b(q^{\prime }-q)\in (b,+\infty )\cap (-\infty ,-b)\cap 0$，即有$r^{\prime }-r\in (b,+\infty )\cap (-\infty ,-b)\cap 0$。要想使$r^{\prime }-r$同时满足上面两个式子，当且仅当$r^{\prime }=r$，此时也有$q^{\prime }=q$，唯一性证毕。