A QUARK
扯闲篇儿
为什么a×b=b×a
这周说说乘法交换率
注意：本文首发于微信公众号夸克欧氏几何，其它平台会滞后24小时以上，且夸克只在微信,bilibili,头条，百家号上有账号(认准骰子头像）。如果发现本文被复制到了QQ看点等其它平台上，请到微信上关注原作者公众号。抵制营销号，夸克感谢各位对原创作者的支持
先回顾一下乘法的定义
乘法是满足以下两种规则的运算：
1. 对于任意自然数m，0 × m = 0
2. 对于任意自然数m和n，n × m = n × m+ m
与以往一样，
这次的证明也分
一，证明：
对自然数m，m×0=0
∵当m=0时，0×0=0
（乘法定义1）
现假定m×0=0
∴m×0=m×0+0=0+0
（乘法定义2）
∴m×0=0
（加法定义1）
∴对任意自然数m，均有m×0=0
（皮亚诺公理5）
证毕
二，证明：
对任意自然数n和m，n×m=n×m+n
当n=0时
∵0×m=0×m+0
（乘法定义2）
∴0×m=0
（乘法定义）
假定n×m=n×m+n
求证n×m=n×m+n
∵n×m=n×m+m
（乘法定义2）
n×m=n×m+n
（假设）
∴n×m=n×m+n+m
∴n×m=n×m+(n+m)
（加法结合律＆加法定义2）
∵n×m+n=n×m+n+m
（乘法定义2）
∴n×m=n×m+(n+m)
（加法结合律＆加法定义2）
∴n×m=n×m+n
∴对任意自然数n和m，n×m=n×m+n
（皮亚诺公理5）
证毕
三，证明：
对任意自然数n和m，n×m=m×n
当n=0时，
0×m=0
（乘法定义1）
m×0=0
（已证）
∴0+m=m+0
假设n×m=m×n
求证：n×m=m×n
∵n×m=n×m+m
（乘法定义2）
n×m=m×n
（假设）
∴n×m=m×n+m
∵m×n=m×n+m
(乘法定义2)
∴n×m=m×n
∴对任意自然数n、m，均有n×m=m×n
（皮亚诺公理5）
证毕
关注微信公众号
夸克欧氏
Dont worry. Be happy!
免责声明：内容来自用户上传并发布，站点仅提供信息存储空间服务，不拥有所有权，本网站所提供的信息只供参考之用。