证明加法交换律完整点,

证明加法交换律完整点,
证明加法交换律
完整点,

证明加法交换律完整点,
这个是个比较基础的问题.涉及数学基础上的一些概念,我只能说一个思路：
1.先搞清楚自然数是怎么定义的.(涉及到集合论,后继,序）
2.然后在定义的这个结构（自然数集）上定义一种运算（即一种2元函数）
定义方法如下：
f(a,1)=a' a'即a的后继
f(a,0)=a
f(a,b)=f(b,a) (即交换律是定义的)
f(a,f(b,c))=f(f(a,b),c) （即结合率）
3.然后证明这个定义是合理的,即按这种定义定义的2元函数存在且唯一.
4.最后验证这个定义恰好和我们平常的加法一样,也就是说加法具有交换律.
在更一般的数学结构（比如说群）上,交换律也一般作为定义或类似于公理的形式给出.当然类似的证明也是存在的,但是很麻烦.

加法交换律是一种公理，但是作为补充，给你介绍如下故事：三位学者由伦敦去苏格兰参加会议，越过边境不久，发现了一只黑羊。“真有意思，”天文学家说：“苏格兰的羊都是黑的。”“不对吧。”物理学家说，“我们只能得出这样的结论：在苏格兰有一些羊是黑色的。”数学家马上接着说：“我觉得下面的结论可能更准确，那就是：在苏格兰，至少有一个地方，有至少一只羊，它是黑色的。”
有时候只要你举不出反例就是一个真理...

全部展开

加法交换律是一种公理，但是作为补充，给你介绍如下故事：三位学者由伦敦去苏格兰参加会议，越过边境不久，发现了一只黑羊。“真有意思，”天文学家说：“苏格兰的羊都是黑的。”“不对吧。”物理学家说，“我们只能得出这样的结论：在苏格兰有一些羊是黑色的。”数学家马上接着说：“我觉得下面的结论可能更准确，那就是：在苏格兰，至少有一个地方，有至少一只羊，它是黑色的。”
有时候只要你举不出反例就是一个真理

收起

加法交换律是实数集的一条公理
加法结合律可以用加法交换律证明
a*b-b*a=a*b-(b-a+a)(a-b+b)=a*b-(b-a)(a-b)-(b-a)b-a(a-b)-a*b=(a*b-a*b)+(b-a)(b-b)+a[(a-b)-(a-b)]=0
所以a*b=b*a(乘法交换律)
乘法结合律可以用乘法结合律证明
参考资料：http://zhid...

全部展开

加法交换律是实数集的一条公理
加法结合律可以用加法交换律证明
a*b-b*a=a*b-(b-a+a)(a-b+b)=a*b-(b-a)(a-b)-(b-a)b-a(a-b)-a*b=(a*b-a*b)+(b-a)(b-b)+a[(a-b)-(a-b)]=0
所以a*b=b*a(乘法交换律)
乘法结合律可以用乘法结合律证明
参考资料：http://zhidao.baidu.com/question/56804182.html?si=1

收起

一苹果加一馒头，和一馒头加一苹果，是不是一样的？是不是一样的？
那就是加法交换律！

这个目前是公理，如果你能证明它或否定它，你就无敌了！估计诺贝尔奖就要破例为数学家颁奖了。↖(^ω^)↗加油~~

a+b=b+a

不是15岁能理解的
等你长大了再说吧

证明 a+b=b+a （加法交换律）
证：（用分析法）
若证 a+b=b+a
也就是要证 a+b-（b+a）=0
就是说 a+b-b-a=0 （分配律）
也就是说 a+（b-b）-a=0 （结合律）
也就是要证 a-a=0
显然，上式是成立的！
所以
a+b=b+a成立
http:/...

全部展开

证明 a+b=b+a （加法交换律）
证：（用分析法）
若证 a+b=b+a
也就是要证 a+b-（b+a）=0
就是说 a+b-b-a=0 （分配律）
也就是说 a+（b-b）-a=0 （结合律）
也就是要证 a-a=0
显然，上式是成立的！
所以
a+b=b+a成立
http://baike.baidu.com/view/120423.htm 分配律
http://baike.baidu.com/view/565080.htm?fr=ala0_1_1 加法结合律

收起

这个是个比较基础的问题。涉及数学基础上的一些概念，我只能说一个思路：
1.先搞清楚自然数是怎么定义的。(涉及到集合论，后继，序）
2.然后在定义的这个结构（自然数集）上定义一种运算（即一种2元函数）
定义方法如下：
f(a,1)=a' a'即a的后继
f(a,0)=a
f(a,b)=f(b,a) (即交换律是定义的)

全部展开

这个是个比较基础的问题。涉及数学基础上的一些概念，我只能说一个思路：
1.先搞清楚自然数是怎么定义的。(涉及到集合论，后继，序）
2.然后在定义的这个结构（自然数集）上定义一种运算（即一种2元函数）
定义方法如下：
f(a,1)=a' a'即a的后继
f(a,0)=a
f(a,b)=f(b,a) (即交换律是定义的)
f(a,f(b,c))=f(f(a,b),c) （即结合率）
3.然后证明这个定义是合理的，即按这种定义定义的2元函数存在且唯一。
4.最后验证这个定义恰好和我们平常的加法一样，也就是说加法具有交换律。
在更一般的数学结构（比如说群）上，交换律也一般作为定义或类似于公理的形式给出。当然类似的证明也是存在的，但是很麻烦。

收起