本文介绍了如何使用C语言编程实现迭代版本的简单乘法，并通过数学推理证明了加减乘除的基本性质。首先展示了迭代乘法的实现，接着详细证明了乘法和除法算法的正确性，包括定理1.1的证明，运用良序原则找到最小元，以及通过反证法证明结果的唯一性。
1、用 C 语言编程实现一种迭代版本的简单乘法。
#include<iostream>
using namespace std;
int main() {
int a, b; int c=0;
cout << "请输入两个整数：";
cin >> a >> b;
while (b != 0) {
if (b & 1 == 1) {
c += a;
}
b >>= 1;
a <<= 1;
}
cout << "结果为：" << c << endl;
system("pause");
return 0;
}2、证明命题1.1。
①由，得b=x*a
由，得c=y*b
将b=x*a代入得c=x*y*a，其中x，y∈Z
故得证
最低0.47元/天 解锁文章
2142
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
